Matrix semigroups over semirings

From MaRDI portal
Publication:5221279

DOI10.1142/S0218196720500010zbMATH Open1486.20073arXiv1907.12518WikidataQ114614810 ScholiaQ114614810MaRDI QIDQ5221279FDOQ5221279


Authors: Marianne Johnson, Munazza Naz, Victoria Gould Edit this on Wikidata


Publication date: 25 March 2020

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Abstract: The multiplicative semigroup Mn(F) of nimesn matrices over a field F is well understood, in particular, it is a regular semigroup. This paper considers semigroups of the form Mn(S), where S is a semiring, and the subsemigroups UTn(S) and Un(S) of Mn(S) consisting of upper triangular and unitriangular matrices. Our main interest is in the case where S is an idempotent semifield, where we also consider the subsemigroups UTn(S) and Un(S) consisting of those matrices of UTn(S) and Un(S) having all elements on and above the leading diagonal non-zero. Our guiding examples of such S are the 2-element Boolean semiring mathbbB and the tropical semiring mathbbT. In the first case, Mn(mathbbB) is isomorphic to the semigroup of binary relations on an n-element set, and in the second, Mn(mathbbT) is the semigroup of nimesn tropical matrices. Il'in has proved that for any semiring R and n>2, the semigroup Mn(R) is regular if and only if R is a regular ring. We therefore base our investigations for Mn(S) and its subsemigroups on the analogous but weaker concept of being Fountain (formerly, weakly abundant). These notions are determined by the existence and behaviour of idempotent left and right identities for elements, lying in particular equivalence classes. We show that certain subsemigroups of Mn(S), including several generalisations of well-studied monoids of binary relations (Hall relations, reflexive relations, unitriangular Boolean matrices), are Fountain. We give a detailed study of a family of Fountain semigroups arising in this way that has particularly interesting and unusual properties.


Full work available at URL: https://arxiv.org/abs/1907.12518




Recommendations




Cites Work


Cited In (20)





This page was built for publication: Matrix semigroups over semirings

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