1,050 reputation
418
bio website
location
age
visits member for 3 years, 7 months
seen Dec 27 '13 at 2:36

Jul
2
awarded  Curious
Jun
16
awarded  Nice Question
May
18
awarded  Nice Question
Dec
20
awarded  Yearling
Sep
24
awarded  Popular Question
Mar
27
awarded  Popular Question
Jan
3
awarded  Nice Question
Dec
20
awarded  Yearling
Jul
16
awarded  Nice Question
May
4
awarded  Good Question
Apr
28
comment Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?
(Some would say that this is the problem with my generation.)
Apr
28
comment Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?
Thank you! I didn't think of actually constructing the isomorphism...
Apr
28
asked Why is $O_K\otimes \mathbb{Z}_p\cong \oplus_{\mathfrak{p}|p}O_{K,\mathfrak{p}}$?
Feb
24
accepted Is $\operatorname{Gal}(\mathbb{Q}_p^{un})\cong \hat{\mathbb{Z}}$?
Feb
23
asked Is $\operatorname{Gal}(\mathbb{Q}_p^{un})\cong \hat{\mathbb{Z}}$?
Feb
12
comment Is $\bar{\mathbb{Q}}(x)\cap \mathbb{Q}((x))=\mathbb{Q}(x)$? [unsolved (even though we earlier thought it was)]
It is true that some details are missing (giving a consistent way to extend $Gal(\mathbb{Q})$), but they are clear to me, and it is the most elegant of the answers.
Feb
12
accepted Is $\bar{\mathbb{Q}}(x)\cap \mathbb{Q}((x))=\mathbb{Q}(x)$? [unsolved (even though we earlier thought it was)]
Feb
12
awarded  Nice Question
Feb
12
revised Is $\bar{\mathbb{Q}}(x)\cap \mathbb{Q}((x))=\mathbb{Q}(x)$? [unsolved (even though we earlier thought it was)]
edited title
Feb
12
comment Is $\bar{\mathbb{Q}}(x)\cap \mathbb{Q}((x))=\mathbb{Q}(x)$? [unsolved (even though we earlier thought it was)]
The field of Laurent series. $\mathbb{Q}((x))=Quot(\mathbb{Q}[[x]])$, the quotient field of the ring of formal power series with coefficients in $\mathbb{Q}$.