Équivalence élémentaire de puissances cartésiennes d'un même groupe

Khelif, Anatole; Shelah, Saharon

doi:10.1016/j.crma.2010.10.034

Logique

Équivalence élémentaire de puissances cartésiennes d'un même groupe

Présenté par : Jean-Yves Girard

Khelif, Anatole ¹ ; Shelah, Saharon ²

¹ Équipe de logique mathématique, université Paris Diderot Paris 7, UFR de mathématiques, case 7012, site Chevaleret, 75205 Paris cedex 13, France
² Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem 91904, Israël

Comptes Rendus. Mathématique, Tome 348 (2010) no. 23-24, pp. 1241-1244.

Résumé
Abstract

Nous démontrons que si I et J sont des ensembles infinis et G un groupe commutatif de torsion les groupes $G^{I}$ et $G^{J}$ sont élémentairement équivalents pour la logique $L_{\infty ω}$ . La démonstration utilise de façon essentielle une propriété nouvelle et simple « à la Cantor–Bernstein ».

Un critère s'appliquant à des groupes noncommutatifs nous permet d'exhiber divers groupes (libres ou résolubles ou nilpotents ou …) G tels que pour I infini dénombrable et J non dénombrable les groupes $G^{I}$ et $G^{J}$ ne sont même pas élémentairement équivalents pour la logique $L_{ω_{1} ω}$ . Nous construisons à la main un groupe commutatif dénombrable ayant la même propriété.

We prove that if I and J are infinite sets and G a commutative torsion group, the groups $G^{I}$ and $G^{J}$ are elementarily equivalent for the logic $L_{\infty ω}$ . The proof is based on a new and simple property with a Cantor–Bernstein flavour.

A criterion applying to non-commutative groups allows us to exhibit various groups (free or soluble or nilpotent or …) G such that for I infinite countable and J uncountable the groups $G^{I}$ and $G^{J}$ are not even elementarily equivalent for the $L_{ω_{1} ω}$ logic. Another argument leads to a countable commutative group having the same property.

Reçu le : 2010-10-26
Publié le : 2010-11-10

DOI : 10.1016/j.crma.2010.10.034

Affiliations des auteurs :

Khelif, Anatole ¹ ; Shelah, Saharon ²

@article{CRMATH_2010__348_23-24_1241_0,
     author = {Khelif, Anatole and Shelah, Saharon},
     title = {\'Equivalence \'el\'ementaire de puissances cart\'esiennes d'un m\^eme groupe},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {1241--1244},
     publisher = {Elsevier},
     volume = {348},
     number = {23-24},
     year = {2010},
     doi = {10.1016/j.crma.2010.10.034},
     language = {fr},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2010.10.034/}
}

TY  - JOUR
AU  - Khelif, Anatole
AU  - Shelah, Saharon
TI  - Équivalence élémentaire de puissances cartésiennes d'un même groupe
JO  - Comptes Rendus. Mathématique
PY  - 2010
SP  - 1241
EP  - 1244
VL  - 348
IS  - 23-24
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2010.10.034/
DO  - 10.1016/j.crma.2010.10.034
LA  - fr
ID  - CRMATH_2010__348_23-24_1241_0
ER  -

%0 Journal Article
%A Khelif, Anatole
%A Shelah, Saharon
%T Équivalence élémentaire de puissances cartésiennes d'un même groupe
%J Comptes Rendus. Mathématique
%D 2010
%P 1241-1244
%V 348
%N 23-24
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2010.10.034/
%R 10.1016/j.crma.2010.10.034
%G fr
%F CRMATH_2010__348_23-24_1241_0

Khelif, Anatole; Shelah, Saharon. Équivalence élémentaire de puissances cartésiennes d'un même groupe. Comptes Rendus. Mathématique, Tome 348 (2010) no. 23-24, pp. 1241-1244. doi : 10.1016/j.crma.2010.10.034. http://www.numdam.org/articles/10.1016/j.crma.2010.10.034/

Bibliographie
Cité par

[1] Apps, A.B. On the structure of $ℵ_{0}$ -categorical groups, J. Algebra, Volume 81 (1983), pp. 320-339

[2] Barwise, J.; Eklof, P. Infinitary properties of abelian torsion groups, Ann. Math. Logic, Volume 2 (1970), pp. 25-68

[3] Jarden, M.; Lubotzky, A. Elementary equivalence of profinite groups, Bull. London Math. Soc., Volume 40 (2008), pp. 887-896

[4] Sabbagh, G.; Eklof, P. Definability problems for modules and rings, J. Symbolic Logic, Volume 36 (1971), pp. 623-649

[5] Warfield, R.B. Jr. Classification theorems for p-groups and modules over a discrete valuation ring, Bull. Amer. Math. Soc., Volume 78 (1972), pp. 88-92

Cité par Sources :