离散数学 (II) 习题 10

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

1、集合 A = {1, 2, 3} 上的双射函数如下：

f1 = {⟨1, 1⟩, ⟨2, 2⟩, ⟨3, 3⟩}, f2 = {⟨1, 2⟩, ⟨2, 1⟩, ⟨3, 3⟩}

f3 = {⟨1, 3⟩, ⟨2, 2⟩, ⟨3, 1⟩}, f4 = {⟨1, 1⟩, ⟨2, 3⟩, ⟨3, 2⟩}

f5 = {⟨1, 2⟩, ⟨2, 3⟩, ⟨3, 1⟩}, f6 = {⟨1, 3⟩, ⟨2, 1⟩, ⟨3, 2⟩}

则 G = {f1, f2, f3, f4, f5, f6} 关于函数的复合运算构成群。

H = {f1, f2} 是 G 的一个子群。请计算 H 的所有右陪集。

解答：
Hf1=H= {f1, f2} =Hf2
Hf3= {f3, f5} =Hf5
Hf4= {f4, f6} =Hf6

2、考虑 G = {⟨a, b⟩ | a, b ∈ R, a ̸= 0},对于 G 中的任意元素 ⟨a1, b1⟩ 和 ⟨a2, b2⟩ ∈ G，定义二元运算 ◦：⟨a1, b1⟩ ◦ ⟨a2, b2⟩ = ⟨a1 × a2, b1 × a2 + b2⟩,其中 × 和 + 是普通的实数上的乘法和加法，则 ⟨G, ◦⟩ 构成群。（上次作业已经证了）考虑 S = {⟨1, b⟩ | b ∈ R},请证明 ⟨S, ◦⟩ 是 ⟨G, ◦⟩ 的子群。

解答：
任取⟨1, b1⟩，⟨1, b2⟩∈S，b1，b2∈R
⟨1, b1⟩ ◦ ⟨1, b2⟩=⟨1, b1+b2⟩，b1+b2∈R，⟨1, b1+b2⟩∈S
单位元为⟨1, 0⟩
⟨1, b1⟩^-1=⟨1, -b1⟩，-b1∈R，⟨1, b1⟩^-1∈S
所以⟨S, ◦⟩ 是 ⟨G, ◦⟩ 的子群。