Questions about commutative rings, their ideals, and their modules.

learn more… | top users | synonyms (1)

9
votes
3answers
273 views

Zariski topology in the complex plane: an example

I want to find the closure under the zariski topology, of this set $ \left\{ {\left( {x,y} \right) \in {\Bbb C}^2 ;\left| x \right| + \left| y \right| = 1} \right\} $ I have no idea what I can do
9
votes
2answers
1k views

Prerequisites for Atiyah Macdonald

I am currently doing a one semester course on groups and rings where we have learned about (so far): Definitions of groups, subgroups, cyclic and normal subgroups, the symmetric group, homomorphisms, ...
9
votes
2answers
1k views

Methods to check if an ideal of a polynomial ring is prime or at least radical

I am looking for methods to check whether a given ideal in $K[x_0,\dots,x_n]$ is prime. I mean something you can effectively use in some concrete non-trivial example. To be more explicit, I am working ...
9
votes
3answers
1k views

What are the integers $n$ such that $\mathbb{Z}[\sqrt{n}]$ is integrally closed?

I was recently reading about integral ring extensions. One of the first examples given is that $\mathbb{Z}$ is integrally closed in its quotient field $\mathbb{Q}$. Another is that ...
9
votes
3answers
639 views

Hartshorne Problem 1.2.14 on Segre Embedding

This is a problem in Hartshorne concerning showing that the image of $\Bbb{P}^n \times \Bbb{P}^m$ under the Segre embedding $\psi$ is actually irreducible. Now I have shown with some effort that ...
9
votes
4answers
522 views

Equality of two notions of tensor products over a commutative ring

Let $R$ be a ring (not necessarily commutative), let $M$ be a right $R$-module and let $N$ be a left $R$-module. Then the tensor product $M \otimes_R N$ is an abelian group satisfying the universal ...
9
votes
2answers
140 views

Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module?

I'm confused. Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module? We know that $\Bbb Z_{p^{\infty}} \subset \Bbb Q/\Bbb Z$ is artinian. The following argument is true or not ? $\mathbb Q / ...
9
votes
2answers
419 views

Why is a variety over a non-alg. closed field a hypersurface?

Exercise $3$ on page $8$ of Kunz's Introduction to Commutative Algebra and Algebraic Geometry is as follows: If the field $K$ is not algebraically closed, then any $K$-variety $V \subset A^n(K)$ can ...
9
votes
1answer
500 views

A question on faithfully flat extension

This question arose while reading page 116 of Red Book by Mumford. Let $B$ be a faithfully flat extension of $A$. Can I claim that $b \otimes 1 = 1 \otimes b$ in $B\otimes_A B$ if and only if ...
9
votes
1answer
234 views

Noetherian ring whose ideals have arbitrarily large number of generators

Does a commutative ring satisfying the following two properties exist? All ideals are finitely generated; There are prime ideals with arbitrarily large (finite) minimal generating sets.
9
votes
2answers
665 views

Infinite product of fields

The main source of inspiration for this question is this excerpt Recall: An ultrafilter on the set X gives you a maximal ideal in the ring of all real-valued functions, and these are the only ...
9
votes
2answers
220 views

If $R$ is a commutative ring with unity and $R$ has only one maximal ideal then show that the equation $x^2=x$ has only two solutions

If $R$ is a commutative ring with unity and $R$ has only one maximal ideal then show that the equation $x^2=x$ has only two solutions. I know that $0$ and $1$ are the solutions, but I can't proceed ...
9
votes
1answer
464 views

Why does the structure theorem for finitely generated modules over PIDs fail for arbitrary modules over a PID?

The proof that I know of the theorem goes like this: Any module $M$ is a quotient of a free module $F$ (over any ring). Any submodule $K$ of a free module $F$ over a PID $R$ is a free module, so in ...
9
votes
3answers
258 views

In $\mathbb{Z}/(n)$, does $(a) = (b)$ imply that $a$ and $b$ are associates?

[Update: Based on the hints provided by @zcn and @whacka, I believe I have found a solution. See my answer below.] Below, $R$ is a commutative ring with $1$. In John J. Watkins' Topics in ...
9
votes
1answer
246 views

If $I$ is a finitely generated ideal of $A[X]$, is $I\cap A$ necessarily finitely generated for a commutative unital ring $A$?

Let $A$ be a commutative ring with $1$ and $A[X]$ the ring of polynomials in one variable over $A$. Assume $I$ is a finitely generated ideal of $A[X]$. My question is Is $I\cap A$ necessarily ...
9
votes
1answer
197 views

Isomorphic factor rings of polynomial rings does imply isomorphic ideals?

Let $k$ be a field, $I$ and $J$ are ideals of $R=k[x_1,\dots,x_n]$. If $R/I\simeq R/J$ as rings, then $I \simeq J$ as $R$-modules holds? Thanks in advance!
9
votes
2answers
585 views

Rings whose spectrum is Hausdorff

