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

learn more… | top users | synonyms (1)

3
votes
1answer
38 views

Atiyah-Macdonald 5.2

Exercise 5.2 in Atiyah-Macdonald asks to show the following: "Let $A$ be a subring of a ring $B$ such that $B$ is integral over $A$, and let $f: A \to \Omega$ be a homomorphism of $A$ into an ...
1
vote
1answer
31 views

A relation involving an endomorphism of a finitely generated module

Suppose $R$ is a commutative ring, $I$ is an ideal of $R$, and $M$ is a finitely generated $R$-module. (Usually in this problem $R$ includes $1_R$.) Let $\phi : M \to M$ be an $R$-homomorphism, and ...
-1
votes
1answer
17 views

Prove that T is not a zerodivisor in A[T]

Let A be any ring, consider the polynomial ring A[T]. Prove that T is not a zerodivisor in A[T]. Generalise the argument to prove that a monic polynomial $$ f=T^n+a_{n-1}T^{n-1}+\dots+a_0 $$ is ...
2
votes
2answers
60 views

Going-up and going-down theorems: motivation

I am reading about the going-up and going-down theorems in Atiyah & Macdonald's commutative algebra book. I'm wondering if anyone could give me some basic facts/examples to help me understand why ...
0
votes
0answers
21 views

references for number ring theory [on hold]

I am currently studying commutative algebra and in most ressources I have found, I am quite unhappy with the part devoted to the study of "standard" examples, and I find difficult to get surveys that ...
1
vote
1answer
42 views

Primary ideal exercise

I have an exercise about the properties of primary ideal. It's Exercise 15.17 of "Step in commutative algebra", R. Y. Sharp. Let $(A,\mathfrak{m})$ be a local ring and $I$ be a proper ideal of $A$. ...
1
vote
0answers
35 views

A query on Veronese mapping

The Veronese mapping defined as usual on some $P^n$. Then it is certainly regular. I want to prove that the inverse map to this map is also regular. I have an idea to use projections with ...
0
votes
0answers
27 views

Colon ideal and Artin-Rees lemma [on hold]

Let $a$ and $b$ be ideals of a Noetherian integral domain $R$. Prove that there exists a natural number $r$ such that $(a^n:b) = a^{n-r}(a^r:b)$ for $n > r$.
1
vote
2answers
22 views

$rad(I)=\cap_{I\subset P,~P~prime}P$

$R$ commutative ring with unity. $I$ R-ideal. Then $rad(I)=\cap_{I\subset P,~P~prime}P$. That is, the radical of $I$ is the intersection of all prime ideals containing $I$. There is a proof of this ...
1
vote
1answer
50 views

If $p \in \operatorname{Ass}M$, then $R/P \subset M$.

Let $R$ be a commutative ring with unity. $M$ an $R$-module. Then $P \in \operatorname{Ass}M$ if and only if there is a submodule $N\subset M$ such that $R/P \cong N$. ...
1
vote
2answers
25 views

minimal prime ideals over the union of two prime ideals

When two subvarieties intersect properly ($X_1\cap X_2$), it should end up with a new subvariety($X_3$=$X_1\cap X_2$). I do not know how to keep track of the intersection operation from the algebraic ...
1
vote
1answer
27 views

“Adjugate” of an endomorphism of a finite-rank free module

If $M$ is a free module of finite rank $n$ over a commutative unitary ring and $a$ is an endomorphism of $M$, consider the endomorphism $\hat a$ of $M$ defined by the identity $$ x_1\wedge ...
0
votes
1answer
36 views

A question related to the height of a proper ideal in a Noetherian ring

Let $A$ be a Noetherian ring, and $I\subset A$ a proper ideal of height $r$. Is it true that there exist $a_1,\ldots,a_r\in I$ such that $$\operatorname{ht}(a_1,\ldots,a_j)=j$$ for all $j=1,\ldots,r$ ...
3
votes
1answer
27 views

Basis-free and noncommutative versions of the two-polynomials-over-ring problem (McCoy theorem etc.)

There is a rather canonical bunch of exercises in commutative algebra which tend to come up time and again on math.stackexchange: recently in #948010 and #83121, formerly in #227787 and #413788, and ...
3
votes
1answer
151 views
+50

Zero divisors in $A[x_1,x_2,\dots,x_r]$

I am trying to show that if $f(x_1,x_2,\ldots, x_r) \in A[x_1,x_2,\ldots, x_r]$ is a zero divisor then there exists $a$ in $A-\{0\}$ such that $af=0$ in $A[x_1,x_2,\ldots, x_r]$. What I have ...
0
votes
0answers
29 views

The relation of colon ideal and quotient [on hold]

Let $k$ be a field and $R=k[[x_1,x_2,\ldots,x_n]]$ the ring of power series over $k$. If $I$ is an ideal of $R$ such that the cardinal of the set $\{ann(f+I): f \in R \}$ is two, what can we say ...
2
votes
0answers
44 views

Generators of an ideal in rings of power series

Please help me for solving a homework. Let $k$ be a field and $R=k[[x_1,x_2,\ldots,x_n]]$ the ring of power series over $k$. If $I$ is an ideal of $R$ such that ...
0
votes
0answers
30 views

