Skip to main content
Slight change which makes the question easier to grasp (at least for me)
Source Link

Let $S$ be a local integral domain and $S[X]$ be a polynomial ring.

Choose $f, g$ from $S[X]$ as follows:

$f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$

$g:= a_mX^m + ... + a_0$,

where $a_0, a_1,...,a_m$ all lie in the unique maximal ideal $m_S$ of $S$.

If $g$ is irreducible, does the ideal $(f,g)$ contain a non-trivial element other than zero of $S$ other than zero?

Let $S$ be a local integral domain and $S[X]$ be a polynomial ring.

Choose $f, g$ from $S[X]$ as follows:

$f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$

$g:= a_mX^m + ... + a_0$,

where $a_0, a_1,...,a_m$ all lie in the unique maximal ideal $m_S$ of $S$.

If $g$ is irreducible, does the ideal $(f,g)$ contain a non-trivial element other than zero of $S$?

Let $S$ be a local integral domain and $S[X]$ be a polynomial ring.

Choose $f, g$ from $S[X]$ as follows:

$f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$

$g:= a_mX^m + ... + a_0$,

where $a_0, a_1,...,a_m$ all lie in the unique maximal ideal $m_S$ of $S$.

If $g$ is irreducible, does the ideal $(f,g)$ contain a non-trivial element of $S$ other than zero?

Enabled MathJax and removed unnecessary tags
Source Link

Polynomial ring S[X]$S[X]$ over domain S$S$

Let S$S$ be a local integral domain and S[X]$S[X]$ be a polynomial ring.

Choose f, g$f, g$ from S[X]$S[X]$ as follows:

f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$

g:= a_mX^m + ... + a_0$g:= a_mX^m + ... + a_0$,

where a_0, a_1,...,a_m$a_0, a_1,...,a_m$ all lie in the unique maximal ideal m_S$m_S$ of S$S$.

Q. If g is irreducible, does the ideal (f,g) contain a non-trivial element other than zero of S?

If $g$ is irreducible, does the ideal $(f,g)$ contain a non-trivial element other than zero of $S$?

Polynomial ring S[X] over domain S

Let S be a local integral domain and S[X] be a polynomial ring.

Choose f, g from S[X] as follows:

f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0

g:= a_mX^m + ... + a_0,

where a_0, a_1,...,a_m all lie in the unique maximal ideal m_S of S.

Q. If g is irreducible, does the ideal (f,g) contain a non-trivial element other than zero of S?

Polynomial ring $S[X]$ over domain $S$

Let $S$ be a local integral domain and $S[X]$ be a polynomial ring.

Choose $f, g$ from $S[X]$ as follows:

$f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0$

$g:= a_mX^m + ... + a_0$,

where $a_0, a_1,...,a_m$ all lie in the unique maximal ideal $m_S$ of $S$.

If $g$ is irreducible, does the ideal $(f,g)$ contain a non-trivial element other than zero of $S$?

Source Link

Polynomial ring S[X] over domain S

Let S be a local integral domain and S[X] be a polynomial ring.

Choose f, g from S[X] as follows:

f:= X^n + c_{n-1}X^{n-1} + ... + c_1X + c_0

g:= a_mX^m + ... + a_0,

where a_0, a_1,...,a_m all lie in the unique maximal ideal m_S of S.

Q. If g is irreducible, does the ideal (f,g) contain a non-trivial element other than zero of S?