Seja p um primo, considere q = pe com e ≥ 1 inteiro. Dado o polinômio f (x) = x4+ax3+bx2+ cx+d ∈ Fq[x], consideremos o polinômio F(T) = T4 +aT3 +bT2 +cT + d - y ∈ Fq(y)[T], com y = f (x) sobre Fq(y). O objetivo desse trabalho é determinar o número de polinômios f (x) que tem seu grupo de galois associado GF isomorfo a cada subgrupo transitivo (prefixado) de S4. O trabalho foi baseado no artigo: Galois closures of quartic sub-fields of rational function fields, usando equações auxiliares associadas ao polinômio minimal F(T) de graus 3 e 2 (DUMMIT, 1994); bem como uma caraterização das curvas projetivas planas de grau 2 não singulares. Se car(k) ≠ 2, associamos a F(T) sua cúbica resolvente RF(T) e seu discriminante ΔF. Em seguida obtemos condições para GF ≅ C4 (vide Teorema 2.9), que é ocaso fundamental para determinação dos demais casos. Se car(k) = 2, procuramos determinar condições para GRF ≅ A3, associando ao polinômio RF(T) sua quadrática resolvente P(T) (vide a Proposição 2.13). Apos ter homogeneizado P(T), usamos uma das consequências do teorema de Bézout, a saber, uma curva algébrica projetiva plana C de grau 2 é irredutível se, e somente se, C não tem pontos singulares. Nesta dissertação obtemos resultados semelhantes com uma abordagem relativamente diferente daquela usada pelo autor R. Valentini. / Let be p a prime, q = pe whit e ≥ 1 integer. Let a polynomial f (x) = x4+ax3+bx2+cx+d ∈ Fq[x], considering the polynomial F(T)=T4+aT3+bT2+cT +d, with y= f (x) over Fq(y)[T]. The purpose of the current research is to determine the numbers of polynomials f (x) which have its associated Galois group GF, this GF is isomorphic for each transitive subgroup (prefixed) of A4. This project is based on the article: Galois closures of quartic sub-fields of rational function fields, using auxiliary equations associated to the minimal polynomial F(T) of degrees 3 and 2 (DUMMIT, 1994); besides a characterization of non-singular projective plane curves of degree 2 was used. If car(k) ≠ 2, associated to F(T) the resolvent cubic RF(T) and its discriminant ΔF then conditions for GF are obtained as GF ≅ C4 which is the fundamental case for determining the other cases (Theorem 2.9). If car(k) = 2, to find conditions for GRF ≅ A3, associated to the polynomial RF(T) its resolvent quadratic p(T) (Proposition 2.13). Homogenizing p(T), one of the consequences of the Bezout theorem was applied. It is, a projective plane curve C, which grade 2, is irreducible if and only if C is smooth. In the current dissertation, similar results were obtained using a different approach developed by the author R. Valentini.

Orientadores: Fernando Eduardo Torres Orihuela, Herivelto Martins Borges Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-19T05:54:38Z (GMT). No. of bitstreams: 1 Ribeiro_BeatrizCasularidaMotta_D.pdf: 51476410 bytes, checksum: 46cb0c7a6206a5f0683b23a73ff3938e (MD5) Previous issue date: 2011 / Resumo: Obtemos novos arcos completos associados ao conjunto de pontos racionais de uma certa generalização da curva Hermitiana que é Frobenius não-clássica. A construção está relacionada ao cálculo do número de pontos racionais de uma classe de curvas de Artin-Schreier / Abstract: We obtain new complete arcs arising from the set of rational points of a certain generalization of the Hermitian plane curve which is Frobenius non-classical. Our construction is related to the computation of the number of rational points of a class of Artin-Schreier curves / Doutorado / Matematica / Doutor em Matemática

In the present work is presented a brief data collection about the history of prime numbers and how this subject is shown in the new scenario brought by BNCC (Common Curricular National Base) . It was proved the Fundamental Arithmetic Theorem and it was presented two important ways to calculate that are the Congruence and the Fermet Theorem. It is given a teaching method and a differentiated material to be used in class. / Neste trabalho é apresentado um breve levantamento da história dos números primos e de que maneira o assunto acerca desses números aparecem no novo cenário trazido pela BNCC. Provamos o Teorema Fundamental da Aritmética e apresentamos duas ferramentas importantes de cálculo, que são as Congruências e o Pequeno Teorema de Fermat. Apresentamos ainda uma proposta didática e um material diferenciado para ser utilizado em sala de aula.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-20T19:33:13Z No. of bitstreams: 1 CRISTOVÃO MÁCIO DE OLIVEIRA LIMA FILHO - DISSERTAÇÃO PPGEE 2010..pdf: 2095765 bytes, checksum: 1c2232fd0f1557df7308e04bad6426c2 (MD5) / Made available in DSpace on 2018-08-20T19:33:13Z (GMT). No. of bitstreams: 1 CRISTOVÃO MÁCIO DE OLIVEIRA LIMA FILHO - DISSERTAÇÃO PPGEE 2010..pdf: 2095765 bytes, checksum: 1c2232fd0f1557df7308e04bad6426c2 (MD5) Previous issue date: 2010-06-09 / Esta dissertação descreve o desenvolvimento de um leiaute de uma nova arquitetura de multiplicador em corpos finitos baseada no multiplicador de Mastrovito. Tal arquitetura tem como unidades de processamento as portas de limiar linear, que é o elemento básico de uma rede neural discreta. As redes neurais discretas implementadas com portas de limiar linear permitem reduzir a complexidade de certos circuitos antes implementados com lógica tradicional (Portas AND, OR e NOT). Com isso, a idéia de estender o uso de portas de limiar linear em operações aritméticas em corpos finitos se torna bastante atraente. Assim, para comprovar de forma prática, a eficiência das portas de limiar linear, a arquitetura de um multiplicador em GF(24), proposta em (LIDIANO - 2000), foi implementada utilizando as ferramentas de desenho de leiaute de circuito integrado da Mentor Graphics®. Os resultados da simulação do leiaute do circuito integrado do multiplicador em GF(24) são apresentados. Os mesmos indicaram um desempenho abaixo do esperado, devido a complexidade espacial do multiplicador em GF(2n) com 4=n não ser suficiente para que as vantagens da implementação com portas de limiar linear sejam visualizada. / This dissertation describes the development of a layout of new multiplication architecture in Galois field based on the Mastrovito multiplier. The processing unit of this new architecture is a threshold logic gate, which is a basic element of a discrete neural network. The discrete neural network built with threshold logic gates allow reduce de complexity of a certain circuits once built using traditional boolean gates (AND, OR and NOT). Therewith, the idea of extending the advantages of the threshold logic gates for arithmetic operations in Galois field to become very attractive. Thus, to confirm into practice form, the advantages of the threshold logic gates, a multiplier architecture in GF(24), proposed in (LIDIANO - 2000), was implemented using the integrated circuit layout tools of Mentor Graphics®. The results from simulations of the layout of multiplier in GF(24) are presented. These results indicated a low performance, due to the space complexity of GF(2n) multiplier with n = 4 is not enough for show the advantages of the multiplier implementation with threshold logic gates.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this study we are evaluating the modular congruencies related to some of its application fields. Another important aspect explored is the existing relationship between the modular congruencies and the finite fields. We will show among other results that the structure of a finite field is completely determined by its cardinality. We will also display a ludic application for the finite field through the so called solitary games. / Neste trabalho estudamos as congruências modulares com vistas a algumas de suas aplicações. Outra vertente explorada é o entrelaçamento existente entre as congruências modulares e os corpos finitos. Mostraremos, entre outros resultados, que a estrutura de um corpo finito é completamente determinada por sua cardinalidade. Também exibiremos uma aplicação curiosa para os corpos finitos através do chamado jogo do solitário (ou, resta um).

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-15T15:24:51Z No. of bitstreams: 1 oscarjhoanpalaciomarin.pdf: 723203 bytes, checksum: d8ac71f1e1162340ce21f336196d0070 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-16T13:02:45Z (GMT) No. of bitstreams: 1 oscarjhoanpalaciomarin.pdf: 723203 bytes, checksum: d8ac71f1e1162340ce21f336196d0070 (MD5) / Made available in DSpace on 2016-08-16T13:02:45Z (GMT). No. of bitstreams: 1 oscarjhoanpalaciomarin.pdf: 723203 bytes, checksum: d8ac71f1e1162340ce21f336196d0070 (MD5) Previous issue date: 2016-06-23 / Nesse trabalho, estamos interessados, especialmente, nas propriedades de duas classes de Códigos Corretores de Erros: os Códigos Hermitianos e os Códigos Hermitianos Generalizados. O primeiro é definido a partir de lugares do corpo de funções Hermitiano clássico sobre um corpo finito de ordem quadrada, já o segundo é definido a partir de uma generalização desse mesmo corpo de funções. Como base para esse estudo, apresentamos ainda resultados da teoria de corpos de funções e outras construções de Códigos Corretores de Erros. / Inthisworkweinvestigatepropertiesoftwoclassesoferror-correctingcodes,theHermitian Codes and their generalization. The Hermitian Codes are defined using the classical Hermitian curve defined over a quadratic field. The generalized Hermitian Codes are similar, but uses a generalization of this curve. We also present some results of the theory of function fields and other constructions of error-correcting codes which are important to understand this work.

