Intereting Posts

Let $a_n=\cos(a_{n-1}), L=.$ Is there an $a_0$ such that $L$ is dense in$?$
Why is the second derivative of an inflection point zero?
Algebraic structure cheat sheet anyone?
Probability of picking a random natural number
Fixed Set Property?
$2^{\mathbb{N}}$ is uncountable — Power Set of Natural Numbers
Right-continuity of completed filtration
Prove that $g(x)=\frac{\ln(S_n (x))}{\ln(S_{n-1}(x))}$ is increasing in $x$, where $S_{n}(x)=\sum_{m=0}^{n}\frac{x^m}{m!}$
Find general solution for the equation $1 + 2 + \cdots + (n − 1) = (n + 1) + (n + 2) + \cdots + (n + r) $
Prove that $d^2x/dy^2$ equals $-(d^2y/dx^2)(dy/dx)^{-3}$
Whenever Pell's equation proof is solvable, it has infinitely many solutions
If a coin toss is observed to come up as heads many times, does that affect the probability of the next toss?
Are there ways to build mathematics without axiomatizing?
Repertoire method for solving recursions
Examples of affine schemes

Let $A=\oplus A_i$ be a graded ring. Let $\mathfrak p$ be a minimal prime in $A$. Is $\mathfrak p$ a graded ideal?

Intuitively, this means the irreducible components of a projective variety are also projective varieties. When $A$ is Noetherian, I can give a proof, as follows.

There is some filtration of $A$, as an $A$ module,

$$0=M_0\subset M_1\subset\cdots\subset M_n=A$$

- Polynomial map is surjective if it is injective
- Normal bundle of twisted cubic.
- Why is an analytic variety irreducible provided that the set of its smooth points is connected?
- Separatedness of a scheme of finite type over a field
- Infinite coproduct of affine schemes
- Why is it so difficult to find beginner books in Algebraic Geometry?

such that $M_i/M_{i-1}\cong A/\mathfrak p_i$, for some graded prime ideal $\mathfrak p_i$.

Then I claim that the nilradical is $\cap\mathfrak p_i$. This is because

$$x^n=0 \Rightarrow x^nA=0 \Rightarrow x^nM_i\subset M_{i-1}\forall i \Rightarrow x^n\in \cap \mathfrak p_i \Leftrightarrow x\in \cap \mathfrak p_i $$ and

$$ x\in \cap \mathfrak p_i \Rightarrow xM_i\subset M_{i+1},\forall i \Rightarrow x^nA=0 \Leftrightarrow x=0.$$

Hence the mininal primdes are just the minimal elements in $\{\mathfrak p_i\}$.

I would like to know if this assertion is still true if we drop the Noetherian condition, or if anyone has some more direct proofs.

Thanks!

- Showing the set of zero-divisors is a union of prime ideals
- A proof using Yoneda lemma
- the ideal generated by general polynomials is radical
- proof of the Krull-Akizuki theorem (Matsumura)
- Path to Basics in Algebraic Geometry from HS Algebra and Calculus?
- Are the rings $k]$ and $k]$ Gorenstein? (Matsumura, Exercise 18.8)
- Krull dimension of quotient by principal ideal
- Embedding of Kähler manifolds into $\Bbb C^n$
- Proving algebraic sets
- Discrete valuation ring associated with a prime ideal of a Dedekind domain

Yes, the minimal primes of a graded ring are graded. If $\mathfrak{p}$ is any prime, then the ideal $\mathfrak{p}^h$ generated by the homogeneous elements of $\mathfrak{p}$ is also prime, and certainly graded. So if $\mathfrak{p}$ is minimal, $\mathfrak{p}=\mathfrak{p}^h$ is graded.

- How can one rigorously determine the cardinality of an infinite dimensional vector space?
- Graph Theory book with lots of Named Graphs/ Graph Families
- An efficient method for computing the number of submultisets of size n, of a given multiset
- Constructing faithful representations of finite dim. Lie algebra considering basis elements
- Determinant game – winning strategy
- Showing a diffeomorphism extends to the neighborhood of a submanifold
- An equation that generates a beautiful or unique shape for motivating students in mathematics
- Fibonacci using proof by induction: $\sum_{i=1}^{n-2}F_i=F_n-2$
- Homology – why is a cycle a boundary?
- Solving ODE with substitution
- Where do the higher order terms in Taylor series come from?
- Other ways to deduce Cyclicity of the Units of certain groups?
- Prove that $\cos\frac {2\pi}{7}+ \cos\frac {4\pi}{7}+ \cos\frac {8\pi}{7}=-\frac{1}{2}$
- $P(x)\in\mathbb Z$ iff $Q(x)\in\mathbb Z$
- Maximum principle for subharmonic functions