Clanlu Clanlu
  • 请到 [后台->外观->菜单] 中设置菜单
  • 登录
现在登录。
  • 请到 [后台->外观->菜单] 中设置菜单

Demonstrate that given subsets of Dih(8) are subgroups

Math 2年 前
Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 2.1 Exercise 2.1.3

Show that the following subsets of $D_8$ are subgroups.
(1) $\{ 1, r^2, s, sr^2 \}$
(2) $\{ 1, r^2, sr, sr^3 \}$.


Solution: Exercise 1.5.2 would be helpful!
(1) We have $r^2 r^2 = 1$, $r^2 s = sr^2$, $r^2 sr^2 = s$, $sr^2 = sr^2$, $ss = 1$, $ssr^2 = r^2$, $sr^2 r^2 = s$, $sr^2 s = r^2$, and $sr^2 sr^2 = 1$, so that this set is closed under multiplication. Moreover, $(r^2)^{-1} = r^2$, $s^{-1} = s$, and $(sr^2)^{-1} = sr^2$, so this set is closed under inversion. Thus it is a subgroup.
(2) We have $r^2 r^2 = 1$, $r^2 sr = sr^3$, $r^2 sr^3 = sr$, $srr^2 = sr^3$, $srsr = 1$, $sr sr^3 = r^2$, $sr^3 r^2 = sr$, $sr^3 sr = r^2$, and $sr^3 sr^3 = 1$, so that this set is closed under multiplication. Moreover, $(r^2)^{-1} = r^2$, $(sr)^{-1} = sr$, and $(sr^3)^{-1} = sr^3$, so this set is closed under inversion. Thus it is a subgroup.

#Dihedral Group#Subgroup
0
Math
O(∩_∩)O哈哈~
猜你喜欢
  • The set of prime ideals of a commutative ring contains inclusion-minimal elements
  • Use Zorn’s Lemma to construct an ideal which maximally does not contain a given finitely generated ideal
  • Not every ideal is prime
  • Characterization of maximal ideals in the ring of all continuous real-valued functions
  • Definition and basic properties of the Jacobson radical of an ideal
25 10月, 2020
Prove that the following two matrices are not row-equivalent
精选标签
  • Subgroup 40
  • Order 37
  • Counterexample 36
Copyright © 2022 Clanlu. Designed by nicetheme.