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

learn more… | top users | synonyms (1)

3
votes
1answer
96 views

On one-dimensional socles

Let $(R,m,k)$ be a regular local ring of dimension $n$. Let $b_1,\dots,b_n$ be a maximal $R$-sequence and define $J=(b_1,\dots,b_n)$. Let $y_1,\dots,y_n$ be a regular system of parameters of $R$ and ...
1
vote
1answer
66 views

Radical of a quotient ring

Let $F$ be a field. Suppose that $f\in F[X]$ can be written as $f=g^m$ for some separable polynomial $g\in F[X]$. Assume that $f$ has degree $\geq 1$ and $m\geq 1$. Define the quotient ring ...
8
votes
1answer
150 views

How to compute Ext over an exterior algebra

I found this question in several places (even on mathoverflow and mathstackexchange), but I never found a satisfying answer. Let $k$ be a field and $V$ a finite dimensional $k$-vectorspace. I ...
0
votes
1answer
49 views

Help in this proof on DVRs

I'm trying to understand this proof: Anyone could clarify the converse please? I really need help. Thanks a lot
1
vote
0answers
85 views

'Finitely generated modules' versus 'Finitely generated algebra'

I'm reading Commutative Algebra by Bourbaki, and I'm on chapter III of the book. I really think that the author made a typo there, but I'm not so sure. It's Proposition 1, and its Corollary on page ...
4
votes
1answer
168 views

A question on valuation overrings of a PID

Let $A$ be a PID and let $K$ be its quotient field. Let $V$ be a valuation ring of $K$ containing $A$ and assume $V\neq K$. Show that $V$ is a local ring $A_{(p)}$ for some prime element $p$. I ...
0
votes
1answer
119 views

Preimage of Maximal ideals

It is a common fact that when F is a surjective homomorphism from a commutative ring A to another B (with 1), we have inverse images of the maximals in B maximal in A. Could anyone be so kind to me ...
4
votes
0answers
226 views

Computing toric ideals via saturation

I have recently got interested in toric varieties and I have a question concerning their ideals. Let $A \in \mathbb{Z}^{m \times n}$ and $\ker A = \{ u \in \mathbb{Z}^n \; | \; Au = 0 \}$. For any $u ...
4
votes
2answers
99 views

Stalk of the quotient presheaf

Consider a sheaf of abelian groupS $\mathscr F$ over a topological space $X$. If $\mathscr F'$ is a subsheaf of $\mathscr F$ (over $X$), then we can construct the quotient presheaf $\mathscr ...
6
votes
1answer
285 views

Normalization of a quotient ring of polynomial rings (Reid, Exercise 4.6)

I solved all parts of Exercise 4.6 of the book Undergraduate Commutative Algebra of Miles Reid except the last one. Let $A=k[X]$ and $f\in A$ has a square factor but it is not a square polynomial ...
2
votes
1answer
180 views

Maximal ideals of rings which are finite dimensional vector spaces over $\mathbb C$.

If $K$ is a commutative ring which is a finite dimensional vector space over $\mathbb C$ what can we say about the maximal ideals of $K$? What can we say if instead of $\mathbb C$ we have some ...
1
vote
2answers
52 views

What are some concrete examples of ideals and modules where $I M = M$?

I'm trying to get more of intuition for the cloud of ideas surrounding the abstract Cayley-Hamilton theorem, Nakayama's lemma, etc., so I'd like to see some concrete examples. The problem is that the ...
1
vote
1answer
82 views

K-algebra isomorphic to a polynomial ring

I am trying to understand why this is true: Let K be a field, and let $K[a_1,\ldots,a_r]$ be a finitely generate $K$-algebra. If $a_1,\ldots, a_r$ are algebraically independent, then ...
0
votes
1answer
36 views

Can one find in this specific setting an extension of a given ring map?

All rings in this question are unitary and commutative and all maps are homomorphisms of commutative rings sending $1$ to $1$. Let $R$ and $S$ be regular local rings and let $$ ...
2
votes
1answer
100 views

Does the natural bijection between the set of prime ideals in A disjoint from S and Spec$(S^{-1}A)$ restrict to maximals?

