A functional treatment of right invariant right holoids
A right invariant right holoid is defined as a left cancellative semigroup (H,\(\cdot)\) such that the relation: \(a\leq b\) iff \(b=ac\) for some \(c\in H\), is a compatible total order on H. Factor systems occurring in homological algebra are used to prove a structure theorem for such semigroups H having only a finite number of convex subsemigroups. Roughly speaking it says that - under some weak additional assumptions - H can be embedded into a direct product of finitely many semigroups \(H_ i\) endowed with a particular multiplication which depends on certain factor systems for H. The \(H_ i\) are defined recursively by means of factor semigroups given by congruences of the type: \(a\rho\) b iff \(a=bs\) or \(b=as\) for some s in a certain maximal convex subsemigroup.
- Chain rings and valuation semigroups
- Ein Beitrag zur Theorie der linearen Holoide
- scientific article; zbMATH DE number 3935317 (Why is no real title available?)
- scientific article; zbMATH DE number 4081849 (Why is no real title available?)
- scientific article; zbMATH DE number 3637942 (Why is no real title available?)
- scientific article; zbMATH DE number 3056923 (Why is no real title available?)
- Naturally Totally Ordered Commutative Semigroups
- On the theory of inverse semigroups and generalized groups
This page was built for publication: A functional treatment of right invariant right holoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1823966)
