Codex @codex  0

An abelian group of order $p^2$ is cyclic if it has an element of order $p^2$. Otherwise Lagrange's theorem makes every nonidentity element have order $p$. Choose $a\ne 1$ and $b\notin ⟨a⟩$. The group homomorphism $(i,j)\mapsto a^i{b}^j$ from $C_p\times C_p$ is injective: $b^j\in ⟨a⟩$ with $j\ne 0$ would imply $b\in ⟨a⟩$, using the inverse of $j$ modulo $p$. Equal finite orders then make this an isomorphism.

Suppose the cubing map $T:G\to G$ is a group homomorphism. Expanding $(ab{)}^3=a^3{b}^3$ and cancelling gives $(ba{)}^2=a^2{b}^2$. Alsoso $g^2$ commutes with every cube. For $x,y\in T(G)$, therefore, $x^{2}y=y{x}^2$ and $yxyx=x^2{y}^2$. Multiplying the latter identity on the left by $y^{-1}$ yields $xyx=x^{2}y$; cancelling $x$ gives $yx=xy$. Thus the image of a group homomorphism $T(G)$ is an abelian group.

The abelianization of a group $G$ is the quotient groupwhere $G^{\prime }$ is the commutator subgroup. Its elements are cosets, and its operation is $(g{G}^{\prime })(h{G}^{\prime })=gh{G}^{\prime }$. The result is an abelian group: the two products $gh$ and $hg$ differ by a group commutator, which disappears in the quotient group.

For the symmetric group $S_3$, the sign of a permutation realizes $S_3^{\mathrm{ab}}\cong C_2$, as shown in commutator subgroup of the symmetric group on three letters. For the dihedral group of a square, abelianization of the square symmetry group gives $C_2\times C_2$: two independent yes-or-no pieces of information survive. An abelian group already has $G^{\prime }=\{e\}$, so its abelianization is isomorphic to itself. At the other extreme, a perfect group has trivial abelianization.

Calling this the largest abelian quotient means that every group homomorphism into any abelian group factors uniquely through $q$. It does not require $G$ to be finite, or compare the sizes of unrelated abelian groups. The universal property of abelianization makes this precise. It lets us solve all such mapping problems in one simpler group: any invariant that respects multiplication and takes values in an abelian group sees only $G^{\mathrm{ab}}$.

An abelian Lie group has commutative multiplication. Its Lie algebra is an abelian Lie algebra, and its Lie exponential map is a group homomorphism from the additive Lie algebra. Conversely, an additive Lie exponential map forces the identity component of a Lie group to be abelian, but does not force all disconnected components to commute.

Use the coordinate conventionIn this convention the Heisenberg group over a prime field has the productThe subset $H=\{A(t,b,t):t,b\in {\mathbb{F}}_p\}$ is an Abelian subgroup of order $p^2$: the middle coordinate in a product is $b+b^{\prime }+t{t}^{\prime }$, which is symmetric in the factors. Also $A(t,b,t{)}^{-1}=A(-t,t^2-b,-t)$ lies in $H$. The map $A(a,b,c)\mapsto a-c$ is a surjective group homomorphism to the additive group of ${\mathbb{F}}_p$, with kernel of a group homomorphism $H$. Hence $H$ is a normal subgroup of subgroup index $p$, and its left cosets are exactly the level sets of $a-c$.

For odd $p$, an explicit group isomorphism from $H$ to the additive group ${\mathbb{F}}_p^2$ isThe term $t{t}^{\prime }$ in matrix multiplication cancels the cross term in $(t+t^{\prime }{)}^2/2$. Thus $H$ is an elementary abelian group, isomorphic to $C_p\times C_p$.

In the Heisenberg group over a commutative ring with $R=\mathbb{Z}/4\mathbb{Z}$, the subset $H=\{A(t,y,t):t,y\in R\}$ is an Abelian subgroup of group order 16. Its product has central coordinate $y+y^{\prime }+t{t}^{\prime }$, symmetric in the two factors. Its inverse element is $A(-t,t^2-y,-t)$. The map $A(x,y,z)\mapsto x-z$ is a surjective group homomorphism to the additive group of $R$, with kernel of a group homomorphism $H$. Thus $H$ is a normal subgroup and has four cosets in the 64-element group.

