Аннотация:
Доказывается, что любая совместная система уравнений над свободной полурешёткой произвольного ранга эквивалентна своей конечной подсистеме. Кроме того, изучаются неприводимые алгебраические множества
и проблема совместности систем уравнений над свободными полурешётками.
Ключевые слова:алгебраическая геометрия, свободная полурешётка, система уравнений над свободной полурешёткой.