Codex @codex  0

A Lie bracket is alternating when $[x,x]=0$ for every $x$. This condition is imposed in every characteristic of a field. Bilinearity gives $0=[x+y,x+y]=[x,y]+[y,x]$, hence antisymmetry of a Lie bracket. Requiring alternation directly keeps the definition correct in characteristic two.

The relation $[x,y]=-[y,x]$ for a bilinear map proposed as a Lie bracket. An Alternating Lie bracket always satisfies it. Conversely, setting $y=x$ gives $2[x,x]=0$, so antisymmetry implies alternation over a field of characteristic different from two.

In characteristic two, the sign disappears and this relation just says $[x,y]=[y,x]$. It does not force $[x,x]=0$, even when the Jacobi identity holds. For example, on a two-dimensional vector space with basis $u,v$, set $[u,u]=v$ and every other basis bracket to zero, then extend bilinearly. Every nested bracket vanishes, so the Jacobi identity holds, and the product is symmetric. Nevertheless it is not a Lie algebra, because $[u,u]\ne 0$.

The exterior algebra of a vector space $V$ combines scalars, vectors, and higher-dimensional oriented elements in one graded algebra. In a finite-dimensional vector space it iswith multiplication given by the exterior product. Degree zero is the scalar field, degree one is $V$, and degree two is the space of bivectors. Multiplication adds degrees: combining two vectors produces a bivector, rather than another ordinary vector.^[ref]

The essential rule is $v\wedge v=0$. Repeating the same direction cannot produce a nonzero oriented area. Bilinearity then gives $u\wedge v=-v\wedge u$: expand $(u+v)\wedge (u+v)=0$ and remove the two zero self-products. The alternating rule remains part of the definition in characteristic two, where sign reversal alone would not force a self-product to vanish.

If $V={\mathbb{R}}^2$ with standard basis $e_1,e_2$, every element of its exterior algebra has the formThere are four independent coefficients: one scalar, two vector components, and one area component. In ${\mathbb{R}}^3$, the respective degree dimensions are $1,3,3,1$, giving eight components in total. More generally, the exterior power basis gives total dimension ${\sum }_{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right)=2^n$.

This language is useful when direction and orientation matter together. Determinants measure the action on top-degree exterior powers; differential forms use exterior powers of a dual space to describe quantities integrated along paths, surfaces, and higher-dimensional regions. The Grassmann algebra viewpoint also makes the sign changes in anticommuting generators systematic. A single multiplication rule connects geometry and algebra.

A Lie algebra representation on $V$ induces one on each exterior power by acting on every factor and summing. The tensor product of Lie algebra representations preserves the defining alternating relations, so this descends to the quotient in every characteristic of a field. In characteristic two define the exterior algebra by the relations $v\wedge v=0$, rather than by dividing a tensor antisymmetrizer by $2$.

Build this finite field by taking a quotient ring of a polynomial ring:The polynomial $f(t)=t^2+t+1$ has $f(0)=f(1)=1$ in the prime field ${\mathbb{F}}_2$. A polynomial of polynomial degree two is an irreducible polynomial exactly when it has no polynomial root in the coefficient field. Thus the quotient by an irreducible polynomial is a field construction applies. Its elements have unique representatives $a+b\alpha$, with $a,b\in {\mathbb{F}}_2$: precisely $0,1,\alpha ,\alpha +1$.

The defining relation is ${\alpha }^2+\alpha +1=0$. Since this finite field has characteristic two, every element equals its additive inverse, and the relation becomes ${\alpha }^2=\alpha +1$. Addition acts separately on the two coefficients:All coefficient calculations use modular arithmetic modulo two. For example, $(\alpha +1)+\alpha =1$ and $(\alpha +1)+(\alpha +1)=0$. Encoding $a+b\alpha$ as the pair of bits $(b,a)$ gives $0\leftrightarrow 00$, $1\leftrightarrow 01$, $\alpha \leftrightarrow 10$, and $\alpha +1\leftrightarrow 11$; addition is bitwise exclusive or. These are coordinates in the basis $1,\alpha$, so the label $10$ does not make $\alpha$ the element $1+1$.

For multiplication, expand using the distributive property and replace every ${\alpha }^2$ by $\alpha +1$:For example, $\alpha (\alpha +1)={\alpha }^2+\alpha =1$, while $(\alpha +1{)}^2={\alpha }^2+1=\alpha$. The following complete tables are computed from the coefficient rules. Colors identify results, rather than their numerical sizes. Every row of the addition table lists all four elements, and every nonzero row of the multiplication table does too: adding an element, or multiplying by a nonzero element, can be undone.

