arXiv++ Combinatorics

This paper is the second part of a two-part paper investigating the structure and properties of dyadic polygons. A dyadic polygon is the intersection of the dyadic subplane $D^2$ of the real plane $R^2$ and a real convex polygon with vertices in the dyadic plane. Such polygons are described as subreducts (subalgebras of reducts) of the affine dyadic plane $D^2$, or equivalently as commutative, entropic and idempotent groupoids under the binary operation of arithmetic mean. The first part of the paper contained a new classification of dyadic triangles, considered as such groupoids, and a characterization of dyadic triangles with a pointed vertex. This second part investigates isomorphisms of dyadic triangles, and provides a full classification of their isomorphism types.

Dyadic rationals are rationals whose denominator is a power of $2$. We define dyadic $n$-dimensional convex sets as the intersections with $n$-dimensional dyadic space of an $n$-dimensional real convex set. Such a dyadic convex set is said to be a dyadic $n$-dimensional polytope if the real convex set is a polytope whose vertices lie in the dyadic space. Dyadic convex sets are described as subreducts (subalgebras of reducts) of certain faithful affine spaces over the ring of dyadic numbers, or equivalently as commutative, entropic and idempotent groupoids under the binary operation of arithmetic mean. The paper contains two main results. First, it is proved that, while all dyadic polytopes are finitely generated, only dyadic simplices are generated by their vertices. This answers a question formulated in an earlier paper. Then, a characterization of finitely generated subgroupoids of dyadic convex sets is provided, and it is shown how to use the characterization to determine the minimal number of generators of certain convex subsets of the dyadic plane.