Seja Cp um grupo cíclico de ordem p, onde p é um número primo tal que S = {1, , 1+\\theta, 1+\\theta+\\theta^2, · · · , 1 +\\theta + · · · + \\theta ^{p-3/2}} gera o grupo das unidades de Z[\\theta] e é uma raiz p-ésima primitiva da unidade sobre Q. No artigo \"Units of ZCp\" , Ferraz apresentou um modo simples de encontrar um conjunto de geradores independentes para o grupo das unidades do anel de grupo ZCp sobre os inteiros. Nós estendemos este resultado para ZCp^n , considerando que um conjunto similar a S gera o grupo das unidades de Z[\\theta]. Isto ocorre, por exemplo, quando \\phi(p^n)\\leq 66. Descrevemos o grupo das unidades de ZCp^n como o produto ±ker(\\pi_1) × Im(\\pi1), onde \\pi_1 é um homomorfismo de grupos. Além disso, explicitamos as bases de ker(\\pi_1) e Im(\\pi_1). / Let Cp be a cyclic group of order p, where p is a prime integer such that S = {1, , 1 + \\theta, 1 +\\theta +\\theta ^2 , · · · , 1 + \\theta + · · · +\\theta ^{p-3/2}} generates the group of units of Z[\\theta] and is a primitive pth root of 1 over Q. In the article \"Units of ZCp\" , Ferraz gave an easy way to nd a set of multiplicatively independent generators of the group of units of the integral group ring ZCp . We extended this result for ZCp^n , provided that a set similar to S generates the group of units of Z[\\theta]. This occurs, for example, when \\phi(p^n)\\leq 66. We described the group of units of ZCp^n as the product ±ker(\\pi_1) × Im(\\pi_1), where \\pi_1 is a group homomorphism. Moreover, we explicited a basis of ker(\\pi_1) and I m(\\pi_1).

Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-05-19T15:20:50Z No. of bitstreams: 2 arquivototal.pdf: 1103922 bytes, checksum: fee5e8830b60905917fc3ab1fb8c2aae (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Approved for entry into archive by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-05-19T15:21:56Z (GMT) No. of bitstreams: 2 arquivototal.pdf: 1103922 bytes, checksum: fee5e8830b60905917fc3ab1fb8c2aae (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) / Made available in DSpace on 2015-05-19T15:21:56Z (GMT). No. of bitstreams: 2 arquivototal.pdf: 1103922 bytes, checksum: fee5e8830b60905917fc3ab1fb8c2aae (MD5) license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) Previous issue date: 2013-08-13 / The encryption algorithm written by Egyptian Taher ElGamal computes discrete logarithms with elements of a finite group G Cyclical. These elements have properties that during the study Chapter 1. Knowing the definitions and some properties studied, we can define and compute discrete logarithms, using knowledge of arithmetic and congruence of Remains and Theorem Remainder of Chinese. We will study public key algorithms, in particular the algorithm written by ElGamal, seeking to understand the diffculties presented by it and show its applications in the field of cryptography. We present a sequence of activities, aimed at students of the first grade of high school, targeting the learning of some subjects covered at work. / O algoritmo de criptografia escrito pelo egípcio Taher ElGamal calcula logaritmos discretos com elementos de um Grupo Cíclico finito G. Esses elementos possuem propriedades que estudaremos no decorrer do capítulo 1. Conhecendo as definições e algumas propriedades estudadas, poderemos definir e calcular logaritmos discretos, utilizando conhecimentos da Aritmética dos Restos e Congruências, bem como o Teorema Chinês dos Restos. Vamos estudar algoritmos de chave pública, em particular o algoritmo escrito por ElGamal, buscando entender as dificuldades apresentadas por ele e mostrar suas aplicações no campo da Criptografia. Apresentaremos uma sequencia de atividades, voltadas para estudantes do primeiro ano do Ensino Médio, visando o aprendizado de alguns assuntos abordados no trabalho.

