1) Consider the structures ({a1x + a0 | a1, a0 属于 R}, +) and ({a + ib | a, b 属于R, i的平方 = -1}, +).
a) Show that they are groups
b) Show that they are isomorphic.
2) (Z, +) is a group. Denote by nZ the set of the multiple of n., i.e.
nZ = {a | a 属于Z and there exists c 属于Z s.t. a = nc}
a) Show that (nZ, +) is a subgroup of (Z, +).
b) Show that for any subgroup S of the additive group Z there is a natural number m such that S = mZ.
3) Let f : Z -> Z4 be defined by f(x) = x.4 1 (the non negative remainder when x is divided by 4) and Z4 = {0, 1, 2, 3}
a) Prove that f is a homeomorphism from the group (Z, +) onto the group (Z4, +4).To simulate (Z, +) by (Z4, +4) we use equivalence classes of Z. We define a relation p on Z by
xpy <->f(x) = f(y) <-> x.4 1 = y.4 1
b) Prove that p is an equivalence relation on Z (p is the relation of congruence modulo 4). Write all the distinct equivalence classes.
a) Show that they are groups
b) Show that they are isomorphic.
2) (Z, +) is a group. Denote by nZ the set of the multiple of n., i.e.
nZ = {a | a 属于Z and there exists c 属于Z s.t. a = nc}
a) Show that (nZ, +) is a subgroup of (Z, +).
b) Show that for any subgroup S of the additive group Z there is a natural number m such that S = mZ.
3) Let f : Z -> Z4 be defined by f(x) = x.4 1 (the non negative remainder when x is divided by 4) and Z4 = {0, 1, 2, 3}
a) Prove that f is a homeomorphism from the group (Z, +) onto the group (Z4, +4).To simulate (Z, +) by (Z4, +4) we use equivalence classes of Z. We define a relation p on Z by
xpy <->f(x) = f(y) <-> x.4 1 = y.4 1
b) Prove that p is an equivalence relation on Z (p is the relation of congruence modulo 4). Write all the distinct equivalence classes.