droite|vignette|152x152px| En 1904, Ernst Zermelo a prouvé que tout ensemble pouvait être bien ordonné en utilisant ce qui allait devenir l'axiome du choix. En mathématiques, un groupe est un ensemble muni d'une opération binaire appelée multiplication, satisfaisant les axiomes de groupe. L'axiome du choix est un axiome de la théorie ZFC qui équivaut à ce que tout ensemble puisse être bien ordonné.

Dans ZF, c'est-à-dire ZFC sans l'axiome du choix, les énoncés suivants s'équivalent :

Pour tout ensemble non vide il existe une opération binaire telle que soit un groupe. L'axiome du choix est vrai.

L'axiome du choix donne une structure de groupe Un ensemble fini peut toujours être muni d'une structure de groupe cyclique, engendré par n'importe quel élément ; cela ne dépend pas de l'axiome du choix. La question se pose surtout pour les ensembles infinis.

L'axiome du choix implique que si est infini, l'ensemble de ses parties finies a le même cardinal que . Or , muni de la différence symétrique, est un groupe, donc par aussi. On peut également utiliser , le groupe libre sur , qui est en bijection avec sous l'axiome du choix.

On peut aussi voir ce résultat comme une conséquence du théorème de Löwenheim-Skolem, qui montre que la théorie des groupes possède des modèles de toute cardinalité.

Une structure de groupe implique l'axiome du choix Dans cette section, on suppose que tout ensemble non-vide peut être muni d'une structure de groupe .

Soit un ensemble. Soit l'ordinal de Hartogs de . C'est le plus petit cardinal tel qu'il n'y ait pas d'injection de dans ; il existe sans l'axiome du choix. Supposons par l'absurde que ne soit pas en bijection avec un ordinal (ce qui est la négation du théorème de Zermelo). Soit une opération qui fait de un groupe.

Montrons que pour tout il existe un tel que . En effet, par l'absurde, si ce n'est pas le cas il existe un tel que pour tout . Mais les sont tous distincts lorsque α parcourt . Aussi, un tel donne une injection de dans , ce qui est absurde par définition de .

Définissons maintenant une application de dans , muni de l'ordre lexicographique, en envoyant sur le plus petit couple tel que . Une telle application j est unique et injective. Enfin, définissons un bon ordre sur par si . Alors est bien ordonné, ce qui est une contradiction.

Remarque : dans cette preuve, on aurait pu remplacer la structure de groupe par celle de quasigroupe.

Un ensemble qui ne possède pas de structure de groupe Il existe des modèles de ZF dans lesquels l'axiome du choix est faux. Dans un tel modèle, il existe des ensembles qui ne peuvent pas être bien ordonnés ; soit un tel ensemble. Considérons maintenant l’ensemble . Alors ne possède pas de une structure de groupe, car sinon pourrait être bien ordonné.

Si un ensemble ne peut pas être muni d'une structure de groupe, alors il ne peut pas non plus être bien ordonnable ; cependant, ces propriétés ne sont pas équivalentes. En effet, il existe des ensembles qui ne peuvent pas être bien ordonnés, tout en ayant une structure de groupe. Par exemple, si est un ensemble quelconque, alors possède une structure de groupe, donnée par l'opération différence symétrique. Mais ne peut pas être bien ordonné, donc non plus.

Un exemple intéressant d’ensembles qui n'admettent pas de structure de groupe est celui des ensembles vérifiants :

est un ensemble infini, mais Dedekind-fini. Autrement dit, n'a pas de sous-ensemble dénombrablement infini. Si est partitionné en ensembles finis, alors tous les éléments de la partition, sauf un nombre fini, sont des singletons.

Pour voir que ces deux conditions impliquent que ne peut pas admettre une structure de groupe, remarquons que toute permutation de a ses orbites finies, et que presque toutes sont des singletons. Cela montre que presque tous les éléments sont fixés par la permutation. Si peut être muni d'une structure de groupe, on dispose de la permutations pour non neutre. Il existe au moins un tel que , et donc est l'élément neutre, absurde.

Notes et références

Bibliographie

. . . . .

Catégorie:Théorie des groupes Catégorie:Théorie des ensembles