Hostname: page-component-7b7567c8c-kwt9d Total loading time: 0 Render date: 2026-11-14T19:48:11.608Z Has data issue: false hasContentIssue false

The Word Problem for Orthogroups

Published online by Cambridge University Press:  20 November 2018

J. A. Gerhard
Affiliation:
University of Manitoba, Winnipeg, Canada
Mario Petrich
Affiliation:
University of Manitoba, Winnipeg, Canada
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

A semigroup which is a union of groups is said to be completely regular. If in addition the idempotents form a subsemigroup, the semigroup is said to be orthodox and is called an orthogroup. A completely regular semigroup S is provided in a natural way with a unary operation of inverse by letting a -l for a ∈ S be the group inverse of a in the maximal subgroup of S to which a belongs. This unary operation satisfies the identities

(1)

(2)

(3)

In fact a completely regular semigroup can be defined as a unary semigroup (a semigroup with an added unary operation) satisfying these identities. An orthogroup can be characterized as a completely regular semigroup satisfying the additional identity

(4)

Information

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1981