-
Semisimple Algebras and PI-Invariants of Finite Dimensional Algebras
Authors:
Eli Aljadeff,
Yakov Karasik
Abstract:
Let $Γ$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_Γ$ of finite dimensional algebras $Σ$ with $Id(Σ) = Γ$. By Kemer's theory it is known that such $Σ$ exists. We show there exists a semisimple algebra $U$ which satisfies the following conditions. $(1)$ There exists an algebra…
▽ More
Let $Γ$ be a $T$-ideal of identities of an affine PI-algebra over an algebraically closed field $F$ of characteristic zero. Consider the family $\mathcal{M}_Γ$ of finite dimensional algebras $Σ$ with $Id(Σ) = Γ$. By Kemer's theory it is known that such $Σ$ exists. We show there exists a semisimple algebra $U$ which satisfies the following conditions. $(1)$ There exists an algebra $A \in \mathcal{M}_Γ$ with Wedderburn-Malcev decomposition $A \cong U \oplus J_{A}$, where $J_{A}$ is the Jacobson's radical of $A$ $(2)$ If $B \in \mathcal{M}_Γ$ and $B \cong B_{ss} \oplus J_{B}$ is its Wedderburn-Malcev decomposition then $U$ is a direct summand of $B_{ss}$. We refer to $U$ as the unique minimal semisimple algebra corresponding to $Γ$. We fully extend this result to the non-affine $G$-graded setting where $G$ is a finite group. In particular we show that if $A$ and $B$ are finite dimensional $G_{2}:= \mathbb{Z}_{2} \times G$-graded simple algebras then they are $G_{2}$-graded isomorphic if and only if $E(A)$ and $E(B)$ are $G$-graded PI-equivalent, where $E$ is the unital infinite dimensional Grassmann algebra and $E(A)$ is the Grassmann envelope of $A$.
△ Less
Submitted 19 December, 2021;
originally announced December 2021.
-
On generic $G$-graded Azumaya algebras
Authors:
Eli Aljadeff,
Yakov Karasik
Abstract:
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…
▽ More
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.
△ Less
Submitted 5 February, 2022; v1 submitted 3 August, 2020;
originally announced August 2020.
-
Division algebras graded by a finite group
Authors:
Eli Aljadeff,
Darrell Haile,
Yakov Karasik
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 September, 2020; v1 submitted 24 April, 2019;
originally announced April 2019.
-
Verbally prime T-ideals and graded division algebras
Authors:
Eli Aljadeff,
Yakov Karasik
Abstract:
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,…
▽ More
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 Kemer's 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)$).
△ Less
Submitted 8 May, 2018; v1 submitted 14 October, 2016;
originally announced October 2016.
-
The Polynomial Part of the Codimension Growth of Affine PI Algebras
Authors:
Eli Aljadeff,
Geoffrey Janssens,
Yakov Karasik
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 December, 2016; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Kemer's Theorem for Affine PI Algebras Over a Field of Characteristic Zero
Authors:
Eli Aljadeff,
Alexei Kanel-Belov,
Yakov Karasik
Abstract:
We present a proof of Kemer's representability theorem for affine PI algebras over a field of characteristic zero.
We present a proof of Kemer's representability theorem for affine PI algebras over a field of characteristic zero.
△ Less
Submitted 15 February, 2015;
originally announced February 2015.
-
On group gradings on PI-algebras
Authors:
Eli Aljadeff,
Ofir David
Abstract:
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} \neq 0$ for any $r \geq 1$ and any $r$ tuple $(g_1, g_2,..., g_r)$ in $G^r$.
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} \neq 0$ for any $r \geq 1$ and any $r$ tuple $(g_1, g_2,..., g_r)$ in $G^r$.
△ Less
Submitted 22 October, 2014; v1 submitted 2 March, 2014;
originally announced March 2014.
-
On regular G-grading
Authors:
Eli Aljadeff,
Ofir David
Abstract:
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, suc…
▽ More
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.
△ Less
Submitted 8 March, 2013; v1 submitted 3 December, 2012;
originally announced December 2012.
-
Multialternating graded polynomials and growth of polynomial identities
Authors:
Eli Aljadeff,
Antonio Giambruno
Abstract:
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-grade…
▽ More
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.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Simple G-graded algebras and their polynomial identities
Authors:
Eli Aljadeff,
Darrell Haile
Abstract:
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.
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.
△ Less
Submitted 15 November, 2011; v1 submitted 23 July, 2011;
originally announced July 2011.
-
Hilbert series of PI relatively free G-graded algebras are rational functions
Authors:
Eli Aljadeff,
Alexei Kanel-Belov
Abstract:
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_i's, 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}> w…
▽ More
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_i's, 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.
△ Less
Submitted 14 November, 2010;
originally announced November 2010.
-
Group graded PI-algebras and their codimension growth
Authors:
Eli Aljadeff
Abstract:
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…
▽ More
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.
△ Less
Submitted 6 February, 2010;
originally announced February 2010.
-
On the codimension growth of G-graded algebras
Authors:
Eli Aljadeff
Abstract:
Let W be an associative PI-affine 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. We prove: exp(W) \leq |G|^2 exp(W_e). This inequality had been conjectured by Bahturin and Zaicev.
Let W be an associative PI-affine 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. We prove: exp(W) \leq |G|^2 exp(W_e). This inequality had been conjectured by Bahturin and Zaicev.
△ Less
Submitted 21 November, 2009; v1 submitted 17 August, 2009;
originally announced August 2009.
-
Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore
Authors:
Eli Aljadeff,
Ehud Meir
Abstract:
A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is known for finite groups. In that case, it is a direct consequence of Chouinard's theorem which is based on a fundamental result of Serre on the vanishing of…
▽ More
A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is known for finite groups. In that case, it is a direct consequence of Chouinard's theorem which is based on a fundamental result of Serre on the vanishing of products of Bockstein operators. It was observed by Benson, using a construction of Baumslag, Dyer and Heller, that the analog of Serre's Theorem for infinite groups is not true in general. We prove that the conjecture is true for groups which satisfy the analog of Serre's theorem. Using a result of Benson and Goodearl, we prove that the conjecture holds for all groups inside Kropholler's hierarchy LHF, extending a result of Aljadeff, Cornick, Ginosar, and Kropholler. We show two closure properties for the class of pairs of groups (G,H) which satisfy the conjecture, the one is closure under morphisms, and the other is a closure operation which comes from Kropholler's construction. We use this in order to exhibit cases in which the analog of Serre's theorem does not hold, and yet the conjecture is true. We will show that in fact there are pairs of groups (G,H) in which H is a perfect normal subgroup of prime index in G, and the conjecture is true for (G,H). Moreover, we will show that it is enough to prove the conjecture for groups of this kind only.
△ Less
Submitted 10 May, 2009;
originally announced May 2009.
-
Graded polynomial identities and exponential growth
Authors:
Eli Aljadeff,
Antonio Giambruno,
Daniela La Mattina
Abstract:
Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of growth of the sequence of graded codimensions of A. We prove that the G-exponent of A exists and is an integer related in an explicit way to the dimension of a…
▽ More
Let A be a finite dimensional algebra over a field of characteristic zero graded by a finite abelian group G. Here we study a growth function related to the graded polynomial identities satisfied by A by computing the exponential rate of growth of the sequence of graded codimensions of A. We prove that the G-exponent of A exists and is an integer related in an explicit way to the dimension of a suitable semisimple subalgebra of A.
△ Less
Submitted 10 March, 2009;
originally announced March 2009.
-
Representability and Specht problem for G-graded algebras
Authors:
Eli Aljadeff,
Alexei Kanel-Belov
Abstract:
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…
▽ More
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 F and a finite dimensional algebra A over K such that id_{G}(W)=id_{G}(A).
△ Less
Submitted 9 July, 2009; v1 submitted 2 March, 2009;
originally announced March 2009.
-
Graded identities of matrix algebras and the universal graded algebra
Authors:
Eli Aljadeff,
Darrell Haile,
Michael Natapov
Abstract:
We consider fine G-gradings on M_n(C) (i.e. gradings of the matrix algebra over the complex numbers where each component is 1 dimensional). Groups which provide such a grading are known to be solvable. We consider the T-ideal of G-graded identities and show that it is generated by a special type of binomial identities which we call elementary. In particular we show that the ideal of graded ident…
▽ More
We consider fine G-gradings on M_n(C) (i.e. gradings of the matrix algebra over the complex numbers where each component is 1 dimensional). Groups which provide such a grading are known to be solvable. We consider the T-ideal of G-graded identities and show that it is generated by a special type of binomial identities which we call elementary. In particular we show that the ideal of graded identities is finitely generated as a T-ideal. Next, given such grading we construct a universal algebra U_{G,c} in two different ways: one by means of polynomial identities and the other one by means of a generic two-cocycle (this parallels the classical constructions in the non-graded case). We show that a suitable central localization of U_{G,c} is Azumaya over its center and moreover, its homomorphic images are precisely the G-graded forms of M_n(C). Finally, we consider the ring of central quotients Q(U_{G,c}) (this is an F-central simple algebra where F=Frac(Z) and Z is the center of of U_{G,c}). Using an earlier results of the authors (see E. Aljadeff, D. Haile and M. Natapov, Projective bases of division algebras and groups of central type, Israel J. Math.146 (2005) 317-335 and M. Natapov arXiv:0710.5468v1 [math.RA]) we show that this is a division algebra for a very explicit (and short) family of nilpotent groups. As a consequence, for groups G such that Q(U_{G,c}) is not a division algebra, one can find a non identity polynomial p(x_{i,g}) such that p(x_{i,g})^r is a graded identity for some integer r. We illustrate this phenomenon with a fine G-grading of M_6(C) where G is a semidirect product of S_3 and C_6.
△ Less
Submitted 29 October, 2007;
originally announced October 2007.
-
Polynomial identities and noncommutative versal torsors
Authors:
Eli Aljadeff,
Christian Kassel
Abstract:
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 co…
▽ More
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.
△ Less
Submitted 30 August, 2007;
originally announced August 2007.
-
On the Hopf-Schur group of a field
Authors:
Eli Aljadeff,
Juan Cuadra,
Shlomo Gelaki,
Ehud Meir
Abstract:
Let k be any field. We consider the Hopf-Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative Hopf algebras over k, respectively. As a consequence we prove that any tensor pro…
▽ More
Let k be any field. We consider the Hopf-Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a Hopf algebra over k, revealing so that the Hopf-Schur group can be much larger than the Schur group of k.
△ Less
Submitted 14 August, 2007;
originally announced August 2007.
-
Every projective Schur algebra is Brauer equivalent to a radical abelian algebra
Authors:
Eli Aljadeff,
Ángel del Río
Abstract:
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 th…
▽ More
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.
△ Less
Submitted 4 July, 2006;
originally announced July 2006.
-
On cohomology rings of infinite groups
Authors:
Eli Aljadeff
Abstract:
Let R be any ring (with 1), Γa group and RΓthe corresponding group ring. Let Ext_{RΓ}^{*}(M,M) be the cohomology ring associated to the RΓ-module M. Let H be a subgroup of finite index of Γ. The following is a special version of our main Theorem: Assume the profinite completion of Γis torsion free. Then an element ζin Ext_{RΓ}^{*}(M,M) is nilpotent (under Yoneda's product) if and only if its res…
▽ More
Let R be any ring (with 1), Γa group and RΓthe corresponding group ring. Let Ext_{RΓ}^{*}(M,M) be the cohomology ring associated to the RΓ-module M. Let H be a subgroup of finite index of Γ. The following is a special version of our main Theorem: Assume the profinite completion of Γis torsion free. Then an element ζin Ext_{RΓ}^{*}(M,M) is nilpotent (under Yoneda's product) if and only if its restriction to Ext_{RH}^{*}(M,M)$ is nilpotent. In particular this holds for the Thompson group.
There are torsion free groups for which the analogous statement is false.
△ Less
Submitted 17 December, 2008; v1 submitted 24 February, 2005;
originally announced February 2005.
-
Profinite groups, profinite completions and a conjecture of Moore
Authors:
Eli Aljadeff
Abstract:
Let R be any ring (with 1), Γa group and RΓthe corresponding group ring. Let H be a subgroup of Γof finite index. Let M be an RΓ-module, whose restriction to RH is projective.
Moore's conjecture: Assume for every nontrivial element x in Γ, at least one of the following two conditions holds:
M1) the subgroup generated by x intersects H non-trivially (in particular this holds if Γis torsion fr…
▽ More
Let R be any ring (with 1), Γa group and RΓthe corresponding group ring. Let H be a subgroup of Γof finite index. Let M be an RΓ-module, whose restriction to RH is projective.
Moore's conjecture: Assume for every nontrivial element x in Γ, at least one of the following two conditions holds:
M1) the subgroup generated by x intersects H non-trivially (in particular this holds if Γis torsion free).
M2) ord(x) is finite and invertible in R.
Then M is projective as an RΓ-module.
More generally, the conjecture has been formulated for crossed products R*Γand even for strongly graded rings R(Γ).
We prove the conjecture for new families of groups, in particular for groups whose profinite completion is torsion free.
The conjecture can be formulated for profinite modules M over complete groups rings [[RΓ]] where R is a profinite ring and Γa profinite group. We prove the conjecture for arbitrary profinite groups. This implies Serre's theorem on cohomological dimension of profinite groups.
△ Less
Submitted 11 May, 2004;
originally announced May 2004.
-
Norm formulas for finite groups and induction from elementary abelian subgroups
Authors:
Eli Aljadeff,
Christian Kassel
Abstract:
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…
▽ More
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.
△ Less
Submitted 21 April, 2005; v1 submitted 9 February, 2004;
originally announced February 2004.
-
On twisting of finite-dimensional Hopf algebras
Authors:
Eli Aljadeff,
Pavel Etingof,
Shlomo Gelaki,
Dmitri Nikshych
Abstract:
In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisi…
▽ More
In this paper we study the properties of Drinfeld's twisting for finite-dimensional Hopf algebras. We determine how the integral of the dual to a unimodular Hopf algebra $H$ changes under twisting of $H$. We show that the classes of cosemisimple unimodular, cosemisimple involutive, cosemisimple quasitriangular finite-dimensional Hopf algebras are stable under twisting. We also prove the cosemisimplicity of a coalgebra obtained by twisting of a cosemisimple unimodular Hopf algebra by two different twists on two sides (such twists are closely related to biGalois extensions), and describe the representation theory of its dual. Next, we define the notion of a non-degenerate twist for a Hopf algebra $H$, and set up a bijection between such twists for $H$ and $H^*$. This bijection is based on Miyashita-Ulbrich actions of Hopf algebras on simple algebras. It generalizes to the non-commutative case the procedure of inverting a non-degenerate skew-symmetric bilinear form on a vector space. Finally, we apply these results to classification of twists in group algebras and of cosemisimple triangular finite-dimensional Hopf algebras in positive characteristic, generalizing the previously known classification in characteristic zero.
△ Less
Submitted 7 February, 2002; v1 submitted 23 July, 2001;
originally announced July 2001.
-
Explicit elements of norm one for cyclic groups
Authors:
Eli Aljadeff,
Christian Kassel
Abstract:
Let G be a cyclic p-group of order p^n acting by automorphisms on a (non-necessarily commutative) ring R. Suppose there is an element x in R such that (1 + t + ... + t^{p-1})(x) = 1, where t is an element of order p in G. We show how to construct an element y in R such that (1 + s + ... + s^{p^n-1})(y) = 1, where s is a generator of G.
Let G be a cyclic p-group of order p^n acting by automorphisms on a (non-necessarily commutative) ring R. Suppose there is an element x in R such that (1 + t + ... + t^{p-1})(x) = 1, where t is an element of order p in G. We show how to construct an element y in R such that (1 + s + ... + s^{p^n-1})(y) = 1, where s is a generator of G.
△ Less
Submitted 6 December, 2000;
originally announced December 2000.
