GRADED POLYNOMIAL IDENTITIES OF VERBALLY PRIME ALGEBRAS

2007 ◽  
Vol 06 (03) ◽  
pp. 385-401 ◽  
Author(s):  
ONOFRIO M. DI VINCENZO ◽  
VINCENZO NARDOZZA

Let F be a field and let E be the Grassmann algebra of an infinite dimensional F-vector space. For any p,q ∈ ℕ, the algebra Mp,q(E) can be turned into a ℤp+q × ℤ2-algebra by combining an elementary ℤp+q-grading with the natural ℤ2-grading on E. The tensor product Mp,q(E) ⊗ Mr,s(E) can be turned into a ℤ(p+q)(r+s) × ℤ2-algebra in a similar way. In this paper, we assume that F has characteristic zero and describe a system of generators for the graded polynomial identities of the algebras Mp,q(E) and Mp,q(E) ⊗ Mr,s(E) with respect to these new gradings. We show that this tensor product is graded PI-equivalent to Mpr+qs,ps+qr(E). This provides a new proof of the well known Kemer's PI-equivalence between these algebras. Then we classify all the graded algebras Mp,q(E) having no non-trivial monomial identities, and finally calculate how many non-isomorphic gradings of this new type are available for Mp,q(E).

2018 ◽  
Vol 28 (02) ◽  
pp. 291-307 ◽  
Author(s):  
Luís Felipe Gonçalves Fonseca

Let [Formula: see text] be a finite field with the characteristic [Formula: see text] and let [Formula: see text] be the unitary Grassmann algebra generated by an infinite dimensional vector space [Formula: see text] over [Formula: see text]. In this paper, we determine a basis for [Formula: see text]-graded polynomial identities for any [Formula: see text]-grading such that its underlying vector space is homogeneous.


Author(s):  
Diogo Diniz ◽  
Claudemir Fidelis ◽  
Plamen Koshlukov

Abstract Let $F$ be an infinite field of positive characteristic $p > 2$ and let $G$ be a group. In this paper, we study the graded identities satisfied by an associative algebra equipped with an elementary $G$ -grading. Let $E$ be the infinite-dimensional Grassmann algebra. For every $a$ , $b\in \mathbb {N}$ , we provide a basis for the graded polynomial identities, up to graded monomial identities, for the verbally prime algebras $M_{a,b}(E)$ , as well as their tensor products, with their elementary gradings. Moreover, we give an alternative proof of the fact that the tensor product $M_{a,b}(E)\otimes M_{r,s}(E)$ and $M_{ar+bs,as+br}(E)$ are $F$ -algebras which are not PI equivalent. Actually, we prove that the $T_{G}$ -ideal of the former algebra is contained in the $T$ -ideal of the latter. Furthermore, the inclusion is proper. Recall that it is well known that these algebras satisfy the same multilinear identities and hence in characteristic 0 they are PI equivalent.


2016 ◽  
Vol 26 (06) ◽  
pp. 1125-1140 ◽  
Author(s):  
Lucio Centrone ◽  
Viviane Ribeiro Tomaz da Silva

Let [Formula: see text] be a finite abelian group. As a consequence of the results of Di Vincenzo and Nardozza, we have that the generators of the [Formula: see text]-ideal of [Formula: see text]-graded identities of a [Formula: see text]-graded algebra in characteristic 0 and the generators of the [Formula: see text]-ideal of [Formula: see text]-graded identities of its tensor product by the infinite-dimensional Grassmann algebra [Formula: see text] endowed with the canonical grading have pairly the same degree. In this paper, we deal with [Formula: see text]-graded identities of [Formula: see text] over an infinite field of characteristic [Formula: see text], where [Formula: see text] is [Formula: see text] endowed with a specific [Formula: see text]-grading. We find identities of degree [Formula: see text] and [Formula: see text] while the maximal degree of a generator of the [Formula: see text]-graded identities of [Formula: see text] is [Formula: see text] if [Formula: see text]. Moreover, we find a basis of the [Formula: see text]-graded identities of [Formula: see text] and also a basis of multihomogeneous polynomials for the relatively free algebra. Finally, we compute the [Formula: see text]-graded Gelfand–Kirillov (GK) dimension of [Formula: see text].


