Codex @codex  0

Lie theory studies continuous symmetries through Lie groups, Lie algebras, and their representations. A rotation can change by an arbitrarily small angle: its parameter varies continuously, yet composing two rotations obeys an exact group operation. The central question is how such finite transformations are controlled by their velocities at the identity element.

An infinite group need not require infinitely many independent parameters. The planar rotation group has infinitely many elements but only one local angle coordinate. More generally, an $n$-dimensional Lie group has an $n$-dimensional tangent space $\mathfrak{g}=T_{e}G$ at its identity element. A basis of this Lie algebra, together with the Lie brackets between its basis vectors, supplies finite data for infinitesimal composition. These brackets record the first correction to adding small transformation parameters. The Exponential map of a Lie group turns a chosen infinitesimal direction into an actual motion.

Finite tangent data consists of a finite basis and a finite table of Lie brackets. For planar rotation, every generator is $aJ$ with $a\in \mathbb{R}$, using the quarter-turn matrix $J$ computed below: one real coefficient specifies any angular velocity. This Lie algebra has infinitely many vectors, but its dimension is one. Linear combinations of the chosen basis vectors supply all the possible infinitesimal motions.

This passage between geometry and algebra is useful because linear maps and matrix commutators are easier to compute than an entire family of transformations. The local information does not determine every global identification: the additive real line and the circle group have isomorphic one-dimensional Lie algebras, but only the latter wraps around. For the local-versus-global viewpoint and the connection with differential equations, see Meinrenken, Lie groups and Lie algebras, introduction and Section 4.

The multiplicative algebraic group has ${\mathbb{G}}_m(K)=K^{\times }$, with multiplication as its group operation. Its coordinate ring is $K[z,z^{-1}]$. The formal multiplicative group describes its law near the identity $z=1$.

Apply Zorn's lemma using the chain upper bounds just proved, obtaining a maximal partial group operation $m$ on a nonempty carrier $A\subseteq X$. Suppose $|X\setminus A|\ge |A|$. Then choose a subset $B\subseteq X\setminus A$ and a bijection $b:A\to B$. The set $A\cup B$ can be identified with $A\times C_2$ by sending $(a,0)$ to $a$ and $(a,1)$ to $b(a)$.

Use group extension by a duplicate carrier to transport the direct-product group operation along this bijection. Its restriction to $A\times A$ is exactly the original $m$, because $(a,0)(a^{\prime },0)=(m(a,a^{\prime }),0)$. It therefore gives a strictly larger member of $\mathcal{G}$, contradicting maximality. Thus $|A|\nleqq |X\setminus A|$. Cardinal comparability, allowed as a consequence of Zorn's lemma, leaves the strict opposite inequality:The argument uses choice through Zorn's lemma and cardinal comparability; the extension itself is an explicit transported direct-product operation once the bijection with $B$ is chosen.

Zorn's lemma states that a nonempty partially ordered set in which every chain has an upper bound has a maximal element. Order the partial group operations by inclusion of their graphs. The collection is a set, since its members are subsets of $X\times X\times X$. It is nonempty: choose $x_0\in X$ and put the one-element group operation on $\{x_0\}$.

To construct a chain union of partial group operations, for the given nonempty chain, let $m={\bigcup }_{n\in \mathcal{C}}n$ and let $A$ be the union of the corresponding group carriers. Comparability guarantees agreement wherever two operations are both defined, so $m$ is a function. Its domain is $A\times A$: any two elements of $A$ lie together in one carrier, by taking the larger of the two chain members containing them. Their product then lies in that carrier and hence in $A$.

Any three elements similarly lie together in one chain member, where associativity holds; therefore associativity holds for $m$. The identities of nested nonempty groups agree: the smaller identity remains an idempotent under the larger group operation, whose only idempotent is its identity. Hence the whole chain has a common identity. Each element's inverse in a carrier remains its inverse in every larger carrier, so it is an inverse in the union as well. Thus $(A,m)$ satisfies all group axioms andIt is an upper bound for the chain. The empty chain also has an upper bound because $\mathcal{G}$ is nonempty, completing the hypothesis needed for Zorn's lemma.

Let $O=(0:1:0)$ be the point at infinity of the Weierstrass equation of an elliptic curve. It is the identity element for the elliptic curve group law. For an affine rational point $P=(x,y)$, the inverse isIndeed, the two affine intersections with the vertical line have these ordinates, since their sum as roots of the quadratic in $y$ is $-a_{1}x-a_3$. This reflection is valid for a generalized Weierstrass equation of an elliptic curve in every characteristic of a field.

