Relatively free algebras of finite rank

DOI10.1007/978-3-030-63111-6_8MaRDI QIDQ824442zbMATH OpenOpenAlexFDO

Authors Thiago Castilho de Mello, Felipe Yukihide Yasumura

Publication date 15 December 2021

Full work available at URL https://arxiv.org/abs/2006.14541

Grassmann envelope polynomial identities relatively free algebras

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10)

Abstract: Let

m a t h b b K

be a field of characteristic zero and

B = B_{0} + B_{1}

a finite dimensional associative superalgebra. In this paper we investigate the polynomial identities of the relatively free algebras of finite rank of the variety

m a t h f r a k V

defined by the Grassmann envelope of

B

. We also consider the

k

-th Grassmann Envelope of

B

,

G^{(k)} (B)

, constructed with the

k

-generated Grassmann algebra, instead of the infinite dimensional Grassmann algebra. We specialize our studies for the algebra

U T_{2} (G)

and

U T_{2} (G^{(k)})

, which can be seen as the Grassmann envelope and

k

-th Grassmann envelope, respectively, of the superalgebra

U T_{2} (m a t h b b K [u])

, where

u^{2} = 1

.

Review text

Let \(K\) be a field of characteristic zero and \(B=B_0\oplus B_1\) a finite dimensional associative superalgebra. The authors investigate the polynomial identities of the relatively free algebras of finite rank of the variety \(\mathcal{B}\) defined by the Grassmann envelope \(G(B)\). The authors also consider the \(k\)-th Grassmann envelope \(G^{(k)}(B)\), constructed using the \(k\)-generated Grassmann algebra \(G_k\), instead of infinite dimensional Grassmann algebra \(G\). The study specializes for the algebras \(UT_2(G)\) and \(UT_2(G^{(k)})\), which can be seen as the Grassmann envelope and \(k\)-th Grassmann envelope, respectively, of the superalgebra \(UT_2(K[u])\), where \(u^2=1\). \par The authors in particular show that in the case \(B=UT_2(G)\) the \(T\)-ideal of the free algebra of finite rank \(T(F_k(B))\) is different from the \(T\)-ideal \(T(G^{k}(B))\). For the entire collection see [Zbl 1461.16003].

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Relatively free algebras of finite rank

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q824442)