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

learn more… | top users | synonyms (1)

1
vote
0answers
35 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 ...
12
votes
2answers
116 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
0answers
33 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
53 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
23 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
45 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
41 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
21 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
34 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
18 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
42 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 ...
3
votes
1answer
38 views

Minimal Number of Generators

In commutative algebra, for a module $M$ over a (possibly unital) commutative ring $R$, when is the number $\mu_R(M)$ well-defined? For example, if $R$ is a local ring, then (by Nakayama Lemma and ...
1
vote
1answer
52 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
35 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
37 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
71 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
115 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
21 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
27 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\}$"?
7
votes
1answer
121 views
+200

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
77 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
69 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
38 views

Problem on the number of generators

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
69 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
32 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. ...
1
vote
0answers
21 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
80 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
21 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
49 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
38 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
62 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 ...
2
votes
1answer
58 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
69 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 ...
1
vote
1answer
37 views

Difference between PID and principal ideal ring

All rings are commutative, associative and with 1. Wikipedia states that the difference between PID and Principal Ideal Ring is that the former has to be integral domain while the latter does not. ...
1
vote
0answers
35 views

Interpretation of $\Omega_{A/k} \simeq A \otimes_k I/I^2$ for affine group schemes

I'm learning some group scheme stuff and there's the following result: If $A$ is Hopf $k$- algebra, then $\Omega_{A/k} \simeq A \otimes_k I/I^2$, where $I$ is the augmentation ideal. I know the ...
0
votes
0answers
30 views

A question about locally free differential sheaf and regular local ring

Let $B$ be a local ring containing a field $k$ isomorphic to its residue field. Assume furthermore that $B$ is a localisation of a finitely generated $k$-algebra. Then $Ω_{B/k}$ is a free $B$-module ...
3
votes
1answer
73 views

Atiyah-MacDonald, Problem 6 of Chapter 1

I was trying to solve the following problem from "Introduction to Commutative Algebra" by Atiyah and MacDonald. (It is Problem 6 of Chapter 1.) While trying to solve the problem, I am facing trouble ...
1
vote
1answer
49 views

A nonfree module which is locally free

The general context is trying to understand the Picard groups of various schemes, but this question focuses on affine schemes. Let $X=Spec A$ an affine scheme. What conditions does $A$ need to ...
0
votes
0answers
28 views

Same number of generators and relations in a complete intersection, when?

I make this question a bit more general because i think as i put it, it will have no answer because there are too many maybe irrelevant details: Given $B$ an $A$-algebra, local, of finite type (that ...
1
vote
0answers
57 views

Local complete intersection ring

Suppose $R$ is a local Noetherian complete intersection ring that is a finite $A$-algebra, where $A$ is a DVR. If the module of differentials of $R$ is free as an $R/\mathfrak a$-module for some ...
0
votes
1answer
32 views

Deducing a presentation for a complete intersection

Today, while reading some articles, I had this doubt trying to justify a passage: Hypothesis Suppose $O_K$ is some complete discrete valuation ring (it is the ring of integers of some complete field ...
-2
votes
0answers
41 views

$R_P$ is a valuation noetherian ring

I need a hint to prove this question: Let $R$ be an integral domain and $P\neq 0$ a principal ideal of $R$ such that $\cap_{i=1}^{\infty}P^n=0$, show $R_P$ is a valuation Noetherian ring. I ...
0
votes
0answers
100 views

Computing the Length of a finite length module.

How we can compute the length (length of a composition series) of the Artinian local ring $R=K[x,y]/(x^3,y^3)$ ? Does the following chain is a saturated chain of ideals of $K[x,y]$ ? ...
3
votes
1answer
47 views

Is Serre's $S_1$ condition equivalent to having no embedded primes?

Today I tried to prove that if a Noetherian ring $A$ satisfies Serre's $R_0$ and $S_1$ conditions, then $A$ is reduced. Now we recall that $R_0$ means the localization at any minimal prime is a field ...
5
votes
1answer
108 views

The kernel of $R \to A \otimes_R B$ is nil

Let $R \to A$ and $R \to B$ be two homomorphisms of commutative rings whose kernels are nil (i.e. consist only of nilpotent elements). Then the kernel of $R \to A \otimes_R B$ is also nil. See ...
1
vote
0answers
45 views

question about gradation of a ring

I was reading Mumford's 'Red book on varieties and schemes', when I came across the following paragraph: I am confused about meaning of the phrase "We let $k(X)$ be the zeroth graded piece of the ...
2
votes
4answers
165 views

A finitely dimensional algebra over a field has only finitely many prime ideals all of them are maximal

Let $K$ be a field and let $R$ be a $K$-algebra with unity which is finite dimensional as a $K$-vector space. Prove that $R$ has only finitely many prime ideals all of which are maximal. (Hint: ...
0
votes
0answers
45 views

use Noether normalization theorem to integrate differential forms over singular subvarieties

Let $X \subset \mathbb C^n$ be an analytic subset. I would like to show that locally around any point $x \in X$ the regular part $X_\text{reg}$ has finite volume, perhaps using the theorem below. ...
2
votes
0answers
66 views

Computing generators of the positive component of a graded ring

Let $R$ be a sub-algebra of $\mathbb{Q}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$ given by finitely many generators, and let $\lambda$ be a linear form $\lambda : \mathbb{Z}^n \to \mathbb{Z}$. This defines a ...
1
vote
0answers
26 views

An example of a henselian valuation of rank 2.

I need to know simple examples of valuations of rank bigger than one. Please help me to concrete some examples of valuations of rank bigger than one with their valuation rings (specially henselian ...