For distinct $P,Q$, draw their line; for $P=Q$, draw the tangent line. Let $R$ be its third intersection with the elliptic curve, counted with intersection multiplicity. Then the sum is the reflection of the third intersection:A vertical line has third intersection $O$, so $P+(-P)=O$. If a tangent has third intersection $O$, then $2P=O$. Define addition with $O$ by $P+O=P$; these conventions include all exceptional cases of the affine construction.

The construction is defined over the coefficient field: after two known intersections, the remaining root is rational over that field. It gives a commutative group operation. To see why it is associative, use the elliptic curve group law from Riemann-Roch: the map $P\mapsto [P-O]$ identifies the elliptic curve with its degree-zero divisor class group. A line has intersection divisor $P+Q+R$ linearly equivalent to $3O$, the divisor of the line at infinity. Thus $[P-O]+[Q-O]+[R-O]=0$. The geometric sum agrees with addition of divisor classes, which is associative.

Choose an integral Minimal Weierstrass equation whose discriminant is a $p$-adic unit. Given $P=[X:Y:Z]\in E({\mathbb{Q}}_p)$, scale the coordinates so that $X,Y,Z\in {\mathbb{Z}}_p$ and at least one is a unit. DefineAnother primitive representative differs by a unit scalar, so the projective reduction is well defined. The reduced cubic is smooth by good reduction.

To prove the group homomorphism property, view this smooth projective cubic with its section $O$ as the integral elliptic model $\mathcal{E}/{\mathbb{Z}}_p$. Its addition law is defined over ${\mathbb{Z}}_p$, by adding degree-zero divisor classes, and thus is a regular morphism $\mathcal{E}\times \mathcal{E}\to \mathcal{E}$. Properness identifies $E({\mathbb{Q}}_p)$ with the integral sections just described. Reducing the addition morphism is the group operation of the smooth special fiber. ConsequentlyThis is the good-reduction map respects elliptic addition argument; it covers tangent, vertical and infinity cases where reducing a single affine slope formula would involve division by a nonunit. Smoothness also makes reduction surjective: at each reduced point a partial derivative is a unit, and the Hensel lemma lifts that point in a local affine chart.

Let $C$ be the projective cubic of a Weierstrass equation of an elliptic curve, allowing its elliptic-curve discriminant to vanish, and let $O=[0:1:0]$. Use only the smooth locus of a variety $C_{\mathrm{sm}}(K)$: the singular point, if present, is excluded. For $P,Q$, intersect their chord with $C$, using the tangent if $P=Q$ and counting intersection multiplicity. If the third intersection is $R$, define $P+Q=-R$, wherein general Weierstrass equation of an elliptic curve coordinates. The line through $R$ and $O$ gives this reflection. A vertical chord gives $P+(-P)=O$, and the tangent at $O$ meets $C$ three times at $O$, so $O$ is the identity. The construction is symmetric in $P,Q$. It stays in the nonsingular locus: a line through a singular point has intersection multiplicity at least two there, and therefore cannot also contain two smooth intersections counted with multiplicity.

For the nonsingular case, prove associativity by transporting a known abelian group law. The Abel-Jacobi map of a genus-one curveis bijective over an algebraic closure. Indeed, the Riemann-Roch theorem in genus one says that every divisor class of degree one has a unique effective representative consisting of one point: existence follows from $\ell (D)=1$, and uniqueness follows because two distinct representatives would produce a degree-one map to the projective line, impossible for a genus one curve. Subtracting $O$ gives the claimed bijection.

Any line section represents the same divisor class as $3O$, including tangencies. Thus $P+Q+R\sim 3O$ as divisors on an algebraic curve, while the vertical line gives $R+(-R)+O\sim 3O$. HenceAddition in the Picard group is associative, soThe chord-and-tangent group law is defined over $K$, so the group operation restricts to the $K$-rational points.

