Faatupuina se lomiga e sili atu ona lavelave o lenei fuaiupu O lenei manatu o le integral domain '' A '' o se algebra faatulagaina faatupulaia i se fanua' k ''.
O le mea moni, o se lomiga e sili atu ona lavelave o le fuaiupu o le "O lenei manatu le vaega atoa '' A '' o se algebra faatulagaina faatapulaaina faatupulaia i luga o se fanua '' k 'faatupulaia e elemene homogeneous tikeri d_i e faapea o' 'A '' o module faatupulaia faatapulaaina i luga o' 'B '".