Search results
Results from the WOW.Com Content Network
In mathematics, the lattice of subgroups of a group is the lattice whose elements are the subgroups of , with the partial ordering being set inclusion. In this lattice, the join of two subgroups is the subgroup generated by their union , and the meet of two subgroups is their intersection .
Let be a locally compact group and a discrete subgroup (this means that there exists a neighbourhood of the identity element of such that = {}).Then is called a lattice in if in addition there exists a Borel measure on the quotient space / which is finite (i.e. (/) < +) and -invariant (meaning that for any and any open subset / the equality () = is satisfied).
A lattice is modular if and only if it does not have a sublattice isomorphic to N 5 (shown in Pic. 11). [7] Besides distributive lattices, examples of modular lattices are the lattice of submodules of a module (hence modular), the lattice of two-sided ideals of a ring, and the lattice of normal subgroups of a group.
The subgroups of any given group form a complete lattice under inclusion, called the lattice of subgroups. (While the infimum here is the usual set-theoretic intersection, the supremum of a set of subgroups is the subgroup generated by the set-theoretic union of the subgroups
Two groups G 1 and G 2 are said to be (abstractly) commensurable if there are subgroups H 1 ⊂ G 1 and H 2 ⊂ G 2 of finite index such that H 1 is isomorphic to H 2. [1] For example: A group is finite if and only if it is commensurable with the trivial group. Any two finitely generated free groups on at least 2 generators are commensurable ...
More generally, there is a monotone Galois connection (,) between the lattice of subgroups of (not necessarily containing ) and the lattice of subgroups of /: the lower adjoint of a subgroup of is given by () = / and the upper adjoint of a subgroup / of / is a given by (/) =.
These are always finite-index subgroups and the congruence subgroup problem roughly asks whether all subgroups are obtained in this way. The conjecture (usually attributed to Jean-Pierre Serre) is that this is true for (irreducible) arithmetic lattices in higher-rank groups and false in rank-one groups. It is still open in this generality but ...
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.