In this question we are concerned only with linear (aka total) order types. By a cardinality of an order type we understand a cardinality of an instance of this type, which obviously does not depend on selection of such particular instance. Some of the order types that occur most often and have particularly nice properties are ordinal numbers (which are order types of well-orders) and their well-known and prominent subset, finite ordinals (aka natural numbers $\mathbb{N}$).
Recall that:
- $0, 1, 2, \dots$ — unique linear order type for each finite cardinality.
- $\omega$ — the order type of $\mathbb{N}$ ordered by magnitude, the smallest infinite (denumerable) ordinal.
- $\omega_1$ — the order type of the set of all countable ordinals, ordered by "is initial segment of" relation (or, equivalently, by $\in$ relation). It is the smallest uncountable ordinal, the initial ordinal of the 2nd infinite cardinal $\aleph_1$.
- $\eta$ — the dense countable order type of rational numbers $\mathbb{Q}$ ordered my their magnitude, which is also an order type of any dense denumerable linear order without first and last elements (e.g. the set of positive algebraic numbers).
The sum and product of order types are natural generalizations of (and are consistent with) the sum and product of ordinals, which we consider well-known. These operations are associative, but in general, not commutative. For example: $\eta+1 \ne 1+\eta\ne\eta$, but $\eta+1+\eta=\eta+\eta=\eta=\eta\cdot\eta=\eta\cdot\omega=(\eta+1)\cdot\omega\ne\omega\cdot\eta$ (the last order being not dense). Of course $\eta\cdot\omega_1\ne\eta$ because of different cardinality, although every proper initial segment of $\eta\cdot\omega_1$ is $\eta$ or $\eta+1$. Note that $\eta\cdot\omega_1=(\eta + 1)\cdot\omega_1\ne(1+\eta)\cdot\omega_1$, and even $(1+\eta)\cdot\omega_1\ne1+\eta\cdot\omega_1$, although $(1+\eta)\cdot\omega=1+\eta$. We agree that a positive integer power of an order type is just a syntactic shortcut for repeated multiplication.
There are some order types satisfying $\tau^2=\tau$, for example: $0, 1, \eta, \omega\cdot\eta$ and $\omega^2\cdot\eta$.
Question: Is there a linear order type $\tau$ such that $\tau^2\ne\tau$, but $\tau^n=\tau$ for some integer $n>2$?