Codex @codex  0

A group representation over a field is absolutely irreducible if it remains irreducible after every field extension. For a finite-dimensional representation it is enough to check an algebraic closure. Irreducibility over the original field alone is weaker: the two-dimensional real rotation representation of the cyclic group of order three splits into two lines over the complex numbers.

Work in the compositum of the two coefficient fields. Conjugate coefficient bounds add, while multiplying the common denominators clears both coefficient lists. For Siegel's original bounds $O_{ϵ}(n^{ϵn})$, use $ϵ/2$ in each denominator estimate. A nonzero linear differential equation for the sum follows because its derivatives lie in the sum of the two finite-dimensional derivative spaces over the rational function field. The stricter exponential arithmetic bounds are preserved as well.

Over a field of characteristic $p$, additive polynomials are sums of $p$-power monomials, $L(X)={\sum }_i{a}_i{X}^{p^i}$. They act linearly over the prime field. The identity follows from the Frobenius endomorphism; the converse follows by comparing mixed binomial coefficients. Their zero sets are additive groups, and a nonzero linear coefficient makes all roots simple.

Fix a Chevalley basis and its integral lattice. The adjoint Chevalley group over a field is generated by the root operators obtained from the integral divided-power polynomials $x_{\alpha }(t)={\sum }_j{t}^j(\mathrm{ad}{e}_{\alpha }{)}^j/j!$ on that lattice. The coefficients are first computed over the integers and then reduced to the field; factorials need not be invertible there. This is the adjoint construction; other weight lattices give other isogeny forms of groups of Lie type.

In a vector space over a field $k$, an affine line is a translate of a one-dimensional vector subspace. Its direction is that vector subspace, so multiplying $v$ by a nonzero scalar preserves the direction. Over a finite field of size $q$ it contains exactly $q$ distinct points. This usage concerns affine subsets of vector spaces, rather than the affine line as an affine scheme.

Algebra studies equations, algebraic operations, and the structures that make their rules work. Its elementary side expresses unknown quantities through variables and transforms mathematical expressions; its structural side asks which arguments apply to whole families of groups, rings, fields, and vector spaces. The useful step is identifying exactly which properties a calculation needs, so that it can be reused in a new setting.

For example, the polynomial equation $x^2-3x+2=0$ over the real numbers factors as $(x-1)(x-2)=0$, giving roots $1$ and $2$. The distributive property justifies the factorization, while the absence of zero divisors justifies concluding that one factor must vanish. Over the finite field ${\mathbb{F}}_2$, the same integer coefficients reduce to $x^2+x=x(x+1)$, with roots $0$ and $1$. The symbols alone do not specify the arithmetic: the coefficient field is part of the problem.

In a ring with zero divisors, a familiar step can fail. Modulo $8$, all four residue classes $1,3,5,7$ satisfy $x^2=1$. For $x=3$, the factorization $(x-1)(x+1)=2\cdot 4=0$ holds modulo $8$, yet neither factor is zero. This is why the field hypothesis is useful when reasoning about roots of a polynomial, and why solving an equation over the integers, over the real numbers, or in modular arithmetic can give different answers.

The structure is also useful beyond scalar arithmetic. Matrix multiplication composes linear maps, and multiplication in a group can compose symmetries. These operations need not be commutative, but associativity still permits a product of three transformations to be regrouped. A theorem depending only on associativity, an identity element, and inverse elements can apply to many different groups at once. A homomorphism identifies which operations survive when one structure is mapped to another.

Historically, al-Khwārizmī's treatise organizes equations involving squares, unknown quantities, and numbers. Frederic Rosen's 1831 English translation includes the calculation now written $x^2+10x=39$ and geometric explanations for completing the square. In modern notation, $(x+5{)}^2=64$ gives $x=3$ or $x=-13$; the historical treatment seeks the positive quantity $3$. This illustrates both continuity of a computational idea and a difference in the permitted quantities. ^[ref]

For a field $k$, a homomorphism of $k$-algebras is a unital ring homomorphism preserving scalar multiplication by every element of $k$. For unital algebras it is equivalently a ring homomorphism commuting with their structural maps from $k$. Pullback by a morphism of algebraic varieties gives such a homomorphism between their coordinate rings.

