Filtered multiplicative bases of restricted enveloping algebras (Q434424)

From MaRDI portal
Revision as of 17:26, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Filtered multiplicative bases of restricted enveloping algebras
scientific article

    Statements

    Filtered multiplicative bases of restricted enveloping algebras (English)
    0 references
    0 references
    0 references
    0 references
    10 July 2012
    0 references
    A vector space basis \(\mathfrak{B}\) of a finite-dimensional associative algebra \(A\) is called filtered multiplicative if the product of two basis vectors in \(\mathfrak{B}\) is either zero or belongs to \(\mathfrak{B}\) and the basis vectors in \(\mathfrak{B}\) belonging to the Jacobson radical \(\mathfrak{rad}(A)\) of \(A\) form a basis of \(\mathfrak{rad}(A)\). In the paper under review the authors investigate the existence of filtered multiplicative bases for the restricted universal enveloping algebras of certain classes of finite-dimensional \(p\)-nilpotent restricted Lie algebras. Let \(\mathfrak{F}_p\) denote the class of finite-dimensional \(p\)-nilpotent restricted Lie algebras. Then the authors prove that for abelian \(L\in\mathfrak{F}_p\) the restricted universal enveloping algebra \(u(L)\) of \(L\) has a filtered multiplicative basis if and only if \(L\) is a direct sum of cyclic \(p\)-subalgebras. In particular, over perfect ground fields \(u(L)\) has always a filtered multiplicative basis, and contrary to commutative group algebras, commutative restricted universal enveloping algebras need not to have a filtered multiplicative basis. Moreover, it is proved that restricted universal enveloping algebras of certain generalizations of abelian \(p\)-nilpotent restricted Lie algebras, namely powerful restricted Lie algebras and \(p\)-nilpotent restricted Lie algebras of nilpotency class \(2\) over fields of characteristic \(p\neq 2\), do not have a filtered multiplicative basis. The \(2\)-nilpotent three-dimensional Heisenberg algebra shows that the last result fails in characteristic \(2\).
    0 references
    Filtered multiplicative basis
    0 references
    restricted Lie algebra
    0 references
    restricted universal enveloping algebra
    0 references
    \(p\)-nilpotent restricted Lie algebra
    0 references
    cyclic restricted Lie algebra
    0 references
    abelian restricted Lie algebra
    0 references
    powerful restricted Lie algebra
    0 references
    nilpotency class \(2\)
    0 references
    three-dimensional Heisenberg algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references