Prefer a chat interface with context about you and your work?
Dimension theory in power series rings
Let V be a valuation ring of finite rank n.where k is the number of idempotent proper prime ideals of V.