Capítulo 1: Fundamentos da Teoria de Grupos 4

Capítulo 2: Conceitos Básicos de Subgrupos 8

Capítulo 3: Propriedades e Caracterizações 12

Capítulo 4: Subgrupos Cíclicos e Geradores 16

Capítulo 5: Classes Laterais e Relações de Equivalência 22

Capítulo 6: O Teorema de Lagrange 28

Capítulo 7: Aplicações e Consequências 34

Capítulo 8: Extensões e Generalizações 40

Capítulo 9: Problemas e Exercícios Resolvidos 46

Capítulo 10: Conclusão e Perspectivas 52

Referências Bibliográficas 54

A teoria de grupos representa uma das mais elegantes e fundamentais estruturas da matemática moderna, proporcionando linguagem unificada para descrever simetrias, transformações e padrões que permeiam todas as áreas do conhecimento matemático. Este capítulo estabelece os alicerces conceituais necessários para compreender subgrupos e o célebre Teorema de Lagrange, conectando-os com conceitos familiares do ensino médio.

Um grupo consiste em um conjunto não-vazio G munido de uma operação binária, tradicionalmente denotada por ∘, que satisfaz quatro propriedades fundamentais: fechamento, associatividade, existência de elemento neutro e existência de inversos. Estas propriedades, aparentemente abstratas, emergem naturalmente em contextos concretos como rotações geométricas, operações aritméticas modulares e transformações de simetria.

A relevância educacional da teoria de grupos no contexto da Base Nacional Comum Curricular manifesta-se através do desenvolvimento de competências relacionadas ao pensamento algébrico, reconhecimento de padrões e compreensão de estruturas matemáticas. O estudo sistemático de grupos proporciona fundamentos sólidos para progressão natural em álgebra linear, teoria dos números e geometria analítica.

Formalmente, um grupo (G, ∘) consiste em um conjunto G acompanhado de uma operação binária ∘: G × G → G que satisfaz os axiomas grupais. O primeiro axioma, o fechamento, garante que o resultado de qualquer operação entre elementos do grupo permanece dentro do próprio grupo. Esta propriedade reflete a ideia intuitiva de que operações internas preservam a estrutura do sistema.

A associatividade, segundo axioma fundamental, estabelece que (a ∘ b) ∘ c = a ∘ (b ∘ c) para quaisquer elementos a, b, c ∈ G. Esta propriedade permite definir produtos de múltiplos elementos sem ambiguidade, independentemente da ordem de agrupamento das operações. Embora pareça técnica, a associatividade é familiar através da adição e multiplicação usuais de números reais.

O terceiro axioma postula a existência de um elemento neutro e ∈ G tal que a ∘ e = e ∘ a = a para todo a ∈ G. Este elemento, único quando existe, preserva todos os demais elementos sob a operação grupal. O quarto e último axioma garante que cada elemento a ∈ G possui um inverso a⁻¹ ∈ G satisfazendo a ∘ a⁻¹ = a⁻¹ ∘ a = e.

Os números inteiros módulo n, denotados ℤn, formam grupo finito sob adição modular que ilustra perfeitamente os conceitos abstratos através de aritmética concreta. O conjunto ℤ₅ = {0, 1, 2, 3, 4} com operação a ⊕ b = (a + b) mod 5 demonstra como estruturas grupais emergem naturalmente em contextos aritméticos familiares aos estudantes.

As rotações do plano constituem exemplo geometricamente intuitivo de grupo infinito. O conjunto de todas as rotações em torno da origem, parametrizadas por ângulos θ ∈ [0, 2π), forma grupo sob composição de rotações. A rotação por ângulo α seguida de rotação por ângulo β resulta em rotação por ângulo α + β (módulo 2π), ilustrando como operações geométricas satisfazem estrutura algébrica abstrata.

O grupo simétrico S₃, consistindo nas seis permutações de três objetos, conecta-se diretamente com combinatória do ensino médio. Estas permutações podem ser visualizadas como rearranjos de vértices de triângulo equilátero, proporcionando ponte concreta entre álgebra abstrata e geometria elementar.

As propriedades fundamentais dos grupos emergem diretamente dos axiomas através de demonstrações elementares que ilustram o poder do raciocínio dedutivo em matemática. A unicidade do elemento neutro exemplifica como axiomas aparentemente mínimos implicam estrutura rígida e bem-determinada.

Proposição: O elemento neutro de um grupo é único. Demonstração: Suponha que e e e' sejam elementos neutros. Então e' = e ∘ e' = e, onde a primeira igualdade usa o fato de e ser neutro e a segunda usa e' ser neutro. Portanto e' = e, estabelecendo unicidade.

