Intereting Posts

$f$ continuous, monotone, what do we know about differentiability?
Every nonzero element in a finite ring is either a unit or a zero divisor
What are the prerequisites for studying mathematical logic?
The cardinality of $\mathbb{R}/\mathbb Q$
Can I prove (if $n^2$ is even then $n$ is even) directly?
If $n = m^3 – m$ for some integer $m$, then $n$ is a multiple of $6$
Why everytime the final number comes the same?
Looking for an André Weil excerpt
How to use mathematical induction with inequalities?
Use the 4th isomorphism theorem to show the index formula
Prove that vector has normal distribution
How many words can be made with $7$ A's, $6$ B's, $5$ C's and $4$ D's with no consecutive equal letters.
Borel-Cantelli lemma problem
Let $\{X(t)\}$ be a Poisson process with arrival rate $\lambda>0$. Compute the conditional probability, $P(X(s) = x|X(t) = n)$.
Why do graph degree sequences always have at least one number repeated?

Let $p$ be a prime an suppose that $f\in \mathbb Z[x]$ with $\deg f\geq 1$. Let $f_1$ be the polynomial in $\mathbb Z_p[x]$ obtained from $f$ by reducing all the coefficients of $f$ modulo $p$. If $f_1$ is irreducible over $\mathbb Z_p$ and $\deg f_1=\deg f$, then $f$ is irreducible over $\mathbb Q$.

**Proof:** Let us assume $f$ is reducible over $\mathbb Q$. From a known result, it follows that if $f$ is reducible over $\mathbb Q \implies f =gh$ with $g,h\in \mathbb Z[x] $.

Both $g,h$ have degrees $< \deg f$, but $\geq 1$ as $f$ is reducible.

- Motivation for Eisenstein Criterion
- Is $x^4+4$ an irreducible polynomial?
- Elementary proof of the irreducibility of $T^4 - a T - 1$ in $\mathbf{Q}$ when $a\in\mathbf{Z}-\{0\}$
- Irreducibility of $~\frac{x^{6k+2}-x+1}{x^2-x+1}~$ over $\mathbb Q$
- irreducibility of $x^{5}-2$ over $\mathbb{F}_{11}$.
- Prove that the polynomial $(x-1)(x-2)\cdots(x-n) + 1$, $n\ne 4$, is irreducible over $\mathbb Z$

Let $f_1,g_1,h_1$ be the polynomials obtained from $f,g,h$ by reducing all coefficients modulo $p$. Since $\deg f=\deg f_1$, we have

$\deg g_1\leq \deg g< \deg f_1$ and

$\deg h_1 \leq \deg h < \deg h_1$.

But, $f_1=h_1g_1$ which is a contradiction from the given statement that $f$ is irreducible over $\mathbb Z_p$. Hence, our assumption that $f$ is reducible over $\mathbb Q$ is false.

My question arises here. Since, $g_1$ is obtained from $g$ by reducing all coefficients modulo $p$,

hence $\deg g_1\leq \deg g < \deg f_1$ and

is it not possible that $g_1$ may reduced to a constant polynomial and hence, factorization of $f_1$ may turn out to be the trivial factorization and hence, $f_1$ may actually be irreducible, as opposed to the claim made above?

Thank you for your help.

- What is a real world application of polynomial factoring?
- Find all polynomials that fix $\mathbb Q$ and the irrationals
- How to prove that the evaluation map is a ring homomorphism?
- Quadrature formula on triangle
- Multiple root of a polynomial is also a root of the derivative
- $\epsilon>0$ there is a polynomial $p$ such that $|f(x)-e^{-x}p|<\epsilon\forall x\in[0,\infty)$
- Continuity of the roots of a polynomial in terms of its coefficients
- Sufficient condition for irreducibility of polynomial $f(x,y)$
- How to see that the polynomial $4x^2 - 3x^7$ is a permutation of the elements of $\mathbb{Z}/{11}\mathbb{Z}$
- What is necessary and/or sufficient for polynomials to provide isomorphic quotient rings?

One of the listed assumptions was that $\deg f_1=\deg f$. A consequence of this is that $\deg g_1=\deg g$ and $\deg h_1=h$. For if this were not the case, then we would have

$$

\deg f_1=\deg (g_1h_1)=\deg g_1+\deg h_1<\deg g+\deg h=\deg gh=\deg f,

$$

which is a contradiction.

- Lebesgue integration by substitution
- Prove that $ \lim_{n \to \infty}\frac{n}{\sqrt n!}=e$?
- Existance and uniqueness of solution for a point with fixed distances to three other points
- Smallest non-commutative ring with unity
- $C^\infty$ version of Urysohn Lemma in $\Bbb R^n$
- Number of solutions to the equations $x + 2y + 4z = 9\\4yz + 2xz + xy = 13\\ xyz = 3$
- Questions concerning a proof that $\mathcal{D}$ is dense in $\mathcal{S}$.
- Solve $3^a-5^b=2$ for integers a and b.
- A determinant coming out from the computation of a volume form
- Pick out the correct choices for a continuous function
- Find the points of discontinuity: $f(x) = (x^4+x^3+2x^2)/\tan^{-1}(x)$ if $x\ne0$ and $f(0)=10$
- $f$ closed iff $y\in N$ and open $V\supset f^{-1}\left(\{y\}\right)$ exists $U$ open such that $V\supset f^{-1}(U)\supset f^{-1}(\left\{y\right\})$
- A question about dimension and connectedness in order topologies
- formula that can be used to integrate powers of log-sin
- Inequality: $ab^2+bc^2+ca^2 \le 4$, when $a+b+c=3$.