Codex @codex  0

A subgroup $N\le G$ is a normal subgroup when $gN{g}^{-1}=N$ for every $g\in G$. In other words, conjugation by any group element preserves the subgroup as a set, although it may exchange its individual elements. Equivalently, $gN=Ng$ for every $g$: the left and right cosets of $N$ agree. Write $N⊴G$.

Every subgroup of an abelian group is a normal subgroup, because conjugation fixes each element. Normality can also hold in a nonabelian group: in $S_3$, the three even permutations form the alternating group $A_3=\{e,(123),(132)\}$, a normal subgroup as the group kernel of the sign of a permutation. Its two cosets separate the even and odd permutations.

In contrast, $H=\{e,(12)\}$ is a subgroup of $S_3$ but is not a normal subgroup. With function composition of permutations acting rightmost first, choose $g=(123)$. Thenwhich are different cosets. Also $g(12)g^{-1}=(23)\notin H$, directly contradicting invariance under conjugation. Thus a subgroup alone does not suffice for quotient group multiplication.

The practical value of normality is coset multiplication is well-defined exactly for normal subgroups. Each coset can act as one element of a quotient group, with results independent of representatives. Conversely every normal subgroup is the group kernel of its quotient map of groups, so normality also identifies which distinctions a group homomorphism can consistently forget.

A free abelian group has a basis over $\mathbb{Z}$ and is isomorphic to a direct sum of copies of $\mathbb{Z}$.

A torsion element has finite order.

Finite group theory studies groups with finitely many elements.

The automorphism group of a group $G$ is the group of all isomorphisms $G\to G$ under composition.

A group homomorphism is a map $\phi :G\to H$ preserving the group operation: $\phi (gh)=\phi (g)\phi (h)$. It also preserves the identity element and inverse elements. In an additive group, the same requirement reads $\phi (g+h)=\phi (g)+\phi (h)$. A group homomorphism preserves a way of combining inputs, even when several inputs have the same output.

Reduction modulo three from $\mathbb{Z}/6\mathbb{Z}$ to $\mathbb{Z}/3\mathbb{Z}$ is a group homomorphism: reducing a sum agrees with adding the reduced residues. For example, $2+5=1$ modulo six, and both sides reduce to one modulo three; the outputs $2$ and $2$ also add to one modulo three. This map is surjective but not injective, since zero and three both map to zero.

The sign of a permutation gives another example, from the symmetric group $S_3$ to the multiplicative group $\{1,-1\}$. A product of two odd permutations is even, matching $(-1)(-1)=1$. Its group kernel is $A_3$, the alternating group of even permutations. This shows how a group homomorphism can retain a useful feature while forgetting other details.

The general linear group $GL(V)$ is the group of invertible linear maps from a vector space $V$ to itself, with composition as its operation.

For a group $G$ and a normal subgroup $N$, the quotient group $G/N$ is the set of cosets $gN$, with operationIts identity element is the coset $N$, and the inverse element of $gN$ is $g^{-1}N$. A quotient group treats all elements within one coset as the same input while retaining a consistent operation on the classes. The normal subgroup condition is what makes this operation independent of which representatives are chosen. ^[ref].

Take the additive group $G=\mathbb{Z}/6\mathbb{Z}$ and $N=\{0,3\}$. Since $G$ is an abelian group, $N$ is a normal subgroup. There are three elements in the quotient group:Adding two copies of $2+N$ gives $4+N=1+N$; adding $1+N$ and $2+N$ gives $3+N=N$. Hence the quotient group has the addition table of $\mathbb{Z}/3\mathbb{Z}$. It does not select one representative and discard the others: its elements are the entire cosets.

This is useful whenever distinctions within a normal subgroup should be ignored. For example, the sign of a permutation retains only even or odd parity of a permutation in $S_3$. Its group kernel is the alternating group $A_3$, and the quotient group $S_3/A_3$ has two elements. The first isomorphism theorem explains why a group homomorphism's image is a quotient group of its domain.

The order of a group element $g$ is the least positive integer $n$ for which $g^n$ is the identity. If no such integer exists, $g$ has infinite order.

