Opened 7 years ago

Last modified 7 years ago

#18308 new defect

No coercion for Galois group elements in different subgroups

Reported by: jdemeyer Owned by:
Priority: major Milestone: sage-6.7
Component: number fields Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by jdemeyer)

This is essentially #4105 but for Galois group elements.

sage: K.<a> = NumberField(x^6 + 40*x^3 + 1372)
sage: G = K.galois_group()
sage: L = [G.artin_symbol(Q) for Q in K.primes_above(5)]
sage: L[0] * L[1]
TypeError: unsupported operand parent(s) for '*': 'Subgroup [(), (1,5)(2,4)(3,6)] of Galois group of Number Field in a with defining polynomial x^6 + 40*x^3 + 1372' and 'Subgroup [(), (1,2)(3,4)(5,6)] of Galois group of Number Field in a with defining polynomial x^6 + 40*x^3 + 1372'

This also causes a doctest failure in src/doc/en/thematic_tutorials/explicit_methods_in_number_theory/nf_galois_groups.rst (marked as random for now):

    sage: P = K.primes_above(2)[0]
    sage: G.inertia_group(P)
    Subgroup [(), (1,4,6)(2,5,3), (1,6,4)(2,3,5)] of Galois group of Number Field in alpha with defining polynomial x^6 + 40*x^3 + 1372
    sage: sorted([G.artin_symbol(Q) for Q in K.primes_above(5)])  # random order, see Trac #18308
    [(1,3)(2,6)(4,5), (1,2)(3,4)(5,6), (1,5)(2,4)(3,6)]

Change History (3)

comment:1 Changed 7 years ago by jdemeyer

  • Description modified (diff)

comment:2 Changed 7 years ago by jdemeyer

  • Description modified (diff)

comment:3 Changed 7 years ago by jdemeyer

  • Description modified (diff)
Note: See TracTickets for help on using tickets.