Semigroups satisfying certain
finiteness conditions are studied. It is shown that an infinite semigroup S every
proper subsemigroup of which is finite is a group; thus in particular if S is
commutative then it is isomorphic to the group Z(p∞) for some prime p. An infinite
commutative semigroup every proper homomorph of which is finite is shown to be
imbeddable in an infinite cyclic group with zero element adjoined and its structure is
described.