Differential operators on the polynomial ring

Let $A$ be a commutative algebra over complex numbers. If $a\in A$ we define $m_a$ to be a linear map which sends each $x$ to $ax$. The zero map $A\to A$ is said to be a differential operator of an ...
0
votes
1answer
39 views

Question about the ideal $I=(xy,yz,zx)$ in the ring $\mathbb C[x,y,z]$.

Given the ideal $I=(xy,yz,zx)$ in the ring $\mathbb C[x,y,z]$, I want to compute $V(I)$, which is the intersection of all ideals containing $I$. And I also want to prove that $I$ can't be generated by ...
0
votes
1answer
52 views

Relation between ideals in Noetherian domains.

Suppose that we have a Noetherian domain $R$ and two ideals $I$ and $J$ of $R.$ Now consider the minimal (or irredundant) primary decompositions $I=\bigcap\limits_{i=1}^r Q_i$ and ...
2
votes
2answers
87 views

Showing an ideal with maximality condition is prime.

Let $R$ be a commutative domain and suppose that $I \subseteq R$ is an ideal of $R$ maximal with respect to the property that $I^{-1} \not\subseteq R$. Show that $I$ is a prime ideal. This is ...
1
vote
0answers
28 views

K[x,y,z,w]/(xw-yz) not UFD [duplicate]

I am trying to prove its not UFD. I started by assuming x=ab in K[v] , where v=v(xw-yz) then x-ab=(xw-yz)f, for some f in K[x,y,w,z] I tried to say that deg of a, and b is less or equal 1, and ...
0
votes
1answer
34 views

Cohen structure theorem for artinian local rings

Let $(R,m)$ be an artinian local ring. Since $m^n=0$ for some $n$, it is clear that $R$ is complete with respect to $m$-adic topology. Now i want to know that how do we state the Cohen structure ...
0
votes
1answer
27 views

maximal algebraically independent sets in ring extensions

