## Stream: maths

### Topic: zmod.cast_hom

#### 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?

#### Kevin Buzzard (Jun 01 2020 at 06:04):

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

Maybe not...

#### Johan Commelin (Jun 01 2020 at 06:40):

#2900

Last updated: May 06 2021 at 19:30 UTC