Algebraic geometry in varieties of algebras with the given algebra of constants (Q1592194)

The article is devoted to algebraic geometry in an arbitrary variety of algebras. For a variety \(\Theta\) of associative commutative rings with unit and a field \(P\in\Theta\), one can consider a new variety whose objects have the form \(h\): \(P\rightarrow H\) where \(H\in\Theta\) and \(h\) is a morphism in \(\Theta\). Here \(H\) is an extension of the field \(P\) defined by the injection \(h\). One can proceed in a similar way from an arbitrary variety of algebras \(\Theta\) and distinguish an algebra \(G\) to be an algebra of constants. This gives a new variety \(\Theta(G)\). The elements of \(G\) are additional nullary operations which may not be included in the signature of the variety \(\Theta\). The subject of the paper is the algebraic geometry in such a \(\Theta (G)\). The main results of the article are Theorems 7, 11 and 11. Theorem 7 states that a group (associative algebra, Lie algebra) \(G\) is stable in the variety \(\Theta(G)\) where \(\Theta\) is the variety of all groups (associative algebras, Lie algebras) if and only if \(G\) is anticommutative. Theorem 11 says that the variety \(\Theta(G)\) is (semi)perfect if the semigroup \( \text{End} W_0\) is. Theorem 14 states that if \(H\) and \(H'\) are algebras from the variety \(\Theta(G)\) and they are similar with respect to a semi-inner automorphism \(\varphi\): \(\Theta(G)^0\rightarrow\Theta(G)^0\) then there is an algebra \(H_1\in\Theta(G)\) such that \(H\) and \(H_1\) are semi-isomorphic and \(H_1\) and \(H'\) are equivalent.