I was studying rings of fractions, and I was wondering about the problem of restricting the canonical bijection (induced by retraction and extension of ideals) $\{p\in \text{Spec}(A) \mid p\cap ...
-5
votes
1answer
120 views

Finite product of algebras of finite type

Let $A$ be a commutative ring with unity. Let $B, C$ be $A$-algebras of finite type. Is $B \times C$ an $A$-algebra of finite type?
3
votes
2answers
113 views

If the ring map $f: A\rightarrow B$ is integral, fibres of $f^*$ are finite, then $f$ is finite?

If the ring map $f: A\rightarrow B$ is integral, i.e. $B$ is integral over the subring $f(A)$, and each fibre of the induced map $f^*: Spec(B)\rightarrow Spec(A)$ is a finite set, then should $f$ be ...
1
vote
1answer
52 views

Gelfand transform explicity

Let $T$ be a bounded normal operator. Let $A$ be the algebra generated by $T$ and $T^*$. What is the explicit Gelfand transform $G:A\to C(\sigma(T))$? My book says the image of $T$ is the ...
11
votes
1answer
141 views

$B\otimes_A A[x]=B[x]$

Let $A\rightarrow B$ be a homomorphism of commutative rings. Then $B\otimes_A A[x]\cong B[x]$ as $B$-algebras. How can one demonstrate this nicely, i.e. using universal properties alone and the Yoneda ...
2
votes
1answer
56 views

$K(A)\cong \mathbb Z$ for a PID $A$

In Atiyah and Macdonald, chapter 7, exercise 26, iii), it's required to show the Grothendieck group $K(A)\cong \mathbb Z$ for a PID $A$. By ii) of this problem, it's easy to show that $K(A)$ is ...
3
votes
1answer
65 views

Exact sequence induces exact sequences for free parts and torsion parts?

Let $A$ be a PID and consider the exact sequence of finitely generately modules over$A$: $$0\longrightarrow M' \overset{f}{\longrightarrow}M\overset{g}{\longrightarrow}M''\longrightarrow 0 \tag{1}.$$ ...
3
votes
2answers
133 views

Surjection from a Noetherian ring induces open map on spectra?

Let $A$ be a Noetherian ring, $f: A\rightarrow B$ a surjective ring map, then should the induced map on spectra $f^*: Spec(B)\rightarrow Spec(A)$ be an open map? In Atiyah and Macdonald, Chapter 1, ...
1
vote
0answers
121 views

About the “going-down property”

In Atiyah and Macdonald, Chapter 5, Exercise 10, there defines the so called "going-down property" (GDP). Then in Chapter 7, Exercise 24, the hint says, the ring map $f: A\rightarrow B$ has GDP ...
3
votes
0answers
68 views

understanding the language of an argument in Bruns and Herzog Cor. 2.3.10

The following question is heavily related to the context of theorems 2.3.9 and 2.3.10 in the text Cohen-Macaulay rings by Bruns and Herzog. My intention is to make this question as self-contained as ...
2
votes
2answers
85 views

If $N$ is an $R/I$-submodule of $M$ can we view $N$ as an $R$-submodule of $M$?

Let $R$ be an integral domain, $M$ an $R$-module and $I\subseteq \mathrm{Ann}(M)$ an ideal of $R$. $N$ is an $R/I$-submodule of $M$ (as $R/I$-module). Can we view $N$ as an $R$-submodule of $M$ ...
4
votes
2answers
143 views

Module of $R$-valued functions on an infinite set is not countably generated

Let $R$ be an integral domain and $X$ be an infinite set. Let $R^X$ be the set of all functions $f: X \rightarrow R$, viewed as an $R$-module in the usual manner: for $\alpha \in R$, $\alpha f: x \in ...
5
votes
1answer
162 views

Endomorphism of a local $k$-algebra inducing an automorphism modulo $m^2$ is an automorphism

The following is exercise 4.1 of Hartshorne's Deformation Theory, used in the proof given there of the sufficiency of the infinitesimal lifting criterion of smoothness: Let $(A,m)$ be a local ...
7
votes
2answers
114 views

If $k\subset R\subset k[x]$, then $R$ is Noetherian?

Is there a way to prove that any subring $R$ of the polynomial over a field $k$ such that $k\subset R$ is Notherian without appealing to integral extensions, Eakin-Nagata, etc.? The reason I ask is ...
2
votes
0answers
50 views

question on $\mathbb{Q} \otimes R[G]$ his maximal ideals, the action of a Galois group on it

Reasoning on a question a friend posed me, i've found a question in the following setup: Suppose you have a finite group G, now you can pass to the algebra $\mathbb{Q} \otimes R[G]$ where the second ...
3
votes
1answer
101 views

Prove $A_\mathfrak{p} \otimes_A B_\mathfrak{q} = B_\mathfrak{q}$, where $\mathfrak{q}$ prime in $B$

$\require{AMScd}$ Hi, I think I have the answer for this question, but I'm not sure if it's correct. So I would be very glad if someone could have a quick look through it. Let $A$, $B$ be ...
1
vote
0answers
43 views

refining a presentation of a quotient ring

Suppose that we have a commutative ring $R$ which i) is local ii) is the quotient of a regular ring and iii) it is a $k$-algebra, where $k$ is a field. I am trying to prove that in that case we can ...
2
votes
2answers
228 views

Evaluation morphisms of formal power series and nilpotent elements

Given a commutative ring $A$, and a finitely presented (associative) $A$-algebra $B$, show that a morphism of $A$-algebras $A[[x]] \longrightarrow B$ is given by evaluation at an nilpotent element $ ...
2
votes
1answer
92 views

Define, $p^{-1} = \{x \in K: xp \subset D\}$. Then show that there exists a non zero $c \in D$ such that $cp^{-1} \subset D$.

