MINISTRIO DA EDUCAO

PLANO NACIONAL DE FORMAO DOS

PROFESSORES DA EDUCAO BSICA - PARFOR
DIRETORIA DE ENSINO SUPERIOR
L I CE N C I AT U R A E M M AT E M T I C A- P AR F O R

lgebra I

MINISTRIO DA EDUCAO
PLANO NACIONAL DE FORMAO DOS
PROFESSORES DA EDUCAO BSICA - PARFOR
DIRETORIA DE ENSINO SUPERIOR
L I CE N C I AT U R A E M M AT E M T I C A- P AR F O R

Apresentao
Caros alunos, Esta apostila foi elaborada para a disciplina de lgebra I, do
curso de Licenciatura em Matemtica do Instituto Federal de Educao, Cincia e
Tecnologia do Maranho IFMA campus Z Doca. Os objetivos principais desta
disciplina so o estudo de estruturas algbricas e das propriedades dos elementos de cada
estrutura algbrica.
O contedo est dividido em quatro captulos. Cada captulo est dividido
em sees, de acordo com os assuntos abordados, e termina com um resumo.
Os captulos 1, 2 e 3 so menos extensos, e por conta disto os exerccios
referentes a cada um destes captulos aparecem somente no final do respectivo captulo. O
captulo 4 mais extenso e por isso os exerccios deste captulo so colocados no final de
cada seo.
Os exerccios integram ao texto. indispensvel resolv-los. As dvidas
que surgirem podem ser sanadas com os colegas de curso ou com o professor da disciplina
que estar disponvel via e-mail.
O programa da disciplina foi desenvolvido de forma que iniciasse com os
conceitos bsicos e exigisse o mnimo de pr-requisitos. Todas as sees, com exceo da
primeira, utilizam conceitos e resultados das sees anteriores. Desta forma, nenhuma
parte deste material pode ser deixada de lado sem a possibilidade de prejuzo de
aprendizado.
Boa sorte e boa aprendizagem!
O autor

MINISTRIO DA EDUCAO
PLANO NACIONAL DE FORMAO DOS
PROFESSORES DA EDUCAO BSICA - PARFOR
DIRETORIA DE ENSINO SUPERIOR
L I CE N C I AT U R A E M M AT E M T I C A- P AR F O R

Introduo
Atualmente, quando estudamos conjuntos numricos, temos interesse em
conhecer as propriedades das operaes e relaes nestes conjuntos. Esta maneira de tratar
com conjuntos numricos teve incio com os trabalhos de Pitgoras de Samos, que viveu
no sculo VI a.C..
Pitgoras tinha conhecimento que os egpcios e babilnios faziam
clculos usando regras que eram passadas de gerao a gerao. Analisando tais regras, ele
considerou os nmeros como elementos abstratos (que no eram necessariamente
associados a problemas prticos que envolvessem medidas ou quantidades), e deduziu
propriedades das operaes entre estes elementos.
Para ter certeza dos resultados obtidos, Pitgoras aperfeioou a prova
cientfica ou prova matemtica, que tambm chamamos simplesmente de demonstrao. A
demonstrao matemtica inicia com uma verdade e atravs de argumentao lgica chega
a uma concluso inegvel. Esta a ferramenta fundamental para o estudo da matemtica.
Os conhecimentos sobre vrias reas da matemtica so formalizados
atravs do mtodo axiomtico, que consiste de conceitos primitivos e axiomas. Os
conceitos primitivos so termos aceitos sem explicao formal, e os axiomas so
proposies, envolvendo os conceitos primitivos, tomadas como verdadeiras por estarem
baseadas na intuio elementar. A partir dos axiomas provam-se novas proposies, e a
partir dos axiomas e das novas proposies provam-se outras proposies, e assim
sucessivamente se constri a teoria sobre determinado assunto.
A geometria foi o primeiro ramo da matemtica que teve sua teoria
construda de forma axiomtica. Isto se deve aos trabalhos de Euclides (sculo III a.C.)
publicados na obra Elementos.
A axiomatizao da lgebra ocorreu bem mais tarde. A primeira tentativa
foi feita pelo ingls Benjamin Peacok (1791-1858) em 1830, mas no se mostrou
consistente. Nesta poca poucos matemticos se dedicavam tentativa de axiomatizar
operaes em conjuntos de forma geral, pois o objetivo principal era obter a axiomatizao
dos conjuntos numricos , , , , e .
O conjunto dos nmeros complexos foi o primeiro a ter sua construo
descrita pelo mtodo axiomtico. Isso ocorreu em 1833, com trabalhos de Willian R.
Hamilton (1805-1865). O ltimo foi o conjunto dos nmeros naturais em 1899, graas
aos estudos de Giuseppe Peano.

