Canonical Ltd.
例："A" をデデキント整域とし formula_21 を素イデアルとする。するとカノニカルな写像 formula_63 は素点である。