[Paper Review] On logically-geometric types of algebras

Grigori Zhitomirski|arXiv (Cornell University)|Feb 24, 2012

Advanced Algebra and Logic8 references3 citations

TL;DR

This paper establishes a precise correspondence between model-theoretic types (MT-types) and logically-geometric types (LG-types) in universal algebras, proving they coincide if and only if the logical kernels of corresponding homomorphisms are equal. The key contribution is showing that finitely generated free Abelian groups, nilpotent groups, and semigroups are logically perfect—meaning tuples of the same type are automorphic—and that isotyped finitely generated free Abelian groups are isomorphic.

ABSTRACT

The connection between classical model theoretical types (MT-types) and logically-geometrical types (LG-types) introduced by B. Plotkin is considered. It is proved that MT-types of two $n$-tuples in two universal algebras coincide if and only if their LG-types coincide. An algebra $H$ is called logically perfect if for every two $n$-tuples in $H$ whose types coincide, one can be sent to another by means of an automorphism of this algebra. Some sufficient condition for logically perfectness of free finitely generated algebras is given which helps to prove that finitely generated free Abelian groups, finitely generated free nilpotent groups and finitely generated free semigroups are logically perfect. It is proved that if two Abelian groups have the same type and one of them is finitely generated and free then these groups are isomorphic.

Motivation & Objective

• To clarify the relationship between model-theoretic types (MT-types) and logically-geometric types (LG-types) in universal algebras.
• To introduce and study the concept of logically perfect algebras, where type-equivalent tuples are related by automorphisms.
• To prove that finitely generated free Abelian groups, nilpotent groups, and semigroups are logically perfect.
• To investigate the isomorphism problem for isotyped algebras, particularly in the context of Abelian groups.
• To resolve open problems in universal algebraic geometry concerning type equivalence and structural isomorphism.

Proposed method

• Define MT-types and LG-types via homomorphisms from free algebras to given algebras, identifying tuples with points in affine spaces.
• Introduce the logical kernel (LKer) of a homomorphism μ as the set of formulas in a multi-sorted logic that are satisfied by μ.
• Establish equivalence between MT-types and LG-types by proving that MT-types of two n-tuples coincide iff their logical kernels coincide.
• Define logically perfect algebras as those in which type-equivalent n-tuples are related by automorphisms.
• Use a sufficient condition for free finitely generated algebras to be logically perfect, applying it to Abelian groups, nilpotent groups, and semigroups.
• Apply type-theoretic reasoning to Abelian groups by constructing formulas expressing linear independence and dependence, and use their satisfaction to deduce isomorphism.

Experimental results

Research questions

• RQ1 Under what conditions do MT-types and LG-types of n-tuples in universal algebras coincide?
• RQ2 When is a universal algebra logically perfect—i.e., when do type-equivalent tuples arise from automorphisms?
• RQ3 Which free finitely generated algebras are logically perfect?
• RQ4 When are two isotyped Abelian groups isomorphic, especially if one is finitely generated and free?
• RQ5 Can type equivalence in universal algebras imply structural isomorphism beyond specific classes like Abelian groups?

Key findings

• MT-types of two n-tuples in universal algebras coincide if and only if their corresponding logical kernels (LKer) coincide.
• Finitely generated free Abelian groups, finitely generated free nilpotent groups, and finitely generated free semigroups are logically perfect.
• If two Abelian groups have the same LG-type and one is finitely generated and free, then they are isomorphic.
• Every finitely generated subgroup of an isotyped Abelian group G is free of rank ≤ n if G is isotyped to a free Abelian group of rank n.
• The existence of a tuple in G satisfying the same formulas as a basis of a free Abelian group H of rank n implies G is generated by that tuple and thus isomorphic to H.
• The proof relies on constructing formulas expressing linear dependence and unique representation via integer linear combinations, which are preserved under type equivalence.