Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Group action Quotient group (Semi-)direct product Direct sum Free product Wreath product Group homomorphisms kernel image simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable Glossary of group theory List of group theory topics
Finite groups Cyclic group Zn Symmetric group Sn Alternating group An Dihedral group Dn Quaternion group Q Cauchy's theorem Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Classification of finite simple groups cyclic alternating Lie type sporadic
Discrete groups Lattices Integers (${\displaystyle \mathbb {Z} }$) Free group Modular groups PSL(2, ${\displaystyle \mathbb {Z} }$) SL(2, ${\displaystyle \mathbb {Z} }$) Arithmetic group Lattice Hyperbolic group
Topological and Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Linear algebraic group Reductive group Abelian variety Elliptic curve
v t e

In mathematics, a semitopological group is a topological space with a group action that is continuous with respect to each variable considered separately. It is a weakening of the concept of a topological group; all topological groups are semitopological groups but the converse does not hold.

A semitopological group ${\displaystyle G}$ is a topological space that is also a group such that

${\displaystyle g_{1}:G\times G\to G:(x,y)\mapsto xy}$

is continuous with respect to both ${\displaystyle x}$ and ${\displaystyle y}$. (Note that a topological group is continuous with reference to both variables simultaneously, and ${\displaystyle g_{2}:G\to G:x\mapsto x^{-1))$ is also required to be continuous. Here ${\displaystyle G\times G}$ is viewed as a topological space with the product topology.)^[1]

Clearly, every topological group is a semitopological group. To see that the converse does not hold, consider the real line ${\displaystyle (\mathbb {R} ,+)}$ with its usual structure as an additive abelian group. Apply the lower limit topology to ${\displaystyle \mathbb {R} }$ with topological basis the family ${\displaystyle \{[a,b):-\infty <a<b<\infty \))$. Then ${\displaystyle g_{1))$ is continuous, but ${\displaystyle g_{2))$ is not continuous at 0: ${\displaystyle [0,b)}$ is an open neighbourhood of 0 but there is no neighbourhood of 0 continued in ${\displaystyle g_{2}^{-1}([0,b))}$.

It is known that any locally compact Hausdorff semitopological group is a topological group.^[2] Other similar results are also known.^[3]

• Lie group
• Algebraic group
• Compact group
• Topological ring