Unit-ideal identity for powers

ID: unit-ideal-identity-for-powers

If , expand its power . By the pigeonhole principle, each monomial contains some . Collecting terms expresses as a linear combination of these powers. This lets one use a common denominator exponent in localization arguments.

New to topics? Read the docs here!