Source author record

Eli Aljadeff

Eli Aljadeff appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RA math.GR math.QA math.RT

Catalog footprint

What is connected

10works

4topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

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.

preprint2020arXiv

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 $1\rightarrow H\rightarrow G\rightarrow G/H\rightarrow 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.

preprint2016arXiv

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 $Θ(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 Kemer's 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.

preprint2013arXiv

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= Σ_{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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2010arXiv

Group graded PI-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)\leq |G|^2 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.

preprint2007arXiv

Polynomial identities and noncommutative versal torsors

To any cleft Hopf Galois object, i.e., any algebra H[t] obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle t, we attach two "universal algebras" A(H,t) and U(H,t). The algebra A(H,t) is obtained by twisting the multiplication of H with the most general two-cocycle u formally cohomologous to t. The cocycle u takes values in the field of rational functions on H. By construction, A(H,t) is a cleft H-Galois extension of a "big" commutative algebra B(H,t). Any "form" of H[t] can be obtained from A(H,t) by a specialization of B(H,t) and vice versa. If the algebra H[t] is simple, then A(H,t) is an Azumaya algebra with center B(H,t). The algebra U(H,t) is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of H[t] are satisfied. We construct an embedding of U(H,t) into A(H,t); this embedding maps the center Z(H,t) of U(H,t) into B(H,t) when the algebra H[t] is simple. In this case, under an additional assumption, A(H,t) is isomorphic to B(H,t) \otimes_{Z(H,t)} U(H,t), thus turning A(H,t) into a central localization of U(H,t). We work out these constructions in full detail for the four-dimensional Sweedler algebra.

preprint2006arXiv

Every projective Schur algebra is Brauer equivalent to a radical abelian algebra

We prove that any projective Schur algebra over a field $K$ is equivalent in $Br(K)$ to a radical abelian algebra. This was conjectured in 1995 by Sonn and the first author of this paper. As a consequence we obtain a characterization of the projective Schur group by means of Galois cohomology. The conjecture was known for algebras over fields of positive characteristic. In characteristic zero the conjecture was known for algebras over fields with an Henselian valuation over a local or global field of characteristic zero.

preprint2005arXiv

Norm formulas for finite groups and induction from elementary abelian subgroups

It is known that the norm map N_G for a finite group G acting on a ring R is surjective if and only if for every elementary abelian subgroup E of G the norm map N_E for E is surjective. Equivalently, there exists an element x_G in R with N_G(x_G) = 1 if and only for every elementary abelian subgroup E there exists an element x_E in R such that N_E(x_E) = 1. When the ring R is noncommutative, it is an open problem to find an explicit formula for x_G in terms of the elements x_E. In this paper we present a method to solve this problem for an arbitrary group G and an arbitrary group action on a ring.Using this method, we obtain a complete solution of the problem for the quaternion and the dihedral 2-groups,and for a group of order 27. We also show how to reduce the problem to the class of (almost) extraspecial p-groups.