ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Mon, 30 May 2022 13:34:39 +0200Computing the Galois action of a generator on an unit of a subfieldhttps://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/Hi! The set up for my question is the following:
Let,
- k be a quadratic number field,
- K|k be a unramified cyclic extension of degree 5 over k,
- L a subfield of absolute degree 5 of K,
- G the Galois group of K, which in this case is the dihedral of order 10
If I know k and L, is there is a way to compute the action of a generator of G on a unit of L without having to compute K and then G? If it's not possible, what would be the correct way to do this?
Sat, 28 May 2022 01:07:57 +0200https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/Comment by slelievre for <p>Hi! The set up for my question is the following:</p>
<p>Let,</p>
<ul>
<li>k be a quadratic number field,</li>
<li>K|k be a unramified cyclic extension of degree 5 over k,</li>
<li>L a subfield of absolute degree 5 of K,</li>
<li>G the Galois group of K, which in this case is the dihedral of order 10</li>
</ul>
<p>If I know k and L, is there is a way to compute the action of a generator of G on a unit of L without having to compute K and then G? If it's not possible, what would be the correct way to do this?</p>
https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?comment=62660#post-id-62660Ideally, include code to define the objects in your question,
in the simplest possible example.Sun, 29 May 2022 11:39:04 +0200https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?comment=62660#post-id-62660Comment by slelievre for <p>Hi! The set up for my question is the following:</p>
<p>Let,</p>
<ul>
<li>k be a quadratic number field,</li>
<li>K|k be a unramified cyclic extension of degree 5 over k,</li>
<li>L a subfield of absolute degree 5 of K,</li>
<li>G the Galois group of K, which in this case is the dihedral of order 10</li>
</ul>
<p>If I know k and L, is there is a way to compute the action of a generator of G on a unit of L without having to compute K and then G? If it's not possible, what would be the correct way to do this?</p>
https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?comment=62659#post-id-62659Welcome to Ask Sage! Thank you for your question.Sun, 29 May 2022 11:38:36 +0200https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?comment=62659#post-id-62659Answer by dan_fulea for <p>Hi! The set up for my question is the following:</p>
<p>Let,</p>
<ul>
<li>k be a quadratic number field,</li>
<li>K|k be a unramified cyclic extension of degree 5 over k,</li>
<li>L a subfield of absolute degree 5 of K,</li>
<li>G the Galois group of K, which in this case is the dihedral of order 10</li>
</ul>
<p>If I know k and L, is there is a way to compute the action of a generator of G on a unit of L without having to compute K and then G? If it's not possible, what would be the correct way to do this?</p>
https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?answer=62670#post-id-62670We can proceed as in the following sample case, where we know the minimal polynomial $f$ of a unit $u$ of $L$.
Building the Galois group already constructs $K$. The results are shown in terms of a generator $b$ of $K=\Bbb Q(b)$.
R.<x> = PolynomialRing(QQ)
f = x^5 + 5*x^4 - 5*x^3 - 40*x^2 - 5*x - 1
L.<u> = NumberField(f)
G = L.galois_group(names='b') # K is generated by b
print(f'L = {L}')
print(f'G = {G}')
print(f'Is u a unit? {u.is_unit()}')
print(f'K is Q(b) where b has minimal polynomial:\n{b.minpoly()}\n')
k, mor, nothing = K.subfields(degree=2)[0] # not really needed, but i want it
k.inject_variables()
D = k.discriminant()
print(f'k has discriminant {D}')
g0, g1 = G.gen(0), G.gen(1)
print(f'g0 = {g0}')
print(f'g1 = {g1}\n')
print(f'g0 maps the unit u in the following element of K:\n{g0(u)}')
print(f'g0(u) has minimal polynomial:\n{g0(u).minpoly()}\n')
print(f'g1 maps the unit u in the following element of K:\n{g1(u)}')
print(f'g1(u) has minimal polynomial:\n{g1(u).minpoly()}\n')
Results:
L = Number Field in u with defining polynomial x^5 + 5*x^4 - 5*x^3 - 40*x^2 - 5*x - 1
G = Galois group 5T2 (5:2) with order 10 of x^5 + 5*x^4 - 5*x^3 - 40*x^2 - 5*x - 1
Is u a unit? True
K is Q(b) where b has minimal polynomial:
x^10 - 110*x^8 + 4225*x^6 - 64500*x^4 + 346500*x^2 + 30375
Defining b0
k has discriminant -15
g0 = (1,2)(3,10)(4,6)(5,8)(7,9)
g1 = (1,3,5,4,9)(2,7,6,8,10)
g0 maps the unit u in the following element of K:
25301/1038518775*b^8 - 570977/207703755*b^6 + 84844/801945*b^4 - 19932910/13846917*b^2 + 11818549/4615639
g0(u) has minimal polynomial:
x^5 + 5*x^4 - 5*x^3 - 40*x^2 - 5*x - 1
g1 maps the unit u in the following element of K:
25301/1038518775*b^8 - 570977/207703755*b^6 + 84844/801945*b^4 - 19932910/13846917*b^2 + 11818549/4615639
g1(u) has minimal polynomial:
x^5 + 5*x^4 - 5*x^3 - 40*x^2 - 5*x - 1
Mon, 30 May 2022 13:34:39 +0200https://ask.sagemath.org/question/62650/computing-the-galois-action-of-a-generator-on-an-unit-of-a-subfield/?answer=62670#post-id-62670