For an abelian group $A$, the generalized dihedral group is the semidirect product $A⋊C_2$ in which the nonidentity element of $C_2$ acts on $A$ by inversion.

A group embedding is an injective group homomorphism. It identifies its domain with an isomorphic subgroup of its codomain.

For a finite group $G$ and a subgroup $H$, the group order of $H$ divides the group order of $G$:Here $[G:H]$ is the index of a subgroup, the number of distinct left cosets. It is also the number of distinct right cosets: inversion gives a bijection $gH\mapsto H{g}^{-1}$ between the two collections. No normal subgroup assumption is needed for Lagrange's theorem. The normal subgroup condition matters when constructing a quotient group, rather than when counting a partition of a set.

The beauty of Lagrange's theorem is that an arithmetic restriction follows from a structural picture. A group can be tiled by equal-sized cosets of any subgroup. To see the count, choose one representative from each left coset. Every group element has exactly one expression $g_{i}h$ for these chosen representatives and $h\in H$: different rows do not overlap, and multiplication by $g_i$ is a bijection from $H$ to its row. Counting rows times row size gives the formula. See MIT's symmetries notes, section 2.

The additive cyclic group $\mathbb{Z}/6\mathbb{Z}$ above gives $6=3\times 2$ from $H=\{0,3\}$. Another subgroup, $K=\{0,2,4\}$, has cosets $K$ and $1+K=\{1,3,5\}$, giving $6=2\times 3$. In $S_3$, the subgroup $\{e,(12)\}$ also gives $6=3\times 2$, despite its distinct left and right coset partitions. Thus equal row sizes persist in a nonabelian group. A proposed subgroup of size four in either group is impossible: four does not divide six. This filters possible subgroups before any search for group generators.

Apply Lagrange's theorem to the cyclic subgroup generated by a group element $g$. Its size is the order of a group element, so $\mathrm{ord}(g)\mid |G|$ and $g^{|G|}=e$. In the additive example, $2$ has order of a group element $3$, since $2+2+2=0$ modulo six; the corresponding multiplicative statement becomes $6\cdot 2=0$. A group of prime group order is consequently a cyclic group: any nonidentity group element generates a subgroup whose size is greater than one and divides that prime, forcing it to be the whole group. See MIT's cyclic-group notes. The same counting idea underlies the orbit-stabilizer theorem: the orbit of a group action is parametrized by cosets of its stabilizer subgroup.

Historically, Lagrange's theorem grew from investigations of permutations of roots of a polynomial; see St Andrews' account of Lagrange's early work. The modern statement about arbitrary finite groups should not be read back into the early work. Carmichael's 1921 review explicitly cautioned against attributing the full result to Lagrange; see Carmichael's historical note, reproduced by St Andrews. Finally, Lagrange's theorem supplies a necessary size condition; the failure of the converse to Lagrange's theorem below explains its limit.

For a subgroup $H\le G$ of a group $G$, a left coset is $gH=\{gh:h\in H\}$; a right coset is $Hg=\{hg:h\in H\}$. The name refers to the side on which the representative $g$ multiplies $H$. Think of a coset as a translated copy of a subgroup: it remembers the relative differences allowed by $H$, while moving the whole collection to another location in the group.

Two left cosets of the same subgroup are either equal or disjoint. Thus distinct left cosets form a partition of a set covering $G$; the same statement holds separately for right cosets. The useful membership test isThis also defines an equivalence relation: changing a representative by right multiplication with a member of $H$ leaves its left coset unchanged. These facts hold even for infinite groups. See MIT's coset notes, definitions 3.6 and 3.9.

For an explicit additive example, take the cyclic group $G=\mathbb{Z}/6\mathbb{Z}$, with modular arithmetic, and the subgroup $H=\{0,3\}$. Adding each representative to both members gives exactlyRepresentatives $3,4,5$ repeat these three cosets, respectively. For example, $4+H=\{4,1\}=1+H$, since $4-1=3\in H$. Every residue appears once in the displayed partition of a set. Each coset has two members, so the group order of $H$ is $2$ and its index of a subgroup is $3$. Left and right cosets coincide here because $G$ is an abelian group.

