加载中…
Gao and Wang proved a strong clopen marker theorem for finite generating sets of under the assumption that each generator has support of size either or . We show that this support assumption can be removed. The proof is a short conjugacy argument: after a unimodular change of coordinates, any finite set of nonzero lattice vectors can be put in full-support position, allowing one to apply the theorem of Gao and Wang and conjugate the resulting marker set back.

生成讲解博客的中文版本

生成AI智能校验的中文版本