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, ...

learn more… | top users | synonyms

3
votes
2answers
52 views

Proper ideal $I \implies \exists $ prime ideals $P_i$ such that $P_1 \cdots P_n \subset I$.

Let the below ideals be in a commutative Noetherian ring $R$. Corollary 22. (3) There are prime ideals $P_1, \dots, P_n$ (not necc. distinct) $\supset I$ such that $P_1\cdots P_n \subset I$. (Out ...
1
vote
2answers
39 views

Why is this sequence of ideals an ascending chain? In proof of irreducible ideals are primary.

Let $P$ be an irreducible ideal in commutative ring $R$. Suppose $ab \in P$, $a \notin P$, and define $A_n = \{b^n x : x \in R\} \cap P$. Then "clearly $A_n \subset A_{n+1}$" says D&F. But ...
1
vote
1answer
33 views

If $Q$ is an ideal whose radical is a maximal ideal, then $Q$ is a primary ideal.

If $Q$ is an ideal whose radical is a maximal ideal, then $Q$ is a primary ideal. I wanted to prove this using these facts: $Q$ is primary if and only if every zero divisor in $R/Q$ is ...
1
vote
2answers
27 views

Shortcut to: the radical of a proper ideal $I$ is the intersection of all prime ideals $\supset I$.

From Dummit & Foote: Proof: Passing to $R/I$. Proposition 11 shows that it suffices to prove this result for $I = 0$ ... Proposition 11: ... $(\text{rad}\ I)/I$ is the nilradical of ...
7
votes
1answer
41 views

Augmentation ideal and the abelianization of $G$

On a qual problem recently, I came across the following fact: If $G$ is a finite group, and $\mathfrak{a}$ is the augmentation ideal of the integral group ring $\mathbb{Z}G$, then ...
0
votes
1answer
38 views

$R$ semisimple artinian ring $\Rightarrow\varphi(R)$ is such [duplicate]

Let $R$ be a semisimple artinian ring, i.e. a right artinian ring with no nonzero nilpotents right ideals. We know that: $R\simeq M_{n_1}(D_1)\times\dots\times M_{n_t}(D_t)$ for ...
0
votes
1answer
27 views

Height of $p/a$ is less or equal than the height of $p$.

Let $a\subset p$ be prime ideals in a noetherian ring $A$. I want to prove that height of $p/a$ is less or equal than the height of $p$. The hint to prove that is that exists a bijection between ...
1
vote
4answers
57 views

$p$ is a positive integer and $(p)$ is a maximal ideal in the ring $(\mathbb Z, +,\cdot)$, then $p$ is a prime number

I need to prove: $p$ is a positive integer and $(p)$ is a maximal ideal in the ring $(\mathbb Z, +,\cdot)$, then $p$ is a prime number. My attempt: 1) $(p)$ is a maximal ideal, so it is a prime ...
2
votes
4answers
175 views

Description of ideals of ring $F[x]/(x^n)$?

What is a description of the ideals of the ring $F[x]/(x^n)$, where $F$ is a field?
0
votes
1answer
52 views

an example of a non convex ideal [closed]

As an example of a non convex ideal we have in Gillman and Jerison, Rings of Continuous Functions, 1976, Exercise 5E(1), the ideal $I= (|\operatorname{id}_{\mathbb R}|)$ in $C(\mathbb R)$. I need to ...
4
votes
2answers
78 views

For $\mathfrak{m}$ maximal and principal, there's no ideal between $\mathfrak{m}^2$ and $\mathfrak{m}$

Let $R$ be a commutative ring with unity. If a maximal ideal $\mathfrak{m}$ of $R$ is principal, prove that there is no ideal $I$ with $\mathfrak{m}^2\subsetneq I\subsetneq \mathfrak{m}$. I have ...
1
vote
1answer
27 views

Prove that $f:I\oplus J\to R\oplus IJ: (i,j)\mapsto (i+j,ij_0-i_0j)$ is surjective for coprime $I,J$

I have to prove that if $I,J$ are coprime ideals in a commutative ring $R$, and $i_0\in I, j_0\in J$ are s.t. $i_0+j_0=1$, then $$f:I\oplus J\to R\oplus IJ: (i,j)\mapsto (i+j,ij_0-i_0j)$$ is ...
2
votes
1answer
62 views

