1 / 10

Math 3121 Abstract Algebra I

Math 3121 Abstract Algebra I. Lecture 5 Finish Sections 6 + Review: Cyclic Groups, Review. Questions on HW. Don’t hand in: Pages 66-67: 3, 5, 11, 17, 23, 45. Finish Section 6: Cyclic Groups.

forbes
Download Presentation

Math 3121 Abstract Algebra I

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Math 3121Abstract Algebra I Lecture 5 Finish Sections 6 + Review: Cyclic Groups, Review

  2. Questions on HW • Don’t hand in: Pages 66-67: 3, 5, 11, 17, 23, 45

  3. Finish Section 6: Cyclic Groups • Main Theorem: A finite cyclic group is isomorphic to ℤn, and an infinite cyclic group is isomorphic to ℤ. • GCD(n, m) = the positive generator of <n, m>. • Size of a subgroup of finite cyclic group must divide the order of that group.

  4. More on ℤn • The group ℤncan be defined as follows: The set is the set of equivalence classes of the relation: x = y mod n. Addition is defined by adding members of equivalence class. This is well-defined: x1 = y1 mod n and x2 = y2 mod n ⇒ x1 + x2 = y1 + y2 mod n.

  5. Theorem Theorem: A cyclic group is isomorphic to ℤ or to ℤn. In the first case it is of infinite order, and in the second case it is of finite order. Proof: Let G be a cyclic group. Pick a generator a of G, and let f be the power function: f(n) = an Then f is a homomorphism from ℤ to G. It is onto. Let K be the subset of all k in ℤ such that f(k) = e. This is called the kernel of the homomorphism f. It is easy to show that K is a subgroup of ℤ, and hence of the form nℤ, for some n in ℤ. If n = 0, then f is one-to-one: for each distinct x, y in ℤ, x-y is not in K, hence f(x-y) ≠ e, hence ax-y ≠ e, hence ax ≠ ay , hence f(x) ≠ f(y). Thus f is an isomorphism. Otherwise, we can assume n is positive, and f(x) = f(y) ⇔ x = y mod n. Thus f induces a one-to-one map from the equivalence classes onto G. The equivalence classes of mod n are the elements of ℤn. Thus G is isomorphic to ℤn.

  6. GCD Definition (normal definition): The greatest common divisor gcd of two integers is the largest integer that divides both (in the sense that any divisor of both integers is a divisor of their gcd). Theorem: If n and m are integers, then there are integers a and b such that gcd(n, m) = a n + b m. Proof: Let H = {a n + b m | a, b in ℤ}. Then H = d ℤ, for some d in ℤ. We can assume d is nonnegative. Otherwise, replace d by –d. d divides n and m, since they are in H. If x divides n and m, then x divides any element of H, hence d.

  7. Relatively Prime Definition: Two integers are relatively prime if their gcd is 1. Theorem: If n and m are relatively prime, and n divides m s, then n divides s.

  8. Example: subgroups of ℤ30

  9. Theorem Theorem: Let G be a cyclic group of finite order n and generated by a. Let b = as, for some integer s. Then b generates a cyclic group of order n/gcd(n, s). Furthermore, <as> = <at> iff gcd(s, n) = gcd(t, n). Proof: Use ℤn as a model. Suppose s in ℤ represents an element of ℤn. Let d = gcd(s, n). Then d divides n. Thus the multiples k d for 0 ≤ k < n/d are less than n and thus distinct mod n. Thus the cyclic group <d> mod n has n/d elements. Let w = s/d. Find u, v in ℤ such that u s + v n = d. Then u s = d mod n. Also w u = 1 mod n. Thus the maps g(x) = w x mod n and h(y) = u y mod n are inverse to each other. Now g takes elements of <d> mod n to elements of <s> mod n: g(k d) = s/d k d = k s. Thus both sets have the same number of elements, namely n/d. In fact, the members of <s> mod n are also members of <d> mod n. Furthermore, if d = gcd(s, n) = gcd(t, n), then members of <t> mod n are also members of <d> mod n.

  10. Review • Topics • Sample questions

More Related