Strong congruence spaces and dimension in ${\mathbb{F}}_1$-geometry

We introduce strong congruence spaces, which are topological spaces that provide a useful concept of dimension for monoid schemes. We study their properties and show that, given a toric monoid scheme over an algebraically closed basis, its strong congruence space and the complex toric variety associated to its fan have the same dimension.