Intereting Posts

Does every even-dimensional sphere admit an almost complex structure?
Ergodicity of tent map
Quadratic subfield of cyclotomic field
Closed and exact.
Prove: Every Subspace is the Kernel of a Linear Map between Vector Spaces
Expected value of number of edges of a connected graph
What is known about these arithmetical functions?
Conjecture about $A(z) = \lim b^{} ( c^{} (z) ) $
Weak generator of Feller semigroup
Galois Group of $X^4+X^3+1$ over $\mathbb{Q}$
Is there any intuitive understanding of normal subgroup?
Proving that $\lim_{x\to1^-}\left(\sqrt{1-x}\cdot\sum_{n=0}^\infty~x^{n^a}\right)=\Gamma\left(1+\frac1a\right)$
Proof By Induction – Factorials
Find a number $\alpha > 1$ such that the following holds
Evaluate $\int_0^{2\pi} \frac{\cos 2x}{1-2a\cos x+a^2} $ with $a^2<1$

Let $I = \langle 2\rangle$. Prove $I[x]$ is not a maximal ideal of $\mathbb Z[x]$ even though $I$ is a maximal ideal of $\mathbb Z$.

My professor mentioned that I should try adding something to it to prove that $I[x]$ is not the maximal ideal. I want to assume he meant to add $ \langle 2 \rangle$ to $I[x]$?

- Does $g = x^m - 1 \mid x^{mk} - 1$ for any $k \in \mathbb{N}$?
- Group covered by finitely many cosets
- Intuition for groups
- A nontrivial subgroup of $G$ contained in every other nontrivial subgroup.
- Every radical ideal in a Noetherian ring is a finite intersection of primes
- If $G/N$ and $H/N$ are isomorphic, does it imply $G$ and $H$ are isomorphic?

- Finitely generated idempotent ideals are principal: proof without using Nakayama's lemma
- Prove that $\mathbb{R^*}$, the set of all real numbers except $0$, is not a cyclic group
- Show $p(X)$ (over a field) is irreducible iff $p(X+a)$ is irreducible
- Integral domain with a finitely generated non-zero injective module is a field
- Problem on idempotent finitely generated ideal
- Power Set of $X$ is a Ring with Symmetric Difference, and Intersection
- Fixed points of automorphism in the field $\mathbb{C}(x,y)$
- Example for an ideal which is not flat (and explicit witness for this fact)
- If the tensor product of two modules is free of finite rank, then the modules are finitely generated and projective
- Rings and modules of finite order

**Hint** $\ $ The point of the hint is that if $(2)$ isn’t maximal then it will be properly contained in some ideal $\rm\:M\ne (1),\:$ so we can enlarge $(2),$ while keeping it $\ne(1),\:$ by choosing any $\rm\:f\in M,\ f\not\in(2).\:$ Then $\rm\:(2) \subsetneq (2,f) \subset M\subsetneq (1).\:$ Clearly $\rm\:f\:$ must be a nonunit not divisible by $2,\:$ and conversely any such $\rm\:f\:$ works. Can you find one?

$\langle 2 \rangle$ is strictly contained in $\langle 2,x \rangle$.

$\mathbb Z[x]/I[x] \simeq (\mathbb Z/I)[x] = \mathbb F_2[x]$, which is a domain but not field.

Note: it’s not *the* maximal ideal but rather *a* maximal ideal, since for every prime $p$, $\langle p \rangle$ is maximal in $\mathbb Z$. To see this, note that $\langle p \rangle = p \mathbb Z \subsetneq \mathbb Z$ and if $\langle p \rangle \subsetneq I$ then there is an $i \in I$ such that $i$ is not a multiple of $p$. Since $p$ is prime you have $\gcd (p,i) = 1$ which means that there exists $k,n \in \mathbb Z$ such that $ki + np = 1 \in I$ and hence $I = \mathbb Z$.

Now to show that $I[x]$ is not maximal in $\mathbb Z[x]$ use Belgi’s answer. You need to find a proper ideal $J$ of $\mathbb Z$ such that $I[x] \subsetneq J \subsetneq \mathbb Z[x]$.

Since $I = \langle 2 \rangle$, adding $\langle 2 \rangle $ to $I[x]$ yields $I[x]$ again, so your idea doesn’t work in this case.

Maybe this helps: what is $I[x]$? It’s all polynomials with even coefficients. To get an ideal $J$ that properly contains $I[x]$ you can adjoin another element. The element you adjoin cannot be in $\mathbb Z$ only since if it’s even, you end up with $I[x]$ again and if it’s odd you end up with $\mathbb Z$. So what you adjoin has to contain $x$.

$\langle x,2 \rangle = \{ x g(x) + 2 h(x) ; g(x),h(x) \in Z[x] \}$ and

$I[x] = 2\mathbb{Z}[x] = \{a_{0} + a_1x + \dots \dots + a_nx^n; a_{i} \in 2\mathbb{Z} \}$

Note that $3x^2 \in \langle x,2 \rangle $ by taking $g(x)$ as $3x$ and $h(x)$ as $0$. But $3x^2 $is not in the other set.

- Splitting of prime ideals in algebraic extensions
- Evaluating $\int_0^{\large\frac{\pi}{4}} \log\left( \cos x\right) \, \mathrm{d}x $
- Intuition on the sum of first (n-1) numbers is equal to the number of ways of picking 2 items out of n.
- How can two vectors be dependent in one field and independent in another field?
- Why are inner products in RKHS linear evaluation functionals?
- Can vectors be inverted?
- How prove this inequality $\sum\limits_{cyc}\frac{x+y}{\sqrt{x^2+xy+y^2+yz}}\ge 2+\sqrt{\frac{xy+yz+xz}{x^2+y^2+z^2}}$
- Example of a function $f$ which is nowhere continuous but $|f|$ should be continuous at all points
- Pre-image of a measurable set A is always measurable?
- Questions related to intersections of open sets and Baire spaces
- Proof that there are infinitely many positive rational numbers smaller than any given positive rational number.
- Can every group be represented by a group of matrices?
- Unity in Partial Ring of Quotients $Q(R, T)$
- Is calculating the summation of derivatives “mathematically sound”?
- inductive proof for $\binom{2n}{n}$