Star-group identities and groups of units

Analogous to *-identities in rings with involution we define *-identities in groups. Suppose that G is a torsion group with involution * and that F is an infinite field with char F ≠ 2. Extend * linearly to FG. We prove that the unit group \({\mathcal{U}}\) of FG satisfies a *-identity if and only if the symmetric elements \({\mathcal{U}^+}\) satisfy a group identity.

A characterization of fundamental algebras through S-characters

Abstract Fundamental algebras play an important role in the theory of algebras with polynomial identities in characteristic zero. They are defined in terms of multialternating polynomials non vanishing on them. Here we give a characterization of fundamental algebras in terms of representations of symmetric groups obtaining this way an equivalent definition. As an application we determine when a finitely generated Grassmann algebra is fundamental.

Understanding star-fundamental algebras

Star-fundamental algebras are special finite dimensional algebras with involution ∗ * over an algebraically closed field of characteristic zero defined in terms of multialternating ∗ * -polynomials. We prove that the upper-block matrix algebras with involution introduced in Di Vincenzo and La Scala [J. Algebra 317 (2007), pp. 642–657] are star-fundamental. Moreover, any finite dimensional algebra with involution contains a subalgebra mapping homomorphically onto one of such algebras. We also give a characterization of star-fundamental algebras through the representation theory of the symmetric group.

Groups, Rings and Group Rings

Star-fundamental algebras: polynomial identities and asymptotics

We introduce the notion of star-fundamental algebra over a field of characteristic zero. We prove that in the framework of the theory of polynomial identities, these algebras are the building blocks of a finite dimensional algebra with involution ∗ * . To any star-algebra A A is attached a numerical sequence c n ∗ ( A ) c_n^*(A) , n ≥ 1 n\ge 1 , called the sequence of ∗ * -codimensions of A A . Its asymptotic is an invariant giving a measure of the ∗ * -polynomial identities satisfied by A A . It is well known that for a PI-algebra such a sequence is exponentially bounded and exp ∗ ⁡ ( A ) = lim n → ∞ c n ∗ ( A ) n \exp ^*(A)=\lim _{n\to \infty }\sqrt [n]{c_n^*(A)} can be explicitly compute…