Algebras and groups defined by permutation relations of alternating type. (Q615823)

Suppose that \(H\) is a subset of the symmetric group \(\text{Sym}_n\) of degree \(n\). Let \(A\) be the finitely presented algebra over a field \(K\) which is generated by the elements \(a_1,a_2,\dots,a_n\) and \[ a_{\sigma(1)}a_{\sigma(2)}\cdots a_{\sigma(n)}=a_1a_2\cdots a_n \] for all \(\sigma\in H\). Denote by \(M=S_n(H)\) the monoid with the same presentation as the algebra \(A\) and let \(G=G_n(H)\) be the group defined by this presentation. Then \(A=K[S_n(H)]\) is the monoid algebra of \(S_n(H)\) over \(K\). This class of finitely presented algebras was introduced and studied by the authors [\textit{F. Cedó, E. Jespers, J. Okniński}, J. Pure Appl. Algebra 214, No. 7, 1095-1102 (2010; Zbl 1196.16022)]. In this paper they continue the investigations of the algebra \(K[S_n(H)]\) and the group \(G_n(H)\), when \(H\) is the alternating group \(\text{Alt}_n\) of degree \(n\). Later, for a ring \(R\), by \(J(R)\) we denote its Jacobson radical. Here we indicate only some main results of this paper. For example, if \(K\) is a field, \(n\geq 4\), \(z=a_1a_2\cdots a_n\) and \(H=\text{Alt}_n\), then (i) \(C=\{1,[a_1,a_2]\}\) is a normal central subgroup of \(G\) and \(G/C\) is a free Abelian group of rank \(n\), where \([a_1,a_2]\) is the commutor of the elements \(a_1\) and \(a_2\); (ii) \(K[G]\) is a Noetherian group algebra satisfying a polynomial identity. If \(\text{char\,}K\neq 2\), then \(J(K[G])=0\). If \(\text{char\,}K=2\), then \(J(K[G])=(1-[a_1,a_2])K[G]\) and \(J(K[G])^2=0\); (iii) The element \(z^2\) is central in \(M\) and \(z^2M\) is a cancellative ideal of \(M\) such that \(G\cong(z^2M)\langle z^2\rangle^{-1}\). Furthermore, \(J(K[M])\) is nilpotent; (iv) If \(n\) is odd, then \(z\) is central in \(M\) and \(J(K[M])\) is a nonzero finitely generated ideal; (v) If \(n\) is even and \(n\geq 6\), then \(J(K[M])=0\), when \(\text{char\,}K\neq 2\) and \(J(K[M])\) is a nonzero finitely generated ideal when \(\text{char\,}K=2\).