Zulip Chat Archive

Stream: maths

Topic: zmod.cast_hom


view this post on Zulip Johan Commelin (Jun 01 2020 at 05:54):

Currently 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 where 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 n?

view this post on Zulip Kevin Buzzard (Jun 01 2020 at 06:04):

I don't know the lingo, but would computer scientists still call that a cast?

view this post on Zulip Johan Commelin (Jun 01 2020 at 06:10):

Maybe not...

view this post on Zulip Johan Commelin (Jun 01 2020 at 06:40):

#2900


Last updated: May 06 2021 at 19:30 UTC