首页

欢迎

 

Welcome

欢迎来到这里, 这是一个学习数学、讨论数学的网站.

转到问题

请输入问题号, 例如: 2512

IMAGINE, THINK, and DO
How to be a scientist, mathematician and an engineer, all in one?
--- S. Muthu Muthukrishnan

Local Notes

Local Notes 是一款 Windows 下的笔记系统.

Local Notes 下载

Sowya

Sowya 是一款运行于 Windows 下的计算软件.

详情

下载 Sowya.7z (包含最新版的 Sowya.exe and SowyaApp.exe)


注: 自 v0.550 开始, Calculator 更名为 Sowya. [Sowya] 是吴语中数学的发音, 可在 cn.bing.com/translator 中输入 Sowya, 聆听其英语发音或法语发音.





注册

欢迎注册, 您的参与将会促进数学交流. 注册

在注册之前, 或许您想先试用一下. 测试帐号: usertest 密码: usertest. 请不要更改密码.


我制作的 slides

Problem

随机显示问题

Problèmes d'affichage aléatoires

代数 >> 群论
Questions in category: 群论 (Group Theory).

求二面体群 $D_8$ 的自同构群

Posted by haifeng on 2011-08-09 16:47:36 last update 2023-04-10 19:46:20 | Answers (0)


设 $G=\langle a,b\mid a^4=1,b^2=1,b^{-1}ab=a^{-1}\rangle\cong D_8$. 证明 $\text{Aut}(G)\cong D_8$ 且可被 $\alpha$ 和 $\beta$ 所生成:

\begin{eqnarray} \alpha:a\mapsto a,\quad b\mapsto ba;\\ \beta:a\mapsto a^{-1},\quad b\mapsto b. \end{eqnarray}

并有如下定义关系:

\[ \alpha^4=\beta^2=1,\quad\beta^{-1}\alpha\beta=\alpha^{-1}. \]

又 $\sigma(G)\cong C_2\times C_2=\{1,\alpha^2,\beta,\beta\alpha^2\}$, 分别由 1, $a$, $b$ 和 $ba$ 诱导出来. 由此又推出 $G$ 恰有两个 2 阶的外自同构. 它们是:

\begin{eqnarray} \beta\alpha:& a\mapsto a^{-1},\quad b\mapsto ba &\\ \beta\alpha^{-1}:& a\mapsto a^{-1},\quad b\mapsto ba^{-1}.& \end{eqnarray}

 


二面体群(Dihedral group) $D_8$ 和 Quaternion $Q_8$ 是仅有的两个 8 阶非交换群.

 

$Q_8$ 的性质:

(1) $Q_8$ 具有唯一的一个二阶元. 
(2) $Q_8$ 的所有子群都是正规的.
(3) 不存在群 $G$, 使得 $G/Z(G)\cong Q_8$.

 

$D_8$ 的性质:

(1) 存在无穷多个群 $G$, 使得 $G/Z(G)\cong D_8$,  例如 $D_{16}$.

 

 


References

abstract algebra - $D_8$ as a derived subgroup - Mathematics Stack Exchange