An ideal is idempotent when . Then for every , so a nonzero idempotent ideal gives a nonzero intersection of all its powers. A semigroup algebra with arbitrarily divisible positive exponents supplies examples in a non-Noetherian integral domain. If is finitely generated, the determinant trick applied to produces such that .
New to topics? Read the docs here!