RUS  ENG
Full version
JOURNALS // Sibirskie Èlektronnye Matematicheskie Izvestiya [Siberian Electronic Mathematical Reports] // Archive

Sib. Èlektron. Mat. Izv., 2023 Volume 20, Issue 2, Pages 724–734 (Mi semr1605)

Mathematical logic, algebra and number theory

\large Equationally Noetherian varieties of semigroups and B. Plotkin's problem

A. N. Shevlyakov

Sobolev Institute of Mathematics, Pevtsova st. 13, 644099, Omsk, Russia

Abstract: We consider systems of semigroup equations with constants. A semigroup $S$ is called equationally Noetherian if any system of equations is equivalent over $S$ to a finite subsystem. In the current paper we describe all semigroup varieties that consist of equationally Noetherian semigroups. Our result solves the problem of B.Plotkin for semigroup varieties.

Keywords: semigroups, varieties, universal algebraic geometry.

UDC: 512.572

MSC: 20M07

Received August 5, 2022, published September 22, 2023

Language: English

DOI: doi.org/10.33048/semi.2023.20.042



© Steklov Math. Inst. of RAS, 2025