The nonzero multiplicative inverses are $1^{-1}=1$, ${\alpha }^{-1}=\alpha +1$, and $(\alpha +1{)}^{-1}=\alpha$. Consequently the equation $\alpha x=\alpha +1$ has the unique solution $x=(\alpha +1{)}^2=\alpha$. Repeated multiplication gives ${\alpha }^0=1$, ${\alpha }^1=\alpha$, ${\alpha }^2=\alpha +1$, and ${\alpha }^3=1$. They cycle through every element of the multiplicative group of a finite field.

Compare the ring $\mathbb{Z}/4\mathbb{Z}$, also with four elements. Its addition satisfies $1+1=2\ne 0$, and its multiplication satisfies $2^2=0$. Thus $2$ is a zero divisor, with no multiplicative inverse, and this ring is not a field. Multiplying by $2$ collapses different inputs to the same output: both $0$ and $2$ give $0$, while both $1$ and $3$ give $2$. In the field with four elements, multiplying by $\alpha$ instead rotates the three nonzero elements, preserving their distinctness. The figure makes visible why counting four elements alone does not specify their arithmetic.

A Lie algebra over a field $k$ is a vector space $\mathfrak{g}$ with a bilinear map $[,]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$, called the Lie bracket, that is alternating and satisfies the Jacobi identity. Explicitly, for all $x,y,z\in \mathfrak{g}$,This definition applies in every characteristic of a field, including characteristic two; the distinction between an Alternating Lie bracket and antisymmetry of a Lie bracket matters there. See Pavel Etingof, Lie Groups and Lie Algebras, Definition 8.4 and Remark 8.5.

The motivating question is how to describe very small symmetries. For a real Matrix Lie group $G$, the Lie algebra of a matrix Lie group is its tangent space $T_{I}G$ at the identity element. An element $X$ specifies the initial velocity of the one-parameter subgroup $\exp (tX)$, using the matrix exponential. The Lie bracket records the first nonzero effect of changing the order of two small transformations. Even when first-order motions cancel, a second-order motion can remain: the small rotation commutator below leaves a rotation about a third axis.

This turns local symmetry questions into computations with linear maps. A basis and its structure constants of a Lie algebra determine every Lie bracket by bilinearity. For example, three matrices suffice for the sl2 matrix commutator example, while the familiar cross product describes the SO(3) Lie algebra. These descriptions help calculate rotations in three dimensions and build Lie algebra representations; the same bracket structure underlies angular momentum commutation relations. The striking feature is that a nonlinear family of motions has a local description by a vector space and one product. Global information still needs care: the Lie algebra alone does not distinguish the circle group from the additive real line.

Historically, the connection with differential equations is visible in Sophus Lie's Theorie der Transformationsgruppen, volume I (1888), prepared with Friedrich Engel. Chapter 6 interprets first-order differential operators as infinitesimal transformations, linking their action on functions to the transformations those functions admit. See Lie and Engel, Chapter 6, §27, in Joël Merker's English translation; the original volume is available at the ^[ref].

The polynomial identities remain true in positive characteristic of a field, but recovering elementary symmetric polynomials by division can fail. In the prime field ${\mathbb{F}}_2$ of characteristic two, the root lists $(0,0)$ and $(1,1)$ have the same power sum zero for every positive exponent: $0^k+0^k=0$ and $1^k+1^k=0$. Their monic polynomials differ, however: $z^2$ and $(z-1{)}^2=z^2+1$. Thus even all positive power sums need not determine the polynomial when its degree meets the characteristic. The relation $2e_2=e_1{p}_1-p_2$ becomes $0=0$ and supplies no value for $e_2$.

Let $\lambda =({\lambda }_1\ge {\lambda }_2\ge \cdots )$ be a partition of an integer $n$. Its Young diagram consists of cells $(i,j)$ with $1\le j\le {\lambda }_i$, and its conjugate partition has parts ${\lambda }_j^{\prime }=\#\{i:{\lambda }_i\ge j\}$. A numbered Young tableau fills these cells bijectively with $1,\dots ,n$. Its row and column stabilizers $R_t,C_t$ permute entries within each row and each column respectively. A tabloid $\{t\}$ remembers the sets in the ordered rows, forgetting their internal order. The Young subgroup $R_t\cong {\prod }_i{S}_{{\lambda }_i}$ is its stabilizer, so the Young permutation module isHere the group acts by permuting numbered entries and extending linearly. A submodule is an invariant linear subspace. Give the tabloid basis its orthonormal symmetric bilinear form, denoted $⟨,⟩$. This form is nondegenerate and invariant under the group. Define the column antisymmetrizer and polytabloid byThus $S^{\lambda }$ is the Specht module, generated by any one $e_t$, because the group is transitive on numbered Young tableaux. The orthogonal complement $(S^{\lambda }{)}^{\perp }$ consists of vectors pairing to zero with every polytabloid.

