Para hacer lo anterior, estudiaremos tres categorías de dominios: dominios euclídeos (que tienen algo parecido al resultado de algoritmo de la división de Euclides), dominios de ideales principales (DIPs) y dominios de factorización única (DFUs).