Intereting Posts

Principal period of $\sin\frac{3x}{4}+\cos\frac{2x}{5}$
When is a fibration a fiber bundle?
Express logic puzzles with proposition calculus notation
Fourier-Series of a part-wise defined function?
Change of variables formula for Riemann and Lebesgue integration
If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.
$x\in \{\{\{x\}\}\}$ or not?
Converting Lat/Long coords to Cartesian X/Y, then calculating shortest distance between point & line segment
Easy proof of Black-Scholes option pricing formula
Surjective Function from a Cantor Set
What are the bases $\beta$ such that a number with non-periodic expansion can be approximated with infinitely many numbers with periodic expansion?
homotopic maps from the sphere to the sphere
Find all homomorphisms from a quotient polynomial ring $\mathbb{Z} /(15X^2+10X-2)$ to $\mathbb{Z}_7$
Why is $X^4 + \overline{2}$ irreducible in $\mathbb{F}_{125}$?
Viewing Homotopies as Paths in $\mathcal{C}^0(X,Y)$

$A$ and $B$ are commutative noetherian local rings with maximal ideals $\mathfrak{m}$ and $\mathfrak{n}$ respectively.

If $f\colon A \to B$ is a local ring homomorphism, how do I prove the inequality $$\dim(B) \leq \dim(A) + \dim(B/f(\mathfrak{m})B),$$ where $\dim$ denotes the Krull dimension?

I know that dim equals the minimal number of generators of an $\mathfrak{m}$-primary ideal in the noetherian local case, but so far I cannot prove this statement.

- Is $(XY - 1)$ a maximal ideal in $k]$?
- Is the coordinate ring of SL2 a UFD?
- What's the motivation of the definition of primary ideals?
- Geometrical interpretation of $I(X_1\cap X_2)\neq I(X_1)+I(X_2)$, $X_i$ algebraic sets in $\mathbb{A}^n$
- Standard example where Jacobson radical not equal nilradical
- Recommendations for Commutative Algebra Software?

- Does $IJ=IK\implies J=K$ always hold for integral domain and finitely generated nonzero ideal $I$?
- When will $A$ satisfy the dimension formula?
- A chain ring with Krull dimension greater than one
- Spectrum of infinite product of rings
- Proof of Steinitz Theorem
- Nilradical strictly smaller than Jacobson radical.
- Principal ideals having embedded components
- Ideal of product of affine varieties
- Is $R/N(R)$ a faithfully flat $R$-module?
- Does the isomorphism $k\otimes_k k\cong k$ hold?

*Prologue:* As you probably know, a system of parameters of $A$ is a set of $\dim(A)$ elements of $\mathfrak m$ generating an $\mathfrak m$-primary ideal.

*Sketch of proof:* Take a system of parameters $a_1,…,a_d$ of $A$ and a system of parameters $\bar b_1,…\bar b_e$ of $B/(a_1,…,a_d)B$.

The sequence $a_1,…,a_d; b_1,… b_e$ of elements of $\mathfrak n$ generates an $\mathfrak n$-primary ideal of $B$ so that $\dim(B)\leq d+e$ according to the definition of dimension you mentioned.

(You might want to use that, since $(a_1,…,a_d)$ is $\mathfrak m$-primary, you have $(a_1,…,a_d)\supset \mathfrak m^r$ for $r$ big enough. )

Although there are some details to fill in, the proof is, as you see, pretty natural ( well, if you take into account that commutative algebra is as a rule more austere than detective fiction)

- Unique Stationary Distribution for Reducible Markov Chain
- Picturing the discrete metric?
- Ring homomorphisms from $\Bbb Q$ into a ring
- Finding the elements of a finite field?
- Fundamental group of two tori with a circle ($S^1✕${$x_0$}) identified
- Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$
- Convex hexagon $ABCDEF$ following equalities $AD=BC+EF, BE=AF+CD, CF=DE+AB$. Prove that $\frac{AB}{DE}=\frac{CD}{AF}=\frac{EF}{BC}$
- An Example for a Graph with the Quaternion Group as Automorphism Group
- Number of 4-digit numerals with at most 2 different digits
- Extension of Sections of Restricted Vector Bundles
- Rubik Cube finite non-abelian group
- A trigonometric equation
- ?+?+?=30 (1,3,5,7,9,11,13,15)
- Fourier transform of exponential of a function
- Determinant of a block lower triangular matrix