Salomon's Theorem for polynomials with several parameters
Page 1
Maria Frontczak, Przemysław Skibiński, Stanisław Spodzieja (1999)
Colloquium Mathematicae
Michael D. Fried, Ivica Gusić (2012)
Acta Arithmetica
Andrzej Schinzel (1995)
Banach Center Publications
Christoph Schwarzweller, Artur Korniłowicz (2016)
Formalized Mathematics
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.
Anca Iuliana Bonciocat, Nicolae Ciprian Bonciocat (2006)
Acta Arithmetica
Manfred Knebusch (1973)
Acta Arithmetica
Pierre Liardet (1975/1976)
Séminaire Delange-Pisot-Poitou. Théorie des nombres
R. Radau (1869)
Nouvelles annales de mathématiques : journal des candidats aux écoles polytechnique et normale
Salah Najib (2004)
Acta Arithmetica
Mohamed Ayad (2002)
Acta Arithmetica
Pierre LIARDET (1971/1972)
Seminaire de Théorie des Nombres de Bordeaux
Page 1