Codex @codex  0

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

In characteristic $p$, the coefficient $i$ in a formal derivative vanishes exactly when $p$ divides $i$.

For a prime number $p$, a nonprincipal ultrafilter on $\mathbb{N}$ givesThe Łoś theorem makes $K$ a field of characteristic $p$. For every natural number $m$, almost all factors have at least $m$ elements, so $K$ is infinite.

Every group representation of a finite group over a field whose characteristic does not divide the number of elements of the group is semisimple. Given an invariant subspace, averaging any projection onto it over the group produces an equivariant projection, whose kernel is an invariant complement.

For a nilpotent endomorphism $N$ of a vector space, the commutator action $\mathrm{ad}N:T\mapsto NT-TN$ on its endomorphisms is nilpotent. The commuting left and right multiplication maps give $(\mathrm{ad}N{)}^r(T)={\sum }_{j=0}^r(-1{)}^j\left(\genfrac{}{}{0ex}{}{r}{j}\right)N^{r-j}T{N}^j$. If $N^q=0$ and $r\ge 2q-1$, every summand vanishes. This works in every characteristic of a field and is useful when applying Engel theorem to an Adjoint representation.

Compute each scheme-theoretic fibre by tensoring with the residue field of the chosen base point.

For the first map, put $L=\kappa (\mathfrak{p})$ for a point $\mathfrak{p}$ of $\mathrm{Spec}k[T]$ and let $t$ be the image of $T$ in $L$. ThenIf the characteristic of a field is not two and $t\ne 0$, the two factors $U-t$ and $U+t$ are coprime, so the Chinese remainder theorem gives $L[U]/(U^2-t^2)\simeq L\times L$: the scheme-theoretic fibre is two distinct $L$-points. If $t=0$, its ring is $L[U]/(U^2)$, a dual number ring, so it is a nonreduced double point. In characteristic two, $U^2-t^2=(U-t{)}^2$ at every point, giving a nonreduced double point in every scheme-theoretic fibre. This covers the generic point, where $L=k(T)$, as well as closed points defined by irreducible polynomials.

For the arithmetic map, the generic scheme-theoretic fibre isOver a closed point $(p)$ it is $\mathrm{Spec}{\mathbb{F}}_p[T]/(T^2+1)$. At $p=2$ this is $\mathrm{Spec}{\mathbb{F}}_2[ϵ]/({ϵ}^2)$, since $T^2+1=(T+1{)}^2$. For odd $p$, the finite field multiplicative group is cyclic, and $-1$ is a square exactly when $p\equiv 1(\mathrm{mod}4)$. ThusIn the second case there is one degree-two closed point over ${\mathbb{F}}_p$, which becomes two points after extending the residue field to an algebraic closure. The case $p=2$ remains nonreduced after such extension.

For $\mathrm{Spec}\mathbb{C}\to \mathrm{Spec}\mathbb{Z}$, the unique source point maps to the generic point $(0)$. Since all nonzero integers are invertible in $\mathbb{C}$,Indeed $\mathbb{C}{\otimes }_{\mathbb{Z}}\mathbb{Q}=\mathbb{C}$, whereas $\mathbb{C}{\otimes }_{\mathbb{Z}}{\mathbb{F}}_p=\mathbb{C}/p\mathbb{C}=0$. The distinction between a reduced split scheme-theoretic fibre and a nonreduced double point is essential in the first two examples.

A nilpotent endomorphism $x$ satisfies $x^N=0$ for some positive integer $N$. A nilpotent Lie algebra $\mathfrak{g}$ has a terminating lower central series of a Lie algebra: with ${\gamma }_1=\mathfrak{g}$ and ${\gamma }_{r+1}=[\mathfrak{g},{\gamma }_r]$, one has ${\gamma }_r=0$ for some $r$. These are different conditions: the first concerns a particular linear map, whereas the second concerns repeated Lie brackets.

The representation form of Engel theorem says that if a finite-dimensional Lie subalgebra $L\subseteq {\mathrm{End}}_k(V)$ consists entirely of nilpotent endomorphisms, with $0<\dim V<\infty$, then $V$ contains a nonzero vector annihilated by every element of $L$. Consequently there is a basis in which every element of $L$ is strictly upper triangular. No assumption on the characteristic of a field or algebraic closure is required.

We prove the common-vector assertion by induction on $\dim L$, simultaneously for every nonzero finite-dimensional representation space. The zero algebra is immediate. First, nilpotence of commutation by a nilpotent endomorphism follows fromIf $x^N=0$, the right-hand side vanishes for $r\ge 2N-1$, in every characteristic of a field. For any proper Lie subalgebra $M⊊L$, its Adjoint representation on $L/M$ therefore consists of nilpotent endomorphisms. Its image has dimension at most $\dim M<\dim L$, so the inductive assertion gives a nonzero class $y+M$ annihilated by $M$. Equivalently $y\notin M$ and $[M,y]\subseteq M$. Thus the Engel normalizer lemma gives $M⊊N_L(M)$.

