# Tagged Questions

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

91 views

33 views

### Is the ideal $\{2m + (1 + \sqrt{-6})n:m, n\in\mathbb{Z}\}$ principal in $\mathbb{Z}[\sqrt{-6}]$?

Is the ideal $\{2m + (1 + \sqrt{-6})n:m, n\in\mathbb{Z}\}$ principal in $\mathbb{Z}[\sqrt{-6}]$? I have an exercise that asks just that. As a hint it says to prove that this ideal contains $1$, ...
36 views

### A question about 1.0.3 in Grothendieck's EGA

In (1.0.3), Grothendieck states that, given non-commutative rings $A$ and $B$, a homomorphism $\varphi : A \to B$, and a left ideal $\mathfrak{J}$ of $A$, the left ideal $B\mathfrak{J}$ of $B$ ...
64 views

### Finding all ideals in a finite ring

Let $\mathbb F_2$ be the field of two elements. Consider the factor ring $$R=\mathbb F_2[x, y]/\langle x^2, y^2\rangle.$$ I want to find all ideals of $R$. Note that ...
36 views

### Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net ...
30 views

### Prove socle is ideal

In any ring $R$ define the socle as the sum of all minimal right ideals of $R$. Say we have two minimal ideals $A,B$. If $a\in A,b\in B$, then $a+b$ is in the socle. If $x\in R$, then ...
75 views

### Ideal of polynomials vanishing on $\{(x,y): x^2+y^2=1, x \neq 0 \}$

I'm reading the book "Introduction to algebraic geometry" by Hassett, and in Chapter 3, after introducing the concept of the ideal of polynomials vanishing on a set $S$, the author gives some ...
35 views

### Centre of matrix ring over skew field

Let $R$ be a semisimple ring. Show that $R$ is simple iff the centre of $R$ is a field. Book's solution: If $R$ is simple, it has the form $\mathfrak{M}_n(K)$ for a skew field $K$, and its ...
35 views

### Determinant of the change of basis for fractional ideal

Let $A$ be a fractional ideal of some number field extension $K:\Bbb Q$. Let $\omega_1, \dots ,\omega_n$ be a $\Bbb Z$ basis for $\mathcal O_K$ and let $\alpha_1, \dots ,\alpha_n$ be a $\Bbb Z$ basis ...
43 views

### How do I prove that primary ideals satisfy this property?

Let $R$ be a commutative ring. Let $Q$ be a primary ideal of $R$. Let $I,J$ be ideals of $R$ such that $IJ\subset Q$. How do I prove that $I\subset Q$ or $J^n\subset Q$ for some positive integer ...
40 views

### Looking for an example of an ideal contained in the union of other ideals, but not in any ideal individually

I'm looking for an example of the following scenario: $A, B, C$ are three ideals such that $C\subseteq A\cup B$ but $C\not\subseteq A$ and $C\not\subseteq B$. Any help would be great!
44 views

### If $R$ is a simple Artinian ring, then when is a finitely generated module free?

Here's an exercise from my book, which only gives a brief solution which leaves me very confused. Let $R$ be a simple Artinian ring, say $R=K_r$. Show that there is only one simple right ...
54 views

### If a set $S$ generates an ideal $I\subset F[x_1,x_2,\ldots,x_n]$, then there is a finite subset $S_0 \subseteq S$ which generates $I$

The question: If $I$ is an ideal in $F[x_1,x_2,\ldots,x_n]$ generated by a set of polynomials $S$, then there is a finite subset $S_0 \subseteq S$ which generates $I$. By the Hilbert Basis ...
19 views

### Let $\phi\in \mathbb{C}[V]$. Show that $\mathbf{V}_V(\phi)=\emptyset$ if and only if $\phi$ is invertible in $\mathbb{C}[V]$.

This is an exercises in Ideals, Varieties and Algorithms by Cox et al. Let $V\subset \mathbb{C}^n$ be a nonempty variety. Let $\phi\in \mathbb{C}[V]$. Show that $\mathbf{V}_V(\phi)=\emptyset$ if ...
53 views

