<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
What is the hausdorff property of the neron model?
<|assistant|>
The Neron model of an abelian variety over a Dedekind scheme satisfies the Hausdorff property. This means that for any two distinct points in the Neron model, there exist disjoint open sets containing each point. This is a very useful property in the study of the arithmetic geometry of abelian varieties.