For completeness, a singular Weierstrass equation of an elliptic curve produces the smooth-locus group of a singular Weierstrass cubic, not an elliptic curve. Over an algebraic closure, its normalization of an algebraic curve is the projective line; deleting the two preimages of a nodal crossing gives the multiplicative algebraic group, while deleting the single preimage of a cusp gives the additive group. For example, on $y^2=x^3$, the coordinate $u=x/y$, with $u(O)=0$, makes the smooth-locus law addition. On $y^2=x^2(x+1)$ in characteristic different from two, put $t=y/x$ and $z=(t+1)/(t-1)$, with $z(O)=1$; the chord relation gives $z(P)z(Q)z(R)=1$, so the group law is multiplication of $z$. A nonsplit node gives the corresponding form of the multiplicative algebraic group over $K$. These descriptions also establish the singular-case group laws.

For a Matrix Lie group $G$, the left Maurer-Cartan form identifies tangent vectors with the Lie algebra by translating them to the identity:It is a Lie algebra-valued differential form of degree one. For a fixed $h\in G$, replacing $g$ by $hg$ gives $(hg{)}^{-1}d(hg)=g^{-1}dg$, so it is a left-invariant differential form.

Differentiate $g^{-1}g=I$ to get $d(g^{-1})=-g^{-1}(dg)g^{-1}$. The exterior derivative then givesHere the exterior product of matrix-valued differential forms includes matrix multiplication; the order of the matrices matters. Hence the Maurer-Cartan equation is

Write $\rho ={\sigma }^{\alpha }{T}_{\alpha }$. Antisymmetry of the exterior product impliesComparison of the Lie algebra components yields the Maurer-Cartan equation in a Lie-algebra basis:Thus the canonical antisymmetric choice is $f^{\gamma }{}_{\alpha \beta }=-\frac{1}{2}{c}^{\gamma }{}_{\alpha \beta }$. The factor one half is required because the sum includes both ordered pairs $(\alpha ,\beta )$ and $(\beta ,\alpha )$. If only $\alpha <\beta$ is summed, its coefficient is $-c^{\gamma }{}_{\alpha \beta }$. Strictly, the equality of differential forms determines only the antisymmetric part of $f$: one may add any tensor symmetric in $\alpha ,\beta$ without changing it. This is the symmetric-part ambiguity in Maurer-Cartan coefficients.

A faithful matrix representation of the orientation-preserving real affine group isIts action on $(x,1{)}^T$ has first component $ax+b$. The group operation and inverse areDifferent transformations have different matrix entries, proving faithfulness. With the Lie algebra basisthe left Maurer-Cartan form isThe requested left-invariant differential forms therefore form the Maurer-Cartan coframe of the real affine group:For a direct invariance check, left translation by $(a_0,b_0)$ sends $(a,b)$ to $(a_{0}a,b_0+a_{0}b)$, and the pullbacks of the two displayed differential forms are unchanged. Their dual left-invariant vector fields are $a{\partial }_a$ and $a{\partial }_b$, whose bracket is $a{\partial }_b$, in agreement with $[D,T]=T$.

A subgroup $H$ of a group $G$ is a normal subgroup when $gH{g}^{-1}=H$ for every $g\in G$, equivalently $gH=Hg$. The quotient group $G/H$ has the left cosets as elements, with $(gH)(kH)=gkH$, identity $H$ and inverse $(gH{)}^{-1}=g^{-1}H$. Normality makes this multiplication independent of representatives.

The first isomorphism theorem for groups says that for a group homomorphism $\phi :G\to K$, its kernel of a group homomorphism is normal andThe image is taken with the induced group operation; surjectivity onto all of $K$ is not required.

For the given upper triangular matrices, take diagonal entries:The target is a direct product of groups, with multiplication of nonzero real numbers in each coordinate. Indeed the product of two such matrices has diagonal $(a{a}^{\prime },d{d}^{\prime })$, proving the group homomorphism property. Any pair of nonzero diagonal entries is attained by a diagonal matrix, so $\phi$ is surjective. Its kernel of a group homomorphism consists precisely of the matrices with $a=d=1$, namely $H$. Hencewith coordinatewise multiplication, not addition on ${\mathbb{R}}^2$.

An elliptic curve has good reduction over $K$ if it admits an integral Weierstrass equation of an elliptic curve with unit elliptic-curve discriminant. Equivalently, the reduction of its Minimal Weierstrass equation is a nonsingular cubic over the residue field $k$. Its smooth integral projective model is a group scheme with the point $O$ as identity.

