A finite module over a local ring with residue field of cardinality `q` has finite length `ℓ` and cardinality `q ^ ℓ`.

Initializing...

A finite module over a local ring with residue field of cardinality `q` has finite length `ℓ` and cardinality `q ^ ℓ`. · Prove2Me