Sumários

T11 Aula 11

6 Outubro 2025, 16:30 Isabel Maria André Ferreirim

Algoritmo de Euclides para determinação do mdc entre dois polinómios: um exemplo em Z_3[x]. 
Polinómios, com coeficientes num corpo, primos entre si. 
Elementos invertíveis (ou unidades) num anel de polinómios numa indeterminada: definição,
exemplos. 
Elementos irredutíveis: definição, exemplos, uma caracterização.


TP12 Aula 4

2 Outubro 2025, 13:30 Isabel Maria André Ferreirim

Folha 2 (anéis e polinómios): discussão e resolução dos exercícios 19, 22, 23, 25, 26, 27.


TP13 Aula 4

2 Outubro 2025, 13:30 Catarina Araujo de Santa Clara Gomes

Folha 2: discussão e resolução dos exercícios 19, 22, 23, 25, 27.


T11 Aula 10

2 Outubro 2025, 12:30 Isabel Maria André Ferreirim

A relação de equivalência  "associado de" num anel comutativo: definição e exemplos.
Divisibilidade. Máximo divisor comum de dois polinómios: demonstração da existência e unicidade;
alguns exemplos.
Algoritmo de Euclides para determinação do mdc entre dois polinómios: enunciado, um exemplo em Q[x].


T11 Aula 9

30 Setembro 2025, 15:30 Isabel Maria André Ferreirim

Se R é domínio de integridade também R[x] é domínio de integridade.
Algoritmo de divisão em R[x], sendo R anel comutativo: exemplos.

Enunciado de existência de algoritmo (parcial) de divisão, por um polinómio mónico, em R[x], sendo R anel comutativo e o divisor um polinómio mónico.

Algoritmo de divisão em F[x], sendo F um corpo.