Intereting Posts

Help me to simplify $\sum\limits_{i=0}^{\lfloor\frac{r}{2}\rfloor}\binom{r}{i}\binom{r-i}{r-2i}$
$\omega_2$ is a not countable union of countable sets without AC
Prove the exsistence of 3 zero points of a function
Example of a function $f$ which is nowhere continuous but $|f|$ should be continuous at all points
How to test whether a set of four points can form a parallelogram
How to show the ideal $\mathfrak a$ is not finitely generated?
Convergence in distribution (weak convergence)
Proving $(A\le B)\vee (B\le A)$ for sets $A$ and $B$
Consecutive Prime Factors
An interesting inequality about the cdf of the normal distribution
Using this trick to solve an integro-differential equation
Linearly ordered sets “somewhat similar” to $\mathbb{Q}$
A question on Jacobi sums
Query regarding proof of Existence Theorem (1.19, pg-17, Baby Rudin)
Continuity of the function $x\mapsto d(x,A)$ on a metric space

Consider the ring $\mathbb Z_4[x]$. Clearly the elements of the form $2f(x)$ are zero divisors.

1. Is it true that they areallthe zero divisors? I mean is it true that if $p(x)$ is a zero divisor then it is of the form

$$

2f(x)

$$

for some $f(x) \in \mathbb Z_4[x]$? In other words, is the set of zero-divisors exactly the ideal $(2)$?

I believe it is true, but I do not know how to prove it.

- How to prove $\mathbb{Z}=\{a+b\sqrt{2}i\mid a,b\in\mathbb{Z}\}$ is a principal ideal domain?
- Suppose $H$ is the only subgroup of order $o(H)$ in the finite group $G$. Prove that $H$ is a normal subgroup of $G$.
- How to learn commutative algebra?
- If there is a unique left identity, then it is also a right identity
- What's an example of an ideal in $\mathbb{Z}$ that is not principal?
- Additive primes

Secondly, the elements $1+g(x)$, with $g(x)$ zero divisors, are clearly units: $(1+g(x))^2=1$.

2. Is it true that they areallthe units? I mean is it true that if $p(x)\in \mathbb Z_4[x]$ is a unit then it is of the form

$$

1+g(x)

$$

for some zero divisor $g(x)$?

- How to find all irreducible polynomials in Z2 with degree 5?
- Every nonzero element in a finite ring is either a unit or a zero divisor
- Determining Coefficients of a Finite Degree Polynomial $f$ from the Sequence $\{f(k)\}_{k \in \mathbb{N}}$
- $\mathbb{Z}_m \times \mathbb Z_n$ is cyclic if and only if $\gcd(m,n)=1$
- find all the members of A4/K
- Exponential fields as structures with three binary operations.
- problems in group theory
- Intuition on group homomorphisms
- Expressing the roots of a cubic as polynomials in one root
- What are some real-world uses of Octonions?

You’re right on both accounts.

**1.** First notice that if $p(x)$ has zero constant coefficient, say $p(x)=x^mq(x)$, then $p(x)$ is a zero divisor if and only if $q(x)$ is.

So suppose $p(x) = \sum_0^n a_ix^i \in \mathbb{Z}_4[x]$ has an odd coefficient and a nonzero constant coefficient, and let $k \le n$ be least such that $a_k$ is odd. Then all the $a_j$ for $j < k$ are even. If $k=0$ then clearly $p$ is not a zero divisor (why?) so we must have $a_0=2$.

If $q(x) = \sum_0^m b_ix^i \in \mathbb{Z}_4[x]$ is another polynomial (with nonzero constant coefficient, for the same reason as above), then the coefficient of $x^k$ in $p(x)q(x)$ is

$$\sum_{i+j=k} a_ib_j$$

If $p(x)q(x)=0$ then we must have $b_0=2$. But then

$$\sum_{i+j=k} a_ib_j = 2a_k + \cdots \equiv 2 + \cdots \pmod 4$$

and so $b_{\ell}$ is odd for some $\ell<k$; otherwise the other terms would all disappear and we’d be left with $2$.

But $q$ is a zero divisor with nonzero constant coefficient, and so interchanging the roles of $p$ and $q$ in the above, we see that $a_i$ is odd for some $i<\ell<k$, contradicting minimality of $k$.

**2.** Certainly if $p(x)q(x)=1$ then their constant coefficients are either both $1$ or both $3$. So $p(x)=1+g(x)$ and $q(x)=1+h(x)$ for some $g,h$ with equal even constant coefficients; and then $g(x)+h(x)+g(x)h(x)=0$.