Let $A$ be a commutative ring with $1$ and consider the Zariski topology on $\operatorname{Spec}(A)$. When will $\operatorname{Spec}(A)$ be a Hausdorff space? If $A$ has positive or infinite ...
9
votes
2answers
407 views

Exactness of sequences of modules is a local property, isn't it?

It's well known, that passing to modules of fractions is exact, i.e. if $M'\xrightarrow{f} M\xrightarrow{g} M''$ is an exact sequence of $A$-modules ($A$ being a commutative ring with ...
9
votes
1answer
119 views

Curious about Hilbert-Zariski theorem involving homogeneous variety and set of zeroes.

I got myself in a confusing situation the other week while trying to read a bit of algebraic geometry. I'm hoping someone can pull me out. Suppose $k$ is a field, and $V$ a homogeneous variety with ...
9
votes
1answer
600 views

Geometric meaning of completion and localization

Let $R$ be a commutative ring with unit, $I$ an ideal of $R$ and consider the following three constructions. The localization $R_I$ of $R$ at $I$ (i.e. the localization of $R$ at the multiplicative ...
9
votes
2answers
2k views

How to check whether an ideal is a prime (or maximal) ideal?

I have a ring $R$ which is known to be a Dedekind domain, but not necessarily a Euclidian domain, and a nonzero ideal generated by one or two elements in this ring. How can I check if this ideal is a ...
9
votes
1answer
523 views

Homomorphism of local rings

Let $(A,\mathfrak{m})$ and $(B,\mathfrak{n})$ be local Noetherian rings. Suppose that $\phi : A\rightarrow B$ is a map such that $\phi(\mathfrak{m}) \subset \mathfrak{n}$ and suppose ...
9
votes
1answer
134 views

diagonalizing a matrix over the $\ell$-adics

Let $M$ be a $2 \times 2$ matrix with coefficients in $\mathbb{Z}_{\ell}$ whose characteristical polynomial is $$ P(T) = T^2- (a+d) T + (ad-bc). $$ I've encountered the following assertion: If ...
9
votes
2answers
427 views

Computing the “lying over”, “going up”, “going down” ideals.

For any commutative unital ring $R$ and an ideal $\mathfrak{a}$ of $R$, we shall denote $$\begin{align*} \mathrm{Spec}(R)&:=\{\text{prime ideals of }R\},\\ ...
9
votes
1answer
428 views

Grade of a maximal prime ideal in a Noetherian UFD

Here is an another problem in Commutative Rings by Kaplansky, p. 103, no. 15. Let $R$ be a Noetherian UFD. Let $(a,b) \not= R$ where $a,b \in R.$ Prove that any maximal prime of $(a,b)$ has grade ...
9
votes
1answer
168 views

Is there a characterization of integral domains in terms of the homomorphisms out of them?

In the $\mathbf{Set}$-concrete category of commutative rings, we can define that an object $A$ is a field iff for every homomorphism $f : A \rightarrow B$, precisely one of the following holds. $f$ ...
9
votes
3answers
280 views

How does one prove that the ring of integer-valued polynomials $\text{Int}(\mathbb{Z})$ is not Noetherian?

How does one prove that the ring of integer-valued polynomials $\text{Int}(\mathbb{Z})$ is not Noetherian? I let $(1, f_1, ..., f_n,...)$ be the $\mathbb{Z}$-basis of $\text{Int}(\mathbb{Z})$, ...
9
votes
1answer
189 views

Lifting isomorphisms between derived categories

Suppose $A$ and $B$ are commutative rings. Let $A\to B$ be a surjective ring homomorphism. I will denote by $D(A)$ and $D(B)$ the derived categories of unbounded complexes over $A$ and $B$. Suppose ...
9
votes
1answer
476 views

Exercise 11.5 from Atiyah-MacDonald: Hilbert-Serre theorem and Grothendieck group

I don't understand Exercise 11.5 of Atiyah & MacDonald, which demands one elaborate upon or rephrase the Hilbert–Serre Theorem (11.1) in terms of the Grothendieck group $K(A_0)$. Here's ...
9
votes
1answer
474 views

How to tell if an element of a quotient ring is a zero divisor

I am looking at Hartshorne Example III.9.8.4., p260. He says that $a$ is not a zero divisor in $k[a,x,y,z]/I$, where $$ I = (a^2(x+1) -z^2, ax(x+1)-yz, xz-ay,y^2-x^2(x+1)). $$ Is there a good way to ...
9
votes
0answers
141 views

Is $\mathbb{Z}$ the only totally-ordered PID that is “special”?

(All my rings are commutative and unital.) Definition. Call a totally-ordered ring $R$ special iff for all non-zero $b \in R,$ every coset of $bR$ has a unique element in the interval $[0,|b|).$ ...
9
votes
0answers
348 views

Trivial intersection of algebraic sets?

The question came up while reading a bit more into the Hilbert-Zariski theorem I asked about the other week. Suppose $V$ is an algebraic variety over arbitrary field $k$. (For this situation, I'll ...
9
votes
1answer
320 views

In which commutative algebras does any derivation possess a flow?

Suppose $A$ is a commutative algebra over $\mathbb{R}$ with unity. $\mathbb{R}$-linear map $\xi\colon A\to A$ is a derivation of $A$ iff $\xi(ab)=a\xi(b)+\xi(a)b$ for any $a,b\in A$. If $\gamma\colon ...
8
votes
3answers
1k views

Prime ideals in the ring of algebraic integers

Let $\mathcal{O}$ be the ring of all algebraic integers: elements of $\mathbb{C}$ which occur as zeros of monic polynomials with coefficients in $\mathbb{Z}$. It is known that $\mathcal{O}$ is a ...
8
votes
3answers
2k views

If a ring is Noetherian, then every subring is finitely generated?

Let $R$ be a commutative ring with $1$, and let $K$ be a field. We know that $R$ is Noetherian iff every ideal of $R$ is finitely generated as an ideal. Question 1: If $R$ is Noetherian, is every ...
8
votes
3answers
1k views

If $A$ an integral domain contains a field $K$ and $A$ over $K$ is a finite-dimensional vector space, then $A$ is a field. [duplicate]

Possible Duplicate: Proof that an integral domain that is a finite-dimensional $F$-vector space is in fact a field I need to prove this result, but the only starting point I think of is to ...
8
votes
2answers
641 views

How does Hilbert's Nullstellensatz generalize the “fundamental theorem of algebra”?

What is Hilbert's Nullstellensatz in the sense of the generalization of "fundamental theorem of algebra"? I've seen that in some texts it was referred to as the generalization of the fundamental ...
8
votes
3answers
233 views

Integral closure of $\mathbb{Q}[X]$ in $\mathbb{Q}(X)[Y]$

Consider the ring $\mathbb{Q}[X]$ of polynomials in $X$ with coefficients in the field of rational numbers. Consider the quotient field $\mathbb{Q}(X)$ and let $K$ be the finite extension of ...
8
votes
4answers
344 views

Subrings of fraction fields

Let $R$ be an integral domain and let $S$ be a ring with $R \le S \le \text{Frac}(R)$ (fraction field). Question: Is there a multiplicatively closed subset $U \subseteq R\setminus \{0\}$ such that ...
8
votes
4answers
363 views

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals.

Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals. Help me some hints. I have no idea to start. ...
8
votes
4answers
1k views

Explicit examples of infinitely many irreducible polynomials in k[x]

My question is the following. Is it possible to give examples of infinitely many irreducible polynomials in a polynomial ring $k[x]$ with $k$ a field? I'm interested in this because I'm ...
8
votes
3answers
463 views

A fraction field is not finitely generated over its subdomain

I'm looking for proofs of the following fact. Suppose that $R$ is a domain which is not a field with fraction field $K$. Then $K$ is not finitely generated as $R$-module. I know this fact is ...
8
votes
2answers
916 views

Direct summand of a free module

Let $M$, $L$, $N$ be $A$-modules and $M=N\oplus L$. If $M$ and $N$ are free, is $L$ necessarily free?
8
votes
4answers
711 views

Non-Noetherian ring with a single prime ideal

My question: What are the most simple examples of a commutative ring R satisfying both of the following two properties: 1. R is not Noetherian. 2. R has exactly one prime ideal.
8
votes
2answers
447 views

Is this ring Noetherian?

The subring of $\mathbb{C}[x,y]$ consisting of all polynomials $f(x,y)$ whose gradient vanishes at the point $x=y=0$. Is this ring Noetherian?
8
votes
2answers
584 views

Hartshorne Exercise 1.1 (a)

(see bottom for apology) Let $Y$ be the plane curve $y = x^2$ (i.e., $Y$ is the zero set of the polynomial $f = y - x^2$). Show that $A(Y)$ is isomorphic to a polynomial ring in one variable over ...
8
votes
2answers
252 views

Is the ring of p-adic integers of finite type over the ring of integers?

Denote by $\mathbb{Z}_p$ the ring of $p$-adic integers. Is $\mathrm{Spec}(\mathbb{Z}_p)$ of finite type over $\mathrm{Spec}(\mathbb{Z})$?
8
votes
1answer
433 views

Is a regular ring a domain

A regular local ring is a domain. Is a regular ring (a ring whose localization at every prime ideal is regular) also a domain? I am unable to find/construct a proof or a counterexample. Any help would ...
8
votes
2answers
188 views

How does this step in the proof of the structure theorem for f.g. modules over a Dedekind domain work?

I am trying to show that every finitely generated projective module $P$ over a Dedekind domain $D$ is a direct sum of (fractional) ideals. May's notes on Dedekind domains claim the result can be ...
8
votes
3answers
395 views

Commutative Algebra without the axiom of choice

It is well known that in a commutative ring with unit, every proper ideal is contained in a maximal ideal. The proof uses the axiom of choice. This fact, and others that are proved using essentially ...