クルル次元
A Noetherian domain is a G-domain iff its Krull dimension is at most one, and has only finitely many maximal ideals (or equivalently, prime ideals).