Sumários
Aula 25
24 junho 2022, 08:30 • Pedro Resende
Elementos irredutíveis e elementos primos de um domínio integral. Equivalência destas noções em DIPs. Exemplo de anel no qual as duas noções não coincidem: Z[sqrt(–5)]. Domínios de factorização única (DFUs). Teorema: Qualquer DIP é um DFU. Exemplos de anel que é um DFU mas não um DIP: Z[x]. Equivalência entre elementos primos e elementos irredutíveis em UFDs. Exemplo de domínio integral que não é um DFU: Z[sqrt(–5)]. Exemplo de anel que é um DIP mas não um domínio Euclidiano (sem demonstração): o anel de inteiros quadráticos Z[w] com w igual a (1+sqrt(–19))/2.
Aula 24
22 junho 2022, 08:00 • Pedro Resende
Unicidade do máximo divisor comum em domínios integrais. Domínios de Bezout. Algoritmo de Euclides. Normas e domínios Euclidianos (DEs). Domínios de ideais principais (DIPs). Ideais primos de DIPs (ideais primos não nulos são maximais). Anéis de polinómios que são DIPs (R[x] é DIP sse é DE sse R é corpo). Anéis de inteiros quadráticos. Algoritmo de divisão do anel dos inteiros Gaussianos Z[i].
Aula 23
17 junho 2022, 08:30 • Pedro Resende
Divisibilidade em Z versus inclusão de ideais. Máximo divisor comum e lema de Bezout. Caracterização de corpos por meio de ideais. Ideais maximais e ideais primos, e sua relação com corpos e com domínios integrais. Exemplos em Z, Z[x], R^[0,1] e C([0,1], R). Ideais co-maximais. Teorema chinês do resto. Derivação das propriedades da função de Euler. Divisibilidade e máximo divisor em anéis comutativos arbitrários. Evaporação dos últimos 20 minutos de aula devido a um simulacro de incêndio que correu mal.
Aula 22
15 junho 2022, 08:00 • Pedro Resende
Teste 4 de avaliação contínua. Teoremas de isomorfismo 2, 3 e 4 para anéis. Ideais (esquerdos, direitos, e bilaterais) gerados por um subconjunto de um anel. Ideais principais e relação de divisibilidade num anel.
Aula 21
8 junho 2022, 08:00 • Pedro Resende
Ideais de anéis (à esquerda, à direita, e bilaterais). Quociente de um anel por um ideal. Propriedade universal do quociente. Primeiro teorema de isomorfismo para anéis. Reticulado de subgrupos aditivos de um anel. Álgebra de subgrupos. Reticulados de ideais (à esquerda, à direita e bilaterais). Ideal (X) gerado por um subconjunto X de um anel.