Prove that dim Spec A = dim Spec A/p + dim Spec A_p

For the discussion of math. Duh.

Moderators: gmalivuk, Moderators General, Prelates

dataislyfe
Posts: 1
Joined: Thu Feb 22, 2018 10:29 am UTC

Prove that dim Spec A = dim Spec A/p + dim Spec A_p

I'm trying to work on this exercise:

Let k be an infinite field and suppose A is a k-finitely generated integral domain (hence,
Spec A is irreducible. Let p be a prime ideal of A and and let A_p be the localization of
A at p. Prove that dim Spec A = dim Spec A/p + dim Spec A_p.

I was wondering if you can prove this using transcendence degree + Noether normalization? If not,
I'm not sure how to proceed so some hints would be very helpful!

doogly
Dr. The Juggernaut of Touching Himself
Posts: 5507
Joined: Mon Oct 23, 2006 2:31 am UTC
Location: Lexington, MA
Contact:

Re: Prove that dim Spec A = dim Spec A/p + dim Spec A_p

This stinks like something with a two line proof using categories.
LE4dGOLEM: What's a Doug?
Noc: A larval Doogly. They grow the tail and stinger upon reaching adulthood.

Keep waggling your butt brows Brothers.
Or; Is that your eye butthairs?

Demki
Posts: 199
Joined: Fri Nov 30, 2012 9:29 pm UTC

Re: Prove that dim Spec A = dim Spec A/p + dim Spec A_p

doogly wrote:This stinks like something with a two line proof using categories.

Obligatory reference