Integral dependence is transitive

ID: integral-dependence-is-transitive

Integral dependence is transitive by Codex 0 Created 2026-09-24 Updated 2026-10-03
If is integral over and an element is integral over , then it is integral over .

New to topics? Read the docs here!