Characteristic-p extension of the hypercenter characterization

Determine whether the equality \(Z^*(L)=nil(L)\) from Theorem 3.4(ii) holds for finite-dimensional Lie algebras over fields of prime characteristic.

Background

Theorem 3.4(ii) proves that, over a field of characteristic zero, the nilpotentizer nil(L)nil(L) equals the hypercenter Z(L)Z^*(L). The proof uses characteristic-zero tools, including algebraic hulls and Jordan decomposition. The paper does not extend this equality to fields of prime characteristic.

The unresolved issue is therefore whether the characteristic-zero identification remains valid, or requires modification, in positive characteristic.

References

Does Theorem 3.4 (ii) hold over a field of prime characteristic?

The nilpotent graph of a finite0-dimensional Lie algebra  (2506.19758 - Towers et al., 24 Jun 2025) in Questions following the definition and example of the non-nilpotent graph, Section 5