1
vote
2answers
43 views

Characterizing kernel of ring morphism

Let $K$ be a field and define a ring morphism $\psi: K[x_1,x_2, \dots , x_n, y_1, y_2, \dots , y_n] \rightarrow K(x_1,x_2, \dots , x_n)$ by $\psi(x_i) =x_i$ and $\psi(y_i) =\frac{1}{x_i}$. I think ...
3
votes
1answer
35 views

Proper Field extensions

Given a field $F$, is there a proper field extension $K$ such that any root in $K$ of a polynomial in $F[X]$ is in $F$? Note: I am not looking for the algebraic closure of $F$. One candidate is the ...
1
vote
2answers
62 views

Find a generator for an ideal in $\mathbb{Q}[T]$

Let $I$ be the ideal in $\mathbb{Q}[T]$ generated by $L=\{T^{2}-1, T^3-T^2+T-1,T^4-T^3+T-1\}$. Find $f\in\mathbb{Q}[T]$ such as $(f)=f\mathbb{Q}[T]=I$. The book solution proves that $I\subseteq ...
1
vote
3answers
37 views

Find isomorphism between $\mathbb{Q}[T]/(T^2+3)$ and $\mathbb{Q}[T]/(T^2+T+1)$

The books states that the isomorphsim is $g(T)=2T+1$ and the identity when restricted to $\mathbb{Q}$. I would like some help to understand what the process is to find $g$.
1
vote
0answers
36 views

Irreducible polynomial

Does there exist an irreducible polynomial over a field K with two roots $a,b$ and $k\in K$ such that $a=b+k$ ? This can't happen if K is of characteristic $0$ , but can it happen if K is of ...
1
vote
1answer
43 views

Chinese remainder theorem for polynomial evaluation

Let $R$ be a euclidean domain, $m_0,\ldots ,m_{k-1}\in R$ be pairwise coprime and $m:=m_0\cdots m_{k-1}$. The Chinese remainder theorem states: $$\varphi:R\to R/(m_0)\times\cdots \times ...
1
vote
0answers
45 views

Discriminant of $4g+h^2$

Suppose we have two polynomials $g,h\in \mathbb Z[x]$ with $\deg g = 2k+1 =:n$ and $\deg h=k$. As an example, take $g=x^7+2x^6+x+2$, $h=x^3+x+7$. My question is: Why does the discriminant of ...
0
votes
1answer
36 views

Notation for vector space of polynomials of bounded degree

Is there standard notation for the vector space of polynomials in $n$ variables with coefficients in a field $F$ and with degree at most $D$? Without bounding the degree, it is $F[x_1, \ldots, x_n]$. ...
0
votes
4answers
67 views

What happens if the coefficients of polynomials are not taken from a field of real numbers?

I saw in my abstract algebra textbook that defines the gcd of a polynomial over a field (i.e. the coefficients of the polynomial is taken from a field). My question is that what happens if the field ...
1
vote
1answer
30 views

When a given ideal is a radical ideal

I am wondering if there are any canonical methods for checking whether a given ideal is radical. For example, I got stuck on the following example: Let $f=x+2y-z$ and $g=z-2w$ and let $I$ and $J$ be ...
3
votes
0answers
33 views

Detect cyclotomic polynomials

I was reading this question: When does a polynomial divide $x^k - 1$ for some $k$? I followed the procedure given by Bill Dubuque in his answer (the "Graeffe" method) for the polynomial $f(x) = x+1$. ...
1
vote
1answer
68 views

Using resultants to check if multivariate polynomials have a common factor - is my proof correct?

Proposition: Let $f, g \in \mathbb R[x,y,z]$. Then the condition that $f, g$ have a common polynomial factor is an algebraic condition on their coefficients. By algebraic condition, I mean there is a ...
0
votes
1answer
40 views

Remainder theorem for a real polynomial [closed]

A certain polynomial $p(x)\in\mathbb R[x]$, when divided by $x-a$, $x-b$, $x-c$ gives remainders $a$, $b$, $c$, respectively. How can I find the remainder when $p(x)$ is divided by $(x-a)(x-b)(x-c)$ ...
1
vote
2answers
28 views

