Abstract:
Let an arbitrary variety of algebras and the category of all free finitely generated algebras in that variety be given. In universal algebraic geometry over an arbitrary variety of algebras, the group of automorphisms of the category of free finitely generated algebras plays an important role. This paper is first in a series where we will deal with the group mentioned. Here we describe properties of automorphisms of the category of all free finitely generated algebras and distinguish two important subgroups, namely, the subgroup of inner automorphisms and the subgroup of strongly stable automorphisms.
Keywords:variety of algebras, category of free finitely generated algebras, universal algebraic geometry over arbitrary variety of algebras, group of automorphisms.