Determining the structure of the quotient ring $\mathbb{Z}[x]/(x^2+3,p)$

I'm interested in the following problem from Artin's Algebra text: Determine the structure of the ring $\mathbb Z[x]/(x^2 + 3,p)$, where (a) p = 3, (b) p = 5. I know that by the isomorphism ...
8
votes
3answers
98 views

Any left ideal of $M_n(\mathbb{F})$ is principal

I'm working on the following problem: Let $A$ be the ring of $n \times n$ matrices over a field $\mathbb{F}$. (a) Show that for any subspace $V$ of $\mathbb{F}^n$, the set $I_V$ of matrices ...
1
vote
0answers
53 views

If $JA_{P}\subset IA_{ P}$ for every associated prime, then $J\subset I$

This problem is Exercise 6.4 in Matsumura's Commutative Ring Theory. Let $I$ and $J$ be ideals of a Noetherian ring $A$. Prove that if $JA_P\subset IA_{P}$ for every $P\in ...
2
votes
3answers
110 views

Is $\mathbb{Z}[x]\over \langle x+3\rangle$ field?

Is $\mathbb{Z}[x]\over \langle x+3\rangle $ field? Can I say $x+3$ is irreducible over $\mathbb{Z}$, so it is field.
3
votes
1answer
86 views

$R$ be a commutative ring with unity satisfying a.c.c. on radical ideals ; is it true that $R[x]$ also satisfies a.c.c. on radical ideals ?

$R$ be a commutative ring with unity satisfying ascending chain condition on radical ideals ; is it true that $R[x]$ also satisfies ascending chain condition on radical ideals ?
0
votes
1answer
32 views

Why is the following affine varieties equal? “Closure theorem”

I am very unsure about this "closure theorem" of ideals and varieties. I'm not sure if anyone here can answer this concisely as I think some notations may differ from what others know... Say $I$ is ...
4
votes
3answers
70 views

Ideal of $\mathbb Q[x]$ which contains two polynomials

Suppose $I$ is an ideal of $\mathbb Q[x]$ which contains $x^2 + 2x +4$ and $x^3 - 3$. Prove $I =\mathbb Q[x]$. This is an exercise in my abstract algebra text book. I know the definition of an ...
4
votes
2answers
87 views

Invertible ideals are finitely generated.

Let $R$ be an integral domain and let $I,J \subseteq R$ be ideals. Suppose $IJ=(a)$ for some $a \in R$. We wish to show that $I$ and $J$ are finitely generated. Since $a \in IJ$ we know $a$ can ...
1
vote
3answers
68 views

Prove that a proper ideal of R is a maximal ideal of R, with R being a commutative ring with unity

R is a commutative ring with unity and A is a proper ideal of R, and every element of R that is not in A is a unit of R. Prove that A is a maximal ideal of R. Can anyone give a head start on how to ...
0
votes
0answers
40 views

Modular reduction on ideals generated by two elements

I know that $\mathbb{Z}[x]$ is a commutative ring with unity and for any two elements $f(x)$ and $g(x)$, the set $\langle f(x), g(x)\rangle = \{ \alpha(x)f(x) + \beta(x)g(x) : \alpha(x) \land ...
1
vote
0answers
17 views

Product of two nilpotent subideals is nilpotent subideal

Supposse $X,Y$ are nilpotent subideals of algebra $A$, i.e. such nilpotent subalgebras of $A$ that: $$ \exists \{X_i\}: \quad \{e\}\lhd X=X_1 \lhd X_2\lhd\ldots\lhd X_n=A $$ $$ \exists \{Y_j\}: ...
3
votes
2answers
39 views

Prime ideals in $R= \left\{ \frac ab\in \mathbb Q\mid a,b\in \mathbb Z,p\nmid b \right\}$

Let $p\in \mathbb Z$ be a prime. Define $R= \left\{ \frac ab\in \mathbb Q\mid a,b\in \mathbb Z,p\nmid b \right\}$. I'm supposed to prove $pR$ is the only prime ideal in $R$, and the $R/pR\cong \mathbb ...
3
votes
1answer
70 views

$\langle 7, 3 + \sqrt{-5} \rangle = \langle 7, 4 + \sqrt{-5} \rangle$, right?

I'm not in a math class (haven't been in years) but if this question about $\textbf{Z}[\sqrt{-5}]$ appears in some textbook, I wouldn't be surprised. What I have done: $$1 \times 7 + (3 - ...
1
vote
1answer
19 views