Do polynomials $ P(t)$ of an odd degree have at least one real root belong to $(t-a)Q(t)$?

This is a continuation of a question where ker(T) = (t-a)Q(t) = P(t). Show that {P(t) ∈ R[t] | deg(P(t)) = 3} ⊂ $∪_{a∈R}$ker(T). So the mark scheme says that all polynomials in R[t] of an odd ...
1
vote
3answers
47 views

The number of ideals in the quotient ring $\mathbb R[x]/\langle x^2-3x+2 \rangle$ [duplicate]

Finding the number of ideals in the quotient ring $\mathbb R[x]/\langle x^2-3x+2 \rangle$. Attempt: $R[x]/\langle x^2-3x+2 \rangle = \{f(x)+\langle x^2-3x+2 \rangle~~|~~f(x) \in R[x]\}$. Since ...
0
votes
0answers
10 views

For what values of λ is this family free (independent), spanning and a basis of R[t]≤3

The family of polynomials $F$ = {${(λ^2 − 1)t^3 + t^2, λt^3 + t − λ, (1 − λ)t^3 + t + 1, λ}$} in $R[t]_{≤3}$ I set their sum to 0 to find the values for it to be independent. $a((λ^2 − 1)t^3 + t^2) ...
3
votes
2answers
157 views

Discriminant of $x^n-1$

Question is to find discriminant of polynomial $x^n-1$ I consider $f(x)=x^n-1=(x-a_1)(x-a_2)(x-a_3)\cdots(x-a_n)$ Now, ...
-1
votes
2answers
25 views

Multiplicity of roots in finite fields of order prime. [closed]

I am having trouble with completing this question from last years exam (part a and d) Let p be a prime, and $f = x^5-1 = (X-1)(X^4+X^3+X^2+X+1) \in \mathbb{F}_p[X]$ Show: (a) if $p\neq 5$ then every ...
3
votes
2answers
39 views

Degree of Field Extension over $\mathbb{F}_2$

While studying for quals, this question came up: Let $K = \mathbb{F}_2$, and $\alpha^{17} = 1$ where $\alpha \in \overline{K}$. If $\alpha \neq 1$ then $K(\alpha)/K$ has degree $8$. This ...
0
votes
1answer
43 views

The ring of fractions $K(x)$ is the field generated by $K$ and $x$.

