First order theory of cyclically ordered groups

Abstract : By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group $H$ a pair $(G,z)$ where $G$ is a totally ordered group and $z$ is an element in the center of $G$, generating a cofinal subgroup $\langle z\rangle$ of $G$, and such that the quotient group $G/\langle z\rangle$ is isomorphic to $H$. We first establish that, in this correspondence, the first order theory of the cyclically ordered group $H$ is uniquely determined by the first order theory of the pair $(G,z)$. Then we prove that the class of cyclically ordered groups is an elementary class and give an axiom system for it. Finally we show that, in opposition to the fact that all theories of totally Abelian ordered groups have the same universal part, there are uncountably many universal theories of Abelian cyclically ordered groups. We give for each of these universal theories an invariant, which is a pair of subgroups of the group of unimodular complex numbers.
Type de document :
Pré-publication, Document de travail
2013
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00879429
Contributeur : Francois Lucas <>
Soumis le : dimanche 3 novembre 2013 - 17:38:21
Dernière modification le : jeudi 5 avril 2018 - 15:02:01
Document(s) archivé(s) le : mardi 4 février 2014 - 04:28:05

Fichiers

Gilu13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00879429, version 1
  • ARXIV : 1311.0499

Collections

Citation

Michèle Giraudet, Gérard Leloup, Francois Lucas. First order theory of cyclically ordered groups. 2013. 〈hal-00879429〉

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

108