The set of formal power series over a fieldis a local ring?
140883
If $R$ is a local ring, is $R[[x]]$ (the ring of formal power series) also a local ring?
24224
How to prove the ring of Laurent polynomials over a field is a principal ideal domain?
1060
Minimal polynomial of intermediate extensions under Galois extensions.
61429
Is the algebraic closure of a $p$-adic field complete
45971
Complete local ring which is not complete valuation ring
76482
Closure of the set of degree $n$ polynomials with $n$ real roots
105913
Calculations in quotient rings
128550
Algebraic field extension and intermediate integral domain
141124
Automorphisms of the ring $\Bbb Z[x]$ of polynomials with integer coefficients
66290
Power series is locally normally convergent in its convergence radius $B(0,R)$
100162
Minimal polynomial over an extension field divides the minimal polynomial over the base field
140540
Infinite number of intermediate fields between K(u,v) and K
29359
Localisation isomorphic to a quotient of polynomial ring
95942
$k[x]/(x^n)$ module with finite free resolution is free
100954
Restricting a Weil divisor to a local scheme
144245
Shorter proof of $R/I$ is a field if and only if $I$ is maximal
92677
Infinite algebraic extension of a finite field