A commutative ring with at most $5$ distinct ideals is a PIR

Let $R$ be a commutative ring with unity having at most $5$ distinct ideals (including $\{0\}$ and $R$ itself); then is it true that $R$ is a principal ideal ring i.e. is every ideal of $R$ principal? ...
1
vote
1answer
29 views

Relating generating sets of modules over quotient ring to modules over original ring

I am having trouble with the following exercise. Let $R = F[x]$, where F is some field. Let $I = (x^2)$, and let M be an R/I-module (induced action, so assuming $IM = 0$). Then I want to show that ...
0
votes
0answers
35 views

Radical ideals and prime decompositions for nonprincipal ideals

Fact. Let $R$ be a UFD. A principal ideal $ \left\langle a \right\rangle$ is radical iff every element in its prime decomposition has multiplicity one. Does this statement generalize in any way to ...
0
votes
1answer
76 views

$\mathrm{Ann}(I \cap J) = \mathrm{Ann}(I) +\mathrm{Ann}(J)$ if $R$ is self-injective

If $R$ is injective as an $R$-module, then for every two ideals $I$ and $J$ we will have $\mathrm{Ann}(I \cap J) = \mathrm{Ann}(I) + \mathrm{Ann}(J)$. I made an effort for an hour but it was not ...
1
vote
2answers
37 views

What is meant by saying $I=(5a+b\sqrt{5}) $ is a principal ideal

Hi I am wondering if someone can explain something in my notes. It says, consider $$\mathbb{Z}(\sqrt{5})=\{a+b\sqrt{5}:a,b \in \mathbb{Z}\}$$ then $$I=\{5a+b\sqrt{5}: a,b \in \mathbb{Z} \}$$ is an ...
1
vote
1answer
78 views

Please help with question about an ideal in $\mathbb{Z}$

Hi I am needing some help and guidance on determining how to know when something is an ideal. We are working with commutative rings. Our definition of an Ideal I, of a commutative ring R , is a ...
1
vote
1answer
45 views

Prove the equality of two ideals in $F[x]$

Prove $\langle x-1\rangle = I$ where $I= \{ a_0 x ^0 +\dots +a_n x^n: a_0+\dots +a_n=0\}$ in $F[x]$, $F$ a field. Proof we need to show $\langle x-1\rangle \subseteq I$ and $I \subseteq \langle ...
1
vote
1answer
26 views

Maximal ideal in commutative Banach algebras. Why commutative?

