On the groups with homogeneous theory (Q1277172)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the groups with homogeneous theory |
scientific article |
Statements
On the groups with homogeneous theory (English)
0 references
25 July 1999
0 references
If \(2\leq m < n\) then a structure \(M\) is \((m,n)\)-homogeneous if for any \(\bar{a},\bar{b} \in M^n\), \(\bar{a}\) and \(\bar{b}\) have the same type if and only if corresponding \(m\)-subtuples have the same type. A complete theory is \((m,n)\)-homogeneous if all its subtuples are. The author discusses the conjecture that if \((M,\cdot)\) is a group (possibly with extra structure), then its theory is not \((m,n)\)-homogeneous for any \(m,n\) with \(2\leq m<n\). Handa has shown that no infinite abelian \(p\)-group can be interpreted in a theory which (for some \(m\)) is \((m,n)\)-homogeneous for all \(n>m\), and the above conjecture would imply Handa's result without the `abelian \(p\)-group' assumption. The author proves the conjecture for \(\omega\)-categorical theories, stable theories, o-minimal theories, and also shows that if \((M,\cdot)\) has simple theory then its theory is not \((2,3)\)-homogeneous.
0 references
homogeneous structure
0 references
interpretable group
0 references
\(\omega\)-categorical theories
0 references
stable theories
0 references
o-minimal theories
0 references
homogeneous theories
0 references