Finitely presented algebras and groups defined by permutation relations

TL;DR

This paper studies finitely presented algebras with permutation-based relations, focusing on cyclic subgroups, providing normal forms, and analyzing their algebraic properties including their group of fractions.

Contribution

It introduces a new class of finitely presented algebras defined by permutation relations, especially for cyclic subgroups, and describes their normal forms and algebraic properties.

Findings

The algebra has a normal form for its elements.

The monoid has a group of fractions that is explicitly described.

The algebra is a semiprimitive domain.

Abstract

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (a)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$ runs through a subset $H$ of the symmetric group $\Sym_{n}$ of degree $n$, is introduced. The emphasis is on the case of a cyclic subgroup $H$ of $\Sym_{n}$ of order $n$. A normal form of elements of the algebra is obtained. It is shown that the underlying monoid, defined by the same (monoid) presentation, has a group of fractions and this group is described. Properties of the algebra are derived. In particular, it follows that the algebra is a semiprimitive domain. Problems concerning the groups and algebras defined by arbitrary subgroups $H$ of $\Sym_{n}$ are proposed.