Automorfismos da categoria de grupos livres finitamente gerados de uma subvariedade da variedade de todos os grupos
Geometria algébrica universal, teoria de categorias, equivalência automórfica, grupos nilpotentes, grupos periódicos
Em geometria algébrica universal, a categoria [UTF-8?]Θ0 das álgebras livres finitamente geradas de alguma variedade fixa [UTF-8?]Θ de álgebras e o grupo quociente A/Y são muito importantes. Aqui A é o grupo de todos os automorfismos da categoria [UTF-8?]Θ0 e Y é o grupo de todos os automorfismos internos de [UTF-8?]Θ0. Na variedade de todos os grupos, todos os grupos abelianos (PLOTKIN; ZHITOMIRSKI, 2006), todos os grupos nilpotentes de classe n (n >1) (TSURKOV, 2007) o grupo A/Y é trivial. B. Plotkin propôs a seguinte pergunta: "Existe uma subvariedade da variedade de todos os grupos tal que o grupo A/Y nessa subvariedade não seja trivial?" A. Tsurkov supôs que existe alguma variedade de grupos periódicos, tal que o grupo A/Y nessa variedade não é trivial. Neste trabalho, nós damos um exemplo de uma subvariedade deste tipo.