Skip to main content
Improved formatting.
Source Link
Joonas Ilmavirta
  • 8.1k
  • 5
  • 39
  • 66

I think I have a positive answer for (1). Let $p > 3$ be a prime, let $\\mathbbf{K}_1 = \mathbbf{Q}[ \zeta_p ]$$\mathbb{K}_1 = \mathbb{Q}[ \zeta_p ]$ be the $p$-cycotomic extension and let $q = 1 \bmod p$ be some rational prime. Let $\\mathbbf{F} \subset \\mathbbf{Q}[ \zeta_q ]$$\mathbb{F} \subset \mathbb{Q}[ \zeta_q ]$ be the subfield of degree $p$ over $\\mathbbf{Q}$$\mathbb{Q}$. Obviously, $\K_1$$\mathbb{K}_1$ has $r_2+1 = (p+1)/2$ independent $\Z_p$$\mathbb{Z}_p$-extensions. Let $\\mathbbf{M}$$\mathbb{M}$ be the composite of all $\\mathbbf{Z}_p$$\mathbb{Z}_p$-extensions of $\\mathbbf{K}_1$$\mathbb{K}_1$ and $D(q) \subset X = Gal(\mathbbf{M}/\\mathbbf{K}_1)$$D(q) \subset X = Gal(\mathbb{M}/\mathbb{K}_1)$ be the decomposition group of some prime of $\\mathbbf{K}_1$$\mathbb{K}_1$ above $q$ - it is isomorphic to $\mathbbf{Z}_p$$\mathbb{Z}_p$. So we can choose some $\mathbbf{Z}_p$$\mathbb{Z}_p$ - extension of $\mathbbf{K}_1$$\mathbb{K}_1$ which is fixed by $D(q)$; let this be $\mathbbf{L}$$\mathbb{L}$. Then $q$ is totally split in $\mathbbf{L}/\mathbbf{Q}$$\mathbb{L}/\mathbb{Q}$. Let now \mathbbf{K}' = \mathbbf{K}_1$\mathbb{K}' = \mathbb{K}_1 . \mathbb{F}$ and let $\mathbb{L}' = \mathbb{L} . \mathbb{F}$. \mathbbf{F}$ and let $\mathbbf{L}' = \mathbbf{L}It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(\mathbb{L}') > 0$. \mathbbf{F}$. It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(\mathbbf{L}') > 0$. Of course, $\mathbbf{K}'$Of course, $\mathbb{K}'$ is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions $\mathbbf{K}'/\mathbbf{K}$$\mathbb{K}'/\mathbb{K}$ of degree not divisible by $p$, the method of Iwasawa fails. So the question (2) appears to be difficult ...

(I only now saw the question of Filippo. The answers were in the text, but maybe TeX helps...)

  

