О группах, допускающих единственный максимальный $\omega$-порядок

Группа называется $\omega$-упорядоченной, если всякий элемент этой группы, не являющийся обобщенно-периодическим, в некоторой степени сравним с единицей. На языке инвариантных полугрупп приведен критерий существования единственного максимального $\omega$-порядка в данной группе.