Hartshorne 1.1의 정리 중에서 B가 integral domain이고 p가 A의 prime ideal이면 ht(p)+dim(B/p)=dim(B)라는 정리가 있잖아?
여기서 dim(B/p)라는게 B/p의 prime ideal들로 이루어진 chain의 길이의 상한이랑 같은건가?
가환대수 모르는 상태로 꼴박하니까 정의가 헷갈려

- dc official App