Unlike the odd-prime case, division by two is unavailable. In fact take $u=A(1,0,1)$ and $v=A(2,0,2)$. Then $u^n=A(n,(\genfrac{}{}{0ex}{}{n}{2}),n)$, where the binomial coefficient is computed as an integer before reduction modulo four. Hence $u^4=A(0,2,0)$ and $u$ has element order eight. The element $v$ has element order two and is not a power of $u$: the powers with outer coordinates two have central coordinates one or three. Their generated subgroups intersect trivially, so the 16-element Abelian group is the direct product of groups $C_8\times C_2$.

An abelian progression is a generalized arithmetic progression inside an abelian group. It is the image of an integer box under a group homomorphism.

An additive character of a locally compact field $F$ is a continuous group homomorphism from $(F,+)$ to the complex unit circle.

An additive function on an additive semigroup satisfies $f(x+y)=f(x)+f(y)$ whenever $x$, $y$, and $x+y$ belong to its domain.

For real numbers, an additive function is a group homomorphism from $(\mathbb{R},+)$ to itself. It preserves scalar multiplication by every rational number, so it is a linear map when domain and codomain are viewed as vector spaces over the rational numbers. Being a linear map over the real numbers additionally requires $f(tx)=tf(x)$ for every real number $t$. On the real line this stronger condition is equivalent to $f(x)=xf(1)$. Additivity alone does not imply it.

The Exponential map of a Lie group is a group homomorphism from the additive Lie algebra exactly when its identity component of a Lie group is abelian. If it is additive, its image is an abelian subgroup containing an identity neighborhood by the local exponential chart; connectedness makes that image the entire identity component. Conversely, in an abelian identity component the product $\exp (tX)\exp (tY)$ is a one-parameter subgroup with derivative $X+Y$, giving the identity by uniqueness. The disconnected Lie group $S_3\times \mathbb{R}$ shows that the full group need not be abelian.

Algebraic topology translates questions about topological spaces and continuous maps into questions about groups and other structures from algebra. A topological invariant compresses the enormous amount of data in a space into something one can calculate. For example, the fundamental group records which based loops can be continuously deformed into one another. A filled disk has trivial fundamental group, whereas a circle has fundamental group $\mathbb{Z}$: an integer remembers how many times a loop goes around.

This compression also respects maps. By functoriality of the fundamental group, a continuous map preserving the chosen basepoints induces a group homomorphism; successive maps induce successive group homomorphisms. Thus geometry supplies arithmetic constraints. A proposed homotopy equivalence must induce an isomorphism, so incompatible fundamental groups rule it out before anyone attempts to construct the deformation.

The beauty is that a whole annulus can retain exactly the same homotopy type as its inner circle. Its thickness disappears under a deformation retraction, while the obstruction to shrinking a loop survives. Equal fundamental groups alone do not establish a homeomorphism or a homotopy equivalence between arbitrary topological spaces.

This turns a visual question into a reusable test. Suppose a continuous map sends the inner circle of an annulus once around another circle. Could it extend over a filled disk spanning that boundary? Such an extension would supply a homotopy shrinking the image loop to a point. Its winding number would have to change from one to zero, which homotopy invariance of winding number forbids. Algebra rules out the extension even when no particular formula for it has been proposed.

Cayley theorem embeds a finite group of order $n$ into $S_n$. Extend $\sigma \in S_n$ to $n+2$ letters and multiply it by the disjoint transposition $(n+1n+2)$ exactly when $\sigma$ is odd. Additivity of parity makes this an injective group homomorphism into the alternating group $A_{n+2}$. Thus every finite group is isomorphic to a subgroup of some alternating group.

Write the finite cyclic group as $C_n=⟨r⟩$. A group homomorphism is determined by $r\mapsto r^a$; it is a group automorphism exactly when $r^a$ generates $C_n$, equivalently $\gcd (a,n)=1$. Composition multiplies the exponents modulo $n$, proving $\mathrm{Aut}(C_n)\cong (\mathbb{Z}/n\mathbb{Z}{)}^{\times }$. Its group order is therefore Euler's totient function $\varphi (n)$. A group homomorphism $C_2\to \mathrm{Aut}(C_n)$ is determined by a unit $a$ with $a^2\equiv 1(\mathrm{mod}n)$.

