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!