MINISTRIO DA EDUCAO
PLANO NACIONAL DE FORMAO DOS
PROFESSORES DA EDUCAO BSICA - PARFOR
DIRETORIA DE ENSINO SUPERIOR
L I CE N C I AT U R A E M M AT E M T I C A- P AR F O R

Conjuntos com operaes que satisfazem axiomas determinados

previamente so chamados de estruturas algbricas. O conceito da estrutura algbrica
chamada anel, fundamental para a axiomatizao da lgebra, surgiu como conseqncia
da sistematizao dos conjuntos numricos. A definio formal de anel foi elaborada em
1914 pelo alemo A. Fraenkel (1891-1965).
A estrutura algbrica chamada anel o assunto da disciplina de lgebra
I. Veremos que um anel um conjunto no vazio onde esto definidas operaes que
satisfazem propriedades bem determinadas. Por exemplo, o conjunto dos nmeros inteiros
, com as operaes usuais de adio e multiplicao, um anel.
A definio de anel surge da necessidade de saber em quais conjuntos
temos boas propriedades aritmticas que permitem fazer contas. De outra forma, o
conceito de anel est relacionado com as seguintes perguntas: Qual o conjunto mnimo de
propriedades da adio e da multiplicao em , a partir do qual possvel demonstrar as
demais propriedades de ? Quais propriedades, as operaes de um conjunto A devem
satisfazer para que possamos fazer contas em A de forma semelhante a que fazemos em
?
As respostas para as perguntas acima levaram aos seis axiomas de anel.
Isto , um conjunto mnimo de propriedades que as operaes de adio e de multiplicao
em (e de qualquer outro conjunto com duas operaes) devem satisfazer para que
possamos deduzir outras propriedades.
Seja A um conjunto onde esto definidas duas operaes que satisfazem
os seis axiomas de anel. Chamaremos A de anel. Suponha que a partir dos seis axiomas de
anel consigamos provar outras quinze propriedades operacionais. Como usamos apenas os
seis axiomas de anel para deduzir estas quinze novas propriedades, elas valem no apenas
para A, mas para todo conjunto com duas operaes que satisfaam os seis axiomas de
anel.
Note que isso leva a uma mudana de enfoque. Deixamos de estudar um
conjunto baseado na natureza de seus elementos, e passamos a estud-lo com base nas
propriedades de suas operaes. Veremos que este procedimento til para obter
informaes sobre vrios conjuntos.
Existem vrias outras estruturas algbricas, mas neste curso trataremos
apenas com estruturas algbricas que so anis, ou que so anis e satisfazem novos
axiomas. Especificamente estudaremos as estruturas algbricas chamadas anis
comutativos, anis com unidade, anis comutativos com unidade, domnios e corpos.
No Captulo I definiremos formalmente as estruturas algbricas citadas
acima, veremos alguns exemplos e provaremos propriedades aritmticas comuns aos anis.

MINISTRIO DA EDUCAO
PLANO NACIONAL DE FORMAO DOS
PROFESSORES DA EDUCAO BSICA - PARFOR
DIRETORIA DE ENSINO SUPERIOR
L I CE N C I AT U R A E M M AT E M T I C A- P AR F O R

O Captulo seguinte trata de anis especficos. A saber, os anis de funes, os anis de

matrizes, os anis n e os anis produto direto. No Captulo III estudaremos subanis como
uma ferramenta para produzir novos anis, e trataremos de elementos especiais em anis.
O Captulo IV aborda os ideais como a famlia de subanis para a qual possvel construir
um anel quociente.