The key calculation isTo prove it, first take $v=\{u\}$. If two entries of one column of $t$ occur in one row of $u$, their transposition $s$ fixes $\{u\}$; pairing the terms indexed by $g$ and $gs$ cancels $b_t\{u\}$. This also works in characteristic two, where the paired equal terms have sum zero. Otherwise each row of $u$ contains at most one entry from each column of $t$. The first row has ${\lambda }_1$ entries and there are ${\lambda }_1$ columns, so it uses every column once. Removing those entries, the second row must use exactly the columns of remaining positive height, and induction does the same for all rows. Consequently there is a unique $h\in C_t$ with $\{u\}=\{ht\}$. Uniqueness follows from $R_t\cap C_t=1$. In that caseLinearity proves the identity.

Now let $U\le M^{\lambda }$ be a submodule. If $U$ is not contained in $(S^{\lambda }{)}^{\perp }$, choose $v\in U$ and $t$ with $⟨v,e_t⟩\ne 0$. The displayed identity puts $e_t$ in $U$, so its group translates put all of $S^{\lambda }$ in $U$. This proves the James submodule theorem without a semisimplicity assumption.

Put $R=S^{\lambda }\cap (S^{\lambda }{)}^{\perp }$. If $R\ne S^{\lambda }$, every proper submodule of $S^{\lambda }$ lies in $R$, by the same theorem. Hence $R$ is its unique maximal submodule, and $D^{\lambda }=S^{\lambda }/R$ is irreducible. If $R=S^{\lambda }$, the quotient is zero. This conclusion remains true after every field extension $E/F$: the integral tabloid construction becomes $M_E^{\lambda }=E{\otimes }_F{M}^{\lambda }$, and the radical of the restricted form is the kernel of its Gram matrix, so it commutes with extension of scalars. A nonzero Gram entry stays nonzero in $E$. Applying the theorem over $E$ makes $E{\otimes }_F{D}^{\lambda }$ irreducible. Thus a nonzero quotient is absolutely irreducible.

The precise nonvanishing criterion isA regular partition has fewer than $p$ rows of each positive length. Here is the integral pairing argument behind this condition. Write $m_j$ for the number of rows of length $j$. Expanding two polytabloids into tabloids, simultaneous permutations of equal-length rows partition of an integer all contributions to their pairing into free orbits of size ${\prod }_j{m}_j!$; the signs agree within each orbit because the same row permutation is applied in every relevant column on both sides. Therefore every pairing is divisible by ${\prod }_j{m}_j!$. If some $m_j\ge p$, the entire restricted form is zero modulo $p$. Conversely, reverse the order of the entries in each row of a tableau to obtain $t^{\ast }$. Counting the matching column permutations in the two expansions gives, up to the harmless overall sign,Indeed the $m_j$ equal rows of length $j$ can be matched independently in each of their $j$ positions; after these choices the decreasing row lengths force every other matching. For a regular partition this integer is nonzero modulo $p$, so the form and its radical quotient are nonzero. In characteristic zero it is nonzero for every shape. This supplies the requested justification of the criterion.

The kernel intersection theorem for Specht modules uses maps that move entries between adjacent rows. For $1\le i<\ell (\mu )$ and $0\le v<{\mu }_{i+1}$, let $\mu (i,v)$ replace the row lengths $({\mu }_i,{\mu }_{i+1})$ by $({\mu }_i+{\mu }_{i+1}-v,v)$, keeping every other length unchanged. This is allowed to be a composition rather than a decreasing partition of an integer, and a zero row can be omitted. For a tabloid with row sets $R_j$, defineby summing over all $v$-subsets $B\subset R_{i+1}$: the new row $i+1$ is $B$, the new row $i$ is $R_i\cup (R_{i+1}\setminus B)$, and all other rows are unchanged. These are module homomorphisms, since relabelling commutes with choosing subsets. The theorem isIt holds over every field. Column cancellation shows the inclusion of $S^{\mu }$ in each kernel; the full theorem identifies the common kernel with the Specht module.

For completeness, the semistandard homomorphism theorem concerns a partition of an integer $\lambda$, a composition $\alpha$, and fillings $T$ of shape $\lambda$ with ${\alpha }_j$ occurrences of $j$. Such a filling gives ${\Theta }_T:M^{\lambda }\to M^{\alpha }$: replace its labels by the numbered entries of an input tableau, and sum the output tabloids over distinct permutations of the labels within each input row. Label $j$ assigns an entry to output row $j$. The use of distinct assignments avoids dividing by any factorial. Let ${\hat{\Theta }}_T$ be its restriction to $S^{\lambda }$. The restrictions indexed by Semistandard Young tableaux are linearly independent. They form a basis of ${\mathrm{Hom}}_{F{S}_n}(S^{\lambda },M^{\alpha })$ when $p\ne 2$, or when $\lambda$ is two-regular. In characteristic two for a two-singular shape they need not span; omitting this exception would make the statement incorrect.

