کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661577 | 1633435 | 2016 | 31 صفحه PDF | دانلود رایگان |
In this paper we classify modulo definable group isomorphisms all torsion free groups of dimension up to four definable in an o-minimal expansion of a real closed field satisfying some conjectural assumptions. This classification implies that the number of uniformly definable families of torsion free definable groups of dimension up to four is finite and depends only on whether or not an exponential function is definable in the structure.We also adapted the Lyndon–Hochschild–Serre spectral sequence approach to the category of groups and modules definable in a fixed o-minimal structure to compute the second cohomology groups (in the o-minimal group cohomology) in the particular cases that were needed. This provides a blueprint of how to move beyond dimension four once the solvable real Lie groups are classified in higher dimensions.
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 12, December 2016, Pages 1267–1297