Let V be a valuation ring of finite rank n. If V is discrete, then V [[X]] has dimension n + 1. If V is not discrete, then the dimension of V [[X]] is at least n + k + 1, where k is the number of idempotent proper prime ideals of V .
© Copyright 1970 Pacific Journal of Mathematics. All rights reserved.