Elementary equivalence of Cartesian powers of the same group.

DOI10.1016/J.CRMA.2010.10.034MaRDI QIDQ616723zbMATH OpenOpenAlexFDO

Authors Anatole Khelif, S. Shelah

Publication date 12 January 2011

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.crma.2010.10.034

zbMATH Keywords

Cantor-Bernstein theoremCartesian powersdirect productselementary equivalencesUlm theorem

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Other infinitary logic (03C75) Applications of logic to group theory (20A15) General structure theorems for groups (20E34) Torsion groups, primary groups and generalized primary groups (20K10) Direct sums, direct products, etc. for abelian groups (20K25)

Review text

The authors consider groups \(G\) satisfying: (i) There exists a finite subset \(P\) of \(G\) such that the centralizer of all conjugates of \(P\) is exactly \(Z(G)\). (ii) For any two normal subgroups \(H\) and \(K\) containing \(Z(G)\), if \(H\cup K\) generates \(G\) then one of \(H\) or \(K\) is equal to \(G\). (iii) \(G/Z(G)\) is not \(\aleph_0\)-categorical. They prove that for any group \(G\) with these three properties the Cartesian products \(G^I\) and \(G^J\), with \(I\) countably infinite and \(J\) uncountable, are not elementarily equivalent in the \(L_{\omega_1\omega}\) logic. They mention many examples of nonabelian groups (free, solvable, free nilpotent, virtually Abelian, \dots) for which the preceding theorem applies. They also sketch a construction ``by hand of a torsion-free Abelian group with the above property. On the other hand, the authors state that for any Abelian torsion group \(G\) and for any infinite \(I\) and \(J\), the Cartesian powers \(G^I\) and \(G^J\) are elementarily equivalent in the \(L_{\infty\omega}\) logic. They introduce the key ingredient, which allows for the proof arguments similar to those in Ulm's Theorem. This new and simple property has a Cantor-Bernstein flavour, and they expect that it may have other applications in other generalizations of Ulm's Theorem.

Recommendations

• Elementary equivalence of the automorphism groups of Abelian \(p\)-groups.
• Elementary equivalence of Chevalley groups over fields.
• A criterion of elementary equivalence of automorphism groups of unreduced abelian \(p\)-groups.
• Elementary equivalence of automorphism groups of reduced Abelian \(p\)-groups.
• Elementary equivalence of infinite-dimensional classical groups

Cites work

• Classification theorems for 𝑝-groups and modules over a discrete valuation ring
• Definability problems for modules and rings
• Elementary equivalence of profinite groups
• Infinitary properties of abelian torsion groups
• On the structure of _0-categorical groups

Cited in

(3)

• Elementarily non-equivalent infinite partition lattices
• Produits lexicographiques de groupes ordonnés: Isomorphisme et équivalence élémentaire. (Lexicographic products of ordered groups: isomorphism and elementary equivalence)
• scientific article; zbMATH DE number 88867 (Why is no real title available?)

This page was built for publication: Elementary equivalence of Cartesian powers of the same group.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616723)