Seja Cp um grupo cíclico de ordem p, onde p é um número primo tal que S = {1, , 1+\\theta, 1+\\theta+\\theta^2, · · · , 1 +\\theta + · · · + \\theta ^{p-3/2}} gera o grupo das unidades de Z[\\theta] e é uma raiz p-ésima primitiva da unidade sobre Q. No artigo \"Units of ZCp\" , Ferraz apresentou um modo simples de encontrar um conjunto de geradores independentes para o grupo das unidades do anel de grupo ZCp sobre os inteiros. Nós estendemos este resultado para ZCp^n , considerando que um conjunto similar a S gera o grupo das unidades de Z[\\theta]. Isto ocorre, por exemplo, quando \\phi(p^n)\\leq 66. Descrevemos o grupo das unidades de ZCp^n como o produto ±ker(\\pi_1) × Im(\\pi1), onde \\pi_1 é um homomorfismo de grupos. Além disso, explicitamos as bases de ker(\\pi_1) e Im(\\pi_1). / Let Cp be a cyclic group of order p, where p is a prime integer such that S = {1, , 1 + \\theta, 1 +\\theta +\\theta ^2 , · · · , 1 + \\theta + · · · +\\theta ^{p-3/2}} generates the group of units of Z[\\theta] and is a primitive pth root of 1 over Q. In the article \"Units of ZCp\" , Ferraz gave an easy way to nd a set of multiplicatively independent generators of the group of units of the integral group ring ZCp . We extended this result for ZCp^n , provided that a set similar to S generates the group of units of Z[\\theta]. This occurs, for example, when \\phi(p^n)\\leq 66. We described the group of units of ZCp^n as the product ±ker(\\pi_1) × Im(\\pi_1), where \\pi_1 is a group homomorphism. Moreover, we explicited a basis of ker(\\pi_1) and I m(\\pi_1).

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-09-05T12:56:54Z No. of bitstreams: 1 arquivototal.pdf: 2044930 bytes, checksum: 05bad0799c40d5bf256cf504f0a8b5ab (MD5) / Approved for entry into archive by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-09-05T15:29:04Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 2044930 bytes, checksum: 05bad0799c40d5bf256cf504f0a8b5ab (MD5) / Made available in DSpace on 2017-09-05T15:29:04Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 2044930 bytes, checksum: 05bad0799c40d5bf256cf504f0a8b5ab (MD5) Previous issue date: 2016-08-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / We will do here a theoretical study of the Discrete Fourier Transform on the finite circle ℤ/nℤ. Our main objective is to see if we can get properties analogous to those found in the Fourier transform for the continuous case. In this work we show that ℤ/nℤ has a ring structure, providing conditions for the development of extensively discussed topics in arithmetic, for example, The Chinese Remainder Theorem, Euler’s Phi Function and primitive roots, themes these to be dealt with in first chapter. The main subject of this study is developed in the second chapter, which define the space L2(ℤ/nℤ) and prove that this is a finite-dimensional inner product vector space, with an orthonormal basis. This fact is of utmost importance when we are determining the matrix and demonstrating the properties of the discrete Fourier transform. We will also make geometric interpretations of the Chinese Remainder Theorem and the finite circle ℤ/nℤ as well as give a graphical representation of the DFT of some functions that calculate. During the development of this study we will make recurrent use of definitions and results treated in Arithmetic, Algebra and Linear Algebra. / Faremos, aqui, um estudo teórico sobre a Transformada Discreta de Fourier no círculo finito ℤ/nℤ. Nosso principal objetivo é verificar se podemos obter propriedades análogas às encontradas nas transformadas de Fourier para o caso contínuo. Nesse trabalho mostraremos que ℤ/nℤ tem uma estrutura de anel, dando condições para o desenvolvimento de temas bastante discutidos na Aritmética como, por exemplo, o Teorema Chinês do Resto, função Phi de Euler e raízes primitivas, temas estes que serão tratados no primeiro capítulo. O assunto principal desse estudo é desenvolvido no segundo capítulo, onde definiremos o espaço L2(ℤ/nℤ) e provaremos que este é um espaço vetorial com produto interno, dimensão finita e uma base ortonormal. Tal fato será de extrema importância quando estivermos determinando a matriz e demonstrando as propriedades da transformada discreta de Fourier. Também faremos interpretações geométricas do Teorema Chinês do Resto e do círculo finito ℤ/nℤ assim como daremos a representação gráfica da DFT de algumas funções que calcularemos. Durante o desenvolvimento desse estudo faremos uso recorrente de definições e resultados tratados na Aritmética, Álgebra e Álgebra Linear.