#11319: Cannot create homomorphism from prime residue field to finite field
---------------------------+------------------------------------------------
Reporter: johanbosman | Owner: robertwb
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.7.1
Component: coercion | Keywords: residue fields, finite fields, hom
Work_issues: | Upstream: N/A
Reviewer: | Author: Johan Bosman
Merged: | Dependencies:
---------------------------+------------------------------------------------
Changes (by johanbosman):
* status: needs_work => needs_review
Comment:
In your example, you're trying to send the generator of k to the element 1
of F, which does indeed not define a field homomorphism. This does work:
{{{
sage: root = k.polynomial().roots(F)[0][0]
sage: k.hom([root])
Ring morphism:
From: Residue field in abar of Fractional ideal (7)
To: Finite Field in b of size 7^3
Defn: abar |--> 4*b^2 + 4*b + 2
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11319#comment:4>
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.
