ringteori
L[X,Y]\) over legemet \(L\) er faktoriel, men ikke et hovedidealområde. Hvis \(I\) er ideal i ringen \(R\), kan man danne restklasseringen \(R/I\). Hvis \(B\) er en passende delmængde af \(R\), da kan man danne brøkringen \(B^{-1}R\) bestående af alle brøker \(a/b\) med \(a