# Tagged Questions

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

44 views

### Intersection of flat submodule with direct summand

Let $R$ be a (commutative) domain, $M$ a flat $R$-module which decomposes as $M=A\oplus B$ and $N$ a (not necessarily pure) flat submodule of $M$. Is it the case that $N \cap A$ is always a pure ...
35 views

### Top exterior product of exact sequence

Let $M,N,P$ be free $R$-modules of rank $a,a+b,b$ respectively, and that they fit into an exact sequence $0\to M\to N\to P \to 0$. Is it true that $\Lambda^{a+b}N=\Lambda^aM \otimes \Lambda^bP$? (...
32 views

45 views

### Auslander-Buchsbaum formula without minimal/finite resolutions

Does anybody know a proof of Auslander-Buchsbaum's formula that uses only projective/injective/flat resolutions and homological functors Ext and Hom without using minimal/finite resolutions?
43 views

### Certain map of modules is iso [Mumford Abelian Varieties]

I have trouble showing the following in the proof of Prop. 2 in Abelian Varieties (pg.70 my edition, Chapter about quotients by finite groups): Suppose you have a Noetherian ring $B=A^G$ as ...
35 views

### There always exists a finite, increasing chain of R-submodules of M isomorphic to R/P. Can we describe P?

So I've been studying some commutative algebra and I came across the following theorem Theorem : Let R be a Noetherian ring. Let $M$ be a non trivial $R$-module, finite over $R$. There exists a ...
80 views

42 views

43 views

### Zeros of specialization of a family of polynomials [closed]

Let $k$ be an algebraically closed field, and $K\supset k$ be an algebraically closed extension. Let $a\in K^n$ be a tuple, we call $a^\prime\in k^n$ a specialization of $a$ if for any $f(X)\in k[X]$ ...
36 views

19 views

72 views

### Integrally Closed domain and Principal Ideal

Let $R$ be an integrally closed local domain. Suppose there is a $y\in I^n$ such that $yI^n=I^{2n}$ for some $n$. I would like to prove that $I^n=(y)$. Source: The above question comes from the ...
50 views

46 views

### Existence of homogeneous non-unit non-zero divisor in a particular graded ring.

Let $R$ be a finitely generated $k$-algebra of dimension greater than $1$, let $Q$ be any maximal ideal of $R$. It is claimed by my lecturer that one can find a homogeneous, non-unit, non-zero divisor ...
28 views

### Exact sequence of graded modules and localization

I know that a sequence of modules is exact iff the localization at each prime ideal is exact What happens in the case we are working with graded modules? Can we say that a sequence is exact iff the ...
32 views

63 views

### Easy explanation on primary decomposition of ideals. [duplicate]

The primary decomposition of an ideal $(x^2, xy)$ is $$(x^2, xy) = (x) \cap (x, y)^2$$ which can be found on these notes. Could someone explain to me how this can be done? Edited: My question ...
63 views

### Ideal of 8 general points in $\mathbb{P}^2$

I am working through chapter 3 of Eisenbud's Geometry of Syzygies. In the first example he makes the claim that the ideal of 8 general points in $\mathbb{P}^2$ is generated by two cubics and a quartic....
25 views

### General procedure to prove something is a tensor product of modules

I'm trying to understand some proofs of statements of the form: Show that some module is the tensor product of two other modules. When I'm looking at these proofs I always see that they start ...