抽象代数思考题
Proposition 1 ⟨Z,+⟩
Proposition 1
⟨
Z
,
+
⟩
是循环群.
1|a,a≠0
1
|
a
,
a
≠
0
,所以
⟨Z,+⟩=⟨1,+⟩
⟨
Z
,
+
⟩
=
⟨
1
,
+
⟩
.
Proposition 2
Proposition 2
任意两个同阶循环群一定是同构的.
设
n
n
阶循环群生成元为,那么可以构造同构:
由同构的等价性质,任意两个同阶循环群是同构的( Z∞=Z Z ∞ = Z ).
Proposition 3
Proposition 3
任意循环群的子群是循环群。
由命题2,我们直接在
⟨Zn,+⟩
⟨
Z
n
,
+
⟩
(
+n的n
+
n
的
n
略去)上研究循环群的性质.
若
n=∞
n
=
∞
,则任意集合
S={a1,a2,...an}
S
=
{
a
1
,
a
2
,
.
.
.
a
n
}
,一定有
⟨S,+⟩=⟨(a1,a2,...an),+⟩
⟨
S
,
+
⟩
=
⟨
(
a
1
,
a
2
,
.
.
.
a
n
)
,
+
⟩
,所以
Z
Z
的子群是循环群,记为.
若
n<∞
n
<
∞
,设
Zn
Z
n
子群为
mZn
m
Z
n
,则由
n≡0∈mZn
n
≡
0
∈
m
Z
n
,得
m|[m,n]
m
|
[
m
,
n
]
(m是
mZn
m
Z
n
中最小的元素).易知
⟨mZn,+n⟩
⟨
m
Z
n
,
+
n
⟩
是循环群
⟨m,+n⟩
⟨
m
,
+
n
⟩
.
总之
Zn
Z
n
的子群
mZn
m
Z
n
是循环群.
无零因子有幺元的环是整环.
Proposition 4
Proposition 4
若
M
M
是整环,那么当且仅当是整环.
充分性:
M
M
是整环,于是分别是零元和幺元,那么对于任意形式多项式函数
f(x⃗ )∈M[x⃗ ],0⋅f(x⃗ )=0,1⋅f(x⃗ )=1
f
(
x
→
)
∈
M
[
x
→
]
,
0
⋅
f
(
x
→
)
=
0
,
1
⋅
f
(
x
→
)
=
1
,所以
M[x⃗ ]
M
[
x
→
]
是整环.
必要性
M[x⃗ ]
M
[
x
→
]
是整环,那么存在
0,1∈M[x⃗ ]
0
,
1
∈
M
[
x
→
]
分别是零元和幺元,对于
M0={f0|degf0=0}
M
0
=
{
f
0
|
deg
f
0
=
0
}
来说,其与
M
M
同构,并且是整环,所以
M
M
是整环.
若
M
M
是无零因子环,那么当且仅当.时
M[x1,x2,...,xn]
M
[
x
1
,
x
2
,
.
.
.
,
x
n
]
是整环.
暂略…先看看高代下册再来看这个问题吧_(:3」∠)_.
Ideal 1
Ideal 1
考虑环
⟨X,+,⋅⟩
⟨
X
,
+
,
⋅
⟩
的加法群
⟨X,+⟩
⟨
X
,
+
⟩
的子群
⟨H,+⟩
⟨
H
,
+
⟩
.如果
Gh∈H
G
h
∈
H
,那么
H
H
是的理想。看起来和陪集有点像,其实根本不同QAQ…
Proposition 6
Proposition 6
设
∘是X
∘
是
X
上二元运算,且对
∀x,y
∀
x
,
y
满足
(x∘y)∘y=y∘(y∘x)=x
(
x
∘
y
)
∘
y
=
y
∘
(
y
∘
x
)
=
x
,证明
∘
∘
是交换的.
证明:
x∘y=y∘(y∘(x∘y))=y∘((x∘(x∘y))∘(x∘y))=y∘x
x
∘
y
=
y
∘
(
y
∘
(
x
∘
y
)
)
=
y
∘
(
(
x
∘
(
x
∘
y
)
)
∘
(
x
∘
y
)
)
=
y
∘
x
.
反思:首先
左式=...=右式
左
式
=
.
.
.
=
右
式
,如果是抽象集合,中间一定反复利用,…貌似没有其他的证法。
Proposition 7
Proposition 7
设
X∗是幺半群⟨X,∘⟩
X
∗
是
幺
半
群
⟨
X
,
∘
⟩
所有单位元素组成的集合,证明
X∗对∘
X
∗
对
∘
是封闭的.
证明:
若
x,y∈X∗
x
,
y
∈
X
∗
,则
x∘y
x
∘
y
也可逆,所以
x∘y∈X∗
x
∘
y
∈
X
∗
.
(原题是幺群,但我觉得按它的定义…这里应该是幺半群..)
Proposition 8
Proposition 8
设
⟨S,+⟩
⟨
S
,
+
⟩
是
⟨N,+⟩
⟨
N
,
+
⟩
的子半群,满足若
a,b∈S
a
,
b
∈
S
,那么
|a−b|∈S
|
a
−
b
|
∈
S
,证明S是循环群(
∃a0∈S,S={an0|n∈N}
∃
a
0
∈
S
,
S
=
{
a
0
n
|
n
∈
N
}
?).
证明:
由辗转相除法
a,b∈S⇒(a,b)∈S
a
,
b
∈
S
⇒
(
a
,
b
)
∈
S
,由数学归纳法若给
S
S
中元素任意编号,若
Pn=(a1,...,an)∈S,那么Pn+1=(Pn,an+1)∈S
P
n
=
(
a
1
,
.
.
.
,
a
n
)
∈
S
,
那
么
P
n
+
1
=
(
P
n
,
a
n
+
1
)
∈
S
,又
P⩾1
P
⩾
1
,于是
∃P∈S,P|ai,ai∈S
∃
P
∈
S
,
P
|
a
i
,
a
i
∈
S
,于是
S={nP|n∈N}.
S
=
{
n
P
|
n
∈
N
}
.
Proposition 9
Proposition 9
设
S1,S2
S
1
,
S
2
是交换半群
X
X
的子半群,证明也是
X
X
的子半群.
证明:
设,那么
a1b1a2b2=(a1a2)(b1b2)∈S1S2
a
1
b
1
a
2
b
2
=
(
a
1
a
2
)
(
b
1
b
2
)
∈
S
1
S
2
.
Proposition 10
Proposition 10
将下列概念由群推广到半群:
1.由一个群的子集生成的子群;
2.循环群;
3.群的极小生成集合;
4.有限生成的群.
1.考虑类似矩阵的
⟨P,⋅⟩
⟨
P
,
⋅
⟩
,若
S={s1,s2,...,sn}
S
=
{
s
1
,
s
2
,
.
.
.
,
s
n
}
,则
{sa11sa22...sann|a1,a2,...,an∈N,a1+a2+⋯+an>0}
{
s
1
a
1
s
2
a
2
.
.
.
s
n
a
n
|
a
1
,
a
2
,
.
.
.
,
a
n
∈
N
,
a
1
+
a
2
+
⋯
+
a
n
>
0
}
.
事实上这样的子群应该是交换的,证明从略。
2.只由一个单元素子集生成的半群
3.若
G=⟨S,⋅⟩
G
=
⟨
S
,
⋅
⟩
,且
∀S′⊂S,G≠⟨S′,⋅⟩
∀
S
′
⊂
S
,
G
≠
⟨
S
′
,
⋅
⟩
称
S
S
为的极小生成集合.
4.若
|S|<∞
|
S
|
<
∞
,称
G
G
是有限生成的.
举例:一切无限维矩阵组成的集合不是有限生成的.其是半群,因为
A(BC)=(AB)C
A
(
B
C
)
=
(
A
B
)
C
.
Proposition 11
Proposition 11
设
⟨G,⋅⟩
⟨
G
,
⋅
⟩
是交换半群,且有相消律成立,记
Q[G]={(p,q)|p,q∈G}
Q
[
G
]
=
{
(
p
,
q
)
|
p
,
q
∈
G
}
,若
ad=bc,则(a,b)=(c,d)
a
d
=
b
c
,
则
(
a
,
b
)
=
(
c
,
d
)
,证明
⟨Q[G],∘⟩,(a,b)∘(c,d):=(ac,bd)
⟨
Q
[
G
]
,
∘
⟩
,
(
a
,
b
)
∘
(
c
,
d
)
:=
(
a
c
,
b
d
)
是交换群.
证明:
结合律:
((a,b)∘(c,d))∘(e,f)=(ac,bd)∘(e,f)=(ace,bdf)
(
(
a
,
b
)
∘
(
c
,
d
)
)
∘
(
e
,
f
)
=
(
a
c
,
b
d
)
∘
(
e
,
f
)
=
(
a
c
e
,
b
d
f
)
(a,b)∘((c,d)∘(e,f))=(a,b)∘(ce,df)=(ace,bdf)
(
a
,
b
)
∘
(
(
c
,
d
)
∘
(
e
,
f
)
)
=
(
a
,
b
)
∘
(
c
e
,
d
f
)
=
(
a
c
e
,
b
d
f
)
所以结合律成立.
幺元:
(1,1)∘(a,b)=(a,b)
(
1
,
1
)
∘
(
a
,
b
)
=
(
a
,
b
)
,故
(1,1)
(
1
,
1
)
是幺元,
进而
r(1,1)(a,b)=(a,b)
r
(
1
,
1
)
(
a
,
b
)
=
(
a
,
b
)
,故
(r,r),r∈N+
(
r
,
r
)
,
r
∈
N
+
是幺元.
逆元:
(a,b)∘(b,a)=(ab,ba)=(ab,ab)=ab(1,1)=(1,1)
(
a
,
b
)
∘
(
b
,
a
)
=
(
a
b
,
b
a
)
=
(
a
b
,
a
b
)
=
a
b
(
1
,
1
)
=
(
1
,
1
)
,故
(a,b)
(
a
,
b
)
的逆元是
(b,a)
(
b
,
a
)
.
交换律:
(a,b)∘(c,d)=(ac,bd)=(ca,db)=(c,d)∘(a,b)
(
a
,
b
)
∘
(
c
,
d
)
=
(
a
c
,
b
d
)
=
(
c
a
,
d
b
)
=
(
c
,
d
)
∘
(
a
,
b
)
.
Proposition 12
Proposition 12
一个有限半群如果是交换的,且有相消律成立,那么它是交换群.如果它不是交换的呢?
gb=gc⇒b=c
g
b
=
g
c
⇒
b
=
c
那么对于所有的
g∈G
g
∈
G
,必须有逆元存在,假设不存在,首先设
|G|=n
|
G
|
=
n
,则
∀x≠e∈G,gx≠e
∀
x
≠
e
∈
G
,
g
x
≠
e
,设
gg=a≠g,否则g=e
g
g
=
a
≠
g
,
否
则
g
=
e
,设
ga=b≠g
g
a
=
b
≠
g
,否则
a=g
a
=
g
,设
gb=c≠g
g
b
=
c
≠
g
,否则
b=g
b
=
g
,…,这样的乘法可以无限做下去,但是由于
G
G
是有限半群,这是不可能的,那么必然有,于是
gl−1=e
g
l
−
1
=
e
,
l=1,则g=e,l=2,则g−1=gl−2
l
=
1
,
则
g
=
e
,
l
=
2
,
则
g
−
1
=
g
l
−
2
.于是所有元素都有逆元.
在上面所证中只会有一个元素满足
gg=g=ge(e是待定的幺元)
g
g
=
g
=
g
e
(
e
是
待
定
的
幺
元
)
.
如果不是交换的.
若是左可约的,那么存在左逆元,若是右可约的那么存在右逆元.若既是左可约的又是右可约的,它才是群?
Proposition 13
Proposition 13
群的极小生成集合是唯一的吗?举例说明。
可能大概不是唯一的QAQ…极大线性无关组怎么可能是唯一的。
Proposition 14
Proposition 14
证明如果一个群没有真子群,那么它一定是循环群.
若
H<G
H
<
G
,那么
G−H不能由H中任意元素h表示
G
−
H
不
能
由
H
中
任
意
元
素
h
表
示
,自然
g′∈G−H,g≠hk
g
′
∈
G
−
H
,
g
≠
h
k
,反之亦然.从而它不是循环群.我们能够从这样的陪集分解获得启示.
现在看它的逆否命题:
若它不是循环群,则
g′≠g,⟨g′,⋅⟩
g
′
≠
g
,
⟨
g
′
,
⋅
⟩
是它的子群,
g∉⟨g′,⋅⟩
g
∉
⟨
g
′
,
⋅
⟩
,所以它是真子群。