Automorphisms of the category of finitely generated free groups of the some subvariety of the variety of all groups
Universal algebraic geometry, category theory, automorphic equivalence, nilpotent groups, periodic groups.
In universal algebraic geometry the category [UTF-8?]Θ0 of the finite generated free algebras of some fixed variety [UTF-8?]Θ of algebras and the quotient group A/Y are very important. Here A is a group of all automorphisms of the category [UTF-8?]Θ0 and Y is a group of all inner automorphisms of this category. In the varieties of all the groups, all the abelian groups (PLOTKIN; ZHITOMIRSKI, 2006), all the nilpotent groups of the class no more then n (n>1) (TSURKOV, 2007b) the group A/Y is trivial. B. Plotkin posed a question: "Is there a subvariety of the variety of all the groups, such that the group A/Y in this subvariety is not trivial?" A. Tsurkov hypothesized that exist some varieties of periodic groups, such that the groups A/Y in these varieties is not trivial. In this work we give an example of one subvariety of this kind.