I would like to show that the ring of fractions $K(x)$ of $K[x]$ in an extension $L$, where $K\subset L$ fields, is the field generated by $K$ and $x$ (let's call it by $\tilde{K(x)}$). I know just ...
0
votes
2answers
19 views

Rational functions are decomposed in polynomial products

I'm trying to understand why this is true: Since $K(x)$ is a field, $K(x)$ is an UFD, then $K(x)$ can be written uniquely as products of irreducible elements of $K(x)$. I didn't understand why ...
0
votes
1answer
20 views

Euclidean division - For what values of a, does the polynomial g(t) get divided by f(t) in the complex ring

They want to find the values of a where g(t) can be divided by f(t). $f(t) = t^2 + it − ai$ $g(t) = t^4 + (1 − i)t^3 + (1 − 2i)t^2 − 3at − (4 + 2i)a$ Euclidean algorithm: $g(t) = f(t)q(t) + ...
5
votes
3answers
188 views

A question about algebraically closed fields

A field $\mathbb{K}$ is said to be algebraically closed in practice if every polynomial over $\mathbb{K}$ of positive degree less than or equal to $10^{10}$ has zero belonging $\mathbb{K}$. The ...
0
votes
1answer
55 views

A Question about the Proof of Eisenstein's Irreducibity Criterion

Statement: Let $f(x) = a_n x^n + a_{n-1} x^{n-1}+ \cdots + a_0 \in \mathbb Z[x]$. If there is a prime $p$ such that $p \nmid a_n, p \mid a_{n-1}, \dots,p \mid a_0$ and $p^2 \nmid a_0 $, then $f(x)$ ...
2
votes
3answers
50 views

primitivity of a polynomial over a field

Suppose that we have a polynomial $f(x)=ax^3-bx^2+cx-d\in\mathbb{Z}[x]$ then $f(x)$ will be called primitive if $(a,b,c,d)=1$ I have been told that over a field $F$ there is no notion of ...
0
votes
2answers
78 views

Is $2x^2+4$ reducible over $\mathbb C$?

I am not sure if I making some very fundamental mistake. But Gallian says that $2x^2+4$ is reducible over $\mathbb C$. If $D$ be an integral domain. A polynomial $f(x)$ from $D[x]$ is said to be ...
2
votes
0answers
55 views

Problems from Polynomial Rings. My attempt shown.

$1.$ Let $f(x) =a_mx^m+a_{m-1}x^{m-1}+ \cdots +a_0$ and $g(x) = b_nx^n+b_{n-1}x^{n-1}+ \cdots +b_0$ belong to $\mathbb Q[x]$ and suppose that $f \circ g \in \mathbb Z[x].$ Prove that $a_ib_j$ is an ...
1
vote
1answer
38 views

Maps preserving roots of a polynomial function over finite fields

Let $P(x_{1},\ldots,x_{n}):\mathbb{F}_{2}^{n}\rightarrow \mathbb{F}_{2}$ be a polynomial function with degree $d$ and with variables $x_{1},\ldots,x_{n} \in \mathbb{F}_{2}$. Let $S(P)=\{ ...
3
votes
1answer
64 views

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field?

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field? My Thoughts: Suppose instead of $F$, we take the set of polynomials $R[x]$ over a commutative ring ...
1
vote
2answers
98 views

Existence of Irreducible polynomials over Z of any given degree which do not satisfy the Eisenstein's Criterion

I just came across the following interesting question which has been once discussed: Existence of Irreducible polynomials over $\mathbb{Z}$ of any given degree I was wondering if we could find such ...
0
votes
2answers
74 views

Mistake in a question in Fulton's algebraic curves book?

I'm trying to solve this question in Fulton's book Algebraic Curves: I don't think this is true. Counter-example: $k=\mathbb R$, $n=1$ and $F=X_1^2+1$. Thanks
5
votes
4answers
189 views

Euclid's proof of the infinitude of primes to prove this question

I'm trying to prove that if $k$ is a field, then there are an infinite number of irreducible monic polynomials in $k[X]$. My attempt of solution is use almost the same strategy of the Euclid's proof ...
5
votes
1answer
65 views

Irreducibility of some multivariate polynomials

Consider the polynomials $xw-yz\in A[x,y,z,w]$ and $x^n+y^n+z^n\in A[x,y,z]$, where $A$ is a commutative ring. I am curious to know what conditions on $A$ (factorial ring, algebraically closed field, ...
1
vote
1answer
69 views

Solvability of polynomials over fields of characteristic zero

1) Let $K$ be a field, $\operatorname{char}(K)= 0$, and $f ∈ K [x]$ with $\deg(f)\le4$. Then $f$ is solvable by radicals. Proof: $\operatorname{Gal} (F/K) \cong S_4$ then $\operatorname{Gal}(F/K)$ ...
3
votes
0answers
90 views

zeros of a simple polynomial

For $x, y \in GF[2^n]$, consider the two-parameter polynomial $P(x,y) = x \cdot y + f(x) + g(y)$, where $f$ and $g$ are arbitrary polynomials on $GF[2^n]$. Can we say anything about the number of ...
12
votes
1answer
150 views

Existence of rational sequence such that a polynomial is split over $\Bbb{Q}$

Does there exist a sequence $(a_n)_{n\in \Bbb{N}}$ of rationals such that for all $n\in \Bbb{N}$, $a_n\neq 0$ and the polynomial $a_0+a_1X+\cdots+a_nX^n$ is split over $\Bbb{Q}$? I was asked this ...
4
votes
0answers
71 views

Irreducibility of some polynomial

Let $p(x) = (1+ \cdots +x^k)^2 + (1+ \cdots +x^k) + 1$, for some $k \geq 2$ fixed. I would like to know if $p(x)$ is irreducible in $\mathbb{Q}[x]$.
2
votes
0answers
39 views

How “separable” (not in that sense) is a polynomial?

Since "separable" is used for different meaning in separable polynomial and separation of variable, I am having trouble searching for anything related to my question. So I hope someone can help with ...
0
votes
3answers
42 views

In $\mathbb{Q}[x]$, what is the gcd of $x^6 − 1$ and $x^4 − 1$…Using Euclid's Method. [closed]

In $\mathbb{Q}[x]$, what is the gcd of $x^6 − 1$ and $x^4 − 1$...Using Euclid's Method. Could someone please do the first few steps of this so I know how to solve gcd of polynomials using Euclid's ...
3
votes
0answers
31 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
3
votes
2answers
112 views

On factorization of polynomials

I would be very grateful if you give me a hint on problem 9, section 3.6 of Hungerford Algebra, regarding factorization in polynomial rings, saying that: Suppose $f(x)= ...
2
votes
1answer
40 views

Efficient Extended GCD Algorithm for Polynomials

For computing the GCD of two multivariate polynomials we have the Euclidian algorithm. However, it's well known that the Euclidian algorithm is not very efficient (because of intermediate expression ...
1
vote
1answer
46 views

Number of monic irreducible polynomials over a finite field

Let $\mathbb{K}=\mathbb{F}_q$ and $\nu_n$ denote the number of monic irreducible polynomials over $\mathbb{K}$. It holds $$\nu_n=\frac{1}{n}\sum_{d\mid n}\mu\left(\frac{n}{d}\right)q^d$$ What I need ...
3
votes
1answer
34 views

Find discriminant of polynomial

$f(x)=x^{n-1}+x^{n-2}+...+1$ I solved this issue and get $-1^{\frac{(n-1)(n-2)}{2}}*n^{n-2}$ as solution. I did it in a way of substitution n=1,2,3.. then i get my answer. Now i want to solve it ...
2
votes
1answer
44 views

Facts about quotient rings - example

I have three quotient rings: $R_1 = \frac{\mathbb{Q}[x]}{(x^2 -1)}$ $R_2 = \frac{\mathbb{Q}[x]}{(x^2 +1)}$ $R_3 = \frac{\mathbb{Q}[x]}{((x -1)^2)}$ I am trying to decide whether these are integral ...
2
votes
2answers
61 views

Basic irreducible polynomial

I'm studying cyclic codes over a ring $R$. It is well known that a cyclic code over $R$ of length $n$ is an ideal of $R\left[ x \right]/\left( {{x^n} - 1} \right)$. Hence the factorization of ...
2
votes
1answer
84 views

What do we know about $\displaystyle \frac{f}{\gcd(f,f')}$ if $f\in\mathbb{F}_{p^d}[X]$?

Let $\mathbb{K}=\mathbb{F}_{p^d}$ and $f\in\mathbb{K}[X]$ be a non-constant polynomial with the factorization $$f=\prod_{i=1}^nf_i^{k_i}$$ where $f_i\in\mathbb{K}[X]$ is irreducible and ...
0
votes
0answers
52 views

Proof that $\mathbb{Z}[\sqrt{-5}]$ is integrally closed

There are demonstrations on the Internet saying that the polynomial $$\left(x-\frac{a}{c}-\frac{b}{d}\sqrt{-5}\right)\left(x-\frac{a}{c}+\frac{b}{d}\sqrt{-5}\right)$$ is monic if and only if ...
1
vote
1answer
16 views

Determining if any of these three are an ideal of $\mathbb{R}[x]$

$\mathbb{R}[x]$ denotes the ring of polynomials in $x$ with real coefficients. Let $I \subset \mathbb{R}[x]$ be the subset of those polynomials with constant coefficient $0$, and let $J \subset ...
1
vote
0answers
36 views

Finding the general form of an element in $\frac{\mathbb{Z}_4 [x]}{(x^2 + 1)}$

I'm trying to find the general form of elements in the quotient ring: $$R = \frac{\mathbb{Z}_4 [x]}{(x^2 + 1)}$$ Now my initial thoughts are to take a general element $f \in R$ so that $f = g + (x^2 ...