Let $D$ be an integral domain and $K$ be its field of fraction. Also, given that $D$ is Notherian, Integrally closed, and every non-zero prime ideal in $D$ is maximal ideal. Let $p$ be a ideal of ...
9
votes
2answers
906 views

Projective module over a PID is free? [duplicate]

A common result is that finitely generated modules over a PID $R$ are projective iff they are free. Is the same true that an arbitrary projective module over a PID is free? I can't find this fact ...
3
votes
0answers
72 views

Understanding the construction of the cotangent complex (S. Lichtenbaum's way)

I am trying to thoroughly understand the "old" construction of the cotangent complex. The first question I have is about the definition of an extension of degree two of a ring $B$ above a ring $A$ ...
2
votes
1answer
36 views

existence of a factorization morphism related to extension fields

Let $R$ be a Noetherian $k$-algebra, $k$ a field. Let $K$ be a field extension of $k$. Let $Q$ be a prime ideal of $R \otimes_k K$ such that $Q \cap R = p$. Question: What is an elegant way to ...
5
votes
2answers
122 views

Show that $R$ is a Noetherian Ring [closed]

$R$ is a ring and $I$ is a finitely generated nilpotent ideal. If $R/I$ is noetherian show that $R$ is noetherian.
3
votes
1answer
193 views

Dimension of graded module

Let $R$ be a Noetherian positively graded ring and $M$ a finite graded $R$-module. Prove that $\dim M = \sup\{\dim M_p: p\in\operatorname{Supp} M \text{ graded}\}$. This is the Exercise 1.5.25 ...
1
vote
1answer
59 views

Moving tensor products inside homs

Suppose that $(\mathcal C, \otimes, I)$ is a closed symmetric monoidal category with $\hom(A,B)$ the hom-sets and $[A,B]$ the internal hom (where $[A,-]$ is right adjoint to $-\otimes A$). Is there ...
9
votes
1answer
103 views

Direct proof of non-flatness

Consider $k$ a field and the rings $A=k[X^2,X^3]\subset B=k[X]$. How to prove that $B$ is not flat over $A$ by using only the definition of flatness that it maintains exact sequences after making ...
2
votes
2answers
47 views

Isomorphism of (tensored) algebras by restricting/extending scalars

Let $A, B$ be commutative rings with identities, the ring map $f: A \rightarrow B$ gives $B$ the $A$-algebra structure. Let $S=f(A)$, $C$ an $S$-algebra (hence is also an $A$-algebra). Then is the map ...
2
votes
1answer
46 views

On the units of a residue ring

Let $A$ be an intergal domain, $K$ its field of fractions, $p$ a prime ideal of $A$. If $A$ is a valuation ring of $K$ ( i.e. for any $y\in K, y≠0$, one of $y\in A$ or $y^{-1}\in A$ must holds, for ...
1
vote
2answers
93 views

Are coproduct exact functors?

Are coproducts left exact or right exact functors in general? Let k be a commutative ring (unital assosiative). Specifically in the category of k-algebras is the tensor exact. (This is not the case ...
1
vote
1answer
95 views

A proof of the Noether Normalization Lemma

Look at the following proof of the Noether Normalization Lemma taken from Qing Liu's book "Algebraic Geometry and Arithmetic Curves": I don't understand the highlighted part. To be more ...
3
votes
0answers
86 views

Buchberger's criterion to show Grobner basis for linear forms

Let $k$ be a field. A polynomial of the form $l=a_1x_1+\cdots+a_nx_n$ is called a linear form ($a_i\in k$), and its support is the set of all variables $x_i$ such that $a_i\neq 0$. Let $L\subseteq ...
2
votes
1answer
77 views

Dual of polynomial ring

Consider the free $k$-algebra $k[x_i]_{i \in I}$ indexed by $I$. Then is $Hom_{k-Mod}(k[x_i]_{i \in I},k) \cong k[x_i]_{i \in I}$?
4
votes
0answers
85 views

Criterion of nonsingular varieties

It's well-known fact, that if $X$ is non-singular algebraic variety over algebraically closed field $k$ and $Y \subset X$ is its irreducible closed subscheme defined by sheaf of ideals $J$, then $Y$ ...
4
votes
1answer
156 views

Elliptic Curves Without Geometry

Unfortunately geometry terrifies me, so I was hoping to understand the basic theory of elliptic curves algebraically (via their function fields). Let F be a transcendence degree 1 extension of ...
5
votes
1answer
248 views

Is the integral closure of an integrally closed Noetherian domain in a finite extension field Noetherian?

Just as the title says. Let $R$ be a Noetherian integral domain, let $K$ be its field of fractions, let $L$ be a finite extension of $K$, and let $S$ be the integral closure of $R$ in $L$. Must $S$ ...
2
votes
2answers
71 views

a “paradox” regarding regular and complete intersection rings

The following "paradox" arose as i was studying the proof of Theorem 2.3.3 in Bruns and Herzog, CMR. My question is self-contained but i could expand on details upon request. Let $(S,\mathfrak{n})$ ...