The NIP conjecture for omega-categorical groups
Let be a group whose first-order theory is NIP, and suppose that is -categorical, meaning that its theory has at most one countable model up to isomorphism. A group is nilpotent-by-finite if it has a nilpotent normal subgroup of finite index.
NIP conjecture for omega-categorical groups. Every -categorical group with NIP is nilpotent-by-finite.
This would extend the known result that omega-categorical stable groups are nilpotent-by-finite. The conjecture concerns the broader NIP setting and is presented as an open problem.
References
Primary source
Krzysztof Krupinski, “On ω-categorical groups and rings with NIP”, arXiv:1007.0534 (2010).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.