Algebraic group not implies topological group
Topological and quasitopological groups
- Algebraic group implies quasitopological group: This basically says that the left and right multiplication maps and the inverse map are continuous.
- Topological group implies quasitopological group
Failure of Hausdorffness
For topological groups, the T0 condition is equivalent to the T1 condition, which is equivalent to the Hausdorff condition, which is equivalent to regularity and to complete regularity. See T0 topological group and equivalence of definitions of T0 topological group.
However, for quasitopological groups, being a T0 quasitopological group is equivalent to being but it is not equivalent to the Hausdorff condition. In fact, if the underlying variety is irreducible (which is always the case for a connected algebraic group), and the group is nontrivial, then it is not Hausdorff.
Where the naive reasoning fails
The naive reasoning may be that for an algebraic group , the group multiplication is an algebraic map from to , hence it is a continuous map from to .
The problem is that the Zariski topology on is not the product topology on arising from Zariski topologies on . In fact, the Zariski topology on is a lot finer, i.e., has a lot more open sets. Thus, continuity of multiplication with respect to the Zariski topology is a lot weaker than continuity with respect to the product topology.
Consider any example of a one-dimensional algebraic group over an infinite field . For concreteness, we take the additive group of . The group operation is given by . The Zariski topology is the cofinite topology in this case. However, we know that infinite group with cofinite topology is not a topological group, so is not a topological group with the Zariski topology.
Proof based on how topological groups behave
See the discussion #Failure of Hausdorffness. This can be converted to a proof.