Izvestiya of Saratov University.

Mathematics. Mechanics. Informatics

ISSN 1816-9791 (Print)
ISSN 2541-9005 (Online)

For citation:

Petrikov A. O. A Minimal Non-extendable Partial Semigroup. Izvestiya of Saratov University. Mathematics. Mechanics. Informatics, 2017, vol. 17, iss. 1, pp. 31-39. DOI: 10.18500/1816-9791-2017-17-1-31-39, EDN: YNBYAR

This is an open access article distributed under the terms of Creative Commons Attribution 4.0 International License (CC-BY 4.0).
Published online: 
Full text:
(downloads: 142)

A Minimal Non-extendable Partial Semigroup

Petrikov Alexander Olegovich, National Research University Moscow Institute of Electronic Technology

This article discusses partial semigroups with a finite number of elements. Any partial semigroup can be extended to a full semigroup by adding elements to it, for example, a zero semigroup, in an external semigroup way. The author of the article is interested in the question of continuation of a partial semigroup without adding any elements to it in an internal semigroup way. The aim of this work is to find an internally non-extendable partial semigroup with a minimal number of elements. With increasing the number of elements in the set the number of partial groupoids on this set increases exponentially, and the number of partial semigroups among these partial groupoids is not known in advance. In order to find such partial semigroups it is necessary to use a computer or the Internet. In the Internet (GAP package) there are stored all the semigroups up to isomorphism and antiisomorphism on the set consisting of no more than 8 elements; that is why it will be enough to get partial semigroups out of semigroups with zero by deleting zero. The possibility of continuation of a partial semigroup in an internal semigroup way was checked out by a computer. As a result, it was revealed that all the partial semigroups on the set consisting of no more than 4 elements can be extended in an internal semigroup way to full ones. On the 5-element set, there is only one partial semigroup up to isomorphism and antiisomorphism, which can not be extended to a full semigroup.

  1. Lyapin E. S. The possibility of semigroup continuation of a partial groupoid. Soviet Math. (Iz. VUZ), 1989, vol. 33, iss. 12, pp. 82–85.
  2. Lyapin E. S. Inner semigroup continuation of some semigroup amalgams. Soviet Math. (Iz. VUZ), 1993, vol. 37, iss. 11, pp. 18–24.
  3. Goralcik P., Koubek V. On completing partial groupoids to semigroups. Intern. J. Algebra Comput, 2006, vol. 16, no. 3, pp. 551—562. DOI: https://doi.org/10.1142/S0218196706003086.
  4. Petrikov A. O. Partial Semigroups and Green’s Relations. Electronic Information Systems, 2014, no. 3(3), pp. 65–72 (in Russian).
  5. Rozen V. V. Chastichnye operatsii v uporiadochennykh mnozhestvakh [Partial operations in ordered sets]. Saratov, Saratov Univ. Press, 1973. 123 p. (in Russian).
  6. Kurosh A.G. Lekcii po obshhej algebre [Lectures on general algebra]. Moscow, Nauka, 1973. 400 p. (in Russian).
  7. Clifford A., Preston G. The algebraic theory of semigroups, Vol. 1. Providence, R.I., American Mathematical Society, 1964, vol. 1, 224 p. (Russ. ed.: Clifford A., Preston G. Algebraicheskaia teoriia polugrupp : v 2 t. T. 1. Moscow, Mir, 1972. 286 p.)
  8. Lyapin E. S., Evseev A. E. Chastichnye algebraicheskie deistviia [Partial algebaic operations]. S. Petersburg, Obrazovanie, 1991. 163 p. (in Russian).
  9. Cayley A. On the Theory of Groups. American Journal of Mathematics, 1889, vol. 11, no. 2, pp. 139–157.
  10. The GAP Group. Available at: http://www.gap-system.org (accessed 14 August 2016)