Choose homogeneous coordinates in the valuation ring ${\mathcal{O}}_K$ with at least one coordinate a unit, and reduce them modulo its maximal ideal ${\mathfrak{m}}_K$. This defines $\mathrm{red}:E(K)\to \tilde{E}(k)$. The chord-and-tangent group law extends over the smooth integral model, so reduction is a group homomorphism. For any point of $\tilde{E}(k)$, choose an affine projective chart containing it. Smoothness means some partial derivative of its equation is nonzero in $k$. Lift the other coordinate arbitrarily and apply the Hensel lemma to the coordinate with unit derivative. This constructs a point of $E(K)$ above the prescribed point, proving the surjectivity of good reduction over a local field.

The kernel of reduction of an elliptic curve consists precisely of points reducing to $O$. The parameter $t=-x/y$ at $O$ gives a bijection between this kernel and ${\mathfrak{m}}_K$: the integral formal-coordinate series solve the equation uniquely near $O$. Addition in these coordinates is the formal group of an elliptic curve, not ordinary addition in ${\mathfrak{m}}_K$. ThusHere the group operation on the last expression is its formal group law.

The order of a group element $g$ is the least positive integer $n$ such that $g^n=e$, where $e$ is the identity element; its order is infinite if no such $n$ exists.

Let $g$ have finite order $n$. A group homomorphism preserves the group operation and the identity, soThe order of an element divides every positive exponent that gives the identity. Hence

If $\varphi$ is a surjective function and $h\in H$ has order $m$, choose $g\in G$ with $\varphi (g)=h$. The first result gives $m\mid n$, where $n=\mathrm{ord}(g)$. The elementthen has order $m$, because the order of $g^k$ is $n/\gcd (n,k)$.

A group homomorphism $C_9\to S_4$ is determined by the image of a generator of the cyclic group $C_9$, and that image must have order dividing $9$. In the symmetric group $S_4$, the only such elements are the identity and the three-cycles. There arethree-cycles. Therefore the number of homomorphisms is

For each $g\in G$, left translation in a group $L_g:x\mapsto gx$ is a bijection, with inverse function $L_{g^{-1}}$. Thus $\theta (g)=L_g$ belongs to $\mathrm{Sym}(G)$. For $g,h,x\in G$, associativity of the group operation givesHence $\theta$ is a group homomorphism. If $\theta (g)=\theta (h)$, evaluation at the identity element $e$ gives $g=ge=he=h$. ThereforeThis is the left regular representation used in Cayley's theorem.

The center of a group contains $e$. If $z,w$ lie in the center, then for every $g\in G$,It is therefore closed under the group operation and inverse elements, and inherits associativity, proving it is a subgroup. Each of its elements commutes with every element of $G$, in particular with every other central element. HenceThus the center is an abelian subgroup.

A quotient set packages each equivalence class as a single new set element. It remembers which class an original set element belongs to and forgets which member of that class it was. For an equivalence relation $\sim$ on a set $X$,Each set element of the quotient set is itself a nonempty subset of $X$. The canonical projection of a quotient set sends an original set element to this entire equivalence class. ^[ref]

For integer congruence modulo three restricted to $X=\{0,1,\dots ,8\}$, the quotient set isIt has cardinality three. The set $\{0,1,2\}$ is a choice of equivalence class representatives, not literally this quotient set: $0$ is an integer, while $[0]=\{0,3,6\}$ is a set. The function sending each chosen equivalence class representative to its equivalence class is a bijection between these two different sets.

A quotient set alone specifies no arithmetic. To obtain the familiar modular arithmetic example with addition, use integer congruence on the whole set of integers. Its quotient set is $\mathbb{Z}/3\mathbb{Z}=\{[0{]}_3,[1{]}_3,[2{]}_3\}$, where $[a{]}_3=\{a+3k:k\in \mathbb{Z}\}$ is an infinite residue class. Define addition byThe answer must be independent of the equivalence class representatives. If $a^{\prime }=a+3k$ and $b^{\prime }=b+3\ell$, then $a^{\prime }+b^{\prime }=a+b+3(k+\ell )$, so both sums have the same residue class. This is what it means for the group operation to be well-defined. With this addition, the quotient set is a cyclic group, with identity $[0{]}_3$ and inverse $[-a{]}_3$ for $[a{]}_3$. ^[ref]

For example, $[2{]}_3+[2{]}_3=[4{]}_3=[1{]}_3$. Choosing $5$ and $-1$ as different representatives of an equivalence class for $[2{]}_3$ gives the same sum; choosing $8$ and $5$ gives $[13{]}_3=[1{]}_3$ again. These calculations use residue classes of all integers. Raw addition on the finite $X=\{0,\dots ,8\}$ does not stay in $X$: $8+8=16\notin X$. The formula for addition on $\mathbb{Z}/3\mathbb{Z}$ therefore cannot be applied as a raw inherited operation on that finite example.

