科研之友
微信
新浪微博
Facebook
分享链接
摘要
This research is motivated by universal algebraic geometry. We consider in universal algebraic geometry the some variety of universal algebras circle minus and algebras H. T from this variety. One of the central question of the theory is the following: When do two algebras have the same geometry? What does it mean that the two algebras have the same geometry? The notion of geometric equivalence of algebras gives a sort of answer to this question. Algebras H-1 and H-2 are called geometrically equivalent if and only if the H-1-closed sets coincide with the H-2-closed sets. The notion of automorphic equivalence is a generalization of the first notion. Algebras H-1 and H-2 are called automorphically equivalent if and only if the H1-closed sets coincide with the H-2-closed sets after some "changing of coordinates". We can detect the difference between geometric and automorphic equivalence of algebras of the variety circle minus by researching of the automorphisms of the category circle minus(0) of the finitely generated free algebras of the variety circle minus. By [ 5] the automorphic equivalence of algebras provided by inner automorphism coincide with the geometric equivalence. So the various differences between geometric and automorphic equivalence of algebras can be found in the variety circle minus if the factor group (sic) is big. Here A is the group of all automorphisms of the category circle minus(0), Yis a normal subgroup of all inner automorphisms of the category circle minus(0). In [ 6] the variety of all Lie algebras and the variety of all associative algebras over the infinite field k were studied. If the field k has not nontrivial automorphisms then group (sic) in the first case is trivial and in the second case has order 2. We consider in this paper the variety of all linear algebras over the infinite field k. We prove that group (sic) is isomorphic to the group (U(kS(2))/U(k{e})) lambda Autk, where S2 is the symmetric group of the set which has 2 elements, U(kS(2)) is the group of all invertible elements of the group algebra kS(2), e epsilon S-2, U(k{e}) is a group of all invertible elements of the subalgebra k{e}, Autk is the group of all automorphisms of the field k. So even the field k has not nontrivial automorphisms the group (sic) is infinite. This kind of result is obtained for the first time. The example of two linear algebras which are automorphically equivalent but not geometrically equivalent is presented in the last section of this paper. This kind of example is also obtained for the first time.
- 出版日期2014-11
