On logically-geometric types of algebras

Details On logically-geometric types of algebras On logically-geometric types of algebras

2012-02-24

arxiv.org/abs/1202.5417v1

Mathematics

Logic

12 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

On logically-geometric types of 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 On logically-geometric types of algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On logically-geometric types of algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-78403