Definition 3.1.2 (Rank). Let $q \in \mathbb{D}$, then\[\text{rk}(q) = \min\bracs{n \in \natp|x \in \mathbb{D}_n}\]is the dyadic rank of $q$.Powered by Spec