Hostname: page-component-74656f9884-j7cmm Total loading time: 0 Render date: 2026-11-10T21:17:51.343Z Has data issue: false hasContentIssue false

Congruences on orthodox semigroups with associate subgroups

Published online by Cambridge University Press:  18 May 2009

T. S. Blyth
Affiliation:
Mathematical Institute, University of St Andrews, Scotland
Emília Giraldes
Affiliation:
Departamento de Matemática, F.C.T., Universidade Nova de Lisboa, Portugal
M. Paula O. Marques-Smith
Affiliation:
Departamento de Matemática, Universidade do Minho, Portugal
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.

If Sis a regular semigroup then an inverse transversal of S is an inverse subsemigroup T with the property that |T ∩ V(x)| = 1 for every x ∈ S where V(x) denotes the set of inverses of x ∈ S. In a previous publication [1] we considered the similar concept of a subsemigroup T of S such that |T ∩ A(x)| = 1 for every x ∩ S where A(x) = {y∈ S;xyx = x} denotes the set of associates (or pre-inverses) of x ∈ S, and showed that such a subsemigroup T is necessarily a maximal subgroup Ha for some idempotent α ∈ S. Throughout what follows, we shall assume that S is orthodox and α is a middle unit (in the sense that xαy = xy for all x, y ∈ S). Under these assumptions, we obtained in [1] a structure theorem which generalises that given in [3] for uniquely unit orthodox semigroups. Adopting the notation of [1], we let T ∩ A(x) = {x*} and write the subgroup T as Hα = {x*;x ∈ S}, which we call an associate subgroup of S. For every x ∈ S we therefore have x*α = x* = αx* and x*x** = α = x**x*. As shown in [1, Theorems 4, 5] we also have (xy)* = y*x* for all x, y ∈ S, and e* = α for every idempotent e.

Information

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1996