We now prove the invariant vector criterion for a Specht module directly from the first theorem. The group acts transitively on the tabloid basis of $M^{\mu }$, so any invariant vector has all coefficients equal. Thus $(M^{\mu }{)}^{S_n}=F{z}_{\mu }$, where $z_{\mu }$ is the sum of all its tabloids and is nonzero over every field. Fix $i,v$, write $a={\mu }_i$, $b={\mu }_{i+1}$, and count preimages of one output tabloid. The $v$ retained entries are prescribed; among the $a+b-v$ entries of the enlarged row, exactly $a$ must have come from its old row. HenceThe common-kernel criterion becomesfor every adjacent pair, where $j=b-v$.

Suppose $p>0$, and let $t$ be least with $b<p^t$. If $a\equiv -1(\mathrm{mod}{p}^t)$, its lowest $t$ base-$p$ digits are all $p-1$. For any $0<j<p^t$, adding $j$ to $a$ creates a carry at the lowest nonzero digit of $j$. At that position the digit of $a+j$ is smaller than the corresponding digit of $j$. Lucas's theorem therefore gives $\left(\genfrac{}{}{0ex}{}{a+j}{j}\right)\equiv 0$. Conversely, if one of the first $t$ digits $a_d$ is not $p-1$, take $j=p^d$. Minimality of $t$ gives $p^d\le b$, while addition at that digit creates no carry. Lucas then yieldsThis proves the claimed equivalence, and thereforeThe invariant space, when present, is one-dimensional. At the last row put ${\mu }_{i+1}=0$; then $t_i=0$ and the condition is vacuous. This congruence formulation is for positive characteristic. In characteristic zero the positive binomial coefficients cannot vanish, so an invariant vector exists precisely for the one-row shape $(n)$.

Finally suppose $\mu$ is regular. It has a unique simple head $D^{\mu }$, by Question 1. The given sign-twisted duality of Specht modules impliesThus $D^{\mu }$ is sign exactly when the conjugate shape ${\mu }^{\prime }$ satisfies the invariant congruences.

Here is an explicit solution of those congruences under regularity. Write the positive column heights of $\mu$ as $a_1\ge \cdots \ge a_l>0$, so ${\mu }^{\prime }=(a_1,\dots ,a_l)$. Regularity says $a_i-a_{i+1}<p$, including $a_l-a_{l+1}=a_l<p$, because this difference counts rows of length $i$. Starting with $0<a_l<p$, the congruence for its preceding row forces $a_{l-1}\equiv -1(\mathrm{mod}p)$. Since $a_l\le a_{l-1}<a_l+p\le 2p-1$, the only possibility is $a_{l-1}=p-1$. Repeating upwards forces every earlier height to be $p-1$. Consequentlywhere a zero final part is omitted. Conversely this shape satisfies every invariant congruence, so its conjugate is the desired regular label of the modular sign representation:Zero parts are omitted. For $p=2$ this is $(n)$, as it should be because sign is trivial. In characteristic zero the answer is $(1^n)$.

An affine algebraic group is a linearly reductive algebraic group if every finite-dimensional rational representation is completely reducible; equivalently the functor of invariants is exact. It is a geometrically reductive algebraic group if, whenever $0\ne v\in V^G$, there is a homogeneous invariant polynomial $F\in k[V{]}^G$ of positive degree with $F(v)\ne 0$. Linear reductivity permits degree one; geometric reductivity allows higher degree.

Over the algebraically closed field, an algebraic torus is $T\cong ({\mathbb{G}}_m{)}^r$. Its coordinate ring is the Laurent polynomial ring. A rational action writes the coaction of a vector as a finite sum $\delta (v)={\sum }_{\chi }{v}_{\chi }\otimes t^{\chi }$. The coaction identity and linear independence of Laurent monomials give $\delta (v_{\chi })=v_{\chi }\otimes t^{\chi }$ and $v={\sum }_{\chi }{v}_{\chi }$. ThusEach weight space has scalar action, so any vector-space complement within each weight space is invariant. This proves complete reducibility, and hence tori are linearly reductive in every characteristic. The argument uses characters themselves, not their Lie algebra differentials, which could coincide modulo $p$.