A coset need not be a subgroup. In this example, $\{1,4\}$ lacks the identity element $0$, and $1+1=2$ leaves it. In fact, the only left or right coset of $H$ that is a subgroup is $H$ itself: a subgroup must contain the identity element, and the coset containing that element is $H$. Equal sizes come instead from the bijection $h\mapsto gh$, whose inverse is $x\mapsto g^{-1}x$; for right cosets, use $h\mapsto hg$ and $x\mapsto x{g}^{-1}$.

The nonabelian group $S_3$, the symmetric group on three letters, separates the two sides. Use function composition with the rightmost permutation applied first, and let $H=\{e,(12)\}$. Then $(13)(12)=(123)$ but $(12)(13)=(132)$, giving the differing pairThe complete partition of a set into left cosets consists of $H$, $\{(13),(123)\}$ and $\{(23),(132)\}$; the complete partition of a set into right cosets consists of $H$, $\{(13),(132)\}$ and $\{(23),(123)\}$. Each lists all six permutations exactly once. Both have three parts of size two, although their parts differ.

Left cosets support a group action by $a\cdot (gH)=(ag)H$ for every subgroup, as in the coset action. Multiplication of representatives defines a quotient group operation $(aH)(bH)=(ab)H$ precisely when $H$ is a normal subgroup. Otherwise the answer can depend on the representatives: in this $S_3$ example, $e$ and $(12)$ represent the same coset $H$, yet $e(13)H=(13)H$ and $(12)(13)H=(23)H$ differ. In the additive example, $H$ is a normal subgroup, making $(1+H)+(2+H)=3+H=H$ valid. See MIT's quotient-group notes, theorem 9.1.

A left group action of a group $G$ on a set $X$ is a function $(g,x)\mapsto g\cdot x$ satisfyingwhere $e$ is the identity element of $G$. The second rule means that $h$ moves the point first and $g$ moves it next. These rules let group multiplication describe consistent rearrangements of a set; see Ackerman's algebra notes, definition 0.4.1.1.

For each $g$, the function $x\mapsto g\cdot x$ is a bijection: its inverse is $x\mapsto g^{-1}\cdot x$, using the inverse element of $g$. Equivalently, a group action is a group homomorphism $\rho :G\to \mathrm{Sym}(X)$ into the symmetric group of all permutations of $X$, with $\rho (g)(x)=g\cdot x$ and $\rho (gh)=\rho (g)\circ \rho (h)$. See MIT's group-action notes, definition 23.1.

For a concrete group action, put the vertices of a polygon of a square at $A=(1,1)$, $B=(-1,1)$, $C=(-1,-1)$ and $D=(1,-1)$. Let $r(x,y)=(-y,x)$ be a counterclockwise quarter-turn rotation and let $s(x,y)=(y,x)$ be a reflection. Their eight permutations of the vertices of a polygon form the dihedral groupHere $D_4$ means the symmetry group of a four-sided polygon, with group order eight; the alternative convention calls this same group $D_8$. Products apply the rightmost operation first. For example, $s\cdot B=D$ and $(rs)\cdot B=r\cdot D=A$. The same group also has separate group actions on the sides of a polygon, the diagonals of a polygon, and the singleton set containing the centroid of the square. Specifying $X$ matters: changing what is moved changes the orbits of a group action and the stabilizer subgroups.

A group action need not be a faithful group action. For example, the cyclic group $C_4=\mathbb{Z}/4\mathbb{Z}$ acts on $X=\{0,1\}$ by $k\cdot x=x+k(\mathrm{mod}2)$, using modular arithmetic. Only the parity of $k$ matters: $0,2$ fix both points and $1,3$ exchange them. The associated group homomorphism $C_4\to \mathrm{Sym}(X)$ has group kernel $\{0,2\}$, of group order two. Either point has a group orbit of size two and a stabilizer subgroup of group order two, so the orbit-stabilizer theorem gives $4=2\cdot 2$.