2019 ◽  
Vol 18 (09) ◽  
pp. 1950162
Author(s):  
A. S. Gordienko

An algebra [Formula: see text] with a generalized [Formula: see text]-action is a generalization of an [Formula: see text]-module algebra where [Formula: see text] is just an associative algebra with [Formula: see text] and a relaxed compatibility condition between the multiplication in [Formula: see text] and the [Formula: see text]-action on [Formula: see text] holds. At first glance, this notion may appear too general, however, it enables to work with algebras endowed with various kinds of additional structures (e.g. comodule algebras over Hopf algebras, graded algebras, algebras with an action of a semigroup by anti-endomorphisms). This approach proves to be especially fruitful in the theory of polynomial identities. We show that if [Formula: see text] is a finite dimensional (not necessarily associative) algebra over a field of characteristic [Formula: see text] and [Formula: see text] is simple with respect to a generalized [Formula: see text]-action, then there exists [Formula: see text] where [Formula: see text] is the sequence of codimensions of polynomial [Formula: see text]-identities of [Formula: see text]. In particular, if [Formula: see text] is a finite dimensional (not necessarily group graded) graded-simple algebra, then there exists [Formula: see text] where [Formula: see text] is the sequence of codimensions of graded polynomial identities of [Formula: see text]. In addition, we study the free-forgetful adjunctions corresponding to (not necessarily group) gradings and generalized [Formula: see text]-actions.


2021 ◽  
Vol 617 ◽  
pp. 190-214
Author(s):  
Alan de Araújo Guimarães ◽  
Plamen Koshlukov

2009 ◽  
Vol 431 (1-2) ◽  
pp. 56-72 ◽  
Author(s):  
Onofrio M. Di Vincenzo ◽  
Viviane Ribeiro Tomaz da Silva

2011 ◽  
Vol 10 (05) ◽  
pp. 865-889 ◽  
Author(s):  
LUCIO CENTRONE

In this paper, we consider associative P.I. algebras over a field F of characteristic 0, graded by a finite group G. More precisely, we define the G-graded Gelfand–Kirillov dimension of a G-graded P.I. algebra. We find a basis of the relatively free graded algebras of the upper triangular matrices UTn(F) and UTn(E), with entries in F and in the infinite-dimensional Grassmann algebra, respectively. As a consequence, we compute their graded Gelfand–Kirillov dimension with respect to the natural gradings defined over these algebras. We obtain similar results for the upper triangular matrix algebra UTa, b(E) = UTa+b(E)∩Ma, b(E) with respect to its natural ℤa+b × ℤ2-grading. Finally, we compute the ℤn-graded Gelfand–Kirillov dimension of Mn(F) in some particular cases and with different methods.


2019 ◽  
Vol 26 (04) ◽  
pp. 643-664
Author(s):  
Alexey Gordienko ◽  
Ofir Schnabel

In the study of the structure of graded algebras (such as graded ideals, graded subspaces, and radicals) or graded polynomial identities, the grading group can be replaced by any other group that realizes the same grading. Here we come to the notion of weak equivalence of gradings: two gradings are weakly equivalent if there exists an isomorphism between the graded algebras that maps each graded component onto a graded component. Each group grading on an algebra can be weakly equivalent to G-gradings for many different groups G; however, it turns out that there is one distinguished group among them, called the universal group of the grading. In this paper we study categories and functors related to the notion of weak equivalence of gradings. In particular, we introduce an oplax 2-functor that assigns to each grading its support, and show that the universal grading group functor has neither left nor right adjoint.


Sign in / Sign up

Export Citation Format

Share Document