- Précédent

- Feuilleter

- Série 6 : Tome 21 (2012)

- no. 2

- p. 235-257

- Suivant

- Résumé (VO)

- Abstract

Ce travail commence par rappeler les définitions et les résultats de base concernant les groupes cycliquement ordonnés, et mentionner différents domaines où ils apparaissent. Ensuite sont exposés quelques développements, notamment sur la théorie du premier ordre, les séries formelles à exposants dans un groupe cycliquement ordonné, les groupes valués dont la valuation est à valeurs dans un ensemble cycliquement ordonné, et un analogue pour les espaces ultramétriques.

Cyclically ordered groups were introduced by Rieger, but the usual reference is the book of Fuchs, which is redacted in english. Other authors worked on cyclically ordered groups, one can note that they appear in MV-algebras and in some groups of permutations of chains. The first part of this expository paper is dedicated to definitions and well known properties. The second part deals with the first order theory of cyclically ordered groups, which was studied by M. Giraudet and F. Lucas. The third section studies rings of formal power series with exponents in a cyclically ordered group, and in the last one we define cyclically valued groups and cyclically ultrametric spaces and we focus on their first order theory.

- Détail

- Export

- Comment citer

G. Leloup 1

- BibTeX

- RIS

- EndNote

- Bibliographie

- Cité par

[1] Droste (M.), Giraudet (M.) & Macpherson (D.).— Periodic ordered permutation groups and cyclic orderings, Journal of Combinatorial Theory, Series B 63, p. 310-321 (1995). | Zbl | MR

[2] Fuchs (L.).— Partially Ordered Algebraic Systems, International Series of Monographs in Pure and Applied Mathematics, vol 28, Pergamon Press (1963). | Zbl | MR

[3] Giraudet (M.), Kuhlmann (F.-V.) & Leloup (G.).— Formal power series with cyclically ordered exponents, Arch. Math. 84, p. 118-130 (2005). | MR

[4] Giraudet (M.) & Lucas (F.).— Quelques résultats sur la théorie des modèles de groupes abéliens cycliquement ordonnés, Séminaire de Structures Algébriques ordonnées, prépublications de l’université Paris VII 49 (1994).

[5] Giraudet (M.) & Lucas (F.).— First order theory of cyclically ordered groups, dans : F. Lucas, Théorie des modèles de groupes abéliens ordonnés, habilitation à diriger des recherches, université Paris VII, (1996).

[6] Giraudet (M.) & Lucas (F.).— c-homomorphisms and c-convex subgroups of cyclically ordered groups, preprint.

[7] Glusschankov (D.).— Cyclic ordered groups and MV-algebras, Czechoslovak Mathematikal Journal 43 n ∘ 2, p. 249-263 (1983). | Zbl | MR

[8] Jakubík (J.) & Pringerová (G.).— Representations of cyclically ordered groups. Časop. Pěstov. Matem. 113, p. 184-196 (1988). | Zbl | MR

[9] Jakubík (J.) & Pringerová (G.).— Direct limits of cyclically ordered groups. Czechoslovak Mathematikal Journal 44 n ∘ 2, p. 231-250 (1994). | Zbl | MR

[10] Kaplansky (I.).— Maximal fields with valuations, Duke Math Journal 9, p. 303-321 (1942). | Zbl | MR

[11] Kokorin (A.I.) & Kopytov (V.M.).— Fully ordered groups, J. Wiley & sons, New-York (1974). | MR

[12] Leloup (G.).— Cyclically valued rings and formal power series, Annales mathématiques Blaise Pascal 14, n ∘ 1, p. 117-140 (2007). | Numdam | MR

[13] Leloup (G.).— Existentially equivalent cyclically ultrametric spaces and cyclically valued groups, Logic Journal of the IGPL, 2010 ; doi :10.1093/jigpal/jz024. | MR

[14] Lucas (F.).— Théorie des modèles des groupes cycliquement ordonnés abéliens divisibles, dans : F. Lucas, Théorie des modèles de groupes abéliens ordonnés, habilitation à diriger des recherches, université Paris VII (1996).

[15] Lucas (F.).— Théorie des modèles des groupes cycliquement ordonnés abéliens divisibles, Séminaire de Structures Algébriques ordonnées, prépublications de l’université Paris VII 56 (1996).

[16] Novák (V.).— Cyclically ordered sets, Czech. Math. J. 32, p. 460-473 (1982). | Zbl | MR

[17] Novák (V.).— Cuts in cyclically ordered sets, Czech. Math. J. 34, p. 322-333 (1984). | Zbl | MR

[18] Novák (V.) & Novotný (M.).— On completions of cyclically ordered sets, Czech. Math. J. 37, p. 407-414 (1987). | Zbl

[19] Rieger (L.).— On ordered and cyclically ordered groups I, Věstník král. česk spol. nauk, p. 1-31 (en tchèque) (1946). | MR

[20] Rieger (L.).— On ordered and cyclically ordered groups II, Věstník král. česk spol. nauk, p. 1-33 (en tchèque) (1947). | MR

[21] Rieger (L.).— On ordered and cyclically ordered groups III, Věstník král. česk spol. nauk, p. 1-26 (en tchèque) (1948). | MR

[22] Sabbagh (G.).— Un théorème de plongement en algèbre, Bull. Soc. Math. 2, p. 49-52 (1968). | Zbl | MR

[23] Schmitt (P.-H.).— Undecidable theories of valuated Abelian groups, Mémoires de la S.M.F. 2 ème série, tome 16, p. 67-76 (1984). | Zbl | Numdam | MR

[24] Schmitt (P.-H.).— Decidable theories of valuated Abelian groups, Proceedings of the Logic Colloquium 1984, North Holland, p. 245-276 (1986). | Zbl | MR

[25] Świerczkowski (S.).— On cyclically ordered groups, Fund. Math. 47, p. 161-166 (1959). | Zbl | MR

[26] Zabrina (I.) & Pestov (G.).— Sverchkovskii’s theorem, Sibirskii’s Mathematischeskii Zurnal 25 n ∘ 4, p. 46-53 (1984). | Zbl | MR

[27] Zheleva (S. D.).— Cyclically ordred groups, Sibirskii Mathematiskii Zhurnal 17, 1046-1051 (1976). | Zbl | MR

Cité par Sources :