Detailně se studují komutativní polookruhy s dělením. Charakterizují se ty z nich, které jsou konečně generované.