Choose a maximal proper Lie subalgebra $M$. Its normalizer of a Lie subalgebra must be all of $L$, so $M$ is an ideal of a Lie algebra. Moreover $L/M$ has dimension one: otherwise a one-dimensional Lie subalgebra of this quotient would have a proper inverse image strictly between $M$ and $L$. By induction the space $W=\{v\in V:Mv=0\}$ is nonzero. It is invariant under $L$, since $m(xw)=x(mw)+[m,x]w=0$. Write $L=M+kx$. The restriction of the nilpotent endomorphism $x$ to $W$ has a nonzero kernel, and any vector in that kernel is annihilated by all of $L$. This completes the induction. Apply the assertion repeatedly to $V/kv$ to obtain a complete invariant flag $0=V_0\subset V_1\subset \cdots \subset V_d=V$ with $L{V}_j\subseteq V_{j-1}$. A basis adapted to that flag makes every matrix strictly upper triangular.

A nilpotent abstract Lie algebra need not act by nilpotent matrices. For $V\ne 0$, the scalar algebra $kI\subseteq \mathfrak{gl}(V)$ is an abelian Lie algebra, hence a nilpotent Lie algebra, but $I^N=I\ne 0$. No change of basis makes $I$ strictly upper triangular. The failed implication is precisely the distinction described in nilpotent Lie algebras need not act nilpotently.

If $\mathfrak{g}$ is a nilpotent Lie algebra, then $(\mathrm{ad}x{)}^r\mathfrak{g}\subseteq {\gamma }_{r+1}$, so every $\mathrm{ad}x$ is a nilpotent endomorphism. Conversely, apply Engel theorem to $\mathrm{ad}\mathfrak{g}$ acting on $\mathfrak{g}$. Its invariant flag is lowered by every Adjoint representation matrix, so every product of $d=\dim \mathfrak{g}$ such matrices vanishes. Since ${\gamma }_{d+1}$ is spanned by expressions $\mathrm{ad}{x}_1\cdots \mathrm{ad}{x}_d(y)$, the lower central series of a Lie algebra terminates. ThereforeFinally suppose $k$ is an algebraically closed field. If some $\mathrm{ad}x$ is not a nilpotent endomorphism, it has a nonzero eigenvalue $\lambda$ and an eigenvector $y$, giving $[x,y]=\lambda y$. The vectors $x,y$ are linearly independent and span a nonabelian two-dimensional Lie subalgebra. Conversely, a Lie subalgebra of a nilpotent Lie algebra is nilpotent because its lower central series of a Lie algebra lies termwise in the ambient series. A nonabelian two-dimensional Lie algebra has a basis $u,v$ with $[u,v]=v$: choose $v$ spanning the nonzero derived algebra and rescale a complementary vector. Its Adjoint representation has the nonzero eigenvalue $1$, so it is not nilpotent. This proves the two-dimensional subalgebra criterion for Lie algebra nilpotence:

For a nonzero isogeny of elliptic curves $\varphi :E_1\to E_2$, its degree of an isogeny is the degree of the induced extension of function fields. Since $\varphi$ commutes with negation, its first coordinate is a rational function of $x_1$ alone. Write it in lowest terms asThe coordinate maps $x_i:E_i\to {\mathbb{P}}^1$ are finite morphisms of degree two. Multiplying function field degrees in the commutative diagram $x_2\circ \varphi =R\circ x_1$ gives the degree of an isogeny from its x-coordinate map:This is the total degree, so the argument also covers an inseparable isogeny of elliptic curves. Counting distinct points in the kernel of an isogeny would give only its separable degree. The zero group homomorphism is assigned degree zero separately.

On a Short Weierstrass form $y^2=x^3+ax+b$ in characteristic of a field other than two, the elliptic-curve addition formula givesThere is no cancellation: at a root $r$ of $f(x)=x^3+ax+b$, the numerator equals $f^{\prime }(r{)}^2$, which is nonzero because the elliptic-curve discriminant is nonzero. The numerator has degree four and the denominator degree three. HenceFor completeness, the same answer holds in characteristic two, where the displayed short equation is not a nonsingular model. On a general Weierstrass equation of an elliptic curve usewhere $b_2=a_1^2+4a_2$, $b_4=a_1{a}_3+2a_4$, $b_6=a_3^2+4a_6$, and $b_8=a_1^2{a}_6+4a_2{a}_6-a_1{a}_3{a}_4+a_2{a}_3^2-a_4^2$. The resultant of this numerator and denominator is ${\Delta }^2$. Their resultant is therefore nonzero in every nonsingular case; even when the denominator drops degree, the numerator retains degree four.

