Johan Commelin (Jun 01 2020 at 05:54):
zmod.cast_hom is a ring hom from
zmod n to rings
R with characteristic
n. I'm generalising that to rings with characteristic
m \| n.
But arguable, there should also be a group hom version of
cast. How should it be set up? Which should it take as arguments an element whose order divides
Kevin Buzzard (Jun 01 2020 at 06:04):
I don't know the lingo, but would computer scientists still call that a cast?
Johan Commelin (Jun 01 2020 at 06:10):
Johan Commelin (Jun 01 2020 at 06:40):
Last updated: May 06 2021 at 19:30 UTC