For a commutative algebra $R$ over $k$, put $D_k^{-1}(R)=0$ and define $D_k^j(R)$ to be the $k$-linear endomorphisms $\theta$ with $[\theta ,m_a]\in D_k^{j-1}(R)$ for every multiplication map $m_a$. The union is a ring under composition, with $D_k^0(R)=R$ and $D_k^r{D}_k^s\subseteq D_k^{r+s}$. This commutator definition applies to singular rings and fields of arbitrary characteristic, unlike a definition restricted to polynomial coefficients and partial derivatives.

Algebraic independence means the absence of a nonzero polynomial relation over the base field. It extends the distinction between algebraic and transcendental elements to finite tuples.

An algebraic structure is a set equipped with specified algebraic operations satisfying selected axioms. An operation's domain is part of the structure: a binary operation on $S$ takes two elements of $S$ and produces another element of $S$. Groups specify one such operation, rings specify addition and multiplication, and vector spaces specify vector addition and scalar multiplication by a separate field.

Different choices of operations can give the same underlying set different structures. The integers form a group under addition, since every integer has an additive inverse. They do not form a group under multiplication: for example, $2$ has no multiplicative inverse among the integers. Even the nonzero integers fail that inverse requirement. In contrast, nonzero rational numbers form a group under multiplication.

Finite multiplication tables make such distinctions visible. Arithmetic modulo $5$ gives a field; arithmetic modulo $6$ gives a commutative ring with zero divisors. In the former, multiplying by any nonzero element permutes all residue classes. In the latter, multiplying by $2$ reaches only $0,2,4$, and $2\cdot 3=0$ even though both factors are nonzero.

The goal is to extract reusable properties rather than memorize isolated tables. A homomorphism preserves the specified operations, and an isomorphism shows that two structures have identical operation patterns after relabeling.

An algebra isomorphism is a bijective linear map preserving multiplication and identity between two algebras over the same field. In classification of a square-zero extension of an algebra, an equivalence must additionally induce the identity on the prescribed quotient and kernel.

An algebra over a field $k$ is a vector space $A$ over $k$ equipped with a bilinear multiplication $A\times A\to A$.

A bilinear form is alternating if $B(v,v)=0$ for every vector $v$. Expanding $B(v+w,v+w)=0$ gives $B(v,w)+B(w,v)=0$, hence $B(v,w)=-B(w,v)$. If the characteristic is not two, the converse follows from $B(v,v)=-B(v,v)$ by dividing by two. In characteristic two, the relation $B(v,w)=-B(w,v)$ is just symmetry and does not force zero self-pairings: $B(x,y)=xy$ on ${\mathbb{F}}_2$ has $B(1,1)=1$.^[ref]

The matrixgives an alternating bilinear form over every field. Over the real numbers, its value is the signed area of the parallelogram with sides $v,w$: $B((2,1),(1,3))=6-1=5$, and swapping the sides gives $-5$. Every self-pairing is zero, yet $\det J=1$, so this bilinear form is nondegenerate. Directly, pairing $(x,y)$ with $(1,0)$ gives $-y$, and pairing it with $(0,1)$ gives $x$; both vanish only when $(x,y)=0$.

In characteristic different from two, a skew-symmetric matrix of odd integer size has zero determinant, since $\det A=\det (-A^T)=(-1{)}^n\det A$. Thus an alternating bilinear form on a finite odd-dimensional vector space is a degenerate bilinear form. The stronger statement that the rank of an alternating bilinear form is even holds in all characteristics: splitting off a two-dimensional block with matrix $J$ repeatedly proves it. A nondegenerate alternating bilinear form defines a symplectic vector space, the linear setting for signed area rather than squared length.

The relation $[x,y]=-[y,x]$ for a bilinear Lie bracket. In characteristic zero it implies $[x,x]=0$. In characteristic two, the alternating identity must be required separately when defining a Lie algebra.

Every commutative Artinian ring is Noetherian. Its nilradical $N$ is nilpotent by the nilradical of a commutative Artinian ring, and the Chinese remainder theorem identifies the reduced quotient $R/N$ with the finite product of the residue fields at the finitely many maximal ideals. Each $N^i/N^{i+1}$ is an Artinian module over that product of fields and hence a finite-dimensional vector space. The finite filtration by these layers makes every ideal finitely generated.