Testes Determinísticos de Primalidade
Resumo
Neste trabalho, apresentamos alguns dos testes determinísticos de primalidade mais utilizados atualmente. O objetivo é determinar, de forma computacionalmente eficiente, se um número n grande é primo, utilizando diversos resultados da Teoria dos Números. Embora essa questão tenha sido considerada puramente teórica por muito tempo, ela se tornou crucial para problemas práticos, especialmente na área da criptografia. Os testes mais comuns baseiam-se no Pequeno Teorema de Fermat e são especialmente aplicáveis a números de determinadas formas, como os números de Fermat, Fermat generalizados, Proth e Mersenne. Também introduziremos o famoso teste AKS. Vamos demonstrar e discutir cada um dos testes.
Referências
GONçALVEZ, A. Introdução à Álgebra. [S.l.]: IMPA, 2009. (Projeto Euclides). ISBN9788524401084.
LIDL, R.; NIEDERREITER, H. Finite Fields. [S.l.]: Cambridge, 1997. (Cambridge University Press). ISBN 0521392314.
MARTINEZ, F. B.; MOREIRA, C. G.; SALDANHA, N.; TENGAN, E. Teoria dos números: um passeio com primos e outros números familiares pelo mundo inteiro. [S.l.]: SBM, 2024. (Coleção Textos Universitários). ISBN 9788583372295.
RIBENBOIM, P. Números primos. Velhos mistérios e novos recordes. [S.l.]: IMPA, 2014. (Coleção matemática universitária). ISBN 9788524403347.
Copyright (c) 2025 Revista de Matemática da UFOP

This work is licensed under a Creative Commons Attribution 4.0 International License.
Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob aLicença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado.