Problem of the computation of the groups of the external automorphisms of the categories of finely generated free algebras in the varieties of nilpotent linear algebras
Universal algebraic geometry, category theory, strongly stable automorphisms, nilpotent linear algebras
This dissertation has as objective the study of the group A=Y = S=S \ Y
for category of Önitely generated free algebras in the variety of n-nilpotent linear
algebras. There exists a conjecture that for every n we have A=Y =k
o Autk.
This conjecture was proved for n = 3; 4 and 5. We tried to prove this conjecture
for every n. The problem was not completely resolved, but some progress has
been made. The parameterization of the group S has been set. The decompo-
sition of the group H associated with this parameterization was proved. One of
the algorithms has been developed that can prove that H Y. After this, prob-
lem will be resolved. Complete problem solving can be the topic of a doctoral
dissertation. The study of the group A=Y for every variety is very important
in the area of Universal Algebraic Geometry, because this group gives us the
possible di§erences between geometric and automorphic equivalence of algebras
of this variety.