# Noether normalization lemma

Let $F$ be a field and $K$ a finitely-generated commutative algebra over $F$. There there exists a non-negative integer $n$ and elements ${x}_{1},\mathrm{\dots},{x}_{n}\in A$, algebraically independent^{} over $F$, such that $K$ is integral over $F[{x}_{1},\mathrm{\dots},{x}_{n}]$.

Title | Noether normalization lemma |
---|---|

Canonical name | NoetherNormalizationLemma |

Date of creation | 2013-03-22 14:14:36 |

Last modified on | 2013-03-22 14:14:36 |

Owner | dooder0001 (4288) |

Last modified by | dooder0001 (4288) |

Numerical id | 7 |

Author | dooder0001 (4288) |

Entry type | Theorem |

Classification | msc 16-00 |

Synonym | Noetherian normalization lemma |