Theorem 6.6: Let G; be a group and let a and b be elements of g. then ()ac=bc, implies that a=b(right cancellation property) (2)ca=cb, implies that a=bo (left cancellation property) s=a1ym,÷) Thus there can be no repeats in any row or column
Theorem 6.6: Let [G;] be a group and let a and b be elements of G. Then (1)ac=bc, implies that a=b(right cancellation property)。 (2)ca=cb, implies that a=b。(left cancellation property) S={a1 ,…,an }, al*aial*aj (ij)， Thus there can be no repeats in any row or column
Theorem 6.7: Let G; be a group and let a. b and c be elements of g. then (lThe equation a*x=b has a unique solution in g (2)The equation y*a=b has a unique solution in g
Theorem 6.7: Let [G;] be a group and let a, b, and c be elements of G. Then (1)The equation ax=b has a unique solution in G. (2)The equation ya=b has a unique solution in G
Let [G; be a group. We define a=e a-k=(a-k, ak-a*ak-l(k21 Theorem 6.8: Let G; be a group and a ∈G,m,n∈Z.Then (amran=aman (2)(am)=am ata+.ta=ma ma+na=(m+n)a n(ma=(nm)a
Let [G;] be a group. We define a 0=e， a -k=(a-1 ) k ， a k=a*ak-1 (k≥1) Theorem 6.8: Let [G;] be a group and a G, m,n Z. Then (1)a m*a n=am+n (2)(am) n=amn a+a+…+a=ma, ma+na=(m+n)a n(ma)=(nm)a
6.3 Permutation groups and cyclic groups Exampl ole: Consider the equilateral triangle with vertices 1, 2, and3. Let l1, L2, and l3 be the angle bisectors of the corresponding angles, and let o be their point of intersection Counterclockwise rotation of the triangle about o through120°,240°,360°(0
6.3 Permutation groups and cyclic groups Example: Consider the equilateral triangle with vertices 1，2，and 3. Let l1 , l2 , and l3 be the angle bisectors of the corresponding angles, and let O be their point of intersection。 Counterclockwise rotation of the triangle about O through 120°,240°,360° (0°)
f2:1→>2,2)3,3→1 3:1→)3,2-1,3-)2 f1:1-1,2-)2,3-3 reflect the lines l1, l2, and L3. g1:1→>1,2-~3,3>2 g2:1→3,2→>2,3-+1 83:1→>2,2→1,3)3
f2 :1→2，2→3，3→1 f3 :1→3，2→1，3→2 f1 :1→1，2→2，3→3 reflect the lines l1 , l2 , and l3 . g1 :1→1，2→3，3→2 g2 :1→3，2→2，3→1 g3 :1→2，2→1，3→3