TY - JOUR
T1 - Finitely presented monoids and algebras defined by permutation relations of abelian type, II
AU - Cedó, Ferran
AU - Jespers, Eric
AU - Klein, Georg
PY - 2015/1/1
Y1 - 2015/1/1
N2 - © 2014 Elsevier B.V. The class of finitely presented algebras A over a field K with a set of generators x1,..., xn defined by homogeneous relations of the form xi1xi2⋯xil=xσ(i1)xσ(i2)⋯xσ(il), where l≥2 is a given integer and σ runs through a subgroup H of Symn, is considered. It is shown that the underlying monoid Sn,l(H)=〈x1,x2,...,xn|xi1xi2⋯xil=xσ(i1)xσ(i2)⋯xσ(il),σ∈H,i1,...,il∈{1,...,n}〉 is cancellative if and only if H is semiregular and abelian. In this case Sn,l(H) is a submonoid of its universal group G. If, furthermore, H is transitive then the periodic elements T(G) of G form a finite abelian subgroup, G is periodic-by-cyclic and it is a central localization of Sn,l(H), and the Jacobson radical of the algebra A is determined by the Jacobson radical of the group algebra K[T(G)]. Finally, it is shown that if H is an arbitrary group that is transitive then K[Sn,l(H)] is a Noetherian PI-algebra of Gelfand-Kirillov dimension one if furthermore H is abelian then often K[G] is a principal ideal ring. In case H is not transitive then K[Sn,l(H)] is of exponential growth.
AB - © 2014 Elsevier B.V. The class of finitely presented algebras A over a field K with a set of generators x1,..., xn defined by homogeneous relations of the form xi1xi2⋯xil=xσ(i1)xσ(i2)⋯xσ(il), where l≥2 is a given integer and σ runs through a subgroup H of Symn, is considered. It is shown that the underlying monoid Sn,l(H)=〈x1,x2,...,xn|xi1xi2⋯xil=xσ(i1)xσ(i2)⋯xσ(il),σ∈H,i1,...,il∈{1,...,n}〉 is cancellative if and only if H is semiregular and abelian. In this case Sn,l(H) is a submonoid of its universal group G. If, furthermore, H is transitive then the periodic elements T(G) of G form a finite abelian subgroup, G is periodic-by-cyclic and it is a central localization of Sn,l(H), and the Jacobson radical of the algebra A is determined by the Jacobson radical of the group algebra K[T(G)]. Finally, it is shown that if H is an arbitrary group that is transitive then K[Sn,l(H)] is a Noetherian PI-algebra of Gelfand-Kirillov dimension one if furthermore H is abelian then often K[G] is a principal ideal ring. In case H is not transitive then K[Sn,l(H)] is of exponential growth.
U2 - 10.1016/j.jpaa.2014.05.037
DO - 10.1016/j.jpaa.2014.05.037
M3 - Article
SN - 0022-4049
VL - 219
SP - 1095
EP - 1102
JO - Journal of Pure and Applied Algebra
JF - Journal of Pure and Applied Algebra
ER -