A subgroup $H\le G$ is a subset of a group $G$ that is itself a group under the same group operation. It must contain the identity element of $G$ and be closed under products and inverse elements. Associativity is inherited from $G$, so it needs no new proof. The whole group and the trivial group $\{e\}$ are always subgroups. A proper subgroup satisfies $H\ne G$.

A useful single-condition test isTo see why it works, choose $a\in H$; then $a{a}^{-1}=e\in H$. Taking $a=e$ gives every inverse element $b^{-1}\in H$. Applying the test to $a$ and $b^{-1}$ then gives $ab\in H$. Conversely, every subgroup satisfies the test by closure under products and inverse elements. This also makes the additive version memorable: a nonempty subset of an additive group is a subgroup exactly when it is closed under differences. See McKernan's MIT lecture 2, Proposition 2.3, for the equivalent closure criterion.

For the square dihedral group $D_4$ above, $R=\{e,r,r^2,r^3\}$ is a cyclic subgroup: products add exponents modulo four, and $(r^k{)}^{-1}=r^{-k}$. The smaller collections $\{e,r^2\}$ and $\{e,s\}$ are subgroups of group order two. But $\{e,r\}$ is not a subgroup, since $r\cdot r=r^2$ lies outside it. A plausible-looking list of symmetries therefore need not constitute a complete collection of reversible operations.

Inside $(\mathbb{Z},+)$, the even numbers $2\mathbb{Z}$ form a subgroup: $2m-2n=2(m-n)$ is an even number. Its two cosets consist of the even numbers and the odd numbers, so its index of a subgroup is two. The parity group homomorphism $k\mapsto k\mathrm{mod}2$ has $2\mathbb{Z}$ as its kernel of a group homomorphism. A subgroup can thus identify exactly which information a composition-preserving map forgets.

Subgroups also describe residual symmetry. In the group action of $D_4$ on the four vertices, the stabilizer subgroup of $(1,1)$ is $\{e,sr\}$: the diagonal reflection $sr$ fixes that vertex, and the other six motions move it. Requiring a feature to stay fixed still leaves a group, because both composition and reversal preserve that requirement. This is why subgroups are useful for studying a group action one feature at a time.

If an elliptic curve has good reduction over a local field $K$, its integral projective model is smooth. Every point over the residue field lifts by the Hensel lemma, applied in a chart with a unit partial derivative. Thus reduction gives an exact sequence $0\to E_1(K)\to E(K)\to \tilde{E}(k)\to 0$. The kernel of reduction of an elliptic curve is the maximal ideal of the valuation ring, with the formal group of an elliptic curve as its group operation.

A symmetry transformation is a bijection preserving the data that define the object's symmetry group. Its individual group elements are symmetry transformations; the group operation combines them by function composition.

A topological group is a group $G$ equipped with a topology for which both the group operation and taking an inverse element are continuous functions:Here $G\times G$ has the product topology: continuity of multiplication concerns both inputs together. Thus nearby motions compose to nearby motions, and undoing a motion also varies continuously. The definition alone does not impose compactness; we state the Hausdorff space assumption explicitly when it is needed.

The additive group $(\mathbb{R},+)$ of real numbers, with its usual topology, is a topological group: $(x,y)\mapsto x+y$ and $x\mapsto -x$ are continuous functions. Its identity element is $0$. The circle group instead uses multiplication of complex numbers on the unit circle, with the subspace topology from the complex plane:Its identity element is $1$, and its inverse element is the complex conjugate. Multiplication on the complex plane and complex conjugation are continuous functions, so their restrictions verify the required continuity. Angles add, but points multiply: a quarter-turn followed by another quarter-turn gives $i\cdot i=-1$, and the next two quarter-turns return to $1$. Ordinary addition would fail to stay on the unit circle, since $1+1=2$.

For any fixed $a\in G$, the translations $x\mapsto ax$ and $x\mapsto xa$ are homeomorphisms, with inverses given by translation by $a^{-1}$. Consequently the neighbourhoods of the identity element determine the entire topology. This is why local information near one motion can control a whole family of symmetries. See Tornier, Haar Measures, section 1.1 for these basic properties of topological groups.