888aff0313616a24.tex
1: \begin{definition}\label{defn:STm}
2: For $m$ odd, define the \defn{alternating alter ego} of the Ockham algebra $\SB_m$ with dual space $\DT_m$ to be the structure
3: \[
4: \ST_m := \langle \CP(\DT_m^\flat,\TwT); u, \preccurlyeq, \T \rangle
5: \]
6: from Theorem~\ref{thm:duality}, so that $u \in \End\A$ is given by $u(\alpha) := \alpha \circ g$, and the order $\preccurlyeq$ is given by
7: \[
8: \alpha \preccurlyeq \beta \ \iff\ \alpha(0) \le \beta(0) \text{ and } \alpha \rest {D_m \comp \{0\}} = \beta \rest  {D_m \comp \{0\}}.
9: \]
10: For example, the alternating alter ego $\ST_1$ of $\SB_1$ agrees with the familiar alter ego from Figure~\ref{fig:stone}, and the alternating alter ego $\ST_3$ of $\SB_3$ is shown in Figure~\ref{fig:ST3}, where each element $\alpha$ of $S_3 = \CP(\DT_3^\flat,\TwT)$ is written as the string $\alpha(0)\alpha(1)\alpha(2)\alpha(3)$.
11: \end{definition}
12: