UNIVERSIDADE FEDERAL DE PERNAMBUCO

CURSO DE BACHARELADO EM MATEMTICA

CCEN
PROGRAMA DA DISCIPLINA:
LGEBRA 1 - 2015.2
CARGA HORRIA: 90 HORAS; CRDITOS: 6
PROFESSOR: MARCO BARONE
Reviso de conjuntos e funes (reviso rpida da linguagem bsica: esta parte no cobrada na prova, mas seu domnio imprescindvel e dado por
garantido por mim, por isto saibam que se algum tiver problemas com algum desses assuntos ter um trabalho extra inicial, porque erros ou dvidas sobre
estas noes bsicas a essa altura do curso de graduao no so aceitveis):
-Conjuntos (definies, subconjuntos, unio e interseo, famlias indexadas, partes, produtos.
-Relaes binrias: de ordem, de equivalncia (classes); relaes como subconjuntos do produto.
-Formulao lgica: definio, teorema (hiptese e tese), prova (ex. por contradio); quantificadores, variveis livres e vinculadas.
-Funes: definies (domnio e contradomnio, grfico como subconjunto do produto). Injetoras sobrejetoras, inversas e testes relativos. Imagem e pr-imagem,
composio, restrio.
-Operaes binrias; operaes como funes. Propriedades. As estruturas algbricas: grupos e anis (definies e primeiras noes, que sero retomadas).
Os inteiros (Primeira unidade):
-O princpio da boa ordenao (princpio do menor inteiro) e o princpio de induo.
-Os coeficientes binomiais, sua interpretao, o tringulo de Pascal e o teorema do binmio de Newton.
-Divisibilidade nos inteiros e suas propriedades, nmeros primos e teoremas, fatorao em Z, nmeros coprimos, mmc e MDC. Lema de diviso em Z. Algoritmo
euclidiano. Equaes diofantinas.
-Congruncias em Z e suas propriedades: os critrios de divisibilidade; o teorema de Fermat. Classes de congruncia, definio de Z_m e reformulao de Fermat.
Estruturas algbricas (Segunda unidade):
-Definio de anel: unitrio, comutativo, exemplos; propriedades, convenes e regras de clculo; subanis, exemplos. Divisores do zero e elementos invertveis:
domnios e corpos. Produtos.
-Acrescentar uma raiz quadrada a um anel: funo norma e conjugado, nmeros complexos e inteiros Gaussianos. Condio para tais anis serem domnios ou corpos.
Quadrados em um corpo.
-O corpo complexo: ngulos, coordenadas polares, teorema de De Moivre e frmulas de adio, razes n-simas da unidade.
-Grupos (abelianos), subgrupos, congruncia mdulo um subgrupo, grupo quociente e caracterizao de seus subgrupos. Produtos, grupos cclicos e geradores. O
teorema do resto chins. Teorema de Lagrange e sua aplicao ao grupo multiplicativo de um anel: o teorema de Euler. Existncia da raiz quadrada de -1 e teorema de
Wilson.
-Ideais, exemplos, propriedades, anis quociente. Ideal principal e ideal gerado. Ideais primos, maximais e propriedades do quociente. Caracterstica de um anel.
Corpo quociente (ou de fraes) de um domnio.
-Homomorfismos de grupos e de anis comutativos: ncleo, imagem, teorema de isomorfismo. Exemplos.
Anis euclidianos e exemplos principais: os inteiros gaussianos e os polinmios (Terceira unidade):
-Divisibilidade em um domnio e suas propriedades, elementos irredutveis e associados.
-Definio de anl (ou domnio) euclidiano, exemplos; definio e existncia do MDC. Domnios com ideais principais. O MDC como gerador.
-Decomposio em elementos irredutveis. Os anis fatoriais.
-Os inteiros gaussianos: caracterizao dos irredutveis e a soma de dois quadrados.
-Os anis de polinmios em uma varivel: definies, elementos invertveis e propriedades do grau. Os polinmios com coeficientes em um corpo. As razes.
Polinmios e funes polinomiais. Polinmios complexos e o teorema fundamental da lgebra. Polinmios reais, suas razes e critrios de irredutibilidade. Polinmios
racionais, suas razes e critrios de irredutibilidade. Irredutibilidade em corpos finitos. Quocientes de anis de polinmios.
Bibliografia:
Curso de lgebra vol. 1, Abramo Hefez, CMU IMPA.
Introduo lgebra, Adilson Gonalves SBM Coleo Projeto Euclides
Estruturas Algbricas, Serge Lang, Mcgraw-Hill
Tpicos de lgebra, I.N. Herstein, Univ. de So Paulo Editora
Fields and Galois theory, Patrick Morandi, Springer Verlag

Boa parte dos contedos se encontra nos livros de Abramo Hefez e Adilson Gonalves: a parte sobre os inteiros mais ou menos dividida entre os dois, para a parte
terica sobre os anis o aluno pode se referir ao livro de Gonalves e para nmeros complexo e inteiros Gaussianos ao livro de Hefez. A primeira parte sobre as
definies das estruturas algbricas ou a parte sobre grupos abelianos at o teorema de Euler, podero ser antecipadas primeira unidade.
No final de cada assunto sero indicados exerccios referentes ao mesmo. fundamental acompanhar o curso constantemente. Uma porcentagem de 75% de presena
poder ser cobrada.
Horrio:
Segunda-feira 13:00-15:00, quarta-feira 15:00-17:00, sexta-feira 13:00-15:00.