Let $E/K$ be a field extension. It is a well known fact that all maximal subsets $A \subset E$ consisting of algebraically independent elements over $K$ have the same cardinality (which is by ...
0
votes
0answers
32 views

Bruns-Herzog, Cohen-Macaulay Rings, Exercise 9.1.10(c)

The following question is from the book: Bruns-Herzog, Cohen-Macaulay Rings, Exercise 9.1.10(c). Let R be a ring, I a finite generated ideal and M an R-module. Let R$_{\infty}$ be a polynomial ...
1
vote
1answer
48 views

Krull dimension in finite ring extensions

Let $K$ be a field and $R=K[a_1, \dots, a_n]$ a finite ring extension. Suppose that the degree of transcendence of $R$ over $K$ is $r$. Then the Krull dimension of $R$ is at most $r$. I would like to ...
3
votes
1answer
73 views

Localization at finitely many minimal prime ideals

Let $A$ be a commutative ring with finitely many minimal prime ideals $\{p_1,\dots,p_n\}$. Let $A_{p_1,\dots,p_n}$ be the localization of $A$ away from the minimal primes, i.e. $S^{-1}A$ where $S = ...
2
votes
1answer
57 views

Sets of prime ideal contain a minimal element

I want to prove that every nonempty set of prime ideal contain a minimal element, my attempt is to prove it by using zorns lemma and i would like to know if my proof is valid. Let $\Sigma$ be a ...
1
vote
1answer
38 views

Colon ideal of fractional ideals is itself a fractional ideal

I received this question on homework in my homological algebra class and I need some guidance. Let $R$ be a commutative integral domain and $K$ be its field of fractions. A fractional ideal $I$ of ...
0
votes
1answer
71 views

Is $\mathbb Z\oplus \mathbb Q$ a flat $\mathbb Z$-module? [closed]

Can someone please explain why $\mathbb Z\oplus \mathbb Q$ is flat or not?
-1
votes
1answer
60 views

What are good references for the theory of Cohen-Macaulay rings?

I am studying Cohen-Macaulay Rings from the book Cohen-Macaulay rings by W. Bruns. Please tell me some reference book/notes on Cohen-Macaulay rings theory.
5
votes
1answer
68 views

How to show that $\mathbb{C}[x_1,x_2,x_3, x_4]/(x_1x_2 - x_4x_3, x_1x_3 - x_2x_4, x_4x_1 - x_3x_2)$ is integral domain

I am looking for a way to show that the ring $\mathbb{C}[x_1,x_2,x_3, x_4]/I$ where $I = (x_1x_2 - x_4x_3, x_1x_3 - x_2x_4, x_4x_1 - x_3x_2)$ is an integral domain. In other words I want to show $I$ ...
4
votes
3answers
82 views

stalk of projective variety in terms of the coordinate ring

Let $X \subseteq \mathbb{P}^n$ be an embedded projective variety over some field $k$ with its corresponding homogeneous coordinate ring $R = k[X_0,\dots,X_n]/I(X)$. Let further $X = \bigcup_{i=0}^n ...
2
votes
0answers
37 views

Category of schemes with flat morphisms

Consider the category whose objects are schemes, and for every two schemes $X$ and $Y$, morphisms $\operatorname{Hom}(X,Y)$ consist of flat morphisms $X\rightarrow Y$, only. Does this category have a ...
2
votes
0answers
54 views

Is the maximal ideal of a localization at a prime ideal principal?

Let $X$ be a closed subvariety of $\mathbf P^{n}_{k}$ which is nonsingular in codimension one. Let $Y$ be a subvariety of $X$ of codimension one, let $\eta$ be its generic point. First question: is ...
15
votes
2answers
167 views

Is Pythagoras the only relation to hold between $\cos$ and $\sin$?

Pythagoras says that $\cos^2 \theta + \mathrm{sin}^2\theta = 1$ for all real $\theta$. (Vague) Question. Is this the only relationship between the functions $\cos$ and $\sin$? More precisely: Let ...
0
votes
1answer
68 views

Radical ideals of $\mathbb{Z}$?

I am having trouble with classification of the radical ideals of $\mathbb{Z}$. We know that for a commutative ring $R$ with an ideal $I$, the radical of $I$ is defined (and denoted as $\sqrt{I}$) as ...
1
vote
0answers
94 views

Learning roadmap in Algebra

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
-1
votes
0answers
30 views

Relation between elements of a ring and their annihilators

let $(R.m)$ be a local ring and $x,y$ two elements of $R$ and for ideal $I$ of $R$, we have $x$ is in $I$, $ann(x)=ann(y)$ and $x$ is uniqu minimal ideal of $R$, is there any conditions that implies, ...
1
vote
1answer
51 views

A property of minimal prime ideal

Let $R$ commutative ring with unity, $S\subseteq R$ subring, $p$ minimal prime ideal of $S$. Show there exists a minimal prime ideal $q$ in $R$ with the property that the contraction $q^c=q\cap S=p$. ...
1
vote
1answer
48 views

A question about projective modules.

Suppose that we have a commutative ring $R$ with an idempotent $e$, and $M$ an $R$-module such that $Me$ is $Re$-projective. I am interested to know under which conditions this implies that $M$ is ...
0
votes
0answers
24 views

Frobenius splitting from viewpoint of commutative algebra

First I define two terms: Let $R$ be a commutative ring with identity,let char$R$ = $p$, let $F:R\rightarrow R$ be the Frobenius ring homomorphism. This makes $R$ into an $R$-module with respect to ...
1
vote
0answers
40 views

Gorenstein ring and projective module

I am new to this topic and would appreciate little explanation. Def: A commutative, unital ring $A$ is a cubic ring if $A$ is a free $\mathbb{Z}$-module of rank $3$. Def : A cubic ring $A$ is ...
0
votes
0answers
19 views

a question on equivalence classes of balanced fractional ideals and Dedekind domain

Let $R$ be a commutative ring, and let $K=R\otimes \mathbb{Q}$. Def.1) We say that a pair of fractional ideals $(I, I')$ in $K$ is balanced if $II'\subseteq R$ and $N(I)N(I')=1$. Def.2) Two ...
2
votes
1answer
52 views

Preimage of maximal ideal is maximal [duplicate]

I've just started a commutative algebra course and I'm stuck on the very first homework problem: Let $A \not= \{0\}$ be a commutative ring. Let $\Phi : A \longrightarrow B$ be a ring homomorphism ...
1
vote
1answer
65 views

Intersection of two polynomial ideals

In the $4$-dimensional affine space $\mathbb{A}^4$ with coordinates $x,y,z,t$, consider $X$ as the union of the planes $$ X'=\{x=y=0\} $$ and $$ X''=\{z=x-t=0\} $$ (I'm working on a algebraically ...
2
votes
1answer
38 views

Relation between $\text{Hom}_{\mathsf{Alg}_{\mathbb{R}}}(\mathcal{C}^\infty(M),A) $ and $ X \otimes_\mathbb{R} A$?

This question is a little bit of a shot in the dark, but maybe someone stumbled over it before... Let $M$ be a (simply connected) smooth manifold modelled on a locally convex space $X$ over ...
1
vote
1answer
38 views

If the factor of a finitely generated module is free then submodule is also finitely generated

All rings are commutative, associative and with 1. Consider short exact sequence $0 \rightarrow M' \rightarrow M \rightarrow M'' \rightarrow 0$ of $R$-modules. How to show that if $M$ is finitely ...
3
votes
0answers
81 views

preservation of localness among certain Krull domains

Let $R$ be a local Krull domain, and let $\mathfrak p$ be a height one prime ideal whose class in the divisor class group is non-torsion. (That is, $\mathfrak p^{(n)}$ is non-principal for all $n$.) ...
-1
votes
2answers
116 views

Show that every maximal ideal in $ \mathbb{Z}[x, y] $ contains a prime number [closed]

Let $\mathfrak{M} \subseteq \mathbb{Z}[x, y]$ be a maximal ideal. Show that $ \exists\ p \in \mathbb{Z}$, $p$ prime such $p \in \mathfrak{M}.$ Thanks for the answers. I'd be interested in a proof ...