A generalization of a theorem of Faith and Menal and applications.
Let R[x] and R[[x]] respectively denote the ring of polynomials and the ring of power series in one indeterminate x over a ring R. For an ideal I of R, denote by [R;I][x] the following subring of R[[x]]: [R;I][x]: = : ∃ 0 ≤ n∈ ℤ such that , ∀ i ≥ n. The polynomial and power series rings over R are extreme cases where I = 0 or R, but there are ideals I such that neither R[x] nor R[[x]] is isomorphic to [R;I][x]. The results characterizing polynomial rings or power series rings with a certain ring...
This paper continues the investigation into Krull-style dimensions in algebraic frames. Let be an algebraic frame. is the supremum of the lengths of sequences of (proper) prime elements of . Recently, Th. Coquand, H. Lombardi and M.-F. Roy have formulated a characterization which describes the dimension of in terms of the dimensions of certain boundary quotients of . This paper gives a purely frame-theoretic proof of this result, at once generalizing it to frames which are not necessarily...