I think I have a positive answer for (1). Let $p > 3$ be a prime, let $\\mathbbf{K}_1 = \mathbbf{Q}[ \zeta_p ]$ be the $p$-cycotomic extension and let $q = 1 \bmod p$ be some rational prime. Let $\\mathbbf{F} \subset \\mathbbf{Q}[ \zeta_q ]$ be the subfield of degree $p$ over $\\mathbbf{Q}$. Obviously, $\K_1$ has $r_2+1 = (p+1)/2$ independent $\Z_p$-extensions. Let $\\mathbbf{M}$ be the composite of all $\\mathbbf{Z}_p$-extensions of $\\mathbbf{K}_1$ and $D(q) \subset X = Gal(\mathbbf{M}/\\mathbbf{K}_1)$ be the decomposition group of some prime of $\\mathbbf{K}_1$ above $q$ - it is isomorphic to $\mathbbf{Z}_p$. So we can choose some $\mathbbf{Z}_p$ - extension of $\mathbbf{K}_1$ which is fixed by $D(q)$; let this be $\mathbbf{L}$. Then $q$ is totally split in $\mathbbf{L}/\mathbbf{Q}$. Let now \mathbbf{K}' = \mathbbf{K}_1 . \mathbbf{F}$ and let $\mathbbf{L}' = \mathbbf{L} . \mathbbf{F}$. It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(\mathbbf{L}') > 0$. Of course, $\mathbbf{K}'$ is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions $\mathbbf{K}'/\mathbbf{K}$ of degree not divisible by $p$, the method of Iwasawa fails. So the question (2) appears to be difficult ...

(I only now saw the question of Filippo. The answers were in the text, but maybe TeX helps...)

 

I think I have a positive answer for (1). Let $p > 3$ be a prime, let $\mathbb{K}_1 = \mathbb{Q}[ \zeta_p ]$ be the $p$-cycotomic extension and let $q = 1 \bmod p$ be some rational prime. Let $\mathbb{F} \subset \mathbb{Q}[ \zeta_q ]$ be the subfield of degree $p$ over $\mathbb{Q}$. Obviously, $\mathbb{K}_1$ has $r_2+1 = (p+1)/2$ independent $\mathbb{Z}_p$-extensions. Let $\mathbb{M}$ be the composite of all $\mathbb{Z}_p$-extensions of $\mathbb{K}_1$ and $D(q) \subset X = Gal(\mathbb{M}/\mathbb{K}_1)$ be the decomposition group of some prime of $\mathbb{K}_1$ above $q$ - it is isomorphic to $\mathbb{Z}_p$. So we can choose some $\mathbb{Z}_p$ - extension of $\mathbb{K}_1$ which is fixed by $D(q)$; let this be $\mathbb{L}$. Then $q$ is totally split in $\mathbb{L}/\mathbb{Q}$. Let now $\mathbb{K}' = \mathbb{K}_1 . \mathbb{F}$ and let $\mathbb{L}' = \mathbb{L} . \mathbb{F}$. It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(\mathbb{L}') > 0$. Of course, $\mathbb{K}'$ is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions $\mathbb{K}'/\mathbb{K}$ of degree not divisible by $p$, the method of Iwasawa fails. So the question (2) appears to be difficult ...

 

I think I have a positive answer for (1). Let p > 3$p > 3$ be a prime, let K_1$\\mathbbf{K}_1 = \mathbbf{Q}[ \zeta_p ]$ be the p$p$-cycotomic extension and let q = 1 mod p$q = 1 \bmod p$ be some rational prime. Let F subset Q[ zeta_q ]$\\mathbbf{F} \subset \\mathbbf{Q}[ \zeta_q ]$ be the subfield of degree p$p$ over Q$\\mathbbf{Q}$. K_1Obviously, $\K_1$ has (p+1)/2$r_2+1 = (p+1)/2$ independent Z_p$\Z_p$-extensions. Let M$\\mathbbf{M}$ be the composite of all Z_p extensions$\\mathbbf{Z}_p$-extensions of $\\mathbbf{K}_1$ and D(q) subset X = Gal(M/K) $D(q) \subset X = Gal(\mathbbf{M}/\\mathbbf{K}_1)$ be the decomposition group of qsome prime of $\\mathbbf{K}_1$ above $q$ - it is isomorphic to Z_p$\mathbbf{Z}_p$. So we can choose some Z_p $\mathbbf{Z}_p$ - extension of K$\mathbbf{K}_1$ which is fixed by D(q)$D(q)$; let this be L$\mathbbf{L}$. Then q$q$ is totally split in L/Q$\mathbbf{L}/\mathbbf{Q}$. Let now K'\mathbbf{K}' = K\mathbbf{K}_1 . F and let L'\mathbbf{F}$ and let $\mathbbf{L}' = L\mathbbf{L} . F. It is an exercice in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that mu\mathbbf{F}$. It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(L'\mathbbf{L}') > 0. Of course, K'$. Of course, $\mathbbf{K}'$ is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions K'/K$\mathbbf{K}'/\mathbbf{K}$ of degree not divisible by p$p$, the method of Iwasawa fails. So the question (2) appears to be difficult ...

(I only now saw the question of Filippo. The answers were in the text, but maybe TeX helps...)

I think I have a positive answer for (1). Let p > 3 be a prime, let K_1 be the p-cycotomic extension and let q = 1 mod p be some rational prime. Let F subset Q[ zeta_q ] be the subfield of degree p over Q. K_1 has (p+1)/2 independent Z_p-extensions. Let M be the composite of all Z_p extensions and D(q) subset X = Gal(M/K) be the decomposition group of q - it is isomorphic to Z_p. So we can choose some Z_p - extension of K which is fixed by D(q); let this be L. Then q is totally split in L/Q. Let now K' = K . F and let L' = L . F. It is an exercice in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that mu(L') > 0. Of course, K' is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions K'/K of degree not divisible by p, the method of Iwasawa fails. So the question (2) appears to be difficult ...

I think I have a positive answer for (1). Let $p > 3$ be a prime, let $\\mathbbf{K}_1 = \mathbbf{Q}[ \zeta_p ]$ be the $p$-cycotomic extension and let $q = 1 \bmod p$ be some rational prime. Let $\\mathbbf{F} \subset \\mathbbf{Q}[ \zeta_q ]$ be the subfield of degree $p$ over $\\mathbbf{Q}$. Obviously, $\K_1$ has $r_2+1 = (p+1)/2$ independent $\Z_p$-extensions. Let $\\mathbbf{M}$ be the composite of all $\\mathbbf{Z}_p$-extensions of $\\mathbbf{K}_1$ and $D(q) \subset X = Gal(\mathbbf{M}/\\mathbbf{K}_1)$ be the decomposition group of some prime of $\\mathbbf{K}_1$ above $q$ - it is isomorphic to $\mathbbf{Z}_p$. So we can choose some $\mathbbf{Z}_p$ - extension of $\mathbbf{K}_1$ which is fixed by $D(q)$; let this be $\mathbbf{L}$. Then $q$ is totally split in $\mathbbf{L}/\mathbbf{Q}$. Let now \mathbbf{K}' = \mathbbf{K}_1 . \mathbbf{F}$ and let $\mathbbf{L}' = \mathbbf{L} . \mathbbf{F}$. It is an exercise in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that $\mu(\mathbbf{L}') > 0$. Of course, $\mathbbf{K}'$ is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions $\mathbbf{K}'/\mathbbf{K}$ of degree not divisible by $p$, the method of Iwasawa fails. So the question (2) appears to be difficult ...

(I only now saw the question of Filippo. The answers were in the text, but maybe TeX helps...)

Source Link
Preda
  • 375
  • 1
  • 6

I think I have a positive answer for (1). Let p > 3 be a prime, let K_1 be the p-cycotomic extension and let q = 1 mod p be some rational prime. Let F subset Q[ zeta_q ] be the subfield of degree p over Q. K_1 has (p+1)/2 independent Z_p-extensions. Let M be the composite of all Z_p extensions and D(q) subset X = Gal(M/K) be the decomposition group of q - it is isomorphic to Z_p. So we can choose some Z_p - extension of K which is fixed by D(q); let this be L. Then q is totally split in L/Q. Let now K' = K . F and let L' = L . F. It is an exercice in the application of the ambig ideal lemma of Chevalley, to adapt Iwasawa's seminal proof to the present situation and show that mu(L') > 0. Of course, K' is a (quite simple) cyclotomic field, which answers your question in the affirmative.

For extensions K'/K of degree not divisible by p, the method of Iwasawa fails. So the question (2) appears to be difficult ...