### Is this another way of stating the Chinese Remainder Theorem?

Assume that $I + J = R$. Let $a,b \in R$. Find an element $u$ of $R$ satisfying $a + I = u + I$ and $b + J = u + J.$ I want to work on this, but I feel there's some issue of a missing theorem I ...
85 views

28 views

### Noether & Schmeidler- Hurwitz-Ideals

Consider the following page from Noether and Schmeidler's 1921 work: http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN266833020_0008&DMDID=DMDLOG_0008&LOGID=LOG_0008&PHYSID=PHYS_0013 ...
154 views

### Left Ideals and Two-Sided Ideals of Rings of Matrices

This is a question I posted in this topic: Pathologies in "rng". However, I decided that the question deserves its own thread, and I want to know if anybody can answer it. For ...
46 views

### Radical ideal in $\mathbb{R}[x,y,z]$

In $\mathbb{R}[x,y,z]$ is the ideal $I=\left\langle xz,yz\right\rangle$ radical? If $f \in I$ tried write $f=g.xz+h.yz+ax+by+c$ and conclude that $f^m \notin I$, if $m>0$, but I could not.
35 views

### Why is $(2,x)$ non-principal in $\Bbb Z[x]$? [duplicate]

Why is $(2,x)$ non-principal in $\Bbb Z[x]$? Apparently this is the case, I just read it on wiki, as a counter example to $\Bbb Z[x]$ being a PID. What is $x$ here? I mean $2$ can surely generate ...
31 views

### Invertibility of translating ideals from a ring to its localization

Let $A$ be a ring with some multiplicative subset $S$. Define $AS^{-1} = \{\frac as| a \in A, s \in S\}$. Let $I_A$ and $I_S$ be the sets of ideals of $A \subset A-S$ and $AS^{-1}$ respectively. ...
50 views

### Are these rings fields?

Are the following rings fields? 1) $\Bbb Q[x] /\langle x^2+1\rangle$ Since a polynomial ring taking values on any field is a E.D, and hence a P.I.D, this is a field iff the ideal is prime or ...
31 views

### Quotient ring is a ring homomorphism

Why is this a ring homomorphism? $$\phi:R\to R/I$$ where $I$ is an ideal, given by $\phi:r\mapsto r+I$. To be a ring homomorphism it needs to be a homomorphism of addition and multiplication, i.e: ...
49 views

### Prove that: $B/A \triangleleft R/A$ if $A \subseteq B ;\ \ A, B \triangleleft R$(ring)

Prove that: $B/A \triangleleft R/A$ if $A \subseteq B ;\ \ A, B \triangleleft R$(ring) : $\triangleleft$ means ideal. I need this proof to continue on, I'm told it's not that hard, but I just ...
68 views

### In the ring of polynomials $F[t]$, every ideal is principal

Let $$\langle a \rangle=\bigcap_{ a \in I} I$$ $$\langle a \rangle =\{ Ira + na, r\in R,n \in Z\}$$ What is unclear is why$$I=\langle 0 \rangle$$ proves that I is a principal ideal. My definition ...
42 views

### Show that $\alpha_A^{-1}(I'+J')=\alpha_A^{-1}(I')+\alpha_A^{-1}(J')$, where $I',J'$ are ideals and $\alpha_A$ is a surjective ring homomorphism.

Let $\alpha_A: k[x_1,...,x_m]\rightarrow k[y_1,...,y_n]$ be a map defined by $\alpha_A(f)(y)=f(Ay)$ where $A$ is an $m\times n$ constant matrix. Let $I',J'$ be ideals in $k[y_1,...,y_n]$. ...
Have I done it correctly? Determine which of the following rings are fields: a) $(\mathbb{Z}/2\mathbb{Z})[x]$/$\large_{(x^2+1)}$ b)$(\mathbb{Z}/3\mathbb{Z})[x]$/$\large_{(x^2+1)}$ My ...