An application of ramsey’s theorem to groups with homogeneous theory (Q4487366)

For any integers \(n>m\geq 2\) a complete theory \(T\) is called \((m,n)\)-homogenenous if, for each model \(M\) of \(T\), two \(n\)-tuples \(\bar a,\bar b\) in \(M\) have the same type if the corresponding \(m\)-tuples from \(\bar a\) and \(\bar b\) have the same type. It was conjectured by H. Kikyo that the theory of an infinite group can never be \((m,n)\)-homogeneous. Using a variant of Ramsey's theorem, the author proves a general result on structures with \((m,n)\)-homogeneous theory, which implies that if \(M\) is a counterexample to Kikyo's conjecture, then there exist integers \(k\) and \(l\) such that \(M^k=1\) and \(|U|\leq l\) for every finite subgroup of \(U\) of \(M\).