Orientador: Paulo Roberto Brumatti / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-18T19:35:36Z (GMT). No. of bitstreams: 1 Negreiros_DiogoBrunoFernandes_M.pdf: 5674415 bytes, checksum: bdd28225d3cc5505f91fd61e797f2794 (MD5) Previous issue date: 2011 / Resumo: Este texto tem como objetivo o estudo de um tipo de código que possui relações com as teorias de curvas algébricas e de formas quadráticas. Começaremos introduzindo as definições e resultados sobre as três teorias que serão necessárias a este estudo. Depois apresentaremos os códigos a serem estudados bem como as relações entre seus sub-códigos e curvas algébricas e entre suas palavras e formas quadráticas. Observando que sub-códigos de peso mais baixo correspondem a curvas com mais pontos, nos dedicaremos a obter um processo para a descoberta de sub-códigos de peso mínimo dentro deste tipo de código. Tal processo será possível através de investigações sobre as formas quadráticas associadas a palavras. Finalizaremos com exemplos de aplicações do processo em alguns códigos, o que permite também calcular seus pesos de Hamming generalizados de ordem mais baixa / Abstract: This text's objective is the study of a kind of code wich has relations with the theories of algebraic curves and quadratic forms. We start by introducing definitions and results about the three theories we will need in such study. Later, we present the codes wich will be studied along with relations between its subcodes and algebraic curves and between its words and quadratic forms. Noting that lower weight subcodes correspond to curves with more points, we research a process to find minimum weight subcodes in this kind of code. This process will be possible through investigations on the quadratic forms related to words. Finally we set examples of applications of the process on some codes, and that gives us their lower order generalized Hamming weights / Mestrado / Matematica / Mestre em Matemática

Orientador: Plamen Emilov Kochloukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-20T11:39:36Z (GMT). No. of bitstreams: 1 Reis_JulioCesardos_D.pdf: 2452563 bytes, checksum: 63f8b1d463a36f74d57c1d71769dc9ae (MD5) Previous issue date: 2012 / Resumo: Na presente tese, fornecemos bases das identidades polinomiais graduadas de...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this PhD thesis we give bases of the graded polynomial identities of...Note: The complete abstract is available with the full electronic document / Doutorado / Matematica / Doutor em Matemática

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work we present the determination of the second Hamming weight of generalized Reed- Muller codes in most cases (see Teorema 4.6). Our main reference is [13], although we have also used results from [3] and [5]. In the first chapter we describe finite fields e we show how they can be constructed. In chapter 2 we present the basics of coding theory. We define what are error correcting codes, the Hamming metric, the parameters of a code, the equivalence of codes through the concept of isometry, and we briefly present generalized Reed-Muller codes and their parameters. In chapter 3 we present some results from Grobner bases theory and the definition of Affine Cartesian codes, which generalize the generalized Reed-Muller codes. we use tools from Grobner bases theory to determine the dimension and the minimum distance of Affine Cartesian codes. We finish our work in chapter 4, with the determination of the second Hamming weight for generalized Reed-Muller codes in most cases. / Nesse trabalho apresentamos o cálculo do segundo peso de Hamming de códigos de Reed-Muller generalizados na maioria dos casos (v. Teorema 4.6). Nossa referência principal sera [13], embora tenhamos utilizado também resultados de [3] e [5]. No primeiro capítulo descrevemos os corpos finitos e mostramos como podem ser construídos. No capítulo 2 apresentamos os conceitos básicos da teoria de códigos. Nele, definimos o que são os códigos corretores de erros, a métrica de Hamming, os parâmetros de um código, a equivalência de códigos através da noção de isometria, bem como uma breve apresentação dos códigos de Reed-Muller generalizados e seus parâmetros. No capítulo 3 sao apresentados alguns resultados da teoria de Bases de Grobner e a definição dos Códigos Cartesianos Afins, que são uma generalização dos códigos de Reed-Muller generalizados. Usamos ferramentas da teoria de bases de Grobner para determinar a dimensão e distância mínima de Códigos Cartesianos Afins. Para finalizar nosso trabalho, no capítulo 4 determinamos o segundo peso de Hamming do Código de Reed-Muller generalizado na maioria dos casos. / Mestre em Matemática