Introduzir a noção de módulo e aplicar o teorema de estrutura para módulos finitamente gerados sobre um domínio principal para descrever a estrutura dos grupos abelianos finitamente gerados e para