Hostname: page-component-77c89778f8-swr86 Total loading time: 0 Render date: 2024-07-18T10:58:02.854Z Has data issue: false hasContentIssue false
  • English
  • Français

Equivalence elementaire et decidabilite pour des structures du type groupe agissant sur un groupe abelien

Published online by Cambridge University Press:  12 March 2014

Patrick Simonetta
Patrick Simonetta*
Affiliation:
Université de Paris7. Laboratoire de Logique, 2. Place Jussieu, 75005 Paris, France. E-mail: simbaud@logique.jussieu.fr
Get access Rights & Permissions [Opens in a new window]

Abstract

We prove an Ax-Kochen-Ershov like transfer principle for groups acting on groups. The simplest case is the following: let B be a soluble group acting on an abelian group G so that G is a torsion-free divisible module over the group ring ℤ[B], then the theory of B determines the one of the two-sorted structure 〈G,B,*〉, where * is the action of B on C. More generally, we show a similar principle for structures 〈G,B,*〉, where G is a torsion-free divisible module over the quotient of ℤ[B] by the annulator of G.

Two applications come immediately from this result:

First, for not necessarily commutative domains, where we consider the action of a subgroup of the invertible elements on the additive group. We obtain then the decidability of a weakened structure of ring, with partial multiplication.

The second application is to pure groups. The semi-direct product of G by B is bi-interpretable with our structure 〈G,B,*〉. Thus, we obtain stable decidable groups that are not linear over a field.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 63 , Issue 4 , December 1998 , pp. 1255 - 1285
Copyright
Copyright © Association for Symbolic Logic 1998

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Chapuis, O., Universal theory of certain solvable groups and bounded Ore group-rings, Journal of Algebra, vol. 176 (1988), pp. 368–391.CrossRefGoogle Scholar
[2] Chapuis, O., From “metabelian Q-vector spaces” to new omega-stable groups, Bulletin of Symbolic Logic, vol. 2 (1996), pp. 84–93.Google Scholar
[3] Cohn, P. M., Free rings and their relations, L. M. S. Monographs, Academic Press, London and New York, 1971.Google Scholar
[4] Delon, F., ℚ muni de l'arithmétique faible de Penzin est décidable, Proceedings of the American Mathematical Society, vol. 125 (1997), pp. 2711–2717.Google Scholar
[5] Delon, F. and Simonetta, P., Un principe D'Ax-Kochen-Ershov pour des structures intermédiaires entre groupes et corps valués, à paraître au this Journal.Google Scholar
[6] Delon, F. and Simonetta, P., Undecidable wreath products and skew power series fields, this Journal, vol. 63 (1998), pp. 237–246.Google Scholar
[7] Grünenwald, C. and Haug, F., On stable groups in some soluble group classes, Berlin, 1993, Seminarbericht 93-1 der Humboldt-Universität zu Berlin (Mathematik), pp. 46–59.Google Scholar
[8] Khropholler, P. H., Linnell, P. A., and Moody, J. A., Applications to new K-theoretic theorem to solvable group rings, Proceedings of the American Mathematical Society, vol. 104 (1988), pp. 675–684.Google Scholar
[9] Lewin, J., A note on zero divisors in group rings, Proceedings of the American Mathematical Society, vol. 31 (1972), pp. 357–359.CrossRefGoogle Scholar
[10] Neumann, B. H., On ordered division rings, Transactions of the American Mathematical Society, vol. 66 (1949), pp. 202–252.Google Scholar
[11] Neumann, B. H., Embedding theorems for ordered groups, Journal of the London Mathematical Society, vol. 35 (1960), pp. 503–512.Google Scholar
[12] Passman, D. S., The algebraic structure of group rings, Krieger, Malabar, Florida.Google Scholar
[13] Simonetta, P., Décidabilité et interprétabilité dans les corps et les groupes non commutatifs, Thèse de l'université de paris 7, 1994.Google Scholar
[14] Simonetta, P., Une correspondance entre anneaux partiels et groupes, this Journal, vol. 62 (1997), pp. 60–78.Google Scholar
[15] Wehrfritz, B. A. F., Infinite linear groups, Springer-Verlag, Berlin, Heidelberg and New York, 1973.Google Scholar