Czasopismo
Tytuł artykułu
Warianty tytułu
Języki publikacji
Abstrakty
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.
Słowa kluczowe
Wydawca
Czasopismo
Rocznik
Tom
Numer
Strony
227-237
Opis fizyczny
Daty
wydano
2016-09-01
otrzymano
2016-06-30
online
2017-02-08
Twórcy
autor
- Institute of Computer Science University of Gdansk,
autor
- Institute of Informatics University of Białystok,
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.doi-10_1515_forma-2016-0019