Tsen theorem 2026-10-07
The function field of a curve over an algebraically closed field is a C1 field. Consequently its Brauer group is zero. This is the input for cyclic splitting by extension of constants over a finite constant field.
Two-dimensional subalgebra criterion for Lie algebra nilpotence Created 2026-10-06 Updated 2026-10-14
Over an algebraically closed field, a finite-dimensional Lie algebra is nilpotent exactly when every two-dimensional Lie subalgebra is abelian. A nonnilpotent Adjoint representation matrix has a nonzero eigenvalue with eigenvector , so generates a nonabelian two-dimensional subalgebra. Conversely a subalgebra of a nilpotent Lie algebra is nilpotent, while a nonabelian two-dimensional algebra has a basis with and a nonnilpotent adjoint matrix. Algebraic closure is what guarantees the required eigenvector.
Unipotent matrix 2026-10-06
A square matrix is unipotent when is nilpotent. Over an algebraically closed field, this is equivalent to all eigenvalues being one. If belongs to a nilpotent ideal of an operator algebra, is a unipotent matrix. This realizes the radical factor in the Levi decomposition of a quiver automorphism group.