Polinômios
Definição 29.1 Seja um anel. Um polinômio sobre (ou polinômio com coeficientes em ) é uma expressão formal onde . O símbolo é uma incógnita. Por exemplo pode ser considerado como um polinômio sobre , ou . O conjunto de todos os polinômios na incógnita sobre é denotado por . Seja um polinômio como acima e assuma agora que . O termo é chamado termo líder de enquanto o coeficiente é o coeficiente líder. O número é dito o grau de e é denotado por . Um polinômio é dito mônico se o seu coeficiente líder é igual a . Para o polinômio estes termos não são definidos
Se então pode ser identificado com o elemento e assim os elementos de podem ser considerados como polinômios de grau zero em . Os polinômios de grau zero são também chamados de polinômios constantes.
Por exemplo considere onde O termo líder de é , o coeficiente líder é , o grau de é e não é mônico, pois seu coeficiente líder é diferente de .
Nesta disciplina, polinômios são considerados principalmente como expressões simbólicas e não como funções. No entanto, dado um polinômio e pode-se substituir em e obter . O elemento é dito raiz de se .
Podemos também definir a função polinomial No entanto, note que para um primo, e são dois polinômios distintos de , mas pelo Pequeno Teorema de Fermat, as funções são iguais. Assim, quando falamos de polinômios sobre um anel arbitrário, precisa-se distinguir entre o polinômio como expressão formal e a função polinomial.
O anel dos polinômios
Seja um anel e considere o conjunto dos polinômios sobre . Nós introduzimos duas operações e no conjunto . Sejam dados como onde . (Note que nós não assumimos que e ) então os graus de e podem não coincidir.) Defina onde
Exemplo 29.1 Considere e em . Então
Lema 29.1 Seja um anel e .
- ou .
- Se for um domínio, então e
Comprovação. A primeira afirmação segue da definição do produto. Assuma que é um domínio e sejam tais que com e com . Em particular, e e onde significa uma soma de termos de grau menor que . Como é um domínio, e temos que e que
Exemplo 29.2 É possível que o grau do produto seja estritamente menor que a soma dos graus. Considere por exemplo e em . Então , mas e assim
Teorema 29.1 Seja um anel. As seguintes afirmações são verdadeiras.
- é um anel com as operações de e entre polinômios.
- é um domínio se e somente se é um domínio.
- Se é um domínio, então os elementos invertíveis de são os elementos invertíveis de (considerados como polinômios de grau zero).
Comprovação.
Exercício.
Se é um domínio, então é domínio pelo lema anterior. Vice versa, se é um domínio e , então e podem ser considerados como elementos de grau zero em . Como é domínio, temos que e obtemos que também é domínio.
Seja um domínio. É fácil verificar que um elemento invertível é invertível em . Assuma que invertível. Então existe tal que . Daí temos que e Como os graus de e de são inteiros não negativos, segue que ou seja e com e . Portanto é um elemento invertível de .