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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebras and groups defined by permutation relations of alternating type.
scientific article

    Statements

    Algebras and groups defined by permutation relations of alternating type. (English)
    0 references
    0 references
    0 references
    0 references
    7 January 2011
    0 references
    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\).
    0 references
    finitely presented algebras
    0 references
    Noetherian group algebras
    0 references
    polynomial identities
    0 references
    semigroup rings
    0 references
    finitely presented semigroups
    0 references
    Jacobson radical
    0 references
    permutation identities
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references