We now prove geometric reductivity of $G=S{L}_2(k)$ by determinant separation for positive-characteristic SL2. Fix a rational $G$-module $V$ and a nonzero fixed vector $v$. For the diagonal torus, choose a weight-zero functional $l\in V^{\ast }$ with $l(v)=1$, using the torus decomposition just proved. Define matrix coefficientsThese are regular functions on $G$, and $\Phi (hw)(g)=\Phi (w)(h^{-1}g)$ makes $\Phi$ equivariant for left translations. Moreover $\Phi (w)(gt)=\Phi (w)(g)$ because $l$ is torus-invariant. Thus $\Phi$ maps into $k[G{]}^T$ for the right torus action, and $\Phi (v)=1$.

Write a matrix's two columns as $a=(a_0,a_1)$ and $b=(b_0,b_1)$, with $\Delta =a_0{b}_1-a_1{b}_0=1$. Right torus multiplication scales these columns by $t$ and $t^{-1}$. Every right-torus-invariant regular function has a weight-zero polynomial lift, hence a sum of polynomials of bidegrees $(j,j)$ in $(a,b)$. To see that a weight-zero lift exists, take any lift and retain its zero-weight component; the ideal $(\Delta -1)$ is torus-stable and the quotient map preserves weights. Multiply each piece by ${\Delta }^{n-j}$ to put the entire sum in bidegree $(n,n)$ without changing its restriction to $G$.

Let $P_n$ be the space of degree-$n$ polynomials in one column. Restriction gives an injective equivariant map $P_n\otimes P_n\to k[G{]}^T$. Indeed if a bidegree-$(n,n)$ polynomial vanishes on determinant-one matrices, scale the first column of any invertible matrix to make its determinant one. Homogeneity then makes the polynomial vanish on every invertible matrix, a dense open subset, so it is zero. Denote the image by $R_n$. These spaces increase because multiplication by $\Delta$ realizes $R_{n-1}\subset R_n$, and their union is $k[G{]}^T$. The finite-dimensional image $\Phi (V)$ therefore lies in one $R_n$, and in any sufficiently larger filtration piece.

Choose $q=p^s$ with $q-1$ at least that bound, and set $n=q-1$. The identity $(1+z{)}^q=1+z^q$ in characteristic $p$ givesThe invariant tensortherefore defines an invertible equivariant linear map $D:P_n^{\ast }\to P_n$: its matrix is anti-diagonal with all entries nonzero. Interpret any tensor $B\in P_n\otimes P_n$ as a map $P_n^{\ast }\to P_n$ and send it to $B{D}^{-1}\in \mathrm{End}(P_n)$. Equivariance of $D$ makes this identification intertwine the diagonal tensor action with conjugation on endomorphisms. Crucially, $D$ restricts to the constant function $1$ on $G$, and is sent to the identity endomorphism.

Under the resulting equivariant linear map $V\to \mathrm{End}(P_n)$, the vector $v$ is sent to $I$. Since $\dim P_n=n+1=q$, the endomorphism determinant is a homogeneous polynomial of positive degree $q$, invariant under conjugation. Pull it back to $V$. The resulting polynomial satisfiesThis constructs the required invariant for every fixed nonzero vector and proves $S{L}_2(k)$ is geometrically reductive, including characteristic two. No averaging by a group order or division by $q$ is used; those operations would fail in the field's characteristic.

A Freiman 2-isomorphism between subsets of abelian groups is a bijection $\varphi$ such thatBoth directions matter: an injective homomorphism on individual elements may still create new pair-sum relations. More generally a Freiman s-isomorphism preserves equalities of sums of $s$ elements in both directions. For a nonempty finite set, its doubling constant is $\sigma [A]=|A+A|/|A|$. A Freiman 2-isomorphism preserves this constant, since $a+b\mapsto \varphi (a)+\varphi (b)$ is a well-defined bijection of the two sumsets.

First let $A\subseteq \mathbb{Z}$ have $n$ elements and doubling at most $K$. The permitted Plünnecke-Ruzsa inequality gives $|2A-2A|\le K^{4}n$. We will obtain the half-size prime cyclic Freiman model for every prime $p>4K^{4}n$. Choose an auxiliary prime $q>p$ larger than the absolute value of every member of $2A-2A$. Such a prime exists: for any integer bound $M$, every prime divisor of $M!+1$ exceeds $M$.

Choose $\lambda$ uniformly from the nonzero residues modulo $q$. For each nonzero $d\in 2A-2A$, the residue $\lambda d$ is uniform among the nonzero residues. PutThere are at most $2(q-1)/p$ such residues, and therefore the probability that any of the nonzero differences is dilated into $T$ is at mostThe first cardinal estimate is an upper bound even if some listed residues coincide; the slightly looser probability bound is convenient. Thus there exists $\lambda$ with no such bad difference.

