The determinant of semigroups of the pseudovariety \textsf{ECOM}

Varieties and pseudovarieties of semigroups (20M07) General structure theory for semigroups (20M10) Semigroup rings, multiplicative semigroups of rings (20M25)

Review text

According to the author ``the aim of the current paper is to understand under what conditions the determinant of a semigroup lying in the pseudovariety \textbf{ECOM} is non-zero and to study its factorization. Pseudovarieties of finite semigroups are considered. \textbf{ECOM} is the pseudovariety generated by finite inverse semigroups. Let \(S\) be a finite semigroup and \({\mathbb C}S\) denote the \(\mathbb C\)-algebra with basis \(S\). An \(S\times S\) matrix is defined over the polynomial ring \({\mathbb C}[X_S]\) where \(X_S= \{x_s \mid s\in S\}\) is a set of variables in bijection with \( S\). The determinant of this matrix is called the semigroup determinant of \(S\). On the semigroups of the pseudovariety \textbf{ECOM}, a partial order relation is introduced which is ``crucial for examining the determinant of these semigroups. The properties of such partially ordered semigroups are investigated. The calculation of the determinant of finite semigroups within the pseudovariety \textbf{ECOM} is given. At the end of the paper some examples are considered. The author says that his aim is to develop the ideas set forth by \textit{B. Steinberg} [J. Algebra 605, 1--36 (2022; Zbl 07532822)].

Cites work

This page was built for publication: The determinant of semigroups of the pseudovariety \textsf{ECOM}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6972661)