证明某个东西是域:
- 若要你证明某个商环R/M是域:证明集合R是交换幺环+理想为极大理想 → \to →(如果是交换幺环那么至少有一个极大理想) → \to →由交换幺环极大理想一定是素理想 → \to →证明这个理想是素理想
- 直接证明某个东西是域:证明交换幺环+每个元素均为可逆元素
单位群的定义:
在环中,所有可逆元素叫环的单位,所有单位对乘法可构成一个乘法群,叫环的单位群。
由元素生成的理想&由理想生成的理想
由元素生成的理想:即主理想!
由子集S生成的理想:设R为一环,S为任意子集,则包含S的最小理想称为由 S S S生成的理想
我产生疑惑的地方(记录下来)
σ
:
H
→
H
′
,
则
H
/
k
e
r
(
σ
)
≅
H
′
\sigma:H{\to}H',则H/ker(\sigma){\cong}H'
σ:H→H′,则H/ker(σ)≅H′教材P103
哼,今儿发现自己近世代数学的特别慢!我好菜!但是要继续冲冲冲!
阿贝尔群:交换群
轮换与置换
所有的置换都可以写成不相交的轮换的乘积。如果不计轮换的次序,则此种表示是唯一的
不相交的概念:两个轮换设计到的元素就没有一样的,就叫做两个轮换不相交
不相交的轮换是交换的 σ ∗ π = π ∗ σ {\sigma}*{\pi}={\pi}*{\sigma} σ∗π=π∗σ
并且置换的阶==那些轮换的阶的最大公倍数
任何置换都可以写成对换的乘积
(我想好了,像我这种看一次忘记一次,我莫不如就记不得一次记录一次)
单射与满射的定义
单射的定义:证明任意两个不同的元素映过去是不同的元素
满射的定义:对于一个映射f:X-Y,任意一个Y中的元素在X中都有原像。证明的时候任取Y中元素,找到X中原像即可。
!!技巧:如果是两个有限集合的映射,可以通过有限集证明是满射