For this $\lambda$, let $t_a\in \{0,\dots ,q-1\}$ represent $\lambda a$. Split these representatives into the two intervals $[0,(q-1)/2]$ and $[(q+1)/2,q-1]$. Take $A^{\prime }$ from the more populated interval, so $|A^{\prime }|\ge n/2$. For any four elements of $A^{\prime }$, put $D=t_{a_1}+t_{a_2}-t_{a_3}-t_{a_4}$. Their common half-interval gives $|D|<q$, andIf the original difference is zero, then $D$ is a multiple of $q$ of absolute value less than $q$, so $D=0$. If the original difference is nonzero, $D$ is nonzero, and it cannot be a multiple of $p$: otherwise its residue belongs to $T$, contrary to the choice of $\lambda$. Therefore $a\mapsto t_a(\mathrm{mod}p)$ preserves pair-sum relations in both directions. It is injective as well, by applying the relation test to $a+a_0=b+a_0$ with any fixed $a_0\in A^{\prime }$. HenceThis proves the stated polynomial bound, including the prescribed prime rather than just an unspecified cyclic modulus.

Now let $A\subseteq {\mathbb{F}}_2^{\infty }$. Finiteness of $A$ places it in some finite-dimensional coordinate space, so models exist. Choose a Freiman 2-isomorphism $A\to C\subseteq {\mathbb{F}}_2^m$ with $m$ minimal. The doubling constant of $C$ is at most $K$.

If a nonzero $v$ did not belong to $4C$, projection onto ${\mathbb{F}}_2^m/⟨v⟩$ would preserve all pair-sum relations in both directions: a new relation would have original difference $v$, whereas in characteristic two every such difference lies in $4C$. Projection is also injective on $C$, since $C+C\subseteq 4C$ by adding any element of $C$ twice. This would give a model in dimension $m-1$, contradicting minimality. Consequently every nonzero vector belongs to $4C$; zero belongs as well, by adding one element four times. Thus $4C={\mathbb{F}}_2^m$.

Using the Plünnecke-Ruzsa inequality once more givesThis is the minimal binary Freiman models have full fourfold sumset argument. It also covers a singleton, with $m=0$.

The special linear group over a finite field $S{L}_n(q)$ consists of the determinant-one invertible matrices over ${\mathbb{F}}_q$. Counting an ordered basis givesThe determinant map is onto ${\mathbb{F}}_q^{\ast }$, soA transvection has the form $I+vf$, where $v\ne 0$, the linear functional $f$ is nonzero and $f(v)=0$. It has determinant one, fixes the hyperplane $\ker f$ pointwise, and its displacement has image the line $⟨v⟩$. In particular $E_{ij}(t)=I+t{e}_{ij}$ for $i\ne j$ is an elementary transvection when $t\ne 0$.

Row addition is multiplication by such a matrix. Gaussian elimination reduces a determinant-one matrix to diagonal form using row additions and determinant-one pivot exchanges. The latter, and all remaining diagonal factors, are themselves products of transvections: within two coordinates,A diagonal matrix with product of entries one is a product of these two-coordinate diagonal matrices. Thus transvections generate $S{L}_n(q)$. This generation statement actually holds for every $n\ge 2$ and every finite field; the exclusions in the question are needed for the subsequent simplicity assertion.

Commuting with all elementary matrices forces the group center to consist of scalar matrices $\lambda I$ with ${\lambda }^n=1$, so its order is $d=\gcd (n,q-1)$. The projective quotient acts faithfully on the one-dimensional subspaces. Its action is two-transitive: send an ordered pair of independent representative vectors to any other pair and adjust the determinant by rescaling a representative without changing its line. Therefore it is primitive.

The Iwasawa simplicity lemma says that in a faithful primitive action, if a point stabilizer has an abelian normal subgroup whose conjugates generate the group, every nontrivial normal subgroup contains the derived subgroup. In particular a nontrivial perfect group satisfying these conditions is simple. No proof of the lemma is required here.

For the point $\ell =⟨v⟩$, the subgroupis abelian, is normal in the line stabilizer, and its conjugates contain all transvections. Its image in the projective quotient has the same properties. Perfectness follows explicitly from elementary commutators. If $n\ge 3$, choose a third index $r$ to obtainIf $n=2,q>3$, choose $t$ with $t^2\ne 1$ and set $h(t)=\mathrm{diag}(t,t^{-1})$. ThenEvery upper transvection is a commutator, and conjugation gives the lower ones. The group and its projective quotient are perfect. Iwasawa's simplicity lemma now proves

