Homomorphisms of wn-right cancellative, wn-bisimple, and wnI-bisimple semigroups
| dc.contributor.author | Hogan, John Wesley | en |
| dc.contributor.department | Mathematics | en |
| dc.date.accessioned | 2019-07-03T20:52:14Z | en |
| dc.date.available | 2019-07-03T20:52:14Z | en |
| dc.date.issued | 1969 | en |
| dc.description.abstract | R. J. Warne has defined an w<sup>n</sup>-right cancellative semigroup to be a right cancellative semigroup with identity whose ideal structure is order isomorphic to (I<sup>o</sup>)<sup>n</sup>, where I<sup>o</sup> is the set of non-negative integers and n is a natural number, under the reverse lexicographic order. Warne has described, modulo groups, the structure of such semigroups ["Bisimple Inverse Semigroups Mod Groups," Duke Math. J., Vol. 14 (1967), pp. 787-811]. He has used this structure and the theory of right cancellative semigroups having identity on which Green's relation J: is a congruence to describe the homomorphisms of an ω<sup>n</sup>-right cancellative semigroup into an ω<sup>n</sup>-right cancellative semigroup when 1 ≤ n ≤ 2 and m ≤ n ["Lectures in Semigroups," West Virginia Univ., unpublished]. We have described, modulo groups, the homomorphisms of an ω<sup>n</sup>-right cancellative semigroup into an ω<sup>m</sup>-right cancellative semigroup for arbitrary natural numbers n and m. One of the main results is the following: Theorem: Let P = (G ,(I<sup>o</sup>)<sup>n</sup> , γ₁,...,γ<sub>n</sub>, w₁,…,w<sub>Ø(n)</sub>) and P<sup>*</sup> = (G ,(I<sup>o</sup>)<sup>n</sup> , α₁,...,α<sub>n</sub>, t₁,…,t<sub>Ø(n)</sub>) be ω<sup>n</sup>-right cancellative semigroups where Ø(x) = ½x(x-1). Let z₁, ... ,z<sub>n</sub> be elements of G<sup>*</sup> and let f be a homomorphism of G into G<sup>*</sup> such that (1) (Af)<sup>(U<sub>k</sub>g)</sup>C<sub>z<sub>k</sub></sub> = (Aγ<sub>k</sub>f) for A ∈ G where 1 ≤ k ≤ n and (2) ((z<sub>k+s</sub>)<sup>(U<sub>k</sub>g)</sup>(U<sub>k</sub>g)<sup>(U<sub>k+s</sub>g)</sup>C<sub>z<sub>k</sub></sub> = w<sub>Ø(n-k)+s</sub>f where 1 ≤ k ≤ n and 1 ≤ s ≤ n - k. The elements U<sub>k</sub> (1 ≤ k ≤ n) are generators of (I<sup>o</sup>)<sup>n</sup>, xC<sub>z<sub>k</sub></sub> = z<sub>k</sub>xz<sub>k</sub>⁻¹ for x ∈ G<sup>*</sup>, and x<sup>a</sup>,a<sup>b</sup> in G<sup>*</sup> (x ∈ G<sup>*</sup>; a,b ∈ (I<sup>o</sup>)<sup>n</sup> are specified. Define, for (A,a₁,...,a<sub>n</sub>) ∈ P, (A,a₁,...,a<sub>n</sub>)M = [(Af)(a₁,...,a<sub>n</sub>)h,(a₁,...,a<sub>n</sub>)g] where h is a specified function from (I<sup>o</sup>)<sup>n</sup> into G* and g is a determined endomorphism of (I<sup>o</sup>)<sup>n</sup>. Then, M is a homomorphism of P into P* and every homomorphism of P into P* is obtained in this fashion. M is an isomorphism if and only if f and g are isomorphisms. M is onto when g is the identity and f is onto. Results similar to this theorem have been obtained when P* is an ω<sup>m</sup>-right cancellative semigroup with m < n and m > n. Let I be the set of integers. Let S be a bisimple semigroup and let E<sub>S</sub> denote the set of idempotents of S. S is called ω<sup>n</sup>-bisimple if and only if E<sub>S</sub>, under its natural order, is order isomorphic to I x (I<sup>o</sup>)<sup>n</sup> under the reverse lexicographic order n ≥ 1. S is called I-bisimple if and only if E<sub>S</sub>, under its natural order, is order isomorphic to I under the reverse usual order. Warne has described, modulo groups, the structure of ω<sup>n</sup>-bisimple, ω<sup>n</sup>I-bisirnple and I-bisimple semigroups in ["Bisimple Inverse Semigroups Mod Groups," Duke Math. J., Vol. 14 (1967), pp. 787-811], ["ω<sup>n</sup>I-bisimple Semigroups," to appear], and ["I-bisimple Semigroups," Trans. Amer. Math. Soc., Vol. 130 (1968), pp. 367-386] respectively. We have described the homomorphisms of S into S* , by use of the homomorphism theory of ω<sup>n</sup>-right cancellative semigroups, for the cases (i) S ω<sup>n</sup>-bisimple and S* ω<sup>m</sup>-bisimple and (ii) S I-bisimple or ω<sup>n</sup>I-bisimple and S* I-bisimple or ω<sup>m</sup>I-bisimple where m and n are natural numbers. The homomorphisms of S onto S* are specified for cases (i) and (ii). Warne has determined the homomorphisms of S onto S* in certain of these cases as he studied the extensions and the congruences of ω<sup>n</sup>-bisimple, ω<sup>n</sup>I-bisimple, and I-bisimple semigroups. Papers on these subjects are to appear at some later date. | en |
| dc.description.degree | Ph. D. | en |
| dc.format.extent | iv, 174, [3] leaves | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.uri | http://hdl.handle.net/10919/91175 | en |
| dc.language.iso | en_US | en |
| dc.publisher | Virginia Polytechnic Institute | en |
| dc.relation.isformatof | OCLC# 20782485 | en |
| dc.rights | In Copyright | en |
| dc.rights.uri | http://rightsstatements.org/vocab/InC/1.0/ | en |
| dc.subject.lcc | LD5655.V856 1969.H62 | en |
| dc.subject.lcsh | Semigroups | en |
| dc.title | Homomorphisms of wn-right cancellative, wn-bisimple, and wnI-bisimple semigroups | en |
| dc.type | Dissertation | en |
| dc.type.dcmitype | Text | en |
| thesis.degree.discipline | Mathematics | en |
| thesis.degree.grantor | Virginia Polytechnic Institute | en |
| thesis.degree.level | doctoral | en |
| thesis.degree.name | Ph. D. | en |
Files
Original bundle
1 - 1 of 1