Codex @codex  0

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.

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.

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$.

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.

Every continuous group homomorphism ${\mathbb{R}}^n/\Lambda \to {\mathbb{C}}^{\times }$ is $x+\Lambda \mapsto e^{2\pi i⟨u,x⟩}$ for a unique $u$ in the dual lattice. Compactness forces unit modulus, and lifting the character to the simply connected cover makes its phase a real linear functional. These characters are the frequencies of torus Fourier series.

The dual of an abelian variety represents algebraically trivial line bundles rigidified at the origin. Its group law is tensor product. A group homomorphism $f:A\to B$ induces $\hat{f}:\hat{B}\to \hat{A}$ by pullback of these line bundles.

An extension cocycle is the two-cocycle obtained from a section of a group extension. It measures the failure of the section to be a group homomorphism.

If $G$ has $d$ generators, there are at most $(n!{)}^d$ group homomorphisms $G\to S_n$. Each subgroup of index $n$ is a point stabilizer in a transitive coset group action, so there are at most $n(n!{)}^d$ such subgroups. Consequently finitely many subgroups have index at most any fixed bound. Intersecting them gives a finite-index characteristic subgroup, useful in proving residual finiteness of semidirect products.

A finite quotient is the image of a group under a surjective group homomorphism to a finite group. A group has no nontrivial finite quotients exactly when every homomorphism from it to a finite group is trivial. This property does not prohibit finite or finite-quotient-bearing subgroups.

A group automorphism is a bijective group homomorphism from a group to itself.

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

A group isomorphism is a bijective group homomorphism. Its inverse is automatically a group homomorphism.

A group representation is a group homomorphism from a group to the general linear group of a vector space. It realizes abstract group elements as invertible linear transformations.

Suppose an elliptic curve $E/K$ has all four geometric 2-torsion points rational. For $P\in E(K)$ choose $Q\in E(\overline{K})$ with $2Q=P$. The function $c_P(\sigma )=\sigma (Q)-Q$ takes values in $E[2]$ and is a group homomorphism from the absolute Galois group to $E[2]$: its usual cocycle law becomes additivity because the action on $E[2]$ is trivial. Replacing $Q$ by another half, or $P$ by $P+2R$ with $R\in E(K)$, leaves it unchanged. Adding chosen halves proves additivity in $P$. Its kernel in $E(K)/2E(K)$ is zero, since $c_P=0$ precisely when the chosen half is rational. This constructs the injective map directly, without assuming any theorem of two-descent on an elliptic curve or finite generation of the Mordell-Weil group.

For any group $G$, evaluation at a chosen generator of a group $x$ of $C_n$ gives a bijection between group homomorphisms $C_n\to G$ and elements satisfying $g^n=1$. A group homomorphism must send $x^j$ to $g^j$. Conversely, this formula is well-defined because exponents differing by a multiple of $n$ give equal powers, and it respects multiplication. The displayed correspondence is a bijection of sets; it is not claimed to be a group isomorphism for a nonabelian target. In a symmetric group, the order of a group element is the least common multiple of its disjoint cycle lengths, making this correspondence easy to enumerate.

A Lie subgroup is a subgroup carrying a Lie group structure such that its inclusion is an injective immersion and a group homomorphism. Its Lie algebra includes in that of the ambient Lie group.

The Möbius group is the group of all Möbius transformations of the Riemann sphere, under function composition. An invertible $2\times 2$ complex matrix represents $z\mapsto (az+b)/(cz+d)$, and nonzero scalar multiples represent the same transformation. Rescaling a representative to determinant one gives a surjective group homomorphism $S{L}_2(\mathbb{C})\to \mathcal{M}$ with kernel of a group homomorphism $\{I,-I\}$. Thus it is also the projective linear group $PG{L}_2(\mathbb{C})$ and the quotient $PS{L}_2(\mathbb{C})=S{L}_2(\mathbb{C})/\{\pm I\}$.

In odd dimension, the map $A\mapsto (\det A)A$ is a surjective group homomorphism from the orthogonal group to the special orthogonal group, with kernel of a group homomorphism $\{I,-I\}$. Scalar matrices commute, and $\det [(\det A)A]=(\det A{)}^{2m+2}=1$. Together with the determinant sign, it identifies $O(2m+1)$ with the direct product of groups $SO(2m+1)\times C_2$. In even dimension, scalar multiplication by $\det A$ does not repair the determinant, so this construction does not give the same splitting.