1 / 6

External Direct Products (11/4)

External Direct Products (11/4). Definition. If G 1 , G 2, ..., G n are groups, then their external direct product G 1  G 2 ...  G n is simply the set of all ordered n -tuples of elements of the groups under component-wise operations.

huela
Télécharger la présentation

External Direct Products (11/4)

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. External Direct Products (11/4) • Definition. If G1, G2, ..., Gn are groups, then their external direct product G1  G2 ...  Gnis simply the set of all ordered n-tuples of elements of the groups under component-wise operations. • Example: What are the elements of Z3 Z4? How many? • What is the sum of (1, 2) and (2, 3)? (We say “sum because these are additive group.) • What is the order of (1, 1)? What does this say about this direct product group? • Example: What are the elements of Z2 Z6? How many? • What is the order of (1, 1) in this group? Is it cyclic?

  2. Basic Results • Theorem (Order of the Product Group). If all groups in an external product are finite, then the order of the product group is just ______________________________. • This is because as a set, the external product is just the “cartesian product” from set theory. • Theorem (Order of an element in a Product Group). The order the element (a1, a2,..., an) is _______________ ___________________________________________. • Corollary. The group Zj Zk is cyclic if and only if _________________________________. • Generalize to n components.

  3. Examples • In each case below1. How many elements does the group have?2. What is the largest order of any element in the group? Hence, is it cyclic?3.Write each as being isomorphic to another product with as few factors as possible. • Z2  Z9 Z5 • Z2  Z3 Z3  Z5 • Z4 Z3  Z9 Z5 Z5

  4. Groups of Order 4 • Theorem. Every group G of order 4 is isomorphic to either Z4 (i.e., is cyclic) or Z2 Z2 (i.e., is a Klein-4 group). • Proof. If G has an element of order 4, then G is cyclic, hence isomorphic to Z4. Otherwise G must consist of {e, a, b, ab}, the latter 3 of order 2 (and, recall, ab=ba). Now the function taking e to (0, 0), a to (1, 0), b to (0, 1) and ab to (1, 1) is easily checked to be an isomorphism. • This is an example of the upcoming Fundamental Theorem of Finite Abelian Groups, which says that every finite abelian group can be expressed as a direct product of cyclic, i.e., Zn, groups.

  5. The Structure of the U groups • Theorem. If s and t are relatively prime, then U(st) is isomorphic to U(s)  U(t). • Theorem (Gauss). U(2)  {0},U(4)  Z2,for n > 2, U(2n)  Z2 Z2^(n– 2), (i.e., is not cyclic), and for p any odd prime, U(pn)  Zp^n-p^(n – 1) (i.e., is cyclic). • Examples. Check this for n = 8, 9, 10, 12, 16.

  6. Assignment for Wednesday • Hand-in #3 is due. • Read Chapter 8 through page 168. • On page 174, do Exercises 2, 5, 6, 8, 9, 10, 12, 13, 14, 15.

More Related