关于置换明确定义、二阶元可以在群中可以交换所有元素的证明

最新推荐文章于 2024-04-27 13:23:25 发布

mygodhome

最新推荐文章于 2024-04-27 13:23:25 发布

阅读量6.8k

点赞数

分类专栏： Discrete Mathematic 文章标签： 2010 c

本文链接：https://blog.csdn.net/mygodhome/article/details/5887139

版权

Discrete Mathematic 专栏收录该内容

15 篇文章 0 订阅

订阅专栏

怎么理解它说的置换？
秦淮人家 22:06:34
就是每行每列的元素没有相同的，
袁惟仁的忧伤 22:07:28
那我可以把第三列和第二列交换下位置吗
袁惟仁的忧伤 22:07:58
交换完了，得到的新表依然都是G的置换吗

秦淮人家 22:08:47
怎么换都没关系的。只要是列和列换，行和行换

---------------------------------------

什么才算是一一变换
秦淮人家 21:30:59
双射啊
袁惟仁的忧伤 21:31:14
哦
袁惟仁的忧伤 21:31:42
就是一一映射啊
秦淮人家 21:32:24
对啊。不过这种一一映射是集合到自身的，而不是到另一个集合

------------------------------------------------------------------

在同余关系中的置换性，你怎么理解
秦淮人家22:18:41
对一个运算，如果你把操作数用与它成等价关系的的元素替换，那么结果和原来的结果也等价，a~ b ，c~ d ，ac~ bd这是置换。ac~ bd这是置换这是需要证明的。

秦淮人家 22:21:49
不是对每个都成立的啊

袁惟仁的忧伤 22:34:23
置换在2个地方出现了：一个是同余，一个是群部分的置换群。有相似地方吗？
秦淮人家 22:37:53
都是置换，只不过置换的对象不一样
秦淮人家 22:38:36
对操作数的置换
袁惟仁的忧伤 22:39:19
a~ b ，c~ d ，ac~ bd这是置换

秦淮人家 22:40:28
就是说等价的两个元素作为操作数时，可以用一个置换另一个，结果保持等价关系，所以叫满足置换，比如，a和b可以换，c和d可以换啊。

修改一下此处，修改日期2010.09.18,08:01am：

补充：昨晚回来和郑志高同学讨论到了这个问题，下面补充下我的一点拙见：

假如给你一个字母表为A={a,b,c,d},那么代数系统V=<A,o>构成一个运算表，那么现在告诉你该运算表里满足一个关系R,这个关系R呢，是A上的等价关系，且R对于V中所有运算（此处只有一个运算o）都具有置换性质，那么要你证明R是V上的同余关系。

显然这满足同余关系的基本定义，那么要你证明，你就得用更基本的定义，就是说我要同余的基本性质去证，即证明R具有自反性，对称性，传递性，最后再证它对V中所有运算（此处只有一个o）具有置换性质，那么我现在只关心置换的证明，我们结合老柳给的解释，我这么理解，即由a~b,c~d我要去证ac~bd,也就是说证明ac在运算表中关于运算o对应的那个值，要等价于bd在运算表中关于运算o对应的那个值，如果满足这个关系，那么我们可以说A上的等价关系R对于V中所有运算（此处只有一个运算o）都具有置换性质，再加上先前要首先证明的R具自反性，对称性，传递性，即得证R是V上的同余关系。

2010.11.16,09:15am:

早上收到小郑同学的短信，很意外，也很高兴。他说：鉴于我曾对“置换”概念不清，就PKU的离散教材代数系统部分的内容可以读读牛凤文的《抽象代数》。书上对“置换”定义为：

非空有限集合A到A本身的可逆映射成为A上的置换，也就是A的一个置换。

非常感谢小郑，还记得这件事，都过去2个月了，很感动。

我回复了下自己理解并总结的“置换”的定义：

非空有限集合A上的置换，就是对集合A中任意元素作用的所有操作（即：运算）对集合A封闭，那么这样的操作（即：运算）具有置换性质。

------------------------------------------------------------------------------------

若群G中，只有唯一2阶元，则这个元素与G中所有元素可以交换。
请给出证明？
答案如下：
证明：设二阶元为x,对任意的y属于G有：|yxy^-1|=|x|=2
推出yxy^-1=x
推出yx=xy

袁惟仁的忧伤 21:42:41
|yxy^-1|因为我有后面的课本内容作为基础，所以可以理解为是子群
中的元素

秦淮人家 21:46:04
注意x是二阶元
袁惟仁的忧伤 21:46:07
群中只有e存在幂等律
秦淮人家 21:46:55
谁用幂等律了？
袁惟仁的忧伤 21:46:55
yxy^-1是几阶？
秦淮人家 21:47:00
2阶啊
袁惟仁的忧伤 21:47:05
为啥
秦淮人家 21:47:47
yxy^-1yxy^-1=yxxy^-1=yy^-1=e
袁惟仁的忧伤 21:48:04
yxy^-1怎么来的
秦淮人家 21:48:37
什么怎么来的，我被你弄傻了
袁惟仁的忧伤 21:48:54
为什么要写yxy^-1？
秦淮人家 21:49:43
你不是要证明他是二阶元么？我就把两个它乘一下得到e啊
袁惟仁的忧伤 21:50:17
我不要证是二阶的
袁惟仁的忧伤 21:50:25
我要证可以交换
袁惟仁的忧伤 21:50:38
你看题
秦淮人家 21:51:13
证出二阶了，又说只有一个二阶，所以yxy^-1=x
秦淮人家 21:51:19
不就出来了么
袁惟仁的忧伤 21:53:14
那你开始怎么想到要用yxy^-1来证？怎么想到的，怎么构思到的？
秦淮人家 21:53:29
我看你答案想到的