Hilberts bassats
Hilberts bassats [hiʹlbɐts], matematisk sats bevisad av David Hilbert 1890.
Den säger att varje ideal (jämför ring) i polynomringen över ringen R har ett ändligt generatorsystem (bas), förutsatt att varje ideal i koefficientringen R har ett ändligt generatorsystem. Speciellt har idealen i polynomringen över heltalen eller över en kropp ändliga generatorsystem.
Källangivelse