Discrete group

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable action 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

A

, Q, do not.

Any group can be endowed with the

and the category of discrete groups. Discrete groups can therefore be identified with their underlying (non-topological) groups.

There are some occasions when a topological group or Lie group is usefully endowed with the discrete topology, 'against nature'. This happens for example in the theory of the Bohr compactification, and in group cohomology theory of Lie groups.

A discrete

is a symmetry group that is a discrete isometry group.

Properties

Since topological groups are homogeneous, one need only look at a single point to determine if the topological group is discrete. In particular, a topological group is discrete only if the singleton containing the identity is an open set.

A discrete group is the same thing as a zero-dimensional

is isomorphic to the group itself.

Since the only

on a finite set is the discrete one, a finite Hausdorff topological group must necessarily be discrete. It follows that every finite subgroup of a Hausdorff group is discrete.

A discrete subgroup H of G is cocompact if there is a

K of G such that HK = G.

Discrete normal subgroups play an important role in the theory of covering groups and locally isomorphic groups. A discrete normal subgroup of a connected group G necessarily lies in the center of G and is therefore abelian.

Other properties:

• every discrete group is
  totally disconnected
• every subgroup of a discrete group is discrete.
• every quotient of a discrete group is discrete.
• the product of a finite number of discrete groups is discrete.
• a discrete group is compact if and only if it is finite.
• every discrete group is locally compact.
• every discrete subgroup of a Hausdorff group is closed.
• every discrete subgroup of a compact Hausdorff group is finite.

Examples

• Frieze groups and wallpaper groups are discrete subgroups of the isometry group of the Euclidean plane. Wallpaper groups are cocompact, but Frieze groups are not.
• A
  solvable Lie group
  .
• Every triangle group T is a discrete subgroup of the isometry group of the sphere (when T is finite), the Euclidean plane (when T has a Z + Z subgroup of finite index), or the hyperbolic plane.
• Fuchsian groups are, by definition, discrete subgroups of the isometry group of the hyperbolic plane.
  • A Fuchsian group that preserves orientation and acts on the upper half-plane model of the hyperbolic plane is a discrete subgroup of the Lie group PSL(2,R), the group of orientation preserving isometries of the upper half-plane model of the hyperbolic plane.
  • A Fuchsian group is sometimes considered as a special case of a Kleinian group, by embedding the hyperbolic plane isometrically into three-dimensional hyperbolic space and extending the group action on the plane to the whole space.
  • The modular group PSL(2,Z) is thought of as a discrete subgroup of PSL(2,R). The modular group is a lattice in PSL(2,R), but it is not cocompact.
• hyperbolic 3-space. These include quasi-Fuchsian groups
  .
  • A Kleinian group that preserves orientation and acts on the upper half space model of hyperbolic 3-space is a discrete subgroup of the Lie group PSL(2,C), the group of orientation preserving isometries of the
    upper half-space
    model of hyperbolic 3-space.
• A lattice in a Lie group is a discrete subgroup such that the Haar measure of the quotient space is finite.

See also

• crystallographic point group
• congruence subgroup
• arithmetic group
• geometric group theory
• computational group theory
• freely discontinuous
• free regular set

Citations

References

External links

• Media related to Discrete groups at Wikimedia Commons