91Ó°ÊÓ

Let \(K\) be a field of characteristic 0 for simplicity. Let \(\Gamma\) be a finitely generated subgroup of \(K^{*}\). Let \(N\) be an odd positive integer. Assume that for each prime \(p \mid N\) we have $$ \Gamma=\Gamma^{1 / P} \cap K $$ and also that \(\operatorname{Gal}\left(K\left(\mu_{N}\right) / K\right) \approx \mathbf{Z}(N)^{*} .\) Prove the following. (a) \(\Gamma / \Gamma^{N}=\Gamma /\left(\Gamma \cap K^{* N}\right)=\Gamma K^{* N} / K^{\star N}\) (b) Let \(K_{N}=K\left(\mu_{N}\right)\). Then $$ \Gamma \cap K_{N}^{* N}=\Gamma^{N} $$ [Hint: If these two groups are not equal, then for some prime \(p \mid N\) there exists an clement \(a \in \Gamma\) such that $$ a=b^{p} \text { with } b \in K_{N} \text { but } b \notin K \text { . } $$ In other words, \(a\) is not a \(p\) -th power in \(K\) but becomes a \(p\) -th power in \(K_{N}\). The equation \(x^{p}-a\) is irreducible over \(K .\) Show that \(b\) has degree \(p\) over \(K\left(\mu_{p}\right)\), and that \(K\left(\mu_{p}, a^{1 / \rho}\right)\) is not abelian over \(K\), so \(a^{1 / p}\) has degree \(p\) over \(K\left(\mu_{p}\right)\). Finish the proof yourself.] (c) Conclude that the natural Kummer map $$ \Gamma / \Gamma^{N} \rightarrow \operatorname{Hom}\left(H_{\Gamma}(N), \mu_{N}\right) $$ is an isomorphism. (d) Let \(G_{\Gamma}(N)=\operatorname{Gal}\left(K\left(\Gamma^{1 / N}, \mu_{N}\right) / K\right) .\) Then the commutator subgroup of \(G_{\Gamma}(N)\) is \(H_{\Gamma}(N)\), and in particular \(\operatorname{Gal}\left(K_{N} / K\right)\) is the maximal abelian quotient of \(G_{\Gamma}(N) .\)

Step by step solution

01

Part (a)

To prove \(\Gamma / \Gamma^{N}=\Gamma /\left(\Gamma \cap K^{* N}\right)=\Gamma K^{* N} / K^{* N}\), we use the given relationship between cyclic groups and Galois groups: \(\Gamma=\Gamma^{1 / P} \cap K\). First, note that \(\Gamma^{N} = \Gamma \cap K^{* N}\). Now applying the Third Isomorphism Theorem (factor groups), we get: \(\Gamma / \Gamma^{N} = \Gamma / (\Gamma \cap K^{* N})\). Finally, we use the definition of quotient groups and apply the Second Isomorphism Theorem (cosets) on the right-hand side: \(\Gamma / \left( \Gamma \cap K^{* N} \right)=\Gamma K^{* N} / K^{* N}\), which completes part (a).

02

Part (b)

To prove \(\Gamma \cap K_{N}^{* N}=\Gamma^{N}\), we follow the hint given in the exercise. First, assume by contradiction that for some prime \(p \mid N\) there exists \(a \in \Gamma\) such that: $$a=b^{p} \text { with } b \in K_{N} \text { but } b \notin K \text { . }$$ Given that the equation \(x^{p}-a\) is irreducible over \(K\), we need to show that \(b\) has degree \(p\) over \(K(\mu_{p})\), and that \(K\left(\mu_{p}, a^{1 / \rho}\right)\) is not abelian over \(K\). This implies that \(a^{1 / p}\) has degree \(p\) over \(K(\mu_{p})\). If we assume the contrary that \(a = b^p\) with \(b \in K_{N}\) but \(b \notin K\), then this would mean that there exists a field extension with a non-abelian Galois group, which contradicts the given condition that: $$\operatorname{Gal}\left(K\left(\mu_{N}\right) / K\right) \approx \mathbf{Z}(N)^{*}.$$ This contradiction implies that \(\Gamma \cap K_{N}^{* N}=\Gamma^{N}\).

03

Part (c)

To show that the natural Kummer map $$\Gamma / \Gamma^{N} \rightarrow \operatorname{Hom}\left(H_{\Gamma}(N), \mu_{N}\right)$$ is an isomorphism, recall that we have already proved in part (a) that \(\Gamma / \Gamma^{N} = \Gamma K^{* N} / K^{* N}\). Now, by definition of the Kummer map, we have: $$\Gamma K^{* N} / K^{* N} \approx \operatorname{Hom}\left(H_{\Gamma}(N), \mu_{N}\right).$$ From the conditions given in the exercise, we have: $$\operatorname{Gal}\left(K\left(\mu_{N}\right) / K\right) = H_{\Gamma}(N).$$ Therefore, combining these equalities, we conclude that the natural Kummer map is indeed an isomorphism.

04

Part (d)

