– birlikke iye $R$ associativlik kolco bolıp, onda barlıq shep hám oń ideallar bas ideallar boladı, yaǵnıy sáykes túrde $Ra$ hám $aR$ túrge iye, bunda $a\in R.$ Mısalı: pútin sanlar kolcosı, $\mathbb{F}$ maydanındaǵı $F[x]$ kópaǵzalılar kolcosı bas ideallar kolcosı boladı.