Hostname: page-component-8448b6f56d-qsmjn Total loading time: 0 Render date: 2024-04-25T05:40:17.915Z Has data issue: false hasContentIssue false

Strongly and co-strongly minimal abelian structures

Published online by Cambridge University Press:  12 March 2014

Ehud Hrushovski
Affiliation:
Department of Mathematicc, Hebrew University at Jerusalem, 91904 Jerusalem, Israel. E-mail: ehud@math.huji.ac.il
James Loveys
Affiliation:
The Department of Mathematics and Statistics, Mcgill University, Burnside Hall, Room 916, 805 Sherbrooke W. Montreal, Qc, H3A 2K6, Canada. E-mail: loveys@math.mcgill.ca

Abstract

We give several characterizations of weakly minimal abelian structures. In two special cases, dual in a sense to be made explicit below, we give precise structure theorems:

1. when the only finite 0-definable subgroup is {0}, or equivalently 0 is the only algebraic element (the co-strongly minimal case);

2. when the theory of the structure is strongly minimal.

In the first case, we identify the abelian structure as a “near-subspace” A of a vector space V over a division ring D with its induced structure, with possibly some collection of distinguished subgroups of A of finite index in A and (up to acl(∅)) no further structure. In the second, the structure is that of V/A for a vector space and near-subspace as above, with the only further possible structure some collection of distinguished points. Here a near-subspace of V is a subgroup A such that for any nonzero dD. the index of AdA, in A is finite. We also show that any weakly minimal abelian structure is a reduct of a weakly minimal module.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2010

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

[BCM]Baur, W., Cherlin, G., and Macintyre, A., Totally categorical groups and rings, Journal of Algebra, vol. 57 (1979), pp. 407440.CrossRefGoogle Scholar
[Bu1]Buechler, S., The geometry of weakly minimal types, this Journal, vol. 50 (1985), pp. 10441053.Google Scholar
[Bu2]Buechler, S., Pseudo-projective strongly minimal sets are projective, this Journal, vol. 56 (1991), pp. 11841194.Google Scholar
[GR]Gute, J. and Reuter, K., The last word on quantifier elimination in modules, this Journal, vol. 55 (1990). pp. 670673.Google Scholar
[H]Hrushovski, E., Locally modular regular types, Classification theory: Chicago, 1985 (Baldwin, J., editor), Springer-Verlag, 1987, pp. 132164.CrossRefGoogle Scholar
[HP]Hrushovski, E. and Pillay, A., Weakly normal groups, Logic Colloquium '85 (The Paris Logic Group, editor), North Holland, 1986.Google Scholar
[L1 ]Loveys, J., Weakly minimal groups of unbounded exponent, this Journal, vol. 55(1990). pp. 928937.Google Scholar
[L2]Loveys, J., On locally modular, weakly minimal theories, Archives for Mathematical Logic, vol. 32 (1993), pp. 173194.CrossRefGoogle Scholar
[Po]Poizat, B., Groupes stables, avec types génériques réguliers, this Journal, vol. 48 ( 1983). pp. 339355.Google Scholar
[Pr]Prest, M., Model theory and modules, London Math Society Lecture Notes Series, vol. 130, Cambridge University Press, 1988.CrossRefGoogle Scholar
[Z]Zeigler, M., Model theory of modules, Annals of Pure and Applied Logic, vol. 26 (1984), pp. 149213.CrossRefGoogle Scholar