Discrete Subgroup Article Index for
Discrete 		Website Links For
Discrete 		 

Information About

Discrete Subgroup
  CATEGORIES ABOUT DISCRETE GROUP
   
topological groups
   
geometric group theory
   
APPAREL
BABY
BEAUTY
BOOKS
CAR TOYS
CELL PHONES
DVD'S
ELECTRONICS
GOURMET FOOD
GROCERIES
HEALTH & PERSONAL
HOME & GARDEN
JEWELRY
MUSIC
MUSIC INSTRUMENTS
OFFICE PRODUCTS
SOFTWARE
SPORTING GOODS
TOOLS & HARDWARE
TOYS
VIDEO GAMES
SHOPPING HOME
MORE SHOPPING...



Since topological groups are Homogeneous , one need only look at a single point to determine if the group is discrete. In particular, a topological group is discrete if and only if the Singleton containing the identity is a Clopen Set .

Any group can be given the discrete topology. Since every map from a discrete space is Continuous , the topological homomorphisms of a discrete group are exactly the Group Homomorphism s of the underlying group. Hence, there is an Isomorphism between the Categories of groups and of discrete groups and indeed, discrete groups can generally be identified with the underlying (non-topological) groups. With this in mind, the term discrete group theory is used to refer to the study of groups without topological structure, in contradistinction to topological or Lie group theory. It is divided, logically but also technically, into Finite Group Theory , and Infinite Group Theory .

If ''G'' is a Finite or Countably Infinite group, then the discrete topology suffices to make it a zero-dimensional Lie Group . Since the only Hausdorff Topology on a finite set is the discrete one, a finite Hausdorff topological group must necessarily be discrete.

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 subgroup ''H'' of ''G'' is cocompact if there is a Compact Subset ''K'' of ''G'' such that ''HK'' = ''G''.


EXAMPLES


  • Frieze Group s and Wallpaper Group s are discrete subgroups of the isometry group of the Euclidean plane. Wallpaper groups are cocompact, but Frieze groups are not.

  • A Space Group is a discrete subgroup of the isometry group of Euclidean space of some dimension.

  • A Crystallographic Group usually means a cocompact, discrete subgroup of the isometries of some Euclidean space. Sometimes, however, a Crystallographic Group can be a cocompact discrete subgroup of a nilpotent or 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 Group s 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 is PSL(2,Z), 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.

  • Kleinian Group s are, by definition, discrete subgroups of the isometry group of Hyperbolic 3-space . These include Quasi-Fuchsian Group s.

  • --- 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.



LINKS TO MORE EXAMPLES




SEE ALSO