To show that the commutator subgroup of \(G_{\Gamma}(N)=\operatorname{Gal}\left(K\left(\Gamma^{1 / N}, \mu_{N}\right) / K\right)\) is \(H_{\Gamma}(N)\), and that \(\operatorname{Gal}\left(K_{N} / K\right)\) is the maximal abelian quotient of \(G_{\Gamma}(N)\), let's first observe that, by definition, \(K_{N}=K(\mu_{N})\). Using the Kummer isomorphism result from part (c), $$\Gamma / \Gamma^{N} \approx \operatorname{Hom}\left(H_{\Gamma}(N), \mu_{N}\right),$$ we note that under certain conditions of the Kummer theory, the Galois group over an abelian extension can be realized as a homomorphism between the multiplicative group and the roots of unity. Since \(\operatorname{Gal}(K_{N} / K) \approx \mathbf{Z}(N)^{*}\), we know that this Galois group is abelian, and it is the maximal abelian quotient of \(G_{\Gamma}(N)\). Therefore, $$H_{\Gamma}(N) = \operatorname{Gal}(K_{N} / K).$$ By part (a), it follows that $$G_{\Gamma}(N) / H_{\Gamma}(N) \approx \Gamma / \Gamma^{N}.$$ Thus, we can conclude that the commutator subgroup of \(G_{\Gamma}(N)\) is \(H_{\Gamma}(N)\), and \(\operatorname{Gal}\left(K_{N} / K\right)\) is the maximal abelian quotient of \(G_{\Gamma}(N)\).

Unlock Step-by-Step Solutions & Ace Your Exams!

• Full Textbook Solutions

  Get detailed explanations and key concepts

• Unlimited Al creation

  Al flashcards, explanations, exams and more...

• Ads-free access

  To over 500 millions flashcards

• Money-back guarantee

  We refund you if you fail your exam.

Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!

Key Concepts

These are the key concepts you need to understand to accurately answer the question.

Kummer Theory

Kummer theory is a foundational aspect of algebraic number theory, providing a systematic way of understanding certain types of field extensions known as Kummer extensions. This theory is particularly focused on extensions of fields that are obtained by adjoining the roots of unity, and in context of the exercise, the roots of unity \(\mu_N\) to a field \(K\).

Under the Kummer theory, the relations between the elements in the multiplicative group \(\Gamma\) of the field and the \(N\)-th roots of unity are explored. It examines field extensions generated by adjoining \(N\)-th roots of elements of \(\Gamma\), which are integral to solving the problems such as part (c) of the exercise, where a Kummer map needs to be proven as an isomorphism.

The theory relies on the characteristic of the field being zero (or relatively prime to \(N\)) to ensure that the polynomial \(x^N - a\) doesn't have repeated roots. This prevents complications that could arise from characteristic \(p\) fields, which could potentially divide \(N\). Kummer theory is especially significant in understanding the multiplicative structure of fields and gives us a beautiful connection between the field theory and group theory via Kummer extensions.

Galois Groups

Galois groups are a bridge between field theory and group theory, carrying crucial information about the structure of field extensions. Simply put, the Galois group of a field extension \(E/F\) is the group of field automorphisms of \(E\) that fix \(F\) pointwise.

In the given exercise, we encounter the Galois group \(\operatorname{Gal}(K(\mu_N) / K)\), which is identified to be isomorphic to \(\mathbf{Z}(N)^*\), the group of units of the ring \(\mathbf{Z}/N\mathbf{Z}\). This Galois group tells us about the symmetries in the roots of unity within the extension \(K(\mu_N)\) over \(K\).

Understanding Galois groups is essential to solving problems like (b) and (d) in the exercise. In part (b), we are led to a contradiction by assuming the existence of a non-abelian extension, which is impossible under the structure of the given Galois group. Part (d) makes use of the properties of the Galois group in conjunction with Kummer theory's isomorphisms to conclude about the nature of the commutator subgroup of the Galois group \(G_\Gamma(N)\).

Field Extensions

Field extensions are at the heart of many questions in algebra and number theory, providing us a framework to study properties of larger fields containing a smaller field. A field extension \(E/F\) means that \(E\) is a field that contains \(F\) as a subfield.

In our exercise, we work with the field extension \(K_N/K\), which is created by adjoining the \(N\)-th roots of unity to the field \(K\). The properties of this field extension are fundamental in solving the different parts of the exercise. In part (a), the properties of cyclic groups within \(K\) are used in relation to \(K^*N\) to determine the structure of \(\Gamma / \Gamma^N\).

Each step of the solution involves understanding how \(K_N\) relates to \(K\) and how elements that belong to these fields interact with one another, particularly when taking \(N\)-th powers and roots. Exploring the nature of these field extensions helps us explain how the structure of expressions in the problem and solution correspond to meaningful algebraic relationships.

Abelian Extensions

Abelian extensions are a specific kind of field extension where the Galois group is abelian, meaning that it's a commutative group. Any two elements of an abelian group commute under the group operation, which translates to a certain 'predictability' and structure in the field extension.

The exercise revolves around an abelian extension given the isomorphism \(\operatorname{Gal}(K(\mu_N) / K) \approx \mathbf{Z}(N)^*\), which infers that the field extension is abelian. In context of this exercise, and particularly in parts (b) and (d), the abelian nature of the Galois group guides the problem-solving process.

For instance, in part (d) of the exercise, knowing the field extension is abelian allows us to infer the nature of the commutator subgroup and conclude that \(\operatorname{Gal}(K_{N} / K)\) is the maximal abelian quotient of the Galois group \(G_{\Gamma}(N)\). This is a direct result of the field extension being abelian, which significantly simplifies the structure of Galois groups and the possible theorems and proofs that can be derived from them.