Jabarkan Generasi hingga dari Gelanggang komutatif

Aljabar-R dengan S disebut generalisasi tak hingga (sebagai aljabar) jika banyak elemen hingga s1, ..., sn sedemikian rupa sehingga setiap elemen s diekspresikan sebagai polinomial si. Sama halnya, S isomorfik menjadi

R[T1, ..., Tn] / I.

Kondisi yang jauh lebih kuat adalah S adalah generalisasi sebagai modul-R berarti bahwa setiap s diekspresikan sebagai kombinasi linear-R dari beberapa himpunan hingga s1, ..., sn.