1 | initial version |
There is something missing in your code since Z5 is never defined. I assume that you meant to insert
sage: Z5 = K.integer_ring()
Secondly, if you want help then please ask a clear question! All that I see is a block of incorrect Sage code! But I can guess what you might be wanting to ask, given the title of your posting, which is perhaps to verify that the group of units of Z5 is isomorphic to Z x C4 x Z5. Is that correct?