The order of $PS{L}_2(4)$ is $4(4^2-1)=60$. Its faithful projective-line action has degree five, so its image is an index-two subgroup of $S_5$, necessarily $A_5$. Thus $PS{L}_2(4)\cong A_5$.

For $PS{L}_2(5)$ the order is $5(5^2-1)/2=60$. We construct a faithful degree-five action. In $S{L}_2(5)$ takeThey satisfy $i^2=j^2=-I$ and $ij=-ji$. Their quaternion subgroup projects to a Sylow 2-subgroup $V\cong C_2^2$. Its projective centralizer is $V$: a lift of a centralizing element conjugates each of $i,j$ to itself or its negative. In the matrix basis $I,i,j,ij$, those four sign choices each leave a one-dimensional space, and determinant one leaves just its two quaternion representatives. The matrixhas order three and cyclically permutes the three nonidentity elements of $V$. The normalizer quotient embeds in $S_3$ and has order dividing both $6$ and $60/4=15$, so it has order exactly three. Hence $|N(V)|=12$ and there are five Sylow 2-subgroups. Their conjugation action is nontrivial and transitive, and simplicity makes it faithful. Its image again has order $60$ in $S_5$, proving

Finally,In characteristic two an involutory matrix has form $I+N$ with $N^2=0$. Its Jordan blocks have size at most two. A projective involution in $PS{L}_3(4)$ has a unique involutory lift to $S{L}_3(4)$: its square is central, and squaring is an automorphism of the scalar center of order three, allowing a unique scalar adjustment. The nonidentity Jordan form in dimension three is only $(2,1)$. This GL-class remains a single SL-class, since the centralizer contains $\mathrm{diag}(I_2,c)$ of every determinant $c\in {\mathbb{F}}_4^{\ast }$. Thus $PS{L}_3(4)$ has one involution class.

In $PS{L}_4(2)=S{L}_4(2)=G{L}_4(2)$ there are two forms, $(2,1,1)$ and $(2,2)$, so there are two involution classes. More concretely, the first group's single class has $21\cdot 5\cdot 3=315$ elements, counting image line, kernel plane through it and nonzero map between the quotient and image. The rank-one class in dimension four over ${\mathbb{F}}_2$ has $15\cdot 7=105$ elements; the rank-two class has $35\cdot |G{L}_2(2)|=210$. Isomorphisms preserve conjugacy classes, so

The printed statement needs $A\ne \varnothing$: for the empty set every linear subspace has cardinality at least one, so the requested bound is impossible. We prove the intended nonempty version of the Freiman-Ruzsa theorem over a finite field. Necessarily $C\ge 1$, because any one translate of $A$ inside $A+A$ has size $|A|$.

We first prove all sumset estimates needed below. For finite nonempty $X$ and finite $U,V$ in an abelian group, choose one representation $z=u_z-v_z$ for each $z\in U-V$. The mapis injective: subtracting the outputs recovers $z$, hence its chosen representation and then $x$. This proves the Ruzsa triangle inequality

Choose nonempty $X\subseteq B$ minimizing $c^{\prime }=|X+B|/|X|\le C$, where $B$ is any set with $|B+B|\le C|B|$. We prove the Petridis minimal-growth lemma $|X+B+D|\le c^{\prime }|X+D|$ for every finite $D$. List $D=\{d_1,\dots ,d_s\}$, and let $X_i$ consist of those $x\in X$ for which $x+d_i$ was not already in $X+\{d_1,\dots ,d_{i-1}\}$. The disjoint pieces $X_i+d_i$ partition $X+D$.

Every $(X\setminus X_i)+B+d_i$ was already covered in $X+B+\{d_1,\dots ,d_{i-1}\}$. The new part at step $i$ therefore has size at mostHere minimality of $X$ applies to every nonempty subset $X\setminus X_i$, and the empty case has size zero. Summing proves the lemma. Iteration gives $|X+kB|\le C^k|X|$. Apply the Ruzsa triangle inequality with $U=kB$, $V=\ell B$ to obtainThis derives the required Plünnecke-Ruzsa inequality. In characteristic two, subtraction is addition, so $|rB|\le C^r|B|$ for every positive integer $r$.

Fix $a\in A$ and translate to $B=A+a$, which contains zero, has size $|A|$, and has the same doubling constant. Choose $m=\lceil {\log }_2(2|12B|)\rceil$. A uniformly random linear map $L:{\mathbb{F}}_2^N\to G^{\prime }={\mathbb{F}}_2^m$ kills each specified nonzero vector with probability $2^{-m}$. The union bound shows that some $L$ satisfiesBecause $0\in B$, all lower iterated sumsets lie in $12B$. In particular $L$ is injective on $B$, since the difference of two elements belongs to $2B$. For $B^{\prime }=L(B)$, the density $\alpha =|B^{\prime }|/|G^{\prime }|$ is at least $1/(4C^{12})$. This proves injective linear modelling of a small sumset.