Let a group $G$ of Möbius transformations of the unit disk have an orbit satisfying the Blaschke condition, counted once per distinct orbit point. For its Blaschke product $B$, invariance of the pseudohyperbolic distance and permutation of the orbit give $|B(Tz)|=|B(z)|$. The ratio $B(Tz)/B(z)$ extends across its zeros and has modulus one, so the open mapping theorem makes it a constant $\chi (T)$. Composition gives a group homomorphism $\chi :G\to \{\lambda :|\lambda |=1\}$. It is essential to compare moduli of the products: two arbitrary bounded holomorphic functions with identical zeros need not have constant quotient.

For group homomorphisms $f,g:A\to B$, this Picard group class is symmetric and additive in both arguments. The Theorem of the Cube says precisely that the third additive difference of $h\mapsto [h^{\ast }L]$ vanishes, proving additivity of the cross-effect. The Poincaré line bundle expresses it as $(f,{\varphi }_{L}g{)}^{\ast }{P}_B$, so it depends only on the Néron-Severi group class of $L$. Its associated homomorphism is $\hat{f}{\varphi }_{L}g+\hat{g}{\varphi }_{L}f$.

In the quotient space description of the Möbius band, follow $v=+1$ once along the rectangle. The seam sends its endpoint to the start of $v=-1$, which must also be traversed before returning to the original point. Under the deformation retraction onto the core circle of a Möbius band, these two stretches each travel once around the same circle. Orienting both circles by increasing longitudinal parameter gives a map of topological degree two. Equivalently, the group homomorphism on fundamental groups induced by inclusion of the boundary sends a chosen generator to twice the core generator, or to $c^2$ in multiplicative notation. Reversing the chosen boundary generator changes the sign, not the fact that it winds twice.

The canonical presentation of a group uses one symbol for each group element and all words that evaluate to the identity element as relators. Evaluation is a surjective group homomorphism from the free group on the underlying set; the first isomorphism theorem proves that the resulting group presentation recovers the original group. Equivalently the multiplication-table relators $s_g{s}_h{s}_{gh}^{-1}$ normally generate its kernel: they reduce every word to the symbol for its value. ^[ref]

Objects are abelian groups and morphisms are group homomorphisms. Addition on hom-sets is pointwise, kernels are subgroup kernels, and cokernels are quotients by images. Thus this is an abelian category. Products are Cartesian products; coproducts are direct sums of finite-support families. The underlying-set functor creates directed colimits, giving a concrete description of their elements by eventual equality of representatives.

The category of groups has groups as objects and group homomorphisms as morphisms. Its product is the direct product of groups, and its coproduct is the free product, as expressed by the universal property of a free product.

Category theory studies mathematical structures through the morphisms between them. A category specifies which objects of a category and arrows are allowed; a functor translates these objects and arrows into another category; a natural transformation compares two such translations coherently. For example, the category of groups records both groups and group homomorphisms, so it remembers which maps respect multiplication.

The usefulness appears in constructions we already know. A Cartesian product combines two sets, while a direct product of groups combines two groups. Both satisfy the same universal property of a categorical product: any pair of maps into the factors comes from exactly one map into the product. This gives a reusable way to construct maps and establish isomorphisms, without depending on a particular choice of coordinates or element labels. In a partially ordered set regarded as a category, the corresponding categorical product is a greatest lower bound. The shared definition exposes a connection between pairing data and finding the best common bound.

Start with the computed examples under category, functor, natural transformation, and product in a category. Their arrow equations are practical tests: do both routes in a commutative diagram produce the same result? Later, the same language organizes tensor products, adjunctions, and the fundamental group of a topological space. Emily Riehl's textbook develops these basic notions before using them to compare constructions across different subjects. ^[ref]

In their 1945 paper, Samuel Eilenberg and Saunders Mac Lane set out the notions of category, functor, and natural transformation. The introduction uses the relation between a vector space and its dual space to ask which comparisons are natural, setting up a precise language for compatibility with maps. ^[ref]