<abstract xmlns="http://www.w3.org/1999/xhtml"><p> In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/&lt;p> is isomorphic to the field of polynomials with degree smaller than the one of p.</p></abstract>

In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/<p> is isomorphic to the field of polynomials with degree smaller than the one of p.

Some Algebraic Properties of Polynomial Rings

Institute of Computer Science University of Gdansk,

Institute of Informatics University of Białystok,

Formalized Mathematics

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License

{"article-title":"Some Algebraic Properties of Polynomial Rings"}

In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic polynomials we present the canonical embedding of R into R[X] and deal with both unit and irreducible elements. We also define polynomial GCDs and show that for fields F and irreducible polynomials p the field F[X]/ is isomorphic to the field of polynomials with degree smaller than the one of p.

In this article we extend the algebraic theory of polynomial rings, formalized in Mizar [1], based on [2], [3]. After introducing constant and monic...

Some Algebraic Properties of Polynomial Rings

Publicado en línea: 21 feb 2017

Páginas: 227 - 237

Recibido: 30 jun 2016

DOI: https://doi.org/10.1515/forma-2016-0019

Palabras clave
polynomial, polynomial ring, polynomial GCD

© by Christoph Schwarzweller

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License

Some Algebraic Properties of Polynomial Rings

Publicado en línea: 21 feb 2017

Páginas: 227 - 237

Recibido: 30 jun 2016

DOI: https://doi.org/10.1515/forma-2016-0019

Palabras clavepolynomial, polynomial ring, polynomial GCD

© by Christoph Schwarzweller

This work is licensed under version 3.0 of the Creative Commons Attribution–ShareAlike License

Palabras clave
polynomial, polynomial ring, polynomial GCD