On generic $G$-graded Azumaya 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}: $mathcal{U}$ satisfies the $G$-graded identities of $A$ and no nonzero $G$-graded homomorphic image of $mathcal{U}$ satisfies properly more identities. $(3)$ textit{Generic}: If $B$ is a $G$-graded algebra over a field then it is a specialization of $mathcal{U}$ along an ideal $mathfrak{a} in spec(Z(mathcal{U})_{e})$ if and only if it is a $G$-graded form of $A$ over its $e$-center. We apply this to characterize finite dimensional $G$-graded simple algebras over $F$ that admit a $G$-graded division algebra form over their $e$-center.

Division algebras graded by a finite group

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a normal abelian subgroup $H$, a positive integer $d$ and an element of $Hom(M(H), k^times)^G$, where $M(H)$ is the Schur multiplier of $H$. Our main theorem is the converse: Given an extension $1rightarrow Hrightarrow Grightarrow G/Hrightarrow 1$, where $H$ is abelian, a positive integer $d$, and an element of $Hom(M(H), k^times)^G$, there is a division algebra with center containing $k$ that realizes these data. We apply this result to classify the $G$-simple algebras over an algebraically closed field of characteristic zero that admit a division algebra form over a field containing an algebraically closed field.

Verbally prime T-ideals and graded division algebras

Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. We consider graded Verbally prime $T$-ideals in the free $G$-graded algebra. It turns out that equivalent definitions in the ordinary case (i.e. ungraded) extend to nonequivalent definitions in the graded case, namely verbally prime $G$-graded $T$-ideals and strongly verbally prime $T$-ideals. At first, following Kemers ideas, we classify $G$-graded verbally prime $T$-ideals. The main bulk of the paper is devoted to the stronger notion. We classify $G$-graded strongly verbally prime $T$-ideals which are $T$-ideal of affine $G$-graded algebras or equivalently $G$-graded $T$-ideals that contain a Capelli polynomial. It turns out that these are precisely the $T$-ideal of $G$-graded identities of finite dimensional $G$-graded, central over $F$ (i.e. $Z(A)_{e}=F$) which admit a $G$-graded division algebra twisted form over a field $k$ which contains $F$ or equivalently over a field $k$ which contains enough roots of unity (e.g. a primitive $n$-root of unity where $n = ord(G)$).

The Polynomial Part of the Codimension Growth of Affine PI Algebras

Let $F$ be a field of characteristic zero and $W$ be an associative affine $F$-algebra satisfying a polynomial identity (PI). The codimension sequence associated to $W$, $c_n(W)$, is known to be of the form $Theta (c n^t d^n)$, where $d$ is the well known (PI) exponent of $W$. In this paper we establish an algebraic interpretation of the polynomial part (the constant $t$) by means of Kemers theory. In particular, we show that in case $W$ is a basic algebra, then $t = frac{d-q}{2} + s$, where $q$ is the number of simple component in $W/J(W)$ and $s+1$ is the nilpotency degree of $J(W)$. Thus proving a conjecture of Giambruno.

Kemers Theorem for Affine PI Algebras Over a Field of Characteristic Zero

We present a proof of Kemers representability theorem for affine PI algebras over a field of characteristic zero.

On group gradings on PI-algebras

We show that there exists a constant K such that for any PI- algebra W and any nondegenerate G-grading on W where G is any group (possibly infinite), there exists an abelian subgroup U of G with $[G : U] leq exp(W)^K$. A G-grading $W = bigoplus_{g in G}W_g$ is said to be nondegenerate if $W_{g_1}W_{g_2}... W_{g_r} eq 0$ for any $r geq 1$ and any $r$ tuple $(g_1, g_2,..., g_r)$ in $G^r$.

On regular G-grading

Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= {Sigma}_{g in G} A_g that satisfies the following two conditions: (1) for every integer n>=1 and every n-tuple (g_1,g_2,...,g_n) in G^n, there are elements, a_i in A_{g_i}, i=1,...,n, such that a_1*a_2*...*a_n != 0. (2) for every g,h in G and for every a_g in A_g,b_h in A_h, we have a_{g}b_{h}=theta(g,h)b_{h}a_{g}. Then later, Bahturin and Regev conjectured that if the grading on A is regular and minimal, then the order of the group G is an invariant of the algebra. In this article we prove the conjecture by showing that ord(G) coincides with an invariant of A which appears in PI theory, namely exp(A) (the exponent of A). Moreover, we extend the whole theory to (finite) nonabelian groups and show that the above result holds also in that case.

Multialternating graded polynomials and growth of polynomial identities

Let G be a finite group and A a finite dimensional G-graded algebra over a field of characteristic zero. When A is simple as a G-graded algebra, by mean of Regev central polynomials we construct multialternating graded polynomials of arbitrarily large degree non vanishing on A. As a consequence we compute the exponential rate of growth of the sequence of graded codimensions of an arbitrary G-graded algebra satisfying an ordinary polynomial identity. In particular we show it is an integer. The result was proviously known in case G is abelian.

Simple G-graded algebras and their polynomial identities

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.

Hilbert series of PI relatively free G-graded algebras are rational functions

Let G be a finite group, (g_{1},...,g_{r}) an (unordered) r-tuple of G^{(r)} and x_{i,g_i}s variables that correspond to the g_is, i=1,...,r. Let F<x_{1,g_1},...,x_{r,g_r}> be the corresponding free G-graded algebra where F is a field of zero characteristic. Here the degree of a monomial is determined by the product of the indices in G. Let I be a G-graded T-ideal of F<x_{1,g_1},...,x_{r,g_r}> which is PI (e.g. any ideal of identities of a G-graded finite dimensional algebra is of this type). We prove that the Hilbert series of F<x_{1,g_1},...,x_{r,g_r}>/I is a rational function. More generally, we show that the Hilbert series which corresponds to any g-homogeneous component of F<x_{1,g_1},...,x_{r,g_r}>/I is a rational function.