I am having some trouble in understanding where is used the fact that the algebra is taken to be commutative in the following Theorem. Let $\mathcal A$ be a commutative Banach algebra (over ...
0
votes
2answers
19 views

Characteristic and Principal Ideal.

This might be a simple question for some of you, but I am quite confused on the whole concept of principal ideals. Question 1: What is the characteristic of $\mathbb{Z}_2[X,Y]$ where it is the ring ...
1
vote
1answer
33 views

A commutative ring with unity which is not a PIR has a non-trivial ideal generated by two elements which is not a principal ideal?

Let $R$ be a commutative ring with unity which is not a principal ideal ring . Then is it true that $\exists 0\ne x,y \in R$ such that the ideal $\langle x, y \rangle$ is not a principal ideal ?
1
vote
2answers
42 views

How to show that two left ideals over $R$ are not isomorphic $R$-modules?

Let $R=\begin{bmatrix}F&0&0\\ F&F&0\\F&0&F\end{bmatrix}$ with a field $F$. Show that $$\begin{align} ...
2
votes
2answers
32 views

Subset of Principal ideal

Just started learning a little bit about ring theory. Can anyone give me a hint (or counterexample if the statement isn´t true). Let be $P $ Principal ideal then every Ideal $P^{'}\subset P$ is also a ...
0
votes
2answers
44 views

Prime Ideal and Proper Ideal

Could someone please explain to me the definition of a prime ideal and a proper ideal. I honestly do not understand this concept. If possible please explain your version of the definition in the ...
0
votes
1answer
31 views

Symbolic power of a prime ideal is primary

Let $A$ be a commutative ring, $S$ a multiplicatively closed subset of $A$. For any ideal $\mathfrak a$, let $S(\mathfrak a)$ denote the inverse image of $S^{−1}\mathfrak a$ under the localization map ...
0
votes
1answer
37 views

Prove or Disprove $I=\{a_0x^0+\dots +a_nx^n:a_0+\dots+a_n=0\}$ is a sub ring of field F[x]

Prove or Disprove $I=\{a_0x^0+\dots +a_nx^n:a_0+\dots+a_n=0\}$ is subring of field F[x] We need to show it is a subring that is closed addition closed multiplication (struggling) $\exists $ ...
1
vote
1answer
61 views

Showing that a ring is a field as well for one of the provided choices.

Let $\mathbb M$ be one of the following rings: $\mathbb{R}, \mathbb{Q}, \mathbb{F_9}, \mathbb{C} $. Let $I$ be the ideal generated by $x^4+2x-2$. Is the ring $\mathbb M[x]/I$ a field for some of ...
2
votes
3answers
177 views

Principal ideals in rings.

Consider the following list of principal ideals (2), (3), (5), (6) in the ring ℤ/14ℤ. There are : a) Only one ideal in this list. b) Two distinct ideals in this list. c) Three distinct ideals in ...
0
votes
1answer
23 views

Creating ideals of finitely presented algebras in MAGMA

I want to create (right, left, two-sided) ideals of a finitely-presented algebra in MAGMA. I know how to do this for a free algebra, and the magma handbook indicates that it's possible to do this for ...
5
votes
1answer
54 views

prove $(n)$ prime ideal of $\mathbb{Z}$ iff $n$ is prime or zero

prove $(n)$ prime ideal of $\mathbb{Z}$ iff $n$ is prime or zero Defintions Def of prime Ideal (n) $$ ab\in (n) \implies a\in(n) \vee b\in(n) $$ Def 1] integer n is prime if $n \neq 0,\pm 1 $ ...
1
vote
1answer
50 views

Associated primes of the symbolic power and ordinary power

I am struggling to understand the following quote from a paper of Arsie and Vatne "A note on symbolic powers and ordinary powers of homogeneous ideals": Our interest in the symbolic power stems ...
1
vote
2answers
62 views

A more technical definition of an Affine Variety

My textbook states that an affine variety is Definition. Let $k$ be a field and let $f_1,...,f_s$ be polynomials in $k[x_1,...,x_n]$. Then we set $$V(f_1,...,f_s)=\{(a_1,...,a_n) \in k^n : ...
0
votes
2answers
46 views

Showing that a given subset is an ideal of a polynomial ring

Let $\Bbb Z[x]$ be the set of polynomials in indeterminate $x$ with integer coefficients. Consider the subset $I = \{ 2f(x) + xg(x) | f(x), g(x) ∈ \Bbb Z[x] \}$. Show that $I$ is an ideal in $\Bbb ...
0
votes
2answers
37 views

A commutative ring with unit element, which only has a finite number of ideals, is a field

Let $R$ be a commutative ring with unit element. Suppose that it only has a finite number of ideals. Show that it is a field My reasoning is as follows: Let $a \in R-\{0\}$. Since $R$ is a ...
0
votes
2answers
58 views

Can we give an ring $R$ such that every prime ideal of $R$ be maximal with $|\operatorname{Max}(R)|=\infty?$

It is well known that in commutative rings, maximal ideals are prime. Can we give an example of a ring $R$ such that every prime ideal of $R$ is maximal with $|\operatorname{Max}(R)|=\infty?$
2
votes
1answer
48 views

Is the polynomial ring over a PID also a PID?

As stated in the title, given a principal ideal domain $R$, is the polynomial ring $R[x]$ necessarily a principal ideal domain? In particular, is the polynomial ring $(\mathbb{Z}[i])[x]$ over the ...