Cohen structure theorem

Statement

Verbal statement

Any complete local equicharacteristic Noetherian ring is a quotient of a power series ring over its residue field.

Symbolic statement

Let $R$ be a complete local Noetherian ring with residue field $K$. If $R$ contains a field, then Failed to parse (unknown function "\ldost"): {\displaystyle R = K[[x_1, x_2, \ldost, x_n]]/I} for some $n$ and some $I$.