Questions tagged [ideals]
An ideal is a subset of ring such that it is possible to make a quotient ring with respect to this subset. This is the most frequent use of the name ideal, but it is used in other areas of mathematics too: ideals in set theory and order theory (which are closely related), ideals in semigroups, ideals in Lie algebras.
5,835
questions
0
votes
1
answer
31
views
Jacobson radical and invertible element
Let $I_1,I_2$ be ideals of a ring $R$ such that $I_1+I_2=R$ and their intersection is contained in $J(R)$ (the Jacobson radical of $R$). Show that if $x_2$ is an element of $I_2$ s.t. $x_2+I_1$ is ...
- 13
0
votes
0
answers
16
views
Equality of two completions
I have the following question.
Suppose $R$ is Noetherian ring, $I$ is ideal in $R$ and $S$ is multiplicatively closed set. Let $(I^n\colon\langle S\rangle) = \varphi^{-1}(I^nS^{-1}R),$ where $\varphi\...
- 75
0
votes
1
answer
41
views
Differences in meaning for notations $\alpha_i$ versus $\alpha(i)$ and meaning of $\beta(ij)$ for denoting axioms in monomials
The following are partly taken from Malik and Sen's Fundamentals of Abstract Algebra
Background
First we note that we can reconstruct the monomial $x^\alpha=x_1^{\alpha_1}\cdots x_n^{\alpha_n}$ from $...
- 3,683
4
votes
1
answer
234
views
Why are prime ideals proper?
As children we all learn this erroneous definition of a prime number: “a number $n\in \Bbb N$ is prime iff it’s only divided by one and itself”. Well that’s fine until the teacher asked us for ...
- 1,207
3
votes
2
answers
106
views
Show that $(3,\sqrt [3]{11}+1)$ is a principal ideal in $\mathbb{Z}[\sqrt[3]{11}]$
I know how to verify $(3,\sqrt [3]{11}+1)=(\sqrt[3]{11}-2)$:
$(\sqrt[3]{11}-2)(\sqrt[3]{121}+2\sqrt[3]{11}+4)=11-8=3$ and then $\sqrt[3]{11}+1=\sqrt[3]{11}-2+3$
But if I don't know the answer, how can ...
- 1,541
3
votes
1
answer
69
views
Question about an example on ring theory from Dummit and Foote
Background
Example: If $p$ is a prime, the ring $\Bbb{Z}[x]/p\Bbb{Z}[x]$ obtained by reducing $\Bbb{Z}[x]$ modulo the prime ideal $(p)$ is a Principal Ideal Domain, since the coeffiencets lie in the ...
- 3,683
0
votes
0
answers
48
views
Consider in $Z[x]$ the polynomial $f(x)=x^2+x+1$. How do I determine whether $I=(2,f(x))$ is a prime ideal?
Consider in $Z[x]$ the polynomial $f(x)=x^2+x+1$. How do I determine whether $I=(2,f(x))$ is a prime ideal? I read that if a polynomial is primitive then the generated ideal is prime (Why?). So $(f(x))...
-4
votes
0
answers
15
views
Is the homomorphic image of a ring an ideal of the co domain? [closed]
Q. If f be a homomorphism from a ring R into a ring R'. Then show that f(R) is an ideal of R'.
As per my knowledge, it is not possible. I want a very clear idea about this question and the solution.
...
- 1
1
vote
0
answers
26
views
How to break symmetry of a polynomial ideal to simplify Groebner basis?
I have an ideal $I$ generated by a set of polynomials $\{ p_i \}$. There are some variable permutations to which the ideal is symmetric. By this I mean (apologies if there is a standard term for this) ...
- 950
0
votes
1
answer
56
views
Ideal $ \langle x_1^2 - x_1 , \ldots , x_n^2 - x_n \rangle $ radical?
Consider the ideal generated by the Boolean constraints
$$
P = \langle x_1^2 - x_1 , \ldots , x_n^2 - x_n \rangle.
$$
Is $P$ a radical ideal?
A few attempts. The above statement is supposed to be true ...
- 13
0
votes
0
answers
47
views
Is $I_p=(p,x^2+1)$ a prime ideal of $\mathbb Z[x]$? What is the maximal ideals of $\mathbb Z[x]$ containing $I_p$ where $p=2,3,5$?
Let $I_p$ be the ideal of $\mathbb Z[x]$ generated by $p$ and $x^2+1$.
Problem: Is $I_p=(p,x^2+1)$ a prime ideal of $\mathbb Z[x]$? What is the maximal ideals of $\mathbb Z[x]$ containing $I_p$ where $...
- 1,150
2
votes
1
answer
83
views
Isomorphism $\mathbb Z[\omega]/(1-\omega)^2\cong (\mathbb Z/(p))[x]/(1-X)^2$, $\omega$ is the $p-$th root of unity.
Im reading the following proof of Fermat's Last Theorem from Keith Conrad
https://kconrad.math.uconn.edu/blurbs/gradnumthy/fltreg.pdf
On page 5 he mentions that $\mathbb Z[\omega]/(1-\omega)^2\cong (\...
-1
votes
0
answers
40
views
Nilpotent Lie-Algebra $g$: $g^{i+1} ⊆ g^i$ ideal in $g$?
Assume $g$ to be a nilpotent Lie-Algebra.
Nilpotency means that we can find an index $n$ such that:
$g^n = \{0\}$
for the series defined as:
$g^0 = g$
$g^{i+1} = \operatorname{span}\{[g,g^i]\}$
Why is ...
- 105
2
votes
1
answer
37
views
Nonunital non commutative ring with 3 ideals...
It is well known that if a (unital commutative) ring A has only three ideals ({0}, J, A), then the quotient A/J is a field.
But, what can we conclude about A/J if A is not commutative nor unital but ...
- 73
1
vote
2
answers
31
views
Question about Finding the order of the quotient ring $\mathbb Z[\sqrt{19}]/I$
I have a doubt concerning the problem mentioned at Finding the order of the quotient ring $\mathbb{Z}[\sqrt{-19}]/I$.
In this post it's shown that $$
\mathbb{Z}[\sqrt{-19}]/I\cong \mathbb{Z}[X]/(X^{2}+...