[![I am doing my undergraduate research work on the Non-Abelian Kummer Extensions. I am following the book "Algebra" by Serge Lange. I have understood the difference between the abelian Kummer Extensions and the non-abelian Kummer Extensions, which is that the earlier one requires the presence of a primitive root of unity in the base field, while the latter one requires no such conditions, and hence its Galois group may be non-Abelian. The difficulty I am facing is with the example given in section 11 of chapter 3. The image of that example is attached. Can someone kindly help me understand the basic idea of this example and the notations used at the end of the example, and please guide me to some help material or literature about non-abelian Kummer Extensions. Thank you!]$$ $$ [Non-Abelian Kummer Extensions] $$ $$ We are interested in the splitting field of the equations $x^{n}-a=0$ when the $n^{th}$ roots of unity are not contained in the ground field. More generally, we want to know the Galois group of simultaneous equations of this type. For this purpose, we axiomatize the pattern of proof to an additive notation, which in fact makes it easier to see what is going on. We fix an integer N>1, and we let M range over positive integers dividing N. We let P be the set of primes dividing N. We let G be a group and let:$$ $$ A=G-module such that the isotropy group of any element of A is of finite index in G. We also assume that A is divisible by the primes $p|N$, that is $pA=A\ \forall p\in{P}$. $$\ $$ $\Gamma=$ finitely generated subgroup of A such that $\Gamma$ is pointwise fixed by G. $$ $$ We assume that $A_{n}$ is finite. Then $\frac{1}{n}\Gamma$ is also finitely generated. Note that $A_{n}\subset{\frac{1}{n}\Gamma}$ $$ $$ Example: For our purpose here, the above situation summarizes the properties which hold in the following suituation. Let $K$ be finitely generated field over the ratiopnal number, or even a finite extension of the rational numbers. We let $A$ be the multiplicative group of the algebraic closure $K^{a}$. We let $G=G_{K}$ be the Galois group $Gal(K^{a}/K)$. We let $\Gamma$ be a finitely generated subgroup of the mutiplicative group $K^{*}$. Then all the above properties are satisfied. We see that $A_{n}=\mu_{n}$ is the group of $N$-th roots of unity. The group written $\frac{1}{N}\Gamma$ in additive notation is written $\Gamma^{1/N}$ in multiplicative notation.$$ $$ I am facing trouble in understanding the next part, which states that$$ $$ Next we define the appropriate groups of analogous to the Galois groups of the Kummer theory as follows. For any $G$-submodule $B$ of $A$, we let: $$ $$ $G(B)$=image of $G$ in $Aut(B)$. $$ $$ $G(N)=G(A_{N})$=image of G in $Aut(A_{N})$ $$ $$ $H(N)$=subgroup of G leaving $A_{n}$ pointwise fixed, $$ $$ $H_{\Gamma}(M,N)$(for M|N)=image of $H(N)$ in $Aut(\frac{1}{M}\Gamma)$ $$ $$ Thus we have an exact sequence $$ $$ $0\to{H_{\Gamma}(M,N)}\to{G(\frac{1}{M}\Gamma+A_{n})}\to{G(N)}\to{0}$ $$ $$ I am totally stuck at the end of this example. Can someone kindly explain it to me. And please guide me to some help material or literature about non-abelian Kummer Extensions. Thank you!
2026-04-05 16:04:27.1775405067
Help me Understanding Non Abelian Kummer Extensions
88 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail AtRelated Questions in NONCOMMUTATIVE-ALGEBRA
- If $P$ is a prime ideal of $R[x;\delta]$ such as $P\cap R=\{0\}$, is $P(Q[x;\delta])$ also prime?
- In a left noetherian ring, does having a left inverse for an element guarantee the existence of right inverse for that element?
- Are there rational coefficients that hold such properties?
- A characterization for minimal left ideals of semisimple rings
- $A \subseteq B \subseteq C$, with $A$ and $C$ simple rings, but $B$ is not a simple ring
- Simplicity of Noetherian $B$, $A \subseteq B\subseteq C$, where $A$ and $C$ are simple Noetherian domains
- Completion of localization equals the completion
- Representations of an algebra
- A characterization of semisimple module related to anihilators
- Counterexample request: a surjective endomorphism of a finite module which is not injective
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?