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

learn more… | top users | synonyms (1)

4
votes
1answer
197 views

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 ...
2
votes
0answers
51 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
42 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
61 views

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

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
62 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
96 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
30 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 ...
1
vote
1answer
39 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 ...
1
vote
1answer
32 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
41 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
61 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
86 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
78 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
47 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
79 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
70 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
71 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
88 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
38 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 ...
1
vote
0answers
61 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 ...
17
votes
2answers
187 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
81 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 ...
2
votes
0answers
124 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
vote
1answer
60 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
58 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
36 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
41 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
21 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
74 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
70 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
45 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
40 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
84 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
122 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 ...
0
votes
1answer
27 views

Length of polynomial ring modulo a homogeneous regular sequence

Proposition: Let $k$ be a field and $R=k[x_1,\dots,x_n]$ the polynomial ring with $x_i$ having degree $1$. Let $f_1,\dots,f_n$ be homogeneous elements such that $\deg(f_i)=s_i >0$ and they form ...
1
vote
1answer
32 views

An equivalent condition for zero dimensional Noetherian local rings

Let $(A,m)$ be a Noetherian local ring. Why "$A$ is zero dimensional if and only if a power of $m$ is $\{0\}$"?
8
votes
1answer
171 views

Recovering free modules from their projective limit

Let $\dotsc A_2 \to A_1 \to A_0$ be a sequence of surjective homomorphisms of commutative rings. Consider the projective limit $\varprojlim_i A_i$. If $S$ is an (infinite) set, then $\varprojlim_i ...
1
vote
1answer
82 views

non-principal height one primes of a particular hypersurface

I was reading about divisor class groups, and I was wondering the following. Let $R=\mathbb{C}[X,Y,Z,W]/(XZ-YW)$, and let $x,y,z,w$ be the images of $X,Y,Z,W$ in $R$, respectively. Is there a way ...
2
votes
0answers
89 views

The greatest common divisor of homogeneous polynomials

Let a matrix $$M=\begin{pmatrix} a_{01}&a_{02}&a_{03}\\a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{pmatrix}$$ with $a_{ij}\in k[x,y,z]$ ...
0
votes
1answer
71 views

Problem on the number of generators of some ideals in $k[x,y,z]$ [closed]

I have got stuck with two generator problems: The ideal $(zx,xy,yz)$ can't be generated by $2$ elements. The ideal $(xz-y^2,yz-x^3,z^2-xy)$ can't be generated by $2$ elements. Here the ...
0
votes
1answer
76 views

Intersection of all associated primes

Given $(R,m)$, a Noetherian local ring, and $M$ a nonzero $R$-module. I was wondering if there is a way to describe the elements of $\displaystyle\bigcap_{P\in Ass_RM} P$. In particular, when $M$ is ...
2
votes
1answer
40 views

Localization of a finitely generated module is trivial iff its annihilator is nontrivial

I have a problem on Atiyah and MacDonald's commutative algebra book, the exercise 3.1: Let $S$ be a multiplicatively closed subset of a ring $A$ and $M$ a finitely generated $A$ - module. ...
0
votes
0answers
29 views

Kernel of homomorphism $A[X] \to B$ between integral domains [duplicate]

Let $A \leq B$ be integral domains, where $A$ is integrally closed and $B/A$ is an integral ring extension. Let further $\varphi : A[X] \to B$ be some homomorphism of $A$-algebras. Is the kernel ...
2
votes
2answers
94 views

Is every local ring a valuation ring?

Is every local ring a valuation ring? I know the answer is no and the first example comes to my mind was as following (I started with smallest fields, as $\mathbb{Z}_2$ and $\mathbb{Z}_3$ are ...
0
votes
0answers
27 views

Extension of graded algebra by a homogeneous ideal

If an algebra is graded by the group $G$: $A=\bigoplus\limits_{d \in G} A_d$ and contains a homogeneous ideal $I \subset A$, then we have the quotient $B:=A/I$ and canonical epimorphism $\nu:A ...
0
votes
1answer
59 views

Question regarding Vakil's algebraic geometry notes

Exercise 1.3 D of Vakil's lecture notes on algebraic geometry asks: "Verify that $A \to S^{−1}A$ satisfies the following universal property: $S^{−1}A$ is initial among $A$-algebras $B$ where every ...
1
vote
1answer
43 views

Nilpotent elements in commutative rings

Let $A$ be a commutative ring, $a, a+b \in A$ are nilpotent. Does this imply that $b$ is nilpotent?
7
votes
1answer
71 views

The set of all $p \in \mathbb{C}[x]$ that can be expressed using only one occurrence of $x$.

Let $X$ denote the least subset of $\mathbb{C}[x]$ subject to the following constraints. $x \in X$. $p \in X \rightarrow ap \in X,$ for all $a \in \mathbb{C}$. $p \in X \rightarrow p+a \in X,$ for ...
1
vote
1answer
64 views

Does there exist a UFD having only finitely many irreducibles?

Does there exist a UFD (which is not a field) having only finitely many irreducible elements? Definition of a UFD is: $R$ is an integral domain ($R$ is a commutative ring having unity and no ...
3
votes
1answer
76 views

Plane curves isomorphic to the affine line

Let $C$ be a plane curve parametrized by $x=f(t),y=g(t)$ where $f(t),g(t)\in k[t]$. We can easily see that the coordinate ring of $C$ is isomorphic to $k[f(t),g(t)]\subset k[t]$. So $C$ is isomorphic ...