MAT5734
e MAT0501 - Aneis e Módulos
OBJETIVOS:
Introduzir
a noção de módulo e aplicar o teorema de estrutura para módulos
finitamente gerados sobre um domínio principal para
descrever a estrutura dos grupos abelianos finitamente
gerados e para determinar asformas canônicas de endomorfismos sobre
espaços vetoriais de dimensão finita.
CONTEÚDO:
- Anéis, sub-anéis, homomorfismos, unidades, divisores de zero, elementos nilpotentes, elementos idempotentes.
- Anéis de matrizes, álgebras, anéis com divisão, domínios de integridade.
- Ideais, produtos, quocientes. Teoremas de isomorfismo.
- Módulos, sub-módulos, homomorfismos, independência linear, produtos, quocientes, somas diretas. Teoremas de isomorfismo.
- Ideais a esquerda e a direita. O radical de um anel. Lema de Nakayama.
- Sequências exatas. Módulos livres, projetivos, injetivos. Os funtores Hom e Produto Tensorial.
- Módulos e anéis semisimples. Teorema de Wedderburn-Artin.
- Domínios principais, diagonalização de matrizes sob equivalência, fatores invariantes. Teorema de estrutura para módulos finitamente gerados. Aplicação aos casos Z e K(x) (forma de Jordan).
- Anéis e módulos artinianos e noetherianos. Módulos de comprimento finito. Teoremas de Jordan-Holder, Fitting e Krull-Schmidt.
CARGA HORÁRIA SEMANAL E NÚMERO DE CRÉDITOS:
4 horas, 4 créditos.
CRITÉRIO DE AVALIAÇÃO DA APRENDIZAGEM:
Média
ponderada de provas e
exercícios. Serão realizadas duas provas. A primeira prova será o dia 3/10/2018 e
a segunda o dia 21/11/2018. A prova substitutiva será o dia 28/11/2018,
de toda a disciplina; esta prova é semi-aberta, isto é se
fizer vai substituir obrigatoriamente uma das duas provas do
semestre.
BIBLIOGRAFIA BÁSICA:
- JACOBSON, N. Basic Álgebra I e II. San Francisco, W.H. Freeman, c1974. 2v.
- POLCINO MILIES, F.C. Anéis e Módulos. São Paulo, IME-USP, 1972. 199p. (Publicações do Instituto de Matemática e Estatística da Universidade de São Paulo).
- RIBENBOIM, P. Rings and Modules. New York, Interscience, c1969. 162p. (Interscience Tracts in Pure and Applied Mathematics, 24).
- Lam, T. Y. A First Course in Non-commutative Rings, 2nd ed., Springer-Verlag, New York, 2001
- Polinômios e seus automorfismos. (Trabalho em grupo).
- Every finite strictly power-associative division ring is a field (First theorem). (Trabalho em grupo).
- Exercícios 1.
- Exercícios 2.