Ringuitbreiding

Uit Wikipedia, de vrije encyclopedie

In de ringtheorie, een deelgebied van de wiskunde, is een ringuitbreiding of uitbreidingsring van een ring , een ring waarvan een deelring is. Men noteert dit als , uitgesproken als: is een ringuitbreiding van .

Gegeven een uitbreiding van commutatieve ringen en een priemideaal van , volgt dat de doorsnede, zeg , van met een priemideaal van is. In dat geval zegt men dat over ligt. De situatie is gecompliceerder als niet-commutatief is.

Een lichaams-/velduitbreiding is een speciaal geval van een ringuitbreiding.