Invariant basis number for a commutative ring
ID: invariant-basis-number-for-a-commutative-ring
If is a nonzero commutative ring and , reduction modulo a maximal ideal produces isomorphic vector spaces of dimensions and . Hence .
New to topics? Read the docs here!