问答题 证明Zp是单环，其中p是素数。

问答题 设G是群，G1，G2是G的正规子群，假设G=G1G2且G1∩G2={e}（此时称G是G1和G2的内直积），证明：G≌G1×G2

问答题 求出ZG的所有理想。