Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure...
Transcript of Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure...
![Page 1: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/1.jpg)
Subgroups
Practice HW # 1-9 p. 7 at the end of the notes
In this section, we discuss the basics of subgroups.
Fact: Instead of using the notation , we normally use the following:
if the binary operation is in multiplicative form. if the binary operation is in additive from.
Definition 1: If a non-empty subset H of a group G is closed under the binary operation of G, that is, for , , and if H is itself a group, then H is a subgroup of G.
Two Facts about Subgroups of a Given Group G 1. G is a subgroup of itself.2. For the identity , the one element set is a subgroup of G (called the trivial
group).
For example, Z under addition is a subgroup of under addition.
However, under subtraction is not a subgroup under subtraction since it is not closed (for example, for )
Is there a way to verify that a subset is a group is a group without verifying the set satisfies each of the 4 group properties?
1
![Page 2: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/2.jpg)
Theorem 1: A non-empty subset H of a group G is a subgroup of G under the binary operation providedi) If , then (H is closed).ii) If , then . (all elements in H must have their inverses in H ).
Proof: We are given that H is a subset of the group G. This implies that the other two of the group axioms that hold for G should hold for H. That is, H is associative since if
, since . Since assumption (ii) says that if , then , then by the closure property given by (i). Thus H is a group and hence a subgroup of G. █
Example 1: Determine whether the set is a subgroup of the group of complex numbers C under addition.
Solution:
█
2
![Page 3: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/3.jpg)
Example 2: Determine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under addition.
Solution:
█
Example 3: Determine whether the set is a subgroup of the group of non-zero complex numbers under multiplication.
Solution:
█
3
![Page 4: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/4.jpg)
Example 4: Determine whether the set of pure imaginary numbers including 0 is a subgroup of the group of non-zero complex numbers under multiplication.
Solution:
█
Note: The set represents the group of all invertible matrices under matrix multiplication. Example 5: Determine whether the set of matrices with determinant 2 is a subgroup of of .
Solution: It is important to note that the set of matrices with determinant 2 is a subset of since any matrix with a non-zero determinant is invertible.
1. Closure: Let A and B be two matrices where and . We want to show that the product of these two matrices is in this set, that is, we want to show that . However, using the product property of determinants, we can see that
Hence, the product is not a matrix with determinant of 2. Thus, the closure property fails.
Hence, the set of matrices with determinant 2 is not a subgroup of .
█
4
![Page 5: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/5.jpg)
Example 6: Let G be a group and let a be one fixed element of G. Show that the set
is a subgroup of G.
Solution:
█
5
![Page 6: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/6.jpg)
6
![Page 7: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/7.jpg)
7
![Page 8: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/8.jpg)
Exercises
1. Determine whether the following subsets of the group of complex numbers C is group under addition.a. Rb.c.
2. Determine whether the following subsets of the group of non-zero complex numbers is group under multiplication.a. Rb.c.
3. Determine whether the following set of matrices is a subgroup of the group of all invertible matrices with real entries.a. The matrices with determinant 2.b. The diagonal matrices with no zeros on the diagonal.c. The matrices with determinant -1.d. The matrices with determinant -1 or 1.
4. Prove that if G is an abelian group under the multiplication operation, then the set
forms a subgroup of G.
5. Show that if H and K are subgroups of an abelian group G, then
is a subgroup of G.
6. Let S be any subset of a group G. Show that
is a subgroup of G.
7. The center of a group G is the set
8
![Page 9: Radford Universitynpsigmon/courses/Math623/mword/... · Web viewDetermine whether the set of pure imaginary numbers including 0 is a subgroup of the group of complex numbers C under](https://reader037.fdocuments.us/reader037/viewer/2022090602/605489560258af6ddc656773/html5/thumbnails/9.jpg)
.
Prove that is a subgroup of G.
8. Let H be a subgroup of a group G and, for , let denote the set
Show that is a subgroup of G.
9. Let r and s be positive integers. Show that
is a subgroup of Z.
9