The useful questions are which positions can be exchanged, and which transformations survive after imposing a constraint such as keeping one marked point fixed. An orbit of a group action answers the first question; a stabilizer subgroup answers the second. This turns a list of transformations into a count of distinct configurations, and explains why several transformations can produce the same configuration.

For a subgroup $H$ of a group $G$ and $g\in G$, the conjugate subgroup is the conjugate subsetIt is a subgroup because conjugation is a group automorphism. Restricting that group automorphism gives a group isomorphism from $H$ to $gH{g}^{-1}$, so conjugate subgroups have the same group order. This describes the same operations after moving their reference configuration. Conjugacy of subgroups is an equivalence relation. ^[ref]

For an equilateral triangle with vertices of a polygon labeled $1,2,3$ counterclockwise, its symmetry group is the symmetric group $S_3$, also the dihedral group of group order six. Let $r=(123)$ be the counterclockwise rotation through $120$ degrees, and let $s=(12)$ be the reflection fixing vertex of a polygon $3$. Products apply the rightmost permutation first. The cyclic subgroup $K=⟨s⟩=\{e,(12)\}$ contains the identity element and one reflection. Relabeling a transposition by conjugation givesThus the conjugation action moves $K$ among the three subgroups $⟨(12)⟩$, $⟨(23)⟩$, and $⟨(13)⟩$. Geometrically, the rotation moves the axis of the reflection to the next axis. Each reflection fixes a different vertex of a polygon, although group isomorphisms relate all three subgroups.

The normalizer tells when this change of reference leaves the subgroup unchanged. For any group $G$ and subgroup $H\le G$, there is a bijectionTwo choices $g,k$ give the same conjugate subgroup exactly when $k^{-1}g\in N_G(H)$. Consequently the index of a subgroup $[G:N_G(H)]$ counts the distinct conjugate subgroups, even for an infinite group. For a finite group the count is $|G|/|N_G(H)|$. These are cosets; they need not form a quotient group, since $N_G(H)$ need not be a normal subgroup of $G$. In the triangle example there are $6/2=3$ conjugate subgroups, while the cyclic subgroup $⟨r⟩$ has only one. ^[ref]

The center of a group consists of the elements that commute with every element of that group:where $C_G(g)$ is the centralizer of $g$. These are operations whose position in any product can be changed freely. The center is an abelian group and a characteristic subgroup, hence a normal subgroup. A group is an abelian group precisely when $Z(G)=G$.

For the symmetric group $S_3$, the conjugacy classes areAn element belongs to the center precisely when its conjugacy class has one element, so $Z(S_3)=\{e\}$. Yet commutator subgroup of the symmetric group on three letters gives $S_3^{\prime }=A_3$, with three elements. Thus belonging to the commutator subgroup does not mean commuting with everything. The alternating group $A_3$ is an abelian group as a subgroup, but its nonidentity elements do not commute with the transpositions in the surrounding $S_3$.

For the dihedral group $D_8$ of group order eight in abelianization of the square symmetry group, the center is $\{e,r^2\}$. A rotation $r^i$ commutes with $s$ precisely when $r^i=r^{-i}$, which requires $i$ even. No reflection $r^{i}s$ commutes with $r$, since $(r^{i}s)r=r^{i-1}s$ whereas $r(r^{i}s)=r^{i+1}s$. ConsequentlyThe half-turn can be performed before or after any square symmetry with the same result. Its appearance both here and in the commutator subgroup is a feature of this example, rather than a general equality. See Conrad, Dihedral groups I, theorem 3.4 and example 3.5.

The center and the commutator subgroup answer different useful questions: which operations already commute with everything, and which operations must disappear for the entire group to commute. In an abelian group these answers are $Z(G)=G$ and $G^{\prime }=\{e\}$. Another way to use the center is through conjugation: the group homomorphism $g\mapsto (h\mapsto gh{g}^{-1})$ has group kernel $Z(G)$, so the first isomorphism theorem gives $G/Z(G)\cong \mathrm{Inn}(G)$, the inner automorphism group. The quotient group by the center thus records the distinct conjugation operations; it need not be an abelian quotient.

