On the cocharacter sequence of some PI-algebras

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteur principal: Hristova, Elitza
Format: Preprint
Publié: 2026
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866915812199104512
author Hristova, Elitza
author_facet Hristova, Elitza
contents Let $A$ be a unital associative PI-algebra over a field of characteristic zero. We study which partitions $λ$ appear with nonzero multiplicities in the cocharacter sequence of $A$ for several classes of algebras $A$. Berele defines the eventual arm width $ω_0(A)$ to be the maximal integer $d$ so that if $λ$ appears with nonzero multiplicity in the cocharacter sequence of $A$, then $λ$ can have at most $d$ parts arbitrarily large. Berele also shows that if $A$ is Lie nilpotent, then $ω_0(A) = 1$. In the first part of this paper, we show that if $A$ is unital, then $ω_0(A) = 1$ if and only if $A$ is Lie nilpotent. To prove this statement, we show that the algebra of proper polynomials $B_n(A)$ is finite dimensional if and only if $A$ is Lie nilpotent. In the second part, we give a bound on the nonzero multiplicities $λ$ in the cocharacter sequence of $A$, when the T-ideal of identities of $A$ is equal to a product of T-ideals generated by long commutators. As an application, we show that for a Lie nilpotent algebra $A$, the nonzero multiplicities $m_λ(A)$ correspond to partitions $λ$ which are supported in step-like diagrams in which the number of steps grows with the index of Lie nilpotency. Finally, we give also some applications to the noncommutative invariant theory of the special linear group $\mathrm{SL}(n)$.
format Preprint
id arxiv_https___arxiv_org_abs_2602_19797
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle On the cocharacter sequence of some PI-algebras
Hristova, Elitza
Rings and Algebras
Representation Theory
16R10, 13A50, 20G05
Let $A$ be a unital associative PI-algebra over a field of characteristic zero. We study which partitions $λ$ appear with nonzero multiplicities in the cocharacter sequence of $A$ for several classes of algebras $A$. Berele defines the eventual arm width $ω_0(A)$ to be the maximal integer $d$ so that if $λ$ appears with nonzero multiplicity in the cocharacter sequence of $A$, then $λ$ can have at most $d$ parts arbitrarily large. Berele also shows that if $A$ is Lie nilpotent, then $ω_0(A) = 1$. In the first part of this paper, we show that if $A$ is unital, then $ω_0(A) = 1$ if and only if $A$ is Lie nilpotent. To prove this statement, we show that the algebra of proper polynomials $B_n(A)$ is finite dimensional if and only if $A$ is Lie nilpotent. In the second part, we give a bound on the nonzero multiplicities $λ$ in the cocharacter sequence of $A$, when the T-ideal of identities of $A$ is equal to a product of T-ideals generated by long commutators. As an application, we show that for a Lie nilpotent algebra $A$, the nonzero multiplicities $m_λ(A)$ correspond to partitions $λ$ which are supported in step-like diagrams in which the number of steps grows with the index of Lie nilpotency. Finally, we give also some applications to the noncommutative invariant theory of the special linear group $\mathrm{SL}(n)$.
title On the cocharacter sequence of some PI-algebras
topic Rings and Algebras
Representation Theory
16R10, 13A50, 20G05
url https://arxiv.org/abs/2602.19797