Embedding semigroups in groups: not as simple as it might seem

Archive for History of Exact Sciences 68 (5):641-692 (2014)
  Copy   BIBTEX

Abstract

We consider the investigation of the embedding of semigroups in groups, a problem which spans the early-twentieth-century development of abstract algebra. Although this is a simple problem to state, it has proved rather harder to solve, and its apparent simplicity caused some of its would-be solvers to go awry. We begin with the analogous problem for rings, as dealt with by Ernst Steinitz, B. L. van der Waerden and Øystein Ore. After disposing of A. K. Sushkevich’s erroneous contribution in this area, we present A. I. Maltsev’s example of a cancellative semigroup which may not be embedded in a group, which showed for the first time that such an embedding is not possible in general. We then look at the various conditions that were derived for such an embedding to take place: the sufficient conditions of Paul Dubreil and others, and the necessary and sufficient conditions obtained by A. I. Maltsev, Vlastimil Pták and Joachim Lambek. We conclude with some comments on the place of this problem within the theory of semigroups, and also within abstract algebra more generally.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

The Early Development of the Algebraic Theory of Semigroups.Christopher Hollings - 2009 - Archive for History of Exact Sciences 63 (5):497-536.
Semigroups in Stable Structures.Yatir Halevi - 2018 - Notre Dame Journal of Formal Logic 59 (3):417-436.
An Embedding Theorem for Semigroups with cancellation.Trevor Evans - 1955 - Journal of Symbolic Logic 20 (1):74-75.
Can the Embedding Problem Be Generalized?Caj Strandberg - 2015 - Acta Analytica 30 (1):1-15.
Hyperlinear and sofic groups: a brief guide.Vladimir G. Pestov - 2008 - Bulletin of Symbolic Logic 14 (4):449-480.

Analytics

Added to PP
2020-02-03

Downloads
6 (#1,269,502)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?