*-orderable semigroups.

DOI10.1007/S00233-009-9183-8MaRDI QIDQ2267772zbMATH OpenOpenAlexFDO

Authors Igor Klep, Primož Moravec

Publication date 2 March 2010

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-009-9183-8

zbMATH Keywords

\(*\)-orderable fields\(*\)-orderable semigroups\(*\)-orderingsnilpotent semigroupsquasivarietiessemigroup algebrassemigroups with involution

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Ordered fields (12J15) Ordinary and skew polynomial rings and semigroup rings (16S36) Rings with involution; Lie, Jordan and other nonassociative structures (16W10) General structure theory for semigroups (20M10) Semigroup rings, multiplicative semigroups of rings (20M25)

Review text

A semigroup algebra \(kS\) admits a total ordering if and only if the field \(k\) is formally real and \(S\) is a cancellative orderable semigroup. The case of \(*\)-orderability of \(kS\) is much harder. The notion of a \(*\)-ordering has been extended from division rings to general noncommutative rings in a series of papers by \textit{M. Marshall} [Commun. Algebra 28, No. 3, 1157-1173 (2000; Zbl 0955.16029), J. Pure Appl. Algebra 179, No. 3, 255-271 (2003; Zbl 1052.16021)] and by \textit{T. C. Craven} and \textit{T. L. Smith} [in J. Algebra 238, No. 1, 314-327 (2001; Zbl 0994.16029)]. Recently \(*\)-orderability of group algebras has been investigated by the first author [in J. Algebra 303, No. 1, 416-429 (2006; Zbl 1106.16019)]. The aim of this paper is to extend some of the results from groups to semigroups. In Sect. 2, the authors introduce \(*\)-orderable semigroups as those semigroups with involution \(S\) for which the semigroup algebra \(kS\) with the induced involution admits a \(*\)-ordering. The authors show that being a \(*\)-orderable semigroup is a local and residual property and deduce that the class of all \(*\)-orderable semigroups is a quasivariety. The third section contains some results on nilpotent semigroups, which are used in Sect. 4 to give examples of \(*\)-orderable semigroups. In Sect. 4 the authors also prove that every \(*\)-orderable semigroup has unique extraction of roots. The last section contains a discussion of the dependence on the base field, shows that the \(*\)-orderability of \(kS\) essentially depends at most on the type of involution on the \(*\)-orderable field \(k\), not on the field itself.

Recommendations

• On *-orderable groups.
• scientific article; zbMATH DE number 4044098
• A study of \(\star\)-bi-ideals and \(\star\)-quasi-ideals to characterize ordered \(\star\)-semigroups
• Ordered \(*\)-rings
• scientific article; zbMATH DE number 6351173

Cites work

• *-orderings and *-valuations on algebras of finite Gelfand-Kirillov dimension.
• ^*-Orderings on a ring with involution
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• Completely simple semigroups with nilpotent structure groups.
• Construction of the reals via ultrapowers
• Embedding \(*\)-ordered domains into skew fields.
• Free skew fields have many *-orderings.
• On *-orderable groups.
• On Valuations, Places and Graded Rings Associated to ∗-Orderings
• Ordered \(*\)-rings
• Orderings and *-orderings on cocommutative Hopf algebras
• Subsemigroups of nilpotent groups
• Valued Fields

Cited in

(2)

• On *-orderable groups.
• Orderings and *-orderings on cocommutative Hopf algebras

This page was built for publication: \(*\)-orderable semigroups.

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