#11319: Cannot create homomorphism from prime residue field to finite field
---------------------------+------------------------------------------------
Reporter: johanbosman | Owner: robertwb
Type: defect | Status: new
Priority: major | Milestone: sage-4.7.1
Component: coercion | Keywords: residue fields, finite fields, hom
Work_issues: | Upstream: N/A
Reviewer: | Author:
Merged: | Dependencies:
---------------------------+------------------------------------------------
Consider K = QQ(sqrt(337)). The prime 5 is inert in K and the prime 13
splits. We'll start with 13 to see what goes wrong:
{{{
sage: K.<w> = QuadraticField(337)
sage: pp = K.ideal(13).factor()[0][0]
sage: RF13 = K.residue_field(pp)
sage: RF13.gens()
(1,)
sage: RF13.hom([GF(13)(1)])
...
TypeError: images do not define a valid homomorphism
}}}
However, for residue fields that aren't prime fields it does work:
{{{
sage: RF5 = K.residue_field(5)
sage: F25 = GF(25, names='a', modulus=RF5.polynomial())
sage: RF5.hom([F25.0])
Ring morphism:
From: Residue field in wbar of Fractional ideal (5)
To: Finite Field in a of size 5^2
Defn: wbar |--> a
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11319>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
