Monic polynomial

Monic polynomial
Tag	`0BDX4MBKT4`
URI	`m2://0BDX4MBKT4`
Kind	definition
Writing	W1 stated
MSC	13F20
Defines	Monic polynomial
Uses	Leading coefficient

Markdown · JSON · Edit

Definition

Let $R$ be a ring. A polynomial $f \in R[x]$ is monic if its leading coefficient is $1$ .

Remarks

The polynomial $x^2 - 2$ is monic, and $2x^2 - 1$ is not. In a nonzero ring, a monic polynomial is not zero. The product of two monic polynomials is monic, over every commutative ring. Over a field, each nonzero polynomial is a constant times exactly one monic polynomial.

Explanations

L1 human

A monic polynomial starts with $x^d$ , with no number in front. Over a field, you can make any nonzero polynomial monic by dividing by its leading coefficient.

What this node needs for W2

edge instance_of in: one example (0 of 1)
edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 6 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.

no evidence level

Group concept
Ring definition
Polynomial ring definition
Degree of a polynomial definition
Leading coefficient definition
Monic polynomial definition

What depends on this

36 nodes use this node, directly or through other nodes.

Uniqueness of finite fields of a given order 010PKCQPXP
Existence of splitting fields 01441KDGBY
Uniqueness of the algebraic closure 01VQ7C4FTB
Galois field 04SGPNT8R9
Uniqueness of splitting fields 069A3BC3EP
The minimal polynomial divides every polynomial vanishing at the element 06K7SARZKR
K[x]/(f) is a field iff f is irreducible 0AWMPX35CW
Order of the Galois group of a Galois extension equals its degree 0BDJBH8B4Z
Finite subgroups of the multiplicative group of a field are cyclic 0CKGBEJX6B
Impossibility of doubling the cube 0CQ357M0QS
K[x] is a Euclidean domain 0DQG39K2NH
Galois extension 0DS2F7GK05
The multiplicative group of a finite field is cyclic 0EBZ3G455G
Impossibility of trisecting the angle 0EWXPZCSZ0
Minimal polynomial of an algebraic element 0GK1WB9R98
Factor theorem 0K3MWA7DMC
A polynomial over a field has at most as many roots as its degree 0KJVQV3E0F
Reduction modulo p test for irreducibility 0KWWEXW0RN
Adjoining a root of a polynomial 0M893X7YY7
Division algorithm for polynomials 0MES3KS0ZC
Separable extension 0N019F6RE9
Degree of a simple extension is the degree of the minimal polynomial 0N5QW9K7MH
The minimal polynomial is irreducible 0NFEG48RDR
Irreducibility of the cyclotomic polynomials over the rationals 0SK1VHZ5R2
The degree of a constructible number is a power of two 0SSSM1D475
Primitive element theorem 0SVX98HYV1
Fundamental theorem of Galois theory 0T1Q8D0FW8
Existence of finite fields of every prime power order 0T8M3YC5RG
Remainder theorem 0TEDQH56RW
Every polynomial has a root in some extension field 0VG02M1FEZ
Polynomials of degree two or three are irreducible iff they have no roots 0VNE161QCK
Cyclotomic polynomial 0W0KVBM54S
Impossibility of squaring the circle 0X7CVDE3BG
Gauss–Wantzel theorem 0Y34JMJNE9
Primitive element of a finite field 0YAA9CJQXF
K(a) is isomorphic to K[x] modulo the minimal polynomial 0ZN39QDTP9