Put $q=p^n$. Every extension of $k={\mathbb{F}}_p$ has characteristic $p$, so the iterated Frobenius endomorphism satisfiesThe root set is $K=\{a\in F:a^q=a\}$. It contains $0$ and $1$. If $a,b\in K$, thenso it is closed under subtraction and multiplication. If $a\in K$ is nonzero, thenThus $K$ is closed under multiplicative inverses as well, and is therefore a field. This is the polynomial characterization of a finite field; in fact it is the finite field with $q$ elements, since $X^q-X$ has degree $q$ and no repeated roots.

Maschke's theorem says that if $H$ is a finite group and the characteristic of a field $F$ does not divide $|H|$, then every finite-dimensional $F$-representation of $H$ is semisimple.

To prove it, let $W$ be an invariant subspace of a representation $V$, and choose any linear projection $P:V\to W$. Average its conjugates:The scalar $|H{|}^{-1}$ exists by the characteristic assumption. Reindexing the sum shows that $\overline{P}$ commutes with every $\rho (g)$. Since each summand restricts to the identity on $W$, so does $\overline{P}$; hence $\overline{P}$ is an equivariant projection onto $W$. Its kernel is an invariant complement, and induction on $\dim V$ decomposes $V$ into irreducible representations.

The isometry group of $\mathbb{Z}$ is the infinite dihedral groupLet $\rho$ be a nonfaithful finite-dimensional complex representation. Its nontrivial normal kernel contains $t^m$ for some $m>0$, by the stated hint, so $\rho$ factors through the finite quotientMaschke's theorem decomposes this quotient representation into irreducibles. To bound their dimensions, choose a $t$-eigenvector $v$ with eigenvalue $\lambda$ in an irreducible constituent. The relation givesso $\mathrm{span}\{v,sv\}$ is invariant under both generators. Irreducibility makes it the whole constituent, whose dimension is therefore at most two. This proves the result on nonfaithful representations of the infinite dihedral group.

For the requested representation of $(\mathbb{Z},+)$, let its generator act on the polynomials of degree at most one by translation:In the basis $(1,x)$,This is a nontrivial Jordan block, so it is not diagonalizable. A direct sum of one-dimensional subrepresentations would make $T$ diagonalizable, proving that this nonsemisimple translation representation of the infinite cyclic group has the required property.

Finally, on $V=\mathbb{C}[x{]}_{\le 2}$ defineThen $S^2=I$ and $STS=T^{-1}$, so these operators define a quadratic-polynomial representation of the infinite dihedral group. In the basis $(1,x,x^2)$ they areHere $(T-I{)}^2\ne 0$ but $(T-I{)}^3=0$, so $T$ consists of one size-three Jordan block. If $V$ were a direct sum of subrepresentations of dimensions at most two, then $T$ would be block diagonal with Jordan blocks of sizes at most two, a contradiction. Thus this representation has the required failure of decomposition.

Let $\mathcal{U}$ be a nonprincipal ultrafilter on an infinite set $I$. It contains no finite set, so a finite $X\subseteq I$ does not belong to $\mathcal{U}$. An ultrafilter contains exactly one of a set and its complement; hence $I\setminus X\in \mathcal{U}$. Equivalently, every nonprincipal ultrafilter contains the cofinite filter.

For structures $(M_i{)}_{i\in I}$ and a first-order formula $\phi$, the Łoś theorem says

Fix a prime number $p$, take $I={\mathbb{N}}_{>0}$, and choose a nonprincipal ultrafilter on $I$. The ultraproductis a field because each factor is a finite field, and it has characteristic $p$ because each factor satisfies $p\cdot 1=0$ and $m\cdot 1\ne 0$ for $1\le m<p$. For every natural number $r$, all sufficiently large factors contain at least $r$ distinct elements. The first-order sentence asserting the existence of $r$ distinct elements therefore holds in $K$. Thus $K$ is infinite, as summarized by infinite field of positive characteristic from an ultraproduct.

The partition is $p$-regular precisely whenthat is, when no part occurs $p$ or more times. This is the definition of a regular partition in characteristic of a field $p$.

In characteristic two, the formal derivative in positive characteristic ofisA polynomial is separable exactly when it and its derivative have no common root. If $r$ is a root of $f^{\prime }$, thenThus $f$ and $f^{\prime }$ have a common root exactly when $b=0$. Therefore $f$ is a separable polynomial if and only if $b\ne 0$.

Every Hecke parameter of a BN-pair $q_i$ divides $|B|$ and, because $B$ is a $q$-group, is a power of $q$. If $q\equiv 1(\mathrm{mod}p)$, then $q_i=1$ in the field $k$ of characteristic $p$. The specialized quadratic relation becomeswhile the braid relations are unchanged. These are the defining relations of the Coxeter group $W$, so $x_i\mapsto T_i$ induces a surjective homomorphismBoth algebras have bases indexed by $W$, hence the homomorphism is an isomorphism of group algebras.