Search results
Results from the WOW.Com Content Network
In mathematics, especially in the area of algebra known as group theory, the term Z-group refers to a number of distinct types of groups: in the study of finite groups, a Z-group is a finite group whose Sylow subgroups are all cyclic. in the study of infinite groups, a Z-group is a group which possesses a very general form of central series.
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 .
One of the non-abelian groups is the semidirect product of a normal cyclic subgroup of order p 2 by a cyclic group of order p. The other is the quaternion group for p = 2 and a group of exponent p for p > 2. Order p 4: The classification is complicated, and gets much harder as the exponent of p increases.
The principal congruence subgroup of level 2, Γ(2), is also called the modular group Λ. Since PSL(2, Z/2Z) is isomorphic to S 3, Λ is a subgroup of index 6. The group Λ consists of all modular transformations for which a and d are odd and b and c are even.
The center is a normal subgroup, Z(G) ⊲ G, and also a characteristic subgroup, but is not necessarily fully characteristic. The quotient group, G / Z(G), is isomorphic to the inner automorphism group, Inn(G). A group G is abelian if and only if Z(G) = G.
A proper subgroup of a group G is a subgroup H which is a proper subset of G (that is, H ≠ G). This is often represented notationally by H < G, read as "H is a proper subgroup of G". Some authors also exclude the trivial group from being proper (that is, H ≠ {e} ). [2] [3] If H is a subgroup of G, then G is sometimes called an overgroup of H.
It is possible to define a graph with vertices and edges the disjoint union of all coset spaces Γ/G x and Γ/G y respectively. This graph is a tree, called the universal covering tree, on which Γ acts. It admits the graph Y as fundamental domain. The graph of groups given by the stabilizer subgroups on the fundamental domain corresponds to ...
Γ is a discrete countable torsion-free subgroup of G. In this case the fundamental group is Γ and the universal covering space G/K is actually contractible (by the Cartan decomposition for Lie groups). As an example take G = SL(2, R), K = SO(2) and Γ any torsion-free congruence subgroup of the modular group SL(2, Z).