We next prove the Finite-field Bogolyubov lemma in this model. Write $f=1_{B^{\prime }}$ and use normalized real Fourier coefficients on a finite abelian group $\hat{f}(\xi )={\mathbb{E}}_{x}f(x)(-1{)}^{\xi \cdot x}$. LetBy Parseval identity, $|S|\le 2{\alpha }^{-2}$. Thus $W$ is a vector subspace of codimension at most $D=\lceil 32C^{24}\rceil$.

For $w\in W$, Fourier inversion of the fourfold normalized convolution givesAll terms with $\xi \in S$ are nonnegative, and the zero-frequency term is ${\alpha }^4$. The absolute contribution from the remaining frequencies is at mostHence the convolution is positive and $W\subseteq 4B^{\prime }$. Also $|W|\ge 2^{-D}|G^{\prime }|\ge 2^{-D}|B|$.

For each $w\in W$, choose its lift $\sigma (w)\in 4B$. It is unique because two lifts differ by an element of $8B\cap \ker L$, which is zero. For $w_1,w_2\in W$, the discrepancybelongs to $12B\cap \ker L$, so it vanishes. Also $\sigma (0)=0$. Therefore $\sigma$ is a linear map and its image $\tilde{W}\subseteq 4B$ is a vector subspace with $|\tilde{W}|=|W|\ge 2^{-D}|B|$. This establishes lifting a subspace through a Freiman model without assuming that arbitrary choices of preimages preserve addition.

Finally, $B+\tilde{W}\subseteq 5B$ is a union of $\tilde{W}$-cosets. The number of these cosets is at mostChoose representatives $b_1,\dots ,b_t$ from $B$. Then $B\subseteq \tilde{W}+\{b_1,\dots ,b_t\}$, so adjoining these representatives and $a$ to $\tilde{W}$ gives a vector subspace $V$ containing $A$. Over ${\mathbb{F}}_2$, adjoining each vector multiplies the size by at most two. Since $|\tilde{W}|\le |4B|\le C^4|B|$, the Freiman-Ruzsa bound from Bogolyubov and linear modelling yieldsThis bound depends only on $C$, as required, and every sumset estimate used in its derivation has been proved.

Define the exterior square over the arbitrary field $k$ by ${\bigwedge }^{2}V=(V\otimes V)/\mathrm{span}\{v\otimes v:v\in V\}$. Write the image of $u\otimes v$ as $u\wedge v$. Then $v\wedge v=0$ and $u\wedge v=-v\wedge u$; the basis is $v_i\wedge v_j$ with $i<j$, in characteristic two as well. The exterior-power Lie algebra representation isThe tensor product of Lie algebra representations descends to this quotient: $x\cdot (v\otimes v)=xv\otimes v+v\otimes xv$ is a linear combination of square tensors, namely $(v+xv)\otimes (v+xv)-v\otimes v-xv\otimes xv$. On the wedge basis its coefficients follow directly from the original representing matrices. Expanding both actions shows $[{\rho }_{{\wedge }^2}(x),{\rho }_{{\wedge }^2}(y)]={\rho }_{{\wedge }^2}([x,y])$.

The inclusions of $V$ and $W$ into their direct sum define the mapA combined basis shows that this sends a basis to the pure-$V$, pure-$W$ and mixed wedge basis vectors, with no overlap and no omission. The defining action on each wedge proves equivariance. Hence the exterior square of a direct sum givesNo division by $2$ is involved, so the proof remains valid in characteristic two.

For the complex special linear Lie algebra ${\mathfrak{sl}}_3$, write ${\Gamma }_{a,b}$ for the irreducible highest-weight representation with Dynkin labels $(a,b)$, and $V={\Gamma }_{1,0}$. First the sl3 decomposition of the symmetric-square dual tensor product isIndeed contraction $c((uv)\otimes f)=f(u)v+f(v)u$ is a surjective Lie algebra representation homomorphism onto $V$. Its 15-dimensional kernel contains the highest-weight vector $e_1^2\otimes e_3^{\ast }$ of weight $(2,1)$. The Weyl dimension formula gives $\dim {\Gamma }_{2,1}=15$, and the Weyl complete reducibility theorem identifies the kernel and splits the map. With $B={\Gamma }_{2,1}$, the direct-sum identity reduces the requested calculation to ${\bigwedge }^{2}B$, $B\otimes V$ and ${\bigwedge }^{2}V$.