„Testbővítés” változatai közötti eltérés

Az [[absztrakt algebra|absztrakt algebrában]] a <math>K</math> [[test (algebra)|test]] ''bővítésének'' nevezzük az <math>L</math> testet, ha <math>K</math> részteste <math>L</math>-nek, azaz, <math>K \subset L</math> és az <math>L</math>-beli műveleteket <math>K</math>-ra megszorítva a <math>K</math>-beli műveleteket kapjuk.<ref>Az utóbbi feltétel nem magától értetődő. A kételemű test mindkét eleme (a 0 és az 1) eleme a racionális számok testének is, de a kételemű testben 1+1=0, míg a racionális számok körében 1+1=2. Ezért a kételemű test bár részhalmaza a racionális testnek, nem részteste annak, és a racionális számok teste nem bővítése a kételemű testnek.</ref>