Let $g(x)=\sum_0^n c_ix^i$ and $h(x)=\sum_0^m d_ix^i$, and let $k$ be least such that at least one of $c_k$ or $d_k$ is odd. [We must have $k \ge 1$.] Then

$$c_k + d_k + \sum_{i+j=k} c_id_j = 0$$

We must therefore have $c_k$ and $d_k$ both odd. But $c_0=d_0$ is even, and so

$$c_k + d_k + \sum_{i+j=k} c_id_j = c_k+d_k+c_0d_k+c_kd_0 = (1+c_0)(c_k+d_k) \equiv 2 \pmod 4$$

since the rest of the terms in the sum are zero.

This is a contradiction, so $g$ and $h$ must both be divisible by $2$, and so indeed $p(x)=1+g(x)$ where $g$ is a zero divisor.

Both results follow from general characterizations of zero-divisors and units in polynomial rings. It’s more insightful (and just as simple) to give the general proofs, then specialize them as below.

$\rm(1)\ $ McCoy’s theorem states: $ $ if $\rm\:f\in R[x]\:$ is a zero-divisor then $\rm\:r\,f = 0\:$ for some nonzero $\rm\:r\in R.\:$

Thus $\rm\,f\,$ zero-divisor in $\rm\:\Bbb Z_4[x]\:\Rightarrow\:c\,f = 0\:$ for $\rm\:0\ne c\in \Bbb Z_4,\,$ so in $\rm\:\Bbb Z[x],\,\ 4\:|\:cf,\ 4\nmid c,f\:\Rightarrow\:2\:|\:c,f.\ $

$\rm(2)\ $ It is very easy to prove that $\rm\:f(x)\in R[x]\:$ is a unit iff $\rm\:f(0)\:$ is a unit and all other nonzero coefficients are nilpotent. But the only nilpotent in $\rm\,\Bbb Z_4\,$ is $\,2$.

Your first conjecture can be easily deduced by translating the problem to that of $\mathbb{Z}[x]$.

The ring $\mathbb{Z}_4[x]$ is (isomorphic to) the quotient ring $\mathbb{Z}[x] / (4)$, so we can write elements of $\mathbb{Z}_4[x]$ as (equivalence classes of) integer polynomials. The condition to be a zero divisor of $\mathbb{Z}_4[x]$ is

u is a zero divisor if and only if there exists nonzero v such that $uv = 0$

(I’m adopting the convention that 0 is a zero divisor)

Lifting this condition to $\mathbb{Z}[x]$ gives

The equivalence class of u is a zero divisor if and only if there exists $v \not\equiv 0 \pmod 4$ such that $uv \equiv 0 \pmod 4$.

Rephrasing in terms of divisibility, this means the prime factorization of $v$ may not have $2$, but the prime factorization of $uv$ must have at least 2 copies of two. Therefore, the prime factorization of $u$ must have a copy of $2$.

Therefore, if the equivalence class of $u$ is a zero divisor, then $u = 2 g$ for some integer polynomial $g$.

- Prove $\int_{0}^{1} \frac{\sin^{-1}(x)}{x} dx = \frac{\pi}{2}\ln2$
- How to interpret the Euler class?
- Find $n$ and $k$ if $\:\binom{n\:}{k-1}=2002\:\:\:\binom{n\:}{k}=3003\:\:$
- How prove this $(p-1)!\left(1+\frac{1}{2}+\frac{1}{3}+\cdots+\frac{1}{p-1}\right)\equiv 0\pmod{p^2}$
- Compactness theorem equivalent
- Triangulation of a simple polygon (elementary proof?)
- The limit of $((1+x)^{1/x} – e+ ex/2)/x^2$ as $x\to 0$
- $1\cdot 3 + 2\cdot 4 + 3\cdot 5 + \cdots + n(n+2) = n(n+1)(2n+7)/6$ by mathematical induction
- First Pontryagin class on real Grassmannian manifold?
- If a finite group $G$ is solvable, is $$ nilpotent?
- How to Determine if a Function is One-to-One
- is there a name for this function (parity of a finite sequence)?
- If $K=K^2$ then every automorphism of $\mbox{Aut}_K V$, where $\dim V< \infty$, is the square of some endomorphism.
- Matching Hats AND Coats Problem
- $GL_n(k)$ (General linear group over a algebraically closed field) as a affine variety?