Let $R$ be a finite-dimensional algebra over an algebraically closed field $F$ graded by an arbitrary group $G$. We prove that $R$ is a graded division algebra if and only if it is isomorphic to a twisted group algebra of some finite subgroup of $G$. If the characteristic of $F$ is zero or ${\rm char} F$ does not divide the order of any finite subgroup of $G$ then we prove that $R$ is graded simple if and only if it is a matrix algebra over a finite-dimensional graded division algebra.
Inspired by the commutator and anticommutator algebras derived from algebras graded by groups, we introduce noncommutatively graded algebras. We generalize various classical graded results to the noncommutatively graded situation concerning identity elements, inverses, existence of limits and colimits and adjointness of certain functors. In the particular instance of noncommutatively graded Lie algebras, we establish the existence of universal graded enveloping algebras and we show a graded version of the Poincaré-Birkhoff-Witt theorem.
In this work, we extend the definition of the graded prime ideals from those in commutative graded rings to the ideals over graded Lie algebras. We prove some facts about graded prime Lie ideals in arbitrary Lie algebras that are similar to those about graded prime ideals over a commutative or non-commutative ring.In addition, the ideas of graded semiprime Lie ideals and graded total prime Lie ideals will be introduced.
For an ample groupoid $\mathcal{G}$ and a unit $x$ of $\mathcal{G}$, Steinberg constructed the induction and restriction functors between the category of modules over the Steinberg algebra $A_R(\mathcal{G})$ and the category of modules over the isotropy group algebra $R\mathcal{G}_x$. In this paper, we prove a graded version of these functors and related results for the graded Steinberg algebra of a graded ample groupoid. As an application, the spectral simple and graded simple modules over the Leavitt path algebra $L_K(E)$ are classified. In particular, we show that many of previously known s…
Let A and B be finite dimensional simple real algebras with division gradings by an abelian group G. In this paper we give necessary and sufficient conditions for the coincidence of the graded identities of A and B. We also prove that every finite dimensional simple real algebra with a G-grading satisfies the same graded identities as a matrix algebra over an algebra D with a division grading that is either a regular grading or a non-regular Pauli grading. Moreover we determine when the graded identities of two such algebras coincide. For graded simple algebras over an algebraically closed fie…
Let G be a group and A be a G-graded algebra satisfying a polynomial identity. We buid up a model for the relative free G-graded algebra and we obtain, as an application, the "factoring" property for the T_G-ideals of block triangular matrices with entries from the finite dimensional Grassmann algebra E for some particular Z_2-grading.
We extend the loop algebra construction for algebras graded by abelian groups to study graded-simple algebras over the field of real numbers (or any real closed field). As an application, we classify up to isomorphism the graded-simple alternative (nonassociative) algebras and graded-simple finite-dimensional Jordan algebras of degree 2. We also classify the graded-division alternative (nonassociative) algebras up to equivalence.
We prove that if $A$ is a regular graded skew Clifford algebra and is a twist of a regular graded Clifford algebra $B$ by an automorphism, then the subalgebra of $A$ generated by a certain normalizing sequence of homogeneous degree-two elements is a twist of a polynomial ring by an automorphism, and is a skew polynomial ring. We also present an example that demonstrates that this can fail when $A$ is not a twist of $B$.
We describe the graded isomorphisms of rings of endomorphisms of graded flags over graded division algebras. As a consequence describe the isomorphism classes of upper block triangular matrix algebras (over an algebraically closed field of characteristic zero) graded by a finite abelian group.
Let $\k$ be a field, and let $A$ and $B$ be connected $\N$-graded $\k$-algebras. The algebra $A$ is said to be a graded right-free extension of $B$ provided there is a surjective graded algebra morphism $π: A \to B$ such that $\kerπ$ is free as a right $A$-module. Suppose that $B$ is graded left coherent, and that $A$ is a graded right-free extension of $B$. We characterize when $A$ is also graded left coherent. We apply our criterion to prove graded coherence of certain non-Noetherian graded twisted tensor products.
We show that if $T$ is any of four semigroups of two elements that are not groups, there exists a finite dimensional associative $T$-graded algebra over a field of characteristic $0$ such that the codimensions of its graded polynomial identities have a non-integer exponent of growth. In particular, we provide an example of a finite dimensional graded-simple semigroup graded algebra over an algebraically closed field of characteristic $0$ with a non-integer graded PI-exponent, which is strictly less than the dimension of the algebra. However, if $T$ is a left or right zero band and the $T$-grad…
In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
In this paper we explore graded algebras of quotients of Lie algebras with special emphasis on the 3-graded case and answer some natural questions concerning its relation to maximal Jordan systems of quotients.
We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal $I$ of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalized hedgehog graph, which is defined based on certain sets of vertices uniquely determined by $I$. However, this isomorphism may not be graded. We show that replacing the short "spines" of the generalized hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) such that its Leavitt path…
In this paper, we introduce the notion of differential graded Poisson algebra and study its universal enveloping algebra. From any differential graded Poisson algebra $A$, we construct two isomorphic differential graded algebras: $A^e$ and $A^E$. It is proved that the category of differential graded Poisson modules over $A$ is isomorphic to the category of differential graded modules over $A^e$, and $A^e$ is the unique universal enveloping algebra of $A$ up to isomorphisms. As applications of the universal property of $A^e$, we prove that $(A^e)^{op}\cong (A^{op})^e$ and $(A\otimes_{\Bbbk}B)^e…
We study graded symmetric algebras, which are the symmetric monoids in the monoidal category of vector spaces graded by a group. We show that a finite dimensional graded semisimple algebra is graded symmetric. The center of a symmetric algebra is not necessarily symmetric, but we prove that the center of a finite dimensional graded division algebra is symmetric, provided that the order of the grading group is not divisible by the characteristic of the base field.
We compute point schemes of some regular algebras using (Wolfram) Mathematica. These algebras are Ore extensions of regular graded skew Clifford algebras of global dimension 3.
The motivation for this paper has been to study the relation between the zero component of the maximal graded algebra of quotients and the maximal graded algebra of quotients of the zero component, both in the Lie case and when considering Martindale algebras of quotients in the associative setting. We apply our results to prove that the finitary complex Lie algebras are (graded) strongly nondegenerate and compute their maximal algebras of quotients.
We classify a class of infinite-dimensional simple graded pre-Lie algebras on the graded vector space underlying the algebra of Laurent polynomials, with a specific form for the product.
In this paper, we introduce the class of finitely semi-graded algebras which extends the connected graded algebras finitely generated in degree one. The Koszul behavior of finitely semi-graded algebras is investigated by the distributivity of some associated lattice of ideals. The Hilbert series, the Poincaré series and the Yoneda algebra are defined for this class of algebras. Finitely semi-graded algebras include many important examples of non $\mathbb{N}$-graded algebras finitely generated in degree one coming from mathematical physics, and for these concrete examples the Koszulity will be …
We consider the infinite dimensional Grassmann algebra E over a field F of characteristic 0 or p, where p>2, and we compute its Z_2-graded Gelfand-Kirillov dimension as a Z_2-graded PI-algebra.
In this paper, we study the Ext-algebras of graded skew extensions. For a connected graded algebra $A$ and a graded automorphism $σ$, we analyze the Yoneda product of the Ext-algebra of graded skew extension $A[z;σ]$, and prove this Ext-algebra is an $R$-smash product of the Ext-algebra of $A$ and the one of polynomial algebra $k[z]$ as an associative algebra.
It is shown that the methods and algorithms, developed in (A. Capani et al., Computing minimal finite free resolutions, {\it Journal of Pure and Applied Algebra}, (117& 118)(1997), 105 -- 117; M. Kreuzer and L. Robbiano, {\it Computational Commutative Algebra 2}, Springer, 2005.) for computing minimal homogeneous generating sets of graded submodules and graded quotient modules of free modules over a commutative polynomial algebra, can be adapted for computing minimal homogeneous generating sets of graded submodules and graded quotient modules of free modules over a weighted $\mathbb{N}$-graded…
Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. It is shown that if $A$ is an $\mathbb{N}$-graded algebra of $({\cal B},d(~))$-type, then $A$ has a graded monomial ordering $\prec_{gr}$. It is also shown that $A$ is an $\mathbb{N}$-filtered algebra of $({\cal B},d(~))$-type if and only if $A$ has a graded momomial ordering, where ${\cal B}$ is the PBW basis of $A$.
We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $Γ$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$ we prove the existence of the graded PI-exponent, provided that $Γ$ is a commutative semigroup. If $A$ is simple in a non-graded sense the existence of the graded PI-exponent is proved without any restrictions on $Γ$.
Let $A$ and $B$ be finite-dimensional simple algebras with arbitrary signature over an algebraically closed field. Suppose $A$ and $B$ are graded by a semigroup $S$ so that the graded identitical relations of $A$ are the same as those of $B$. Then $A$ is isomorphic to $B$ as an $S$-graded algebra.
We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring grR is right noetherian, if and only if grR has right Krull dimension, if and only if grR satisfies a polynomial identity.
We obtain a complete structural characterization of Cohn-Leavitt algebras over no-exit objects as graded involutive algebras. Corollaries of this result include graph-theoretic conditions characterizing when a Leavitt path algebra is a directed union of (graded) matricial algebras over the underlying field and over the algebra of Laurent polynomials and when the monoid of isomorphism classes of finitely generated projective modules is atomic and cancellative. We introduce the non-unital generalizations of graded analogues of noetherian and artinian rings, graded locally noetherian and graded l…
Let A,B be finite dimensional G-graded algebras over an algebraically closed field K with char(K)=0, where G is an abelian group, and let Id_G(A) be the set of graded identities of A (res. Id_G(B)). We show that if A,B are G-simple then there is a graded embedding of A in B iff Id_G(B) is contained in Id_G(A). We also give a weaker generalization for the case where A is G-semisimple and B is arbitrary.
A graded-division algebra is an algebra graded by a group such that all nonzero homogeneous elements are invertible. This includes division algebras equipped with an arbitrary group grading (including the trivial grading). We show that a classification of finite-dimensional graded-central graded-division algebras over an arbitrary field $\mathbb{F}$ can be reduced to the following three classifications, for each finite Galois extension $\mathbb{L}$ of $\mathbb{F}$: (1) finite-dimensional central division algebras over $\mathbb{L}$, up to isomorphism; (2) twisted group algebras of finite groups…
Let G be any group and F an algebraically closed field of characteristic zero. We show that any G-graded finite dimensional associative G-simple algebra over F is determined up to a G-graded isomorphism by its G-graded polynomial identities. This result was proved by Koshlukov and Zaicev in case G is abelian.
In this paper, we give a complete characterization of Leavitt path algebras which are graded $Σ$-$V$ rings, that is, rings over which a direct sum of arbitrary copies of any graded simple module is graded injective. Specifically, we show that a Leavitt path algebra $L$ over an arbitrary graph $E$ is a graded $Σ$-$V$ ring if and only if it is a subdirect product of matrix rings of arbitrary size but with finitely many non-zero entries over $K$ or $K[x,x^{-1}]$ with appropriate matrix gradings. We also obtain a graphical characterization of such a graded $Σ$-$V$ ring $L$% . When the graph $E$ is…
In the paper we describe the subcategory of the category of Z-graded Lie algebras which is equivalent to the category of Jordan pairs via a functorial modification of the TKK construction. For instance, we prove that a Z-graded Lie algebra can be constructed from a Jordan pair if and only if it is generated by odd graded components and the second graded homology group is trivial. Similar descriptions are obtained for Jordan triple systems and Jordan algebras.
In this paper we describe graded automorphisms and antiautomorphisms of finite order on matrix algebras endowed with a group gradings by a finite abelian group over an arbitrary algebraically closed field of charcteristic different from 2.
We give a full classification, up to equivalence, of finite-dimensional graded division algebras over the field of real numbers. The grading group is any abelian group.
We classify, up to equivalence, all finite-dimensional simple graded division algebras over the field of real numbers. The grading group is any finite abelian group.
We investigate the graded Lie algebras of Cartan type $W$, $S$ and $H$ in characteristic 2 and determine their simple constituents and some exceptional isomorphisms between them. We also consider the graded Lie algebras of Cartan type $K$ in characteristic 2 and conjecture that their simple constituents are isomorphic to Lie algebras of type $H$.
We present the classification of a subclass of $n$-dimensional naturally graded Zinbiel algebras. This subclass has the nilindex $n-3$ and the characteristic sequence $(n-3,2,1).$ In fact, this result completes the classification of naturally graded Zinbiel algebras of nilindex $n-3.$
We consider associative algebras with involution graded by a finite abelian group G over a field of characteristic zero. Suppose that the involution is compatible with the grading. We represent conditions permitting PI-representability of such algebras. Particularly, it is proved that a finitely generated (Z/qZ)-graded associative PI-algebra with involution satisfies exactly the same graded identities with involution as some finite dimensional (Z/qZ)-graded algebra with involution for any prime q or q = 4. This is an analogue of the theorem of A.Kemer for ordinary identities, and an extension …
We prove that quadratic regular algebras of global dimension three on degree-one generators are related to graded skew Clifford algebras. In particular, we prove that almost all such algebras may be constructed as a twist of either a regular graded skew Clifford algebra or of an Ore extension of a regular graded skew Clifford algebra of global dimension two. In so doing, we classify all quadratic regular algebras of global dimension three that have point scheme either a nodal cubic curve or a cuspidal cubic curve in P^2.
Let W be an associative PI algebra over a field F of characteristic zero, graded by a finite group G. Let id_{G}(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/2ZxG-graded algebra A over K such that id_{G}(W)=id_{G}(A^{*}) where A^{*} is the Grassmann envelope of A. 2. {[G-graded Specht problem]} The T-ideal id_{G}(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…
For any differential graded (DG for short) Poisson algebra $A$ given by generators and relations, we give a "formula" for computing the universal enveloping algebra $A^e$ of $A$. Moreover, we prove that $A^e$ has a Poincaré-Birkhoff-Witt basis provided that $A$ is a graded commutative polynomial algebra. As an application of the PBW-basis, we show that a DG symplectic ideal of a DG Poisson algebra $A$ is the annihilator of a simple DG Poisson $A$-module, where $A$ is the DG Poisson homomorphic image of a DG Poisson algebra $R$ whose underlying algebra structure is a graded commutative polynomi…
In this paper we describe all gradings by abelian groups without elements of order p, where p > 2 is the characteristic of the base field, on the simple graded Cartan type Lie algebras.
We compute the graded automorphisms of the upper triangular matrices, viewed as associative, Lie and Jordan algebras. We compute also the so called self-equivalences and Weyl and diagonal groups for every grading.
We prove a graded version of Alev-Polo's rigidity theorem: the homogenization of the universal enveloping algebra of a semisimple Lie algebra and the Rees ring of the Weyl algebras $A_n(k)$ cannot be isomorphic to their fixed subring under any finite group action. We also show the same result for other classes of graded regular algebras including the Sklyanin algebras.
Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. Consider $G$-graded simple algebras $A$ which are finite dimensional and $e$-central over $F$, i.e. $Z(A)_{e} := Z(A)\cap A_{e} = F$. For any such algebra we construct a \textit{generic} $G$-graded algebra $\mathcal{U}$ which is \textit{Azumaya} in the following sense. $(1)$ \textit{$($Correspondence of ideals$)$}: There is one to one correspondence between the $G$-graded ideals of $\mathcal{U}$ and the ideals of the ring $R$, the $e$-center of $\mathcal{U}$. $(2)$ \textit{Artin-Procesi condition}: $…
We prove that if two path algebras with homogeneous relations are isomorphic as algebras, then they are isomorphic as graded path algebras. This extends a result by Bell and Zhang in the connected case.
