When Is a Graded PI Algebra a PI Algebra?

Abstract

Let G be a monoid with cancellation and let ? be a strongly G-graded algebra with finite G-grading satisfying a graded polynomial identity. We show that ? is a PI algebra.     

Graded Polynomial Identities for Tensor Products by the Grassmann Algebra

Abstract

Let 𝕂 be a field of characteristic zero, and R be a G-graded 𝕂-algebra. We consider the algebra R ? E, then deduce its G × ?₂-graded polynomial identities starting from the G-graded polynomial identities of R. As a consequence, we describe a basis for the ? _n  × ?₂-graded identities of the algebras M _n (E). Moreover we give the graded cocharacter sequence of M ₂(E), and show that M ₂(E) is PI-equivalent to M _1,1(E) ? E. This fact is a particular case of a more general result obtained by Kemer.     

On the structure of graded <Emphasis Type="Italic">λ</Emphasis>-Hopf algebras

Let G be an abelian group, B the G-graded λ-Hopf algebra with A being a bicharacter on G. By introducing some new twisted algebras （coalgebras）, we investigate the basic properties of the graded antipode and the structure for B. We also prove that a G-graded λ-Hopf algebra can be embedded in a usual Hopf algebra. As an application, it is given that if G is a finite abelian group then the graded antipode of a finite dimensional G-graded A-Hopf algebra is invertible.     

Infinitesimally PI radical algebras

The Golod-Shafarevich examples show that not every finitely generated nil algebraA is nilpotent. On the other hand, Kaplansky proved that every finitely generated nil PI-algebra is indeed nilpotent. We generalise Kaplansky’s result to include those algebras that are only infinitesimally PI. An associative algebraA is infinitesimally PI whenever the Lie subalgebra generated by the first homogeneous component of its graded algebra gr(A)=⊕ _t⩾1 A ⁱ /A ⁱ⁺¹ is a PI-algebra. We apply our results to a problem of Kaplansky’s concerning modular group algebras with radical augmentation ideal. The author is supported by NSERC of Canada.     

Ideals of identities of representations of nilpotent lie algebras

Let L be a Lie algebra, nilpotent of class 2, over an infinite field K, and suppose that the centre C of L is one dimensional; such Lie algebras are called Heisenberg algebras. Let ρ:L→hom _KV be a finite dimensional representation of the Heisenberg algebra L such that ρ(C) contains non-singular linear transformations of V, and denote l(ρ) the ideal of identities for the representation ρ. We prove that the ideals of identities of representations containing I(ρ) and generated by multilinear polynomials satisfy the ACC. Let sl ₂(L) be the Lie algebra of the traceless 2×2 matrices over K, and suppose the characteristic of K equals 2. As a corollary we obtain that the ideals of identities of representations of Lie algebras containing that of the regular representation of sl ₂(K) and generated by multilinear polynomials, are finitely based. In addition we show that one cannot simply dispense with the condition of multilinearity. Namely, we show that the ACC is violated for the ideals of representations of Lie algebras (over an infinite field of characteristic 2) that contain the identities of the regular representation of sl ₂(K).     

Identities and isomorphisms of graded simple algebras

Let G be an arbitrary abelian group and let A and B be two finite dimensional G-graded simple algebras over an algebraically closed field F such that the orders of all finite subgroups of G are invertible in F. We prove that A and B are isomorphic if and only if they satisfy the same G-graded identities. We also describe all isomorphism classes of finite dimensional G-graded simple algebras.     

On Characteristic Modules of Graded Quasi-hereditary Algebras

Abstract

Let G be a group and A a G-graded quasi-hereditary algebra. Then its characteristic module is proved to be G-gradable, i.e., it is isomorphic to a G-graded module as A-modules. This implies that the Ringel dual A′ of A admits a canonical G-grading which extends to the graded situation the typical equivalence between Δ-good and ?-good modules of A and A′, respectively. It follows some consequences: the derived category of finitely generated G-graded A-modules is equivalent to the derived category of finitely generated G-graded A'-modules; if G is finite, then the Ringel dual of the smash product A#G* is isomorphic to the smash product A'#G* of A' with G.     

