nLab dyadic rational module

Idea

A dyadic rational module or dy-module is an module over the dyadic rational numbers.

Examples

The decimal rational numbers $\mathbb{Z}[1/10]$, the rational numbers $\mathbb{Q}$, and the real numbers $\mathbb{R}$ are dyadic rational modules.

Related concepts

• dyadic rational number

• dyadic rational algebra

• symmetric closed midpoint algebra

References

The definition and relation to symmetric closed midpoint algebras could be found in

• Peter Freyd, Algebraic real analysis, Theory and Applications of Categories, Vol. 20, 2008, No. 10, pp 215-306 (tac:20-10)