A nontrivial finite p-group always has a nontrivial center. In the class equation, each noncentral conjugacy class has size divisible by $p$, so $|Z(G)|\equiv |G|\equiv 0(\mathrm{mod}p)$. The identity element ensures $Z(G)$ is nonempty, hence it has at least $p$ elements. See McKernan, MIT 18.703, lemmas 23.6–23.7 and definition-lemma 23.10.

The commutator subgroup of a group $G$ is the subgroup generated by all its group commutators:Here and throughout, $[x,y]=x^{-1}{y}^{-1}xy$. A group commutator is the identity element precisely when $x$ and $y$ commute. The generated subgroup includes finite products of group commutators and their inverse elements; an element of $G^{\prime }$ need not itself be a single group commutator. Thus $G^{\prime }=\{e\}$ precisely when $G$ is an abelian group.

The useful idea is to record exactly what must disappear to make multiplication commutative. The identity $xy=yx[x,y]$ shows how a group commutator corrects a change in multiplication order. Setting every such correction equal to $e$ produces the abelianization $G/G^{\prime }$, while preserving every piece of information that a group homomorphism to an abelian group can detect. This connects a local comparison of two operations to a canonical quotient group of the whole group.

The commutator subgroup is a characteristic subgroup, hence a normal subgroup: a group automorphism $\alpha$ sends $[x,y]$ to $[\alpha (x),\alpha (y)]$. For any normal subgroup $N$,Indeed, the group commutator of $xN$ and $yN$ is $[x,y]N$. This makes $G^{\prime }$ the smallest normal subgroup whose quotient group is an abelian group. See Conrad, Subgroup series I, section 4: commutators and abelian quotients.

A direct product combines two groups into one while keeping their operations in separate coordinates. Its underlying set is the Cartesian product $G\times H$, and its group operation isThe identity element is $(e_G,e_H)$, and the inverse element of $(g,h)$ is $(g^{-1},h^{-1})$. Associativity follows coordinate by coordinate. For finite groups, the multiplication principle gives $|G\times H|=|G||H|$.

For example, write the cyclic group $C_m$ as the additive group of residue classes modulo $m$. In $C_2\times C_3$,since each coordinate reduces with its own integer modulus. A pair can track two cyclic counters that advance independently. Updating the first coordinate does not alter the second, and vice versa.

This independence has an algebraic form. The embedded factor elements always commute:The coordinate maps $(g,h)\mapsto g$ and $(g,h)\mapsto h$ are group homomorphisms, so one can analyze either component separately. This does not make the full product an abelian group when one of its factors is nonabelian: two arbitrary pairs need not commute.

The construction is useful in both directions. It builds a larger group from familiar pieces, while the internal direct product theorem recognizes when an existing group can be separated into such pieces. A cyclic group can sometimes be split this way; whether two finite cyclic factors combine into one cyclic group is decided by the cyclicity of a product of two finite cyclic groups. Definitions and the basic recognition theorems are developed in Thomas Judson, Abstract Algebra: Theory and Applications, §9.2, Direct Products.

For a group homomorphism $\phi :G\to H$, the group isomorphism $g\ker \phi \mapsto \phi (g)$ givesThe group kernel records which inputs become indistinguishable, and the image records which outputs actually occur. The first isomorphism theorem says that identifying precisely those indistinguishable inputs gives a group isomorphic to the image. It is one of the general isomorphism theorems. ^[ref].

For example, reduction modulo three gives a surjective group homomorphism from the additive cyclic group $\mathbb{Z}/6\mathbb{Z}$ to $\mathbb{Z}/3\mathbb{Z}$. Its group kernel is $\{0,3\}$. The three cosets $\{0,3\}$, $\{1,4\}$, and $\{2,5\}$ become the three outputs zero, one, and two, respectively. ThusThe quotient group diagram shows both the identification and the resulting operation. More generally, fibres of a group homomorphism are cosets of its kernel explains why this map is well-defined and injective; it is surjective onto the image by definition.