K = Qp(5, print_mode='digits')
C1=CartesianProduct(ZZ,Integers(4));C1
Cartesian product of Integer Ring, Ring of integers modulo 4
C2=CartesianProduct(C1,Z5);C2
Cartesian product of Cartesian product of Integer Ring, Ring of integers modulo 4, 5-adic Ring with capped relative precision 20
C2.is_ring();
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?
Asked: 2013-12-15 03:17:36 +0100
Seen: 376 times
Last updated: Dec 17 '13
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