Similarmente, a unicidade de inversos segue por argumento direto. Se a' e a'' são inversos de a, então a' = a' ∘ e = a' ∘ (a ∘ a'') = (a' ∘ a) ∘ a'' = e ∘ a'' = a''. Estas demonstrações, embora simples, ilustram técnicas fundamentais de prova em álgebra abstrata.

Um subgrupo representa estrutura matemática que preserva todas as propriedades grupais dentro de um contexto mais restrito. Formalmente, um subconjunto H de um grupo G constitui subgrupo quando H é não-vazio e fechado sob a operação grupal e formação de inversos. Esta definição aparentemente simples encapsula conceito profundo que permeia toda a álgebra moderna.

A condição de fechamento para subgrupos requer que, para quaisquer elementos h₁, h₂ ∈ H, o produto h₁ ∘ h₂ também pertença a H. Adicionalmente, se h ∈ H, então o inverso h⁻¹ deve também estar em H. Estas condições garantem que H herda automaticamente as propriedades de associatividade e existência de elemento neutro do grupo ambiente G.

A importância dos subgrupos transcende considerações puramente teóricas, manifestando-se em aplicações que vão desde teoria dos números até cristalografia. No contexto educacional, subgrupos proporcionam exemplos concretos de como estruturas matemáticas podem ser decompostas em componentes mais simples, facilitando análise e compreensão.

O teste fundamental para subgrupos condensa as verificações necessárias em critério eficiente e prático. Um subconjunto não-vazio H de grupo G é subgrupo se e somente se, para quaisquer a, b ∈ H, o elemento a ∘ b⁻¹ também pertence a H. Este critério unificado elimina necessidade de verificar separadamente fechamento, existência de inversos e presença do elemento neutro.

A elegância deste teste reside na sua completude: a condição a ∘ b⁻¹ ∈ H implica automaticamente todas as propriedades requeridas. Tomando a = b, obtemos e = a ∘ a⁻¹ ∈ H, garantindo presença do elemento neutro. Tomando a = e, obtemos b⁻¹ ∈ H, assegurando fechamento sob inversos. Finalmente, se a, b ∈ H, então a ∘ b = a ∘ (b⁻¹)⁻¹ ∈ H, estabelecendo fechamento.

Para grupos finitos, existe critério ainda mais simples: um subconjunto finito não-vazio H é subgrupo se e somente se é fechado sob a operação grupal. A finitude garante automaticamente a existência de inversos através de propriedades combinatórias elementares.

Todo grupo G possui pelo menos dois subgrupos que existem automaticamente independentemente da estrutura específica de G. O subgrupo trivial {e}, contendo apenas o elemento neutro, e o subgrupo impróprio G, consistindo no próprio grupo, representam extremos da hierarquia de subgrupos. Estes casos limite proporcionam referências importantes para classificação e análise estrutural.

Um subgrupo H é denominado próprio quando H ≠ G, ou seja, quando H é subconjunto próprio de G. A existência de subgrupos próprios não-triviais revela estrutura interna rica do grupo ambiente, sugerindo possibilidades de decomposição e análise hierárquica. Grupos que não possuem subgrupos próprios não-triviais são chamados simples e representam blocos fundamentais irredutíveis da teoria.

A classificação entre subgrupos triviais e não-triviais orienta estratégias de investigação em teoria de grupos. Subgrupos não-triviais frequentemente codificam simetrias específicas ou estruturas aritméticas especiais que podem ser exploradas para compreender o grupo total.

A interseção de subgrupos produz sempre um subgrupo, estabelecendo propriedade fundamental que permite construir novos subgrupos a partir de existentes. Se H₁ e H₂ são subgrupos de G, então H₁ ∩ H₂ também é subgrupo de G. Esta propriedade de fechamento sob interseções permite definir conceitos importantes como o subgrupo gerado por um conjunto de elementos.

A demonstração desta propriedade ilustra técnicas típicas em álgebra abstrata. Se a, b ∈ H₁ ∩ H₂, então a, b pertencem simultaneamente a H₁ e H₂. Como ambos são subgrupos, a ∘ b⁻¹ ∈ H₁ e a ∘ b⁻¹ ∈ H₂, implicando a ∘ b⁻¹ ∈ H₁ ∩ H₂. O teste fundamental para subgrupos confirma que H₁ ∩ H₂ é subgrupo.

Em contraste, a união de subgrupos geralmente não produz subgrupo, exceto quando um está contido no outro. Esta assimetria entre interseção e união reflete propriedades estruturais profundas das operações algébricas e motiva definições mais sofisticadas como produto de subgrupos.

A ordem de um elemento em grupo finito determina propriedades fundamentais dos subgrupos que este elemento gera. Definimos a ordem de elemento a, denotada |a|, como o menor inteiro positivo n tal que aⁿ = e, onde e representa o elemento neutro. Esta definição conecta-se diretamente com conceitos de periodicidade e repetição que são familiares no ensino médio.

Para grupos infinitos, alguns elementos podem ter ordem infinita, significando que nenhuma potência positiva do elemento retorna ao elemento neutro. Por exemplo, no grupo (ℤ, +), todo elemento não-nulo possui ordem infinita, pois nenhum múltiplo positivo de número inteiro não-nulo resulta em zero.

A relação entre ordem de elementos e estrutura de subgrupos manifesta-se através do subgrupo cíclico gerado por elemento a, denotado ⟨a⟩ = {aⁿ : n ∈ ℤ}. Este subgrupo tem ordem igual à ordem do elemento gerador, estabelecendo correspondência direta entre propriedades aritméticas individuais e estrutura coletiva.

O conceito de subgrupo gerado por conjunto S, denotado ⟨S⟩, representa a menor estrutura grupal que contém todos os elementos de S. Formalmente, ⟨S⟩ consiste na interseção de todos os subgrupos de G que contêm S. Esta definição garante que ⟨S⟩ é de fato subgrupo e é minimal no sentido de estar contido em qualquer outro subgrupo que contenha S.

Construtivamente, ⟨S⟩ pode ser descrito como conjunto de todos os produtos finitos de elementos de S e seus inversos. Esta descrição explicita permite calcular concretamente o subgrupo gerado e proporciona intuição sobre como elementos individuais se combinam para produzir estrutura coletiva.

Casos especiais importantes incluem subgrupos gerados por elemento único, chamados subgrupos cíclicos, e subgrupos gerados por dois elementos, que frequentemente exibem estruturas ricas e interessantes. A compreensão de subgrupos gerados é fundamental para análise de decomposições e classificações grupais.

O teorema fundamental sobre ordens estabelece que, em grupo finito, a ordem de qualquer elemento divide a ordem do grupo. Esta relação profunda entre propriedades locais (ordem individual) e globais (ordem total) antecipa o Teorema de Lagrange e demonstra como estruturas algébricas impõem restrições aritméticas específicas.

Demonstração: Se |a| = k e |G| = n, considere o subgrupo cíclico H = ⟨a⟩ = {e, a, a², ..., aᵏ⁻¹}. Este subgrupo tem exatamente k elementos distintos. O Teorema de Lagrange, que será demonstrado no Capítulo 6, implica que k divide n, estabelecendo o resultado desejado.

Uma consequência imediata é que, em grupo de ordem prima p, todo elemento não-neutro tem ordem p, implicando que o grupo é cíclico. Esta caracterização proporciona classificação completa de grupos de ordem prima e ilustra como propriedades aritméticas simples determinam estrutura algébrica complexa.

As propriedades de fechamento dos subgrupos estendem-se além das operações básicas grupais, manifestando-se em construções mais sofisticadas que preservam estrutura algébrica. O produto de subgrupos HK = {hk : h ∈ H, k ∈ K} nem sempre é subgrupo, mas torna-se tal quando os subgrupos comutam, isto é, quando hk = kh para todos h ∈ H e k ∈ K.

A condição de comutatividade entre subgrupos é mais forte que comutatividade elementwise e reflete propriedades geométricas ou algébricas especiais do grupo ambiente. Quando H e K comutam, o produto HK herda estrutura grupal naturalmente, com |HK| = |H||K|/|H ∩ K|, estabelecendo relação quantitativa elegante.

Subgrupos normais representam classe especial onde certos produtos sempre resultam em subgrupos. Um subgrupo N é normal em G se gNg⁻¹ = N para todo g ∈ G. Esta propriedade, aparentemente técnica, é fundamental para teoria de grupos quocientes e homomorfismos.

Um grupo G é chamado cíclico quando existe elemento g ∈ G tal que G = ⟨g⟩, ou seja, quando todo elemento de G pode ser expresso como potência de g. O elemento g é denominado gerador do grupo, e grupos cíclicos representam as estruturas grupais mais simples e fundamentais, servindo como blocos construtivos para grupos mais complexos.

Grupos cíclicos finitos de ordem n são isomorfos a ℤₙ, enquanto grupos cíclicos infinitos são isomorfos a ℤ. Esta classificação completa ilustra como propriedades abstratas determinam estrutura concreta e estabelece correspondência direta entre teoria algébrica e aritmética familiar.

A importância dos grupos cíclicos transcende sua simplicidade aparente. Todo subgrupo de grupo cíclico é novamente cíclico, e grupos cíclicos satisfazem propriedades estruturais elegantes que facilitam análise e aplicação. No contexto educacional, proporcionam exemplos concretos onde teoremas abstratos podem ser verificados explicitamente.

A determinação de quais elementos podem gerar grupo cíclico finito conecta-se intimamente com teoria dos números através da função φ de Euler. Para ℤₙ, um elemento a é gerador se e somente se mdc(a, n) = 1. Esta condição aparentemente simples encapsula relação profunda entre propriedades algébricas e aritméticas.

O número de geradores de ℤₙ é precisamente φ(n), onde φ representa a função totiente de Euler que conta inteiros positivos menores ou iguais a n que são coprimos com n. Esta conexão proporciona ponte concreta entre álgebra abstrata e teoria elementar dos números, demonstrando unidade fundamental da matemática.

Para grupos cíclicos infinitos, como ℤ, existem exatamente dois geradores: 1 e -1. Esta escassez contrasta com casos finitos onde o número de geradores pode ser substancial, ilustrando diferenças qualitativas entre estruturas finitas e infinitas.

O teorema fundamental sobre subgrupos de grupos cíclicos estabelece que todo subgrupo de grupo cíclico é também cíclico. Esta propriedade de hereditariedade demonstra elegância estrutural dos grupos cíclicos e proporciona ferramenta poderosa para análise de sua estrutura interna.

Para grupo cíclico finito de ordem n, existe exatamente um subgrupo de ordem d para cada divisor d de n. Este subgrupo é ⟨gⁿ/ᵈ⟩, onde g é gerador do grupo total. A correspondência bijetiva entre divisores de n e subgrupos estabelece classificação completa que facilita análise estrutural.

Demonstração da ciclicidade: Seja G = ⟨g⟩ cíclico e H subgrupo de G. Se H = {e}, então H é cíclico trivialmente. Caso contrário, seja m o menor expoente positivo tal que gᵐ ∈ H. Afirmo que H = ⟨gᵐ⟩. Se h ∈ H, então h = gᵏ para algum k. Dividindo k por m, obtemos k = qm + r com 0 ≤ r < m. Então gʳ = gᵏ⁻ᵍᵐ = gᵏ(gᵐ)⁻ᵍ ∈ H. Pela minimalidade de m, temos r = 0, logo h = (gᵐ)ᵍ ∈ ⟨gᵐ⟩.

A teoria de grupos cíclicos proporciona ferramentas poderosas para resolver problemas clássicos em teoria dos números. O teorema de Fermat e sua generalização, o teorema de Euler, emergem naturalmente como consequências de propriedades estruturais de grupos cíclicos finitos.

O teorema de Euler afirma que, se mdc(a, n) = 1, então a^φ(n) ≡ 1 (mod n). Demonstração via teoria de grupos: considere o grupo U(n) das unidades módulo n, consistindo em elementos coprimos com n. Este grupo tem ordem φ(n). Como a ∈ U(n), a ordem de a divide φ(n), implicando a^φ(n) = 1 em U(n), ou equivalentemente, a^φ(n) ≡ 1 (mod n).

Aplicações incluem teste de primalidade, construção de códigos corretor de erro, e criptografia de chave pública. O algoritmo RSA, fundamental para segurança na internet, baseia-se diretamente em propriedades de grupos cíclicos e teoremas de Euler.

Grupos cíclicos admitem interpretações geométricas elegantes que conectam álgebra abstrata com geometria visual. O grupo cíclico ℤₙ pode ser realizado como grupo de rotações de polígono regular de n lados, onde cada elemento k ∈ ℤₙ corresponde à rotação por ângulo 2πk/n radianos.

Esta correspondência geométrica torna conceitos algébricos abstratos visualmente acessíveis e proporciona intuição para propriedades estruturais. Por exemplo, a propriedade de que todo subgrupo de grupo cíclico é cíclico corresponde ao fato de que rotações por ângulos que são múltiplos de ângulo básico geram subgrupos de rotações.

Em cristalografia, grupos cíclicos descrevem simetrias rotacionais de estruturas cristalinas. A teoria matemática desenvolvida para grupos abstratos aplica-se diretamente à classificação e análise de padrões cristalinos, demonstrando poder unificador da matemática abstrata.

Produtos diretos de grupos cíclicos geram estruturas abelianas finitas mais complexas. O teorema fundamental de grupos abelianos finitos estabelece que todo grupo abeliano finito é isomorfo a produto direto de grupos cíclicos de ordens que são potências de primos. Esta decomposição proporciona classificação completa e ferramentas computacionais poderosas.

Por exemplo, ℤ₁₂ ≅ ℤ₄ × ℤ₃, refletindo decomposição 12 = 4 × 3 onde mdc(4, 3) = 1. Esta isomorfia preserva estrutura algébrica enquanto proporciona perspectiva alternativa que pode simplificar cálculos e análise teórica.

Extensões cíclicas desempenham papel central em teoria de Galois, onde grupos cíclicos parametrizam extensões de corpos por radicais. Esta conexão entre teoria de grupos e teoria de corpos exemplifica unidade profunda da matemática avançada.

Classes laterais representam conceito fundamental que conecta subgrupos com teoria de equivalência, proporcionando ferramentas essenciais para decomposições estruturais e análise quantitativa de grupos. Para subgrupo H de grupo G e elemento a ∈ G, a classe lateral esquerda de H contendo a é definida como aH = {ah : h ∈ H}. Analogamente, a classe lateral direita é Ha = {ha : h ∈ H}.

Classes laterais particionam o grupo G em subconjuntos disjuntos de mesma cardinalidade, estabelecendo decomposição fundamental que será crucial para demonstração do Teorema de Lagrange. Esta partição emerge naturalmente da relação de equivalência definida por a ~ b se e somente se a⁻¹b ∈ H, conectando estrutura algébrica com conceitos de equivalência familiar no ensino médio.

A importância das classes laterais transcende considerações teóricas, manifestando-se em aplicações que incluem teoria de códigos, geometria hiperbólica, e análise harmônica. No contexto pedagógico, proporcionam exemplo concreto de como estruturas abstratas codificam decomposições sistemáticas de objetos matemáticos.

O primeiro resultado fundamental estabelece que classes laterais ou são idênticas ou são disjuntas. Esta propriedade de partição é consequência direta da natureza das relações de equivalência e proporciona base para análise quantitativa de estruturas grupais.

Proposição: Sejam aH e bH classes laterais de H em G. Então aH = bH se e somente se a⁻¹b ∈ H. Demonstração: Se aH = bH, então a ∈ aH = bH, logo a = bh para algum h ∈ H, implicando a⁻¹b = h ∈ H. Reciprocamente, se a⁻¹b ∈ H, então para qualquer ah ∈ aH, temos ah = b(a⁻¹b)h ∈ bH, estabelecendo aH ⊆ bH. Argumento simétrico mostra bH ⊆ aH, concluindo aH = bH.

O segundo resultado fundamental afirma que todas as classes laterais têm mesma cardinalidade que o subgrupo gerador. Isto segue da bijetividade da função h ↦ ah que mapeia H para aH. Esta propriedade é essencial para estabelecer relação quantitativa entre ordem do grupo, ordem do subgrupo, e número de classes laterais.

Classes laterais emergem naturalmente como classes de equivalência da relação definida por a ~ b se e somente se a⁻¹b ∈ H. Esta relação satisfaz as três propriedades fundamentais: reflexividade, simetria e transitividade, estabelecendo partição de G em classes disjuntas que correspondem exatamente às classes laterais esquerdas de H.

Verificação das propriedades: (1) Reflexividade: a ~ a pois a⁻¹a = e ∈ H. (2) Simetria: se a ~ b, então a⁻¹b ∈ H, logo (a⁻¹b)⁻¹ = b⁻¹a ∈ H, implicando b ~ a. (3) Transitividade: se a ~ b e b ~ c, então a⁻¹b, b⁻¹c ∈ H, logo a⁻¹c = (a⁻¹b)(b⁻¹c) ∈ H, implicando a ~ c.

Esta perspectiva através de relações de equivalência conecta teoria de grupos com conceitos familiares de classificação e categorização, proporcionando linguagem unificada para compreender decomposições em diversas áreas da matemática.

O índice de subgrupo H em grupo G, denotado [G:H], representa o número de classes laterais distintas de H em G. Este conceito quantifica o "tamanho relativo" do subgrupo dentro do grupo ambiente e proporciona informação estrutural fundamental que culminará no Teorema de Lagrange.

Para grupos finitos, a relação |G| = |H| · [G:H] estabelece conexão aritmética direta entre cardinalidades absolutas e relativas. Esta fórmula, aparentemente simples, encapsula decomposição fundamental de G em [G:H] cópias disjuntas de H, cada uma correspondendo a uma classe lateral distinta.

Em grupos infinitos, o índice pode ser finito mesmo quando grupo e subgrupo são infinitos. Por exemplo, [ℤ:nℤ] = n para qualquer inteiro positivo n, demonstrando que conceitos de "tamanho relativo" transcendem considerações de cardinalidade absoluta.

Classes laterais direitas Ha = {ha : h ∈ H} proporcionam decomposição alternativa do grupo que, embora estruturalmente equivalente às classes esquerdas, pode diferir concretamente em grupos não-abelianos. A distinção entre classes esquerdas e direitas revela aspectos sutis da não-comutatividade e prepara terreno para conceitos avançados como subgrupos normais.

Teorema fundamental: O número de classes laterais esquerdas de H em G é igual ao número de classes laterais direitas. Demonstração: a função φ: aH ↦ Ha⁻¹ estabelece bijeção entre conjuntos de classes laterais esquerdas e direitas. Esta correspondência preserva contagem mas não necessariamente identidade de conjuntos.

Em grupos abelianos, classes esquerdas e direitas coincidem: aH = Ha para todo a ∈ G. Esta propriedade reflete comutatividade fundamental e simplifica análise estrutural. Em grupos não-abelianos, diferenças entre classes esquerdas e direitas codificam informação estrutural importante sobre quebra de simetria.

Classes laterais proporcionam ferramentas computacionais eficientes para análise de estruturas grupais grandes. Algoritmos de enumeração sistemática de classes laterais permitem determinar índices, identificar subgrupos, e verificar propriedades estruturais sem necessidade de enumerar todos os elementos do grupo.

Em teoria de códigos corretor de erro, classes laterais correspondem a síndromes de erro que permitem localizar e corrigir erros em transmissão de dados. Esta aplicação demonstra como conceitos algébricos abstratos traduzem-se diretamente em tecnologias práticas essenciais para comunicação digital moderna.

Decomposições por classes laterais também aparecem em análise harmônica abstrata, onde proporcionam base para teoria de representações de grupos e análise de Fourier em grupos não-abelianos. Estas aplicações avançadas ilustram profundidade e versatilidade dos conceitos fundamentais.

Classes laterais servem como ponte conceitual para teorias mais avançadas em álgebra moderna. A transição de classes laterais para grupos quocientes representa generalização natural onde classe lateral H/N herda estrutura grupal quando N é subgrupo normal. Esta construção é fundamental para teoremas de isomorfismo e classificação de grupos.

Em topologia algébrica, classes laterais aparecem na definição de espaços de órbitas e ações de grupos em espaços topológicos. O espaço quociente G/H herda propriedades topológicas de G moduladas pela estrutura do subgrupo H, conectando álgebra abstrata com geometria e topologia.

Teoria de Galois utiliza classes laterais para parametrizar extensões de corpos e analisar solubilidade de equações polinomiais. A correspondência de Galois estabelece bijeção entre subcorpos de extensão e subgrupos do grupo de Galois, onde classes laterais codificam relações de continência entre subcorpos.

O Teorema de Lagrange representa um dos resultados mais fundamentais e elegantes da teoria de grupos, estabelecendo relação aritmética profunda entre ordem de grupos finitos e ordem de seus subgrupos. Este teorema não apenas proporciona ferramenta computacional poderosa, mas também revela conexões estruturais que permeiam toda a álgebra moderna.

Demonstração: A construção de classes laterais do capítulo anterior estabelece que G é união disjunta de classes laterais esquerdas de H. Se G = a₁H ∪ a₂H ∪ ... ∪ aₖH onde k = [G:H], então cada classe aᵢH tem exatamente |H| elementos. Como as classes são disjuntas, |G| = k|H| = [G:H]|H|, estabelecendo a relação desejada.

A demonstração revela estrutura subjacente: o teorema emerge naturalmente da propriedade de partição das classes laterais e da uniformidade de suas cardinalidades. Esta perspectiva estrutural é mais profunda que mera verificação aritmética e proporciona intuição para generalizações futuras.

O Teorema de Lagrange implica diversas consequências importantes que amplificam significativamente seu poder e aplicabilidade. A primeira consequência estabelece que a ordem de qualquer elemento divide a ordem do grupo, generalizando observação feita anteriormente para casos específicos.

Corolário 1: Se G é grupo finito e a ∈ G, então a ordem de a divide |G|. Demonstração: a ordem de a é igual à ordem do subgrupo cíclico ⟨a⟩, que pelo Teorema de Lagrange divide |G|.

Corolário 2: Se G é grupo de ordem prima p, então G é cíclico. Demonstração: qualquer elemento a ≠ e tem ordem dividindo p. Como p é primo, a ordem de a é 1 ou p. Como a ≠ e, a ordem é p, logo G = ⟨a⟩.

Corolário 3: Em grupo finito G, para qualquer a ∈ G, temos a|G| = e. Demonstração: como |a| divide |G|, existe k tal que |G| = k|a|. Então a|G| = (a|a|)ᵏ = eᵏ = e.

Embora o Teorema de Lagrange garanta que ordem de subgrupos divide ordem do grupo, a recíproca não é verdadeira: nem todo divisor da ordem corresponde necessariamente à ordem de algum subgrupo. Esta limitação fundamental revela sutilezas da estrutura grupal que transcendem considerações puramente aritméticas.

O grupo alternante A₄ proporciona contraexemplo clássico. Com |A₄| = 12, os divisores são 1, 2, 3, 4, 6, 12. Existem subgrupos de ordens 1, 2, 3, 4, 12, mas nenhum subgrupo de ordem 6. Esta ausência demonstra que estrutura algébrica impõe restrições além de mera divisibilidade aritmética.

Teoremas de Sylow, desenvolvidos posteriormente, proporcionam resultados parciais sobre existência de subgrupos para potências de primos. Para subgrupos de ordem prima, o Teorema de Cauchy garante existência, mas para ordens compostas, situação torna-se mais complexa e interessante.

O Teorema de Lagrange proporciona demonstrações elegantes e unificadas para teoremas clássicos em teoria dos números. O teorema de Fermat emerge como caso especial do Corolário 3 aplicado ao grupo multiplicativo dos restos módulo primo, ilustrando poder da perspectiva algébrica para compreender resultados aritméticos.

Para primo p e inteiro a não divisível por p, considere o grupo U(p) = {1, 2, ..., p-1} das unidades módulo p sob multiplicação. Este grupo tem ordem p-1, e o elemento a ∈ U(p) satisfaz a^(p-1) ≡ 1 (mod p) pelo Corolário 3. Multiplicando por a, obtemos a^p ≡ a (mod p), recuperando o teorema de Fermat.

Similarmente, o teorema de Euler segue da aplicação do Teorema de Lagrange ao grupo U(n) das unidades módulo n, que tem ordem φ(n). Para mdc(a,n) = 1, temos a^φ(n) ≡ 1 (mod n), generalizando Fermat para módulos compostos.

O Teorema de Lagrange admite generalizações importantes que estendem seu alcance para contextos mais abstratos. Em teoria de grupos topológicos, versões adequadas do teorema aplicam-se a grupos localmente compactos usando medida de Haar em lugar de contagem de elementos. Esta generalização é fundamental para análise harmônica abstrata.

Para grupos infinitos, conceitos análogos emergem através de teoria de índices e crescimento de grupos. O crescimento polinomial ou exponencial de grupos finitamente gerados relaciona-se com propriedades estruturais profundas que generalizam intuições do caso finito.

Em álgebra homológica, o Teorema de Lagrange conecta-se com teoria de cohomologia de grupos através de sequências exatas e functores derivados. Estes desenvolvimentos avançados mostram como conceitos elementares evoluem para teorias sofisticadas que unificam áreas aparentemente distintas da matemática.

O Teorema de Lagrange exemplifica perfeitamente como matemática abstrata conecta-se com conceitos concretos familiares aos estudantes. A progressão desde contagem básica, através de relações de equivalência, até decomposições estruturais ilustra como complexidade emerge gradualmente de princípios elementares.

No contexto da Base Nacional Comum Curricular, o teorema desenvolve competências essenciais de raciocínio lógico, reconhecimento de padrões, e aplicação de métodos matemáticos sistemáticos. A capacidade de identificar estruturas subjacentes em problemas aparentemente distintos representa habilidade transferível valiosa.

A demonstração do teorema integra múltiplas técnicas matemáticas: definições precisas, construção de conjuntos, contagem sistemática, e raciocínio dedutivo. Esta síntese metodológica proporciona modelo excelente para desenvolvimento de maturidade matemática e prepara estudantes para teoremas mais avançados.

O Teorema de Lagrange serve como fundamento para numerosos resultados importantes que ampliam significativamente seu alcance e aplicabilidade. O Teorema de Cauchy representa uma das extensões mais notáveis, garantindo existência de elementos de ordem prima em grupos finitos cuja ordem é divisível por essa prima.

Teorema de Cauchy: Se G é grupo finito e p é primo dividindo |G|, então G contém elemento de ordem p. Este resultado, embora não consequência direta de Lagrange, utiliza técnicas similares de contagem e análise estrutural. A demonstração clássica emprega argumento combinatório elegante que conta p-uplas de elementos cuja ordem é p.

O Teorema de Cauchy preenche lacuna importante deixada por Lagrange: enquanto Lagrange restringe ordens possíveis de subgrupos, Cauchy garante existência de subgrupos para divisores primos específicos. Esta complementaridade ilustra como teoremas matemáticos trabalham em conjunto para proporcionar compreensão completa de estruturas complexas.

Os Teoremas de Sylow representam generalização poderosa dos resultados de Lagrange e Cauchy, proporcionando análise completa de subgrupos cuja ordem é potência de primo. Estes teoremas não apenas garantem existência de tais subgrupos, mas também determinam seu número e estabelecem relações estruturais entre eles.

Primeiro Teorema de Sylow: Se G é grupo finito de ordem p^α m onde p é primo e mdc(p,m) = 1, então G contém subgrupo de ordem p^k para cada k ≤ α. Este resultado estende dramaticamente Cauchy, garantindo existência de subgrupos para todas as potências de primo que dividem |G|.

Embora demonstração completa dos Teoremas de Sylow exceda escopo introdutório, seus enunciados e aplicações básicas são acessíveis e ilustram direções de desenvolvimento da teoria. A conexão com Lagrange manifesta-se através da restrição fundamental de que ordens de p-subgrupos devem dividir |G|.

O Teorema de Lagrange proporciona ferramenta poderosa para resolver problemas de contagem que envolvem simetrias e equivalências. O lema de Burnside, fundamental em combinatória enumérativa, utiliza princípios similares aos de Lagrange para contar objetos distintos sob ação de grupo.

Em problemas de coloração de objetos simétricos, como faces de cubo ou vértices de polígono regular, diferentes arranjos podem ser considerados equivalentes sob rotações ou reflexões. O Teorema de Lagrange, através da análise de órbitas e estabilizadores, permite determinar número de colorações essencialmente distintas.

A fórmula órbita-estabilizador, |O_x| · |Stab(x)| = |G|, representa aplicação direta dos princípios de Lagrange em contexto de ações de grupos. Esta relação conecta propriedades locais (estabilização de elementos individuais) com propriedades globais (órbitas e estrutura do grupo).

A teoria de subgrupos e o Teorema de Lagrange fundamentam diversos algoritmos criptográficos modernos. O sistema RSA baseia-se diretamente no Teorema de Euler, que é consequência de Lagrange aplicado ao grupo multiplicativo de unidades modulares. A segurança do RSA depende crucialmente de propriedades estruturais destes grupos.

Criptografia baseada em curvas elípticas utiliza grupos elípticos sobre corpos finitos, onde ordem do grupo determina segurança do sistema. O Teorema de Lagrange restringe ordens possíveis de subgrupos, influenciando escolha de parâmetros seguros e análise de vulnerabilidades.

Protocolos de troca de chaves, como Diffie-Hellman, exploram propriedades de grupos cíclicos finitos. A dificuldade do problema do logaritmo discreto, fundamental para segurança destes protocolos, relaciona-se intimamente com estrutura de subgrupos e suas propriedades divisivas estabelecidas por Lagrange.

A teoria de grupos, fundamentada no Teorema de Lagrange, proporciona linguagem matemática essencial para descrição e classificação de estruturas cristalinas. Grupos espaciais, que descrevem simetrias tridimensionais de cristais, são analisados através de suas decomposições em subgrupos e cosets, revelando relações estruturais fundamentais.

O conceito de classes laterais manifesta-se concretamente na análise de domínios cristalinos e defeitos estruturais. Diferentes orientações de uma mesma estrutura cristalina correspondem a classes laterais do grupo de simetria total, permitindo quantificar variedade de configurações possíveis e suas propriedades físicas.

Transições de fase em materiais frequentemente correspondem a mudanças na estrutura de subgrupos de simetria. O Teorema de Lagrange estabelece restrições sobre quais transições são possíveis, conectando propriedades algébricas abstratas com fenômenos físicos observáveis.

O Teorema de Lagrange serve como ferramenta fundamental para classificação sistemática de grupos finitos de ordens específicas. Para cada inteiro n, o teorema restringe drasticamente estruturas possíveis de grupos de ordem n através das restrições de divisibilidade sobre ordens de subgrupos.

A estratégia de classificação típica envolve análise exaustiva de subgrupos possíveis, seus índices, e relações estruturais. Para n pequeno, esta abordagem permite determinar completamente todos os grupos de ordem n a menos de isomorfismo, proporcionando compreensão detalhada de paisagem estrutural dos grupos finitos.

Técnicas desenvolvidas para grupos pequenos generalizam-se para teoremas profundos como classificação de grupos simples finitos, um dos maiores empreendimentos matemáticos do século XX. O Teorema de Lagrange permanece ferramenta essencial mesmo nestes contextos avançados.

Embora o Teorema de Lagrange se aplique especificamente a grupos finitos, conceitos análogos emergem no estudo de grupos infinitos através de diferentes perspectivas matemáticas. O conceito de índice [G:H] permanece significativo mesmo quando G é infinito, proporcionando medida relativa de "tamanho" que transcende contagem de elementos.

Para grupos finitamente gerados, teoria de crescimento proporciona generalização natural das ideias de Lagrange. A função de crescimento γ(n) conta elementos de G que podem ser expressos como produtos de no máximo n geradores. Grupos de crescimento polinomial versus exponencial exibem propriedades estruturais profundamente diferentes.

Em grupos topológicos, medidas de Haar generalizam contagem finita para contextos infinitos. O teorema de decomposição de Haar para grupos localmente compactos representa análogo direto da decomposição por classes laterais, onde medida substitui cardinalidade na formulação de resultados tipo-Lagrange.

A teoria de Galois estabelece correspondência profunda entre extensões de corpos e teoria de grupos, onde o Teorema de Lagrange desempenha papel central na análise de solubilidade de equações polinomiais. O grau de extensão de corpos [L:K] corresponde à ordem do grupo de Galois Gal(L/K), conectando álgebra abstrata com questões clássicas sobre resolução de equações.

Subgrupos do grupo de Galois correspondem a corpos intermediários da extensão, e o Teorema de Lagrange implica que graus de subcorpos devem dividir o grau total da extensão. Esta restrição fundamental determina quais extensões intermediárias são possíveis e influencia diretamente métodos de resolução.

A famosa impossibilidade de resolução por radicais de equações de grau cinco ou superior emerge de propriedades estruturais dos grupos simétricos S₅, onde Teorema de Lagrange restringe estrutura de subgrupos solúveis. Esta conexão espetacular entre álgebra abstrata e problema clássico ilustra profundidade unificadora da matemática moderna.

Na álgebra homológica, o Teorema de Lagrange generaliza-se através de sequências exatas e teoria de cohomologia de grupos. A sequência exata curta 1 → H → G → G/H → 1 encapsula informação de Lagrange através da propriedade fundamental que |G| = |H| · |G/H|, expressa agora em linguagem categórica mais geral.

Grupos de cohomologia H^n(G, M) para G-módulos M proporcionam invariantes algébricos que generalizam conceitos elementares como ordem e índice. O teorema de mudança de base em cohomologia representa extensão sofisticada das ideias de restrição e indução baseadas em subgrupos.

Complexos de cadeias e homologia simplicial utilizam conceitos similares aos de classes laterais para definir grupos de homologia que capturam propriedades topológicas fundamentais. Estes desenvolvimentos mostram como ideias elementares evoluem para teorias unificadoras que conectam álgebra, topologia, e geometria.

A teoria de representações estuda grupos através de suas ações em espaços vetoriais, proporcionando ponte fundamental entre álgebra abstrata e álgebra linear. O Teorema de Lagrange manifesta-se através de restrições sobre dimensões de representações irredutíveis e relações de ortogonalidade em caracteres.

Para grupo finito G sobre corpo complexo, a soma dos quadrados das dimensões de representações irredutíveis é igual a |G|. Esta relação espetacular conecta propriedades algébricas abstratas com álgebra linear concreta e proporciona ferramenta poderosa para análise estrutural.

Representações induzidas de subgrupos para grupos totais utilizam construções baseadas em classes laterais, generalizando decomposições de Lagrange para contextos lineares. A fórmula de indução de Frobenius estabelece relações quantitativas que ecoam princípios fundamentais do Teorema de Lagrange.

A teoria de grupos aleatórios utiliza métodos probabilísticos para estudar propriedades típicas de grupos grandes, onde argumentos combinatórios baseados no Teorema de Lagrange proporcionam estimativas fundamentais. Probabilidade de que elemento aleatório gere subgrupo de ordem específica conecta-se diretamente com restrições de divisibilidade estabelecidas por Lagrange.

Passeios aleatórios em grupos exploram propriedades de mistura que dependem crucialmente da estrutura de subgrupos. Tempo de mistura relaciona-se com propriedades espectrais que refletem decomposições estruturais baseadas em classes laterais.

Algoritmos aleatórios para problemas de grupos, como teste de isomorfismo ou computação de ordem, utilizam estratégias de amostragem que exploram propriedades estruturais garantidas pelo Teorema de Lagrange. Esta conexão entre teoria pura e algoritmos práticos ilustra relevância computacional de resultados abstratos.

Desenvolvimentos contemporâneos em teoria de grupos continuam explorando ramificações do Teorema de Lagrange em contextos cada vez mais abstratos e sofisticados. Teoria de grupos geométricos analisa grupos através de suas ações em espaços métricos, onde propriedades de crescimento e rigidez refletem restrições estruturais reminiscentes de Lagrange.

Grupos quânticos e álgebras de Hopf generalizam conceitos grupais clássicos para contextos não-comutativos, onde versões modificadas de teoremas fundamentais como Lagrange requerem formulações mais sofisticadas. Estas generalizações mantêm espírito de relacionar propriedades locais com estrutura global.

Aplicações em física teórica, especialmente teoria quântica de campos e gravidade quântica, utilizam grupos de gauge onde subgrupos de estabilização desempenham papéis fundamentais análogos aos estudados classicamente. Princípios de Lagrange manifestam-se através de simetrias quebradas e transições de fase topológicas.

Esta seção apresenta coleção sistemática de problemas que ilustram aplicação prática dos conceitos desenvolvidos ao longo do volume. Os exercícios progridem desde verificações elementares até aplicações sofisticadas que integram múltiplas técnicas e conceitos avançados.

Solução: Como ℤ₁₅ é cíclico, seus subgrupos correspondem aos divisores de 15. Temos divisores {1, 3, 5, 15}, logo existem subgrupos de ordens correspondentes: {0}, ⟨5⟩ = {0, 5, 10}, ⟨3⟩ = {0, 3, 6, 9, 12}, e ℤ₁₅. Verificação: 1|15, 3|15, 5|15, 15|15 ✓

Solução: Pelo Teorema de Lagrange, ordem de qualquer elemento deve dividir 20. Os divisores de 20 são {1, 2, 4, 5, 10, 20}, portanto estas são todas as ordens possíveis de elementos.

Solução: Para primo p e a não divisível por p, considere U(p) = {1, 2, ..., p-1} com multiplicação módulo p. Este grupo tem ordem p-1. Como a ∈ U(p), pelo corolário do Teorema de Lagrange, a^(p-1) ≡ 1 (mod p). Multiplicando por a: a^p ≡ a (mod p).

Solução: Elementos de ordem 8 geram subgrupos de ordem 8. Em ℤ₂₄, isto corresponde ao subgrupo ⟨3⟩ = {0, 3, 6, 9, 12, 15, 18, 21}. Os geradores deste subgrupo são elementos coprimos com 8: {3, 9, 15, 21}. Verificação: φ(8) = 4 elementos.

Solução: Como 35 = 5 × 7 onde 5 e 7 são primos distintos, pelo teorema de Cauchy existem elementos a, b ∈ G com |a| = 5 e |b| = 7. Como mdc(5,7) = 1, o elemento ab tem ordem mmc(5,7) = 35. Logo G = ⟨ab⟩ é cíclico.

Solução: Suponha G não-abeliano. Então Z(G) ≠ G. Como |Z(G)| divide |G| = p², temos |Z(G)| ∈ {1, p, p²}. Se |Z(G)| = p², então Z(G) = G (contradição). Se |Z(G)| = 1, então para a ∉ Z(G), o centralizador C(a) satisfaz Z(G) ⊆ C(a) ⊊ G, logo |C(a)| = p. Mas então |G/C(a)| = p, contradizendo que G/C(a) é isomorfo a grupo de automorfismos de ⟨a⟩. Logo |Z(G)| = p, e G/Z(G) é cíclico de ordem p, implicando G é abeliano (contradição).

Solução: Como 15 = 3 × 5 onde mdc(3,5) = 1, pelos teoremas de Sylow existe único 3-subgrupo H e único 5-subgrupo K. Como |H ∩ K| = 1, temos |HK| = |H||K| = 15, logo G = HK. Como H e K são normais, G ≅ H × K ≅ ℤ₃ × ℤ₅ ≅ ℤ₁₅. Portanto existe único grupo de ordem 15 a menos de isomorfismo.

Solução: Algoritmo baseado na correspondência entre divisores e subgrupos:

1. Calcule todos os divisores d de n

2. Para cada divisor d, o subgrupo correspondente é ⟨n/d⟩

3. Verifique: |⟨n/d⟩| = d

Complexidade: O(√n) para encontrar divisores, O(n) total.

Algoritmo:

Input: Conjunto S ⊆ G, operação grupal ∘

1. Se S = ∅, retorne FALSO

2. Para todo a, b ∈ S:

- Calcule b⁻¹

- Calcule a ∘ b⁻¹

- Se a ∘ b⁻¹ ∉ S, retorne FALSO

3. Retorne VERDADEIRO

Complexidade: O(|S|³) no pior caso.

Solução: n = 77 = 7 × 11, então φ(77) = φ(7)φ(11) = 6 × 10 = 60. Para exponente público e = 13 (mdc(13,60) = 1), calculamos d tal que 13d ≡ 1 (mod 60). Algoritmo euclidiano: d = 37. Verificação: 13 × 37 = 481 ≡ 1 (mod 60). A segurança baseia-se na dificuldade de fatorar 77, que é trivial neste caso.

Solução: Grupo de simetrias da pulseira é D₆ (ordem 12). Aplicando lema de Burnside:

- Identidade: 3⁶ = 729 colorações fixas

- Rotações por 60°, 120°, 240°, 300°: 3¹ = 3 cada

- Rotação por 180°: 3³ = 27

- Reflexões (6 eixos): 3³ = 27 cada

Total: (729 + 4×3 + 27 + 6×27)/12 = 924/12 = 77 pulseiras distintas.

Esta seção propõe exercícios adicionais que permitem aos estudantes aplicar e aprofundar os conceitos estudados. Os problemas variam desde verificações básicas até investigações originais que podem conduzir a descobertas matemáticas pessoais.

Este volume apresentou desenvolvimento sistemático da teoria de subgrupos culminando no fundamental Teorema de Lagrange, demonstrando como conceitos abstratos emergem naturalmente de princípios elementares e se conectam com aplicações práticas em diversas áreas do conhecimento. A progressão desde definições básicas até aplicações sofisticadas ilustra a estrutura hierárquica característica da matemática moderna.

O Teorema de Lagrange representa síntese elegante entre contagem combinatória e estrutura algébrica, revelando como restrições aritméticas simples refletem propriedades estruturais profundas. A relação |G| = |H| · [G:H] encapsula decomposição fundamental que permeia toda a álgebra moderna e proporciona modelo para teoremas similares em contextos mais avançados.

As aplicações exploradas - desde teoria dos números clássica até criptografia moderna, de análise combinatória a física teórica - demonstram universalidade dos princípios matemáticos abstratos e sua capacidade de unificar fenômenos aparentemente distintos. Esta perspectiva unificadora representa uma das contribuições mais valiosas da educação matemática avançada.

O domínio da teoria de subgrupos e do Teorema de Lagrange proporciona fundação sólida para progressão em diversas direções da matemática avançada. Em álgebra abstrata, os conceitos desenvolvidos estendem-se naturalmente para teoria de anéis, corpos, e módulos, onde princípios similares de decomposição e contagem aplicam-se a estruturas mais gerais.

Em topologia algébrica, grupos fundamentais e grupos de homologia utilizam construções análogas às desenvolvidas neste volume. O Teorema de Lagrange generaliza-se através de teoremas sobre índices de subgrupos fundamentais e relações entre características de Euler de complexos celulares.

A teoria algébrica dos números explora extensivamente grupos de unidades, grupos de classes ideais, e grupos de Galois, onde restrições tipo-Lagrange determinam estruturas aritméticas fundamentais. Teoremas como reciprocidade quadrática emergem naturalmente da análise de subgrupos específicos.

Em geometria algébrica, grupos de automorfismos e ações de grupos em variedades algébricas utilizam princípios desenvolvidos aqui. A classificação de superfícies de Riemann e análise de singularidades dependem crucialmente de teoria de grupos finitos.

Bibliografia Fundamental

ARTIN, Michael. Algebra. 2ª ed. Boston: Pearson, 2010.

DUMMIT, David S.; FOOTE, Richard M. Abstract Algebra. 3ª ed. Hoboken: John Wiley & Sons, 2003.

FRALEIGH, John B. A First Course in Abstract Algebra. 7ª ed. Boston: Pearson, 2014.

GALLIAN, Joseph A. Contemporary Abstract Algebra. 9ª ed. Boston: Cengage Learning, 2017.

HERSTEIN, Israel N. Topics in Algebra. 2ª ed. New York: John Wiley & Sons, 1975.

HUNGERFORD, Thomas W. Abstract Algebra: An Introduction. 3ª ed. Boston: Brooks/Cole, 2012.

ROTMAN, Joseph J. An Introduction to the Theory of Groups. 4ª ed. New York: Springer-Verlag, 1995.

Bibliografia Complementar

BRASIL. Ministério da Educação. Base Nacional Comum Curricular: Ensino Médio. Brasília: MEC, 2018.

BURNSIDE, William. Theory of Groups of Finite Order. 2ª ed. Cambridge: Cambridge University Press, 1911.

COHEN, Henri. A Course in Computational Algebraic Number Theory. Berlin: Springer-Verlag, 1993.

DIXON, John D.; MORTIMER, Brian. Permutation Groups. New York: Springer-Verlag, 1996.

ISAACS, I. Martin. Finite Group Theory. Providence: American Mathematical Society, 2008.

KOBLITZ, Neal. A Course in Number Theory and Cryptography. 2ª ed. New York: Springer-Verlag, 1994.

LANG, Serge. Algebra. 3ª ed. Reading: Addison-Wesley, 1993.

LEDERMANN, Walter. Introduction to Group Theory. London: Longman, 1973.

Bibliografia Avançada

CARTER, Roger W. Finite Groups of Lie Type: Conjugacy Classes and Complex Characters. New York: John Wiley & Sons, 1985.

GORENSTEIN, Daniel. Finite Groups. 2ª ed. New York: Chelsea Publishing, 1980.

HALL, Marshall. The Theory of Groups. New York: Macmillan, 1959.

HUPPERT, Bertram. Endliche Gruppen I. Berlin: Springer-Verlag, 1967.

ROBINSON, Derek J. S. A Course in the Theory of Groups. 2ª ed. New York: Springer-Verlag, 1996.

SCOTT, W. R. Group Theory. Englewood Cliffs: Prentice-Hall, 1964.

SUZUKI, Michio. Group Theory I. Berlin: Springer-Verlag, 1982.

Recursos Eletrônicos e Computacionais

GAP SYSTEM. Groups, Algorithms, and Programming. Disponível em: https://www.gap-system.org. Acesso em: jan. 2025.

MAGMA COMPUTATIONAL ALGEBRA SYSTEM. Handbook. Disponível em: http://magma.maths.usyd.edu.au. Acesso em: jan. 2025.

OEIS FOUNDATION. The On-Line Encyclopedia of Integer Sequences. Disponível em: https://oeis.org. Acesso em: jan. 2025.

SAGE MATHEMATICS SOFTWARE. Open Source Mathematics Software. Disponível em: https://www.sagemath.org. Acesso em: jan. 2025.

WOLFRAM RESEARCH. Wolfram MathWorld: Group Theory. Disponível em: https://mathworld.wolfram.com/GroupTheory.html. Acesso em: jan. 2025.