Noetherian ring
を可換ネーター環とする。以下ではに従って定義を述べる。