*This ring suggested by: KReiser*

Description: Let $k$ be a field of characteristic $p>0$ such that $[k:k^p]=\infty$. Let $A=k[[x]]$. The required ring is the subring $R$ of elements of $A$ of elements of the form $\sum_0^\infty k_ix^i$ satisfying $[k^p(k_0, k_1,k_2,\ldots): k^p] <\infty$.

Keywords power series ring subring

Reference(s):

- H. Matsumura. Commutative algebra. (1970) @ Chapter 13 item 34b p 260 (2nd ed)

Known Properties

Legend

- = has the property
- = does not have the property
- = information not in database

Name | Measure | |
---|---|---|

Krull dimension (classical) | 1 |

(Nothing was retrieved.)