Mathematics – General Mathematics
Scientific paper
2005-09-02
Mathematics
General Mathematics
Dedicated the 80th birthday of Prof. B.Plotkin. 10 pages. Continuation of: B. Plotkin, G. Zhitomirski, On automorphisms of cat
Scientific paper
One of the central questions of universal algebraic geometry is: when two algebras have the same algebraic geometry? There are various interpretations of the sentence "Two algebras have the same algebraic geometry". One of these is automorphic equivalence of algebras, which is discussed in this paper, and the other interpretation is geometric equivalence of algebras. In this paper we consider very wide and natural class of algebras: one sorted algebras from IBN variety. The variety is called an IBM variety if two free algebras W(X), W(Y) of this variety are isomorphic if and only if the powers of sets X and Y coincide. In the researching of the automorphic equivalence of algebras we must study the group of automorphisms of the category of the all finitely generated free algebras of our variety and the group of its automorphisms. By [PZ, Theorem 2], if we deal with an IBN variety of one-sorted algebras, then every strongly stable (see Definition 3.1) automorphism of our category defines the other algebraic structure on every algebra H of our variety, such that this algebra with the new algebraic structure automorphically equivalent to the algebra H (Theorem 4.1), i.e., has the same algebraic geometry. From this we conclude the necessary and sufficient conditions for two algebras to be automorphically equivalent. We formulate these conditions by using the notion of geometric equivalence of algebras. It means that we reduce automorphic equivalence of algebras to the simpler notion of geometric equivalence. This paper is a continuation of the research which was started in [PZ].
No associations
LandOfFree
Automorphic equivalence of one-sorted algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Automorphic equivalence of one-sorted algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Automorphic equivalence of one-sorted algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-193333