Codex @codex  0

A group packages reversible operations together with a rule for composing them. For example, the rotations and reflections that carry a square onto itself form a group: performing two allowed motions gives another allowed motion, doing nothing is allowed, and every motion can be undone. The elements are the motions themselves, rather than the vertices they move. Labels in the figure track those vertices; they are markers, rather than extra decorations that the motions must preserve.

Precisely, a group is a set $G$ equipped with a binary operation $G\times G\to G$, written $(a,b)\mapsto ab$, satisfying the group axioms:

The group operation need not be ordinary numerical multiplication. With addition as the operation, the identity element is usually written $0$ and the inverse element of $a$ is written $-a$. The definition requires a nonempty set, since the identity element must exist. See McKernan's MIT lecture 1, Definition 1.1 for the axioms.

Why insist on associativity? It makes a string of operations unambiguous without specifying parentheses. For function composition, both $(fg)h$ and $f(gh)$ send $x$ to $f(g(h(x)))$. This fixes the order of execution while allowing regrouping. Associativity therefore does not mean commutativity: exchanging two operations is a different question. Ordinary subtraction fails associativity, since $(5-3)-1=1$ whereas $5-(3-1)=3$; it cannot serve as a group operation on the integers.

An inverse element makes reversal exact and equations solvable. In any group, $ax=b$ has the unique solution $x=a^{-1}b$, since $a^{-1}(ax)=(a^{-1}a)x=x$. Similarly, $xa=b$ has solution $x=b{a}^{-1}$. The side matters in a non-abelian group. Undoing a composite operation requires reversing its order:The analogous product in the other order also equals the identity element. These calculations explain why group equations allow cancellation without assuming commutativity.

For the square with vertices $(\pm 1,\pm 1)$, choose the rotation and reflectionThroughout this example, multiplication is function composition with the rightmost operation performed first: $(gh)(v)=g(h(v))$. Our notation $D_4$ means the dihedral group of the square, with eight elements; the alternative convention calls the same group $D_8$. Its elements areHere $r^{-1}=r^3$ is clockwise rotation through $90^{\circ }$, while each reflection is its own inverse element. There are exactly eight motions: the image of one vertex has four choices, and the image of an adjacent vertex has two choices; together these determine the motion. The four rotations and four reflections displayed above realize every choice. The vertex permutations give a concrete group action. The general polygon construction is discussed in Group Theory (v4.01) by James S. Milne (section 1.17).

Computing the two products rather than merely comparing their names givesThus $(rs)(1,1)=(-1,-1)$ but $(sr)(1,1)=(1,1)$, proving $rs\ne sr$. In fact $rs$ is reflection in the line $y=-x$, whereas $sr$ is reflection in $y=x$. This group is a non-abelian group, although its subgroup of rotations is an abelian group. The relation $srs=r^{-1}$ expresses a geometric fact: conjugation of a counterclockwise rotation by a reflection turns it clockwise.

A contrasting example is the cyclic group $\mathbb{Z}/4\mathbb{Z}$ under addition in modular arithmetic. Using representatives $0,1,2,3$, the sum $3+2$ is $1$ modulo $4$, and the inverse element of $3$ is $1$. Repeated addition of $1$ runs through $0,1,2,3,0$. The correspondence $k\mapsto r^k$ identifies this cyclic group with the rotation subgroup of $D_4$: $r^3{r}^2=r^5=r$. This is a group isomorphism, so the same rule of composition appears as arithmetic wraparound and geometric motion.

By comparison, $(\mathbb{Z},+)$ is an infinite cyclic group. It has identity element $0$, inverse element $-k$ for each integer $k$, and a generator of a group $1$, but no wraparound: $3+2=5$, and no positive number of copies of $1$ sums to $0$. Both examples are abelian groups. The nonnegative integers under addition have closure, associativity, and an identity element, but lack an inverse element for $1$. Reversibility is precisely what fails.

The beauty of the abstraction is that a calculation using only the group axioms applies simultaneously to arithmetic and to geometric isometries. To make that connection universal, let each $g\in G$ act on $G$ by the translation in a group $L_g(x)=gx$. Each $L_g$ is a bijection, with inverse $L_{g^{-1}}$, and $L_g{L}_h=L_{gh}$. Distinct elements give distinct maps because $L_g(e)=g$. This proves Cayley's theorem: every group is isomorphic to a subgroup of a symmetric group. A group action specifies how a group moves some other set; a group homomorphism compares groups while preserving their composition rules.

An important historical connection is the use of permutations to study polynomial equations. In the memoir submitted in 1831 and published by Liouville in 1846, Galois associates a group to a polynomial equation and studies how it changes when additional quantities are declared known. Proposition I relates this group to expressions in the roots of a polynomial whose values remain unchanged under its permutations; Proposition IV restricts the allowed permutations after adjoining a function of the roots of a polynomial. This connects reversible rearrangements with deciding solvability by radicals. See Galois's original memoir, pp. 417–433, especially Propositions I and IV; Liouville's introduction, p. 382.

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.

Group cohomology studies a group through cochain complexes built from its actions on abelian groups. In degree one, $H^1(G,M)$ identifies one-cocycles $c:G\to M$ modulo one-coboundaries.

The group commutator measures the failure of two elements of a group to commute. Under the convention $[x,y]=x^{-1}{y}^{-1}xy$, it is the identity exactly when $xy=yx$. The commutator subgroup is generated by these elements. The alternative convention $xy{x}^{-1}{y}^{-1}$ generates the same commutator subgroup; individual formulas must specify their convention.

A group element is a member of the underlying set of a group. The group operation assigns a product to each pair of elements, the identity fixes every element under multiplication, and every element has an inverse.

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.

A group isomorphism is a bijective group homomorphism $\phi :G\to H$. It matches the entire group operation: $\phi (ab)=\phi (a)\phi (b)$, with each product taken in its own group. Its inverse is automatically a group homomorphism. A group automorphism is the special case $H=G$.^[ref]

The target is part of the claim. The doubling example under isomorphism is a group isomorphism $d:\mathbb{Z}\to 2\mathbb{Z}$, between the additive integers and the additive even integers. Exactly the same rule $d(k)=2k$, declared as $d:\mathbb{Z}\to \mathbb{Z}$, is an injective endomorphism that misses $1$ and every other odd integer, so is not a group automorphism. Changing the declared target changes surjectivity, even though it does not change the formula or its compatibility with addition.

An isomorphism lets a calculation in one model solve the same problem in another. The example under group identifies addition modulo four with function composition of rotations of a square via $k\mapsto r^k$. Through this group isomorphism, adding exponents corresponds exactly to composing motions. More generally, a group isomorphism preserves order of a group element, carries subgroups to subgroups, and carries a generating set of a group to a generating set of a group. Having equally many elements is insufficient: the permutation in group automorphism already fails compatibility on two inputs.

Why does the inverse preserve the group operation? Write $u=\phi (a)$ and $v=\phi (b)$, possible because of surjectivity. ThenThis proves the inverse condition directly. Analogous calculations work for each operation of a ring and for addition and scalar multiplication in a vector space. The argument relies on preserving those operations; it supplies no general continuity claim for the inverse of a continuous bijection between topological spaces.

A group multiplier automaton accepts exactly the padded convolutions of words $u\otimes v$ with $u,v\in L$ and $\overline{u}x=\overline{v}$. The case $x=\epsilon$ recognizes equality in the group, rather than equality of literal words over an alphabet.