Graded Endomorphism Rings and Equivalences

Abstract

Let R be a G-graded ring,M a G-graded Σ-quasiprojective R- module,and E = END _R (M) its graded ring of endomorphisms. For any subgroup H of G,we prove that certain full subcategories of G/H-graded R-modules associated with M are equivalent to a quotient category of G/H-graded E-modules determined by the idempotent G-graded ideal of E consisting of endomorphisms which factor through a finitely generated submodule of M. Properties and applications of these equivalences are also examined.     

Representability and Specht problem for G-graded algebras

Let W be an associative PI-algebra over a field F of characteristic zero, graded by a finite group G. Let idG(W) denote the T-ideal of G-graded identities of W. We prove: 1. [G-graded PI-equivalence] There exists a field extension K of F and a finite-dimensional Z/2Z×G-graded algebra A over K such that idG(W)=idG(A^∗) where A^∗ is the Grassmann envelope of A. 2. [G-graded Specht problem] The T-ideal idG(W) is finitely generated as a T-ideal. 3. [G-graded PI-equivalence for affine algebras] Let W be a G-graded affine algebra over F. Then there exists a field extension K of F and a finite-dimensional algebra A over K such that idG(W)=idG(A).     

Primary decomposition over rings graded by finitely generated Abelian groups

Let A be a Noetherian ring which is graded by a finitely generated Abelian group G. In general, for G-graded modules there do not exist primary decompositions which are graded themselves. This is quite different from the case of gradings by torsion free group, for which graded primary decompositions always exists. In this paper we introduce G-primary decompositions as a natural analogue to primary decomposition for G-graded A-modules. We show the existence of G-primary decomposition and give a few characterizations analogous to Bourbaki's treatment for torsion free groups.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

Critical Modules of the Ring of Differential Operators of an Affine Semigroup Algebra

Let D be the ring of differential operators of an affine semigroup algebra. Regarding the Krull dimension of finitely generated ? ^d -graded D-modules, we characterize critical ? ^d -graded D-modules. Moreover, we explicitly describe cyclic ones.     

Stable equivalences of graded algebras

We extend the notion of stable equivalence to the class of locally finite graded algebras. For such an algebra Λ, we focus on the Krull–Schmidt category gr_Λ of finitely generated -graded Λ-modules with degree 0 maps, and the stable category obtained by factoring out those maps that factor through a graded projective module. We say that Λ and Γ are graded stably equivalent if there is an equivalence that commutes with the grading shift. Adapting arguments of Auslander and Reiten involving functor categories, we show that a graded stable equivalence α commutes with the syzygy operator (where defined) and preserves finitely presented modules. As a result, we see that if Λ is right noetherian (resp. right graded coherent), then so is any graded stably equivalent algebra. Furthermore, if Λ is right noetherian or k is artinian, we use almost split sequences to show that a graded stable equivalence preserves finite length modules. Of particular interest in the nonartinian case, we prove that any graded stable equivalence involving an algebra Λ with socΛ=0 must be a graded Morita equivalence.     

Constructing G-algebras

In this article we define G-algebras, that is, graded algebras on which a reductive group G, acts as gradation preserving automorphisms. Starting from a finite dimensional G-module V and the polynomial ring ?[V], it is shown how one constructs a sequence of projective varieties V_k such that each point of V_k corresponds to a graded algebra with the same decomposition up to degree k as a G-module. After some general theory, we apply this to the case that V is the n+1-dimensional permutation representation of S_n+1, the permutation group on n+1 letters.     

Group graded <Emphasis Type="Italic">PI</Emphasis>-algebras and their codimension growth

Let W be an associative PI — algebra over a field F of characteristic zero. Suppose W is G-graded where G is a finite group. Let exp(W) and exp(W _e ) denote the codimension growth of W and of the identity component W _e , respectively. The following inequality had been conjectured by Bahturin and Zaicev: exp(W) ≤ |G|² exp(W _e ). The inequality is known in case the algebra W is affine (i.e., finitely generated). Here we prove the conjecture in general.