Vol. 27, No. 2, 1968

Download this article
Download this article. For screen
For printing
Recent Issues
Vol. 328: 1  2
Vol. 327: 1  2
Vol. 326: 1  2
Vol. 325: 1  2
Vol. 324: 1  2
Vol. 323: 1  2
Vol. 322: 1  2
Vol. 321: 1  2
Online Archive
The Journal
About the journal
Ethics and policies
Peer-review process
Submission guidelines
Submission form
Editorial board
ISSN: 1945-5844 (e-only)
ISSN: 0030-8730 (print)
Special Issues
Author index
To appear
Other MSP journals
On commutative, nonpotent archimedean semigroups

Richard G. Levin

Vol. 27 (1968), No. 2, 365–371

In this paper we will study commutative, archimedean, nonpotent (i.e., without an idempotent) semigroups, obtaining several results concerning finitely generated ones. The main theorem of this paper is the following: a finitely generated, commutative, archimedean, nonpotent semigroup is power joined. The main theorem is derived by considering the decomposition of the semigroup S into a union of disjoint semilattices; the congruence ρb, defined by by if and only if there exist positive integers n and m such that bnx = bmy, determines the union, whereas congruence classes are semilattices under the partial order b defined by x by if and only if y = bnx or y = x. The set of maximal elements relative to b generates S. The following is a crucial lemma in the proof of the main theorem: let S be a finitely generated, commutative, nonpotent, archimedean semigroup; then the set of maximal elements of S relative to b is a finite set.

Mathematical Subject Classification
Primary: 20.92
Received: 7 November 1967
Published: 1 November 1968
Richard G. Levin