加载中…
Suppose that is a complex lattice that is closed under complex conjugation and that is a small real interval, and that is a disc in . Then the restriction is definable in the structure if and only if the lattice has complex multiplication. This characterises lattices with complex multiplication in terms of definability.

生成讲解博客的中文版本

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