Generic fiber rings of mixed power series/polynomial rings (Q2491846): Difference between revisions
From MaRDI portal
Latest revision as of 16:29, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Generic fiber rings of mixed power series/polynomial rings |
scientific article |
Statements
Generic fiber rings of mixed power series/polynomial rings (English)
0 references
29 May 2006
0 references
Let \(x=(x_1,\ldots,x_n)\), \(y=(y_1,\ldots,y_m)\) be sets of independent variables over a field \(k\). Set \(A=k[x]_{(x)}\), \(B=k[[x]][y]_{(x,y)}\), \(C=k[y]_{(y)}[[x]]\), \({\hat A}=k[[x]]\), \({\hat B }={\hat C}=k[[x,y]]\) and denote by \(Q(D)\) the fraction field of a domain \(D\). Then (i) all maximal ideals of \(Q(A)\otimes_A{\hat A}\) have height \(n-1\) (this extends a result of Matsumura), (ii) all maximal ideals of \(Q(B)\otimes_B{\hat B}\) and \(Q(C)\otimes_C{\hat C}\) have height \(n+m-2\), (iii) if \(n>1\) then all maximal ideals of \(Q({\hat A})\otimes_{{\hat A}}{\hat C}\) have height \(n+m-2\) or \(m\), (iv) if \(n=1\) then all maximal ideals of \(Q({\hat A})\otimes_{{\hat A}}{\hat C}\) have height \(m\).
0 references
height of maximal ideals of generic formal fiber
0 references
Weierstrass Preparation Theorem
0 references
0 references