技术标签: Programming学习笔记
这里对群只是做一些简单的了解,更详细的知识需要自行学习离散数学。
1. 运算
设 A , B , C A,B,C A,B,C是 3 3 3个任意的非空集合,则定义一个 A × B A\times B A×B到 D D D的函数 ∗ * ∗,为一个 A × B A\times B A×B到 D D D的代数运算。那么,对 A A A中的任意一个元素 a a a和 B B B中的任意一个元素 b b b,即 ∀ ( a , b ) ∈ A × B \forall\space(a,b)\in A\times B ∀ (a,b)∈A×B,都存在唯一一个 d ∈ D d\in D d∈D,使得 ∗ ( ( a , b ) ) = d *((a,b))=d ∗((a,b))=d,记为 a ∗ b = d a*b=d a∗b=d。
例如:已知 N N N是自然数集,现在定义 N × N N\times N N×N到 N N N上的一个函数 ∗ * ∗: ∀ m , n ∈ N , ∗ ( ( m , n ) ) = m n \forall\space m,n\in N,*((m,n))=mn ∀ m,n∈N,∗((m,n))=mn,即 m ∗ n = m n m*n=mn m∗n=mn,显然, ∗ * ∗是一个 N × N N\times N N×N到 N N N的运算。
现在,我们对上述定义做如下变动:设 A , B A,B A,B是 2 2 2个任意的非空集合,若 ∗ * ∗是 A × A A\times A A×A到 B B B的一个运算,则称 ∗ * ∗是集合 A A A上的一个代数运算或二元运算。此时,若有 B ⊆ A B\subseteq A B⊆A,则 ∗ * ∗就是集合 A A A上的闭运算,也说集合 A A A对运算 ∗ * ∗是封闭的。若有 n ⩾ 1 n\geqslant1 n⩾1是正整数,我们则称一个 A n A^n An到 B B B的映射 ∗ * ∗为 A A A上一个 n n n元运算,例如,已知 R R R是实数集, R R R上的绝对值运算,可以称为 R R R上一个一元运算。
2. 交换律
设 A , B A,B A,B是 2 2 2个任意的非空集合, ∗ * ∗是 A × A A\times A A×A到 B B B的一个运算,若对于 A A A中任意两个元素 a , b a,b a,b,都有 a ∗ b = b ∗ a a*b=b*a a∗b=b∗a,则称 ∗ * ∗运算适合交换律。例如,在数的运算中,加法运算适合交换律,而减法运算就不适合交换律。
3. 结合率
设 A , B A,B A,B是 2 2 2个任意的非空集合, ∗ * ∗是 A × A A\times A A×A到 B B B的一个运算,若对于 A A A中任意三个元素 a , b , c a,b,c a,b,c,都有 ( a ∗ b ) ∗ c = a ∗ ( b ∗ c ) (a*b)*c=a*(b*c) (a∗b)∗c=a∗(b∗c),则称 ∗ * ∗运算适合结合率。例如,在数的运算中,加法运算和乘法运算都适合结合率。
4. 代数系统
设 A A A是一个集合, ∗ 1 , ∗ 2 , … , ∗ n *_1,*_2,\dots,*_n ∗1,∗2,…,∗n是 A A A上的 n n n个代数运算,而 ( A , ∗ 1 , ∗ 2 , … , ∗ n ) (A,\space*_1,\space*_2,\space\dots,\space*_n) (A, ∗1, ∗2, …, ∗n)则表示集合 A A A,以及 A A A上的 n n n个代数运算组成的代数系统。
设 ( A , ∗ ) , ( B , ⋅ ) (A,\space*),\space(B,\space\cdot) (A, ∗), (B, ⋅)是两个代数系统, ∗ * ∗是 A A A上的一个二元运算, ⋅ \cdot ⋅是 B B B上的一个二元运算,现在有一个函数 f : A → B f:A\rightarrow B f:A→B,若 ∀ a , b ∈ A , s . t . f ( a ∗ b ) = f ( a ) ⋅ f ( b ) \forall\space a,b\in A,\space s.t.f(a*b)=f(a)\cdot f(b) ∀ a,b∈A, s.t.f(a∗b)=f(a)⋅f(b),则称函数 f f f是 A A A到 B B B的同态函数。此外,若 f f f是单射(设 S S S为一非空集合, ∀ a , b ∈ S , a ≠ b \forall\space a,b\in S,a\neq b ∀ a,b∈S,a=b,则有 f ( a ) ≠ f ( b ) f(a)\neq f(b) f(a)=f(b)),则 f f f可称为单一同态函数;若 f f f是满射(设 f f f是集合 M M M到 N N N的一个映射, ∀ n ∈ N , ∃ m ∈ M , s . t . f ( m ) = n \forall\space n\in N,\exists\space m\in M,s.t.f(m)=n ∀ n∈N,∃ m∈M,s.t.f(m)=n),则 f f f可称为满同态函数;若 f f f是双射(既是单射,又是满射),则 f f f可称为同构函数。
那么,两个代数系统之间,若存在单一同态函数,则称这两个代数系统是单同态的;若存在满同态函数,则称它们是满同态的;若存在同构函数,则称它们是同构的。
5. 半群
设 ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统,其中 A A A是一个非空集合, ∗ * ∗是 A A A上的一个二元运算。若 ∗ * ∗是 A A A上的闭运算,且该运算适合结合率,则称 ( A , ∗ ) (A,\space*) (A, ∗)是一个半群。例如 ( N , + ) (N,\space+) (N, +),其中 N N N表示自然数集, + + +表示数的加法, ∀ a , b ∈ N \forall\space a,b\in N ∀ a,b∈N,易知 a + b a+b a+b组成的集合是自然数集的子集,所以 + + +是 N N N上的闭运算。同时 ∀ a , b ∈ N , ( a + b ) + c = a + ( b + c ) \forall\space a,b\in N,(a+b)+c=a+(b+c) ∀ a,b∈N,(a+b)+c=a+(b+c),所以 + + +运算适合结合率,因此 ( N , + ) (N,\space+) (N, +)是一个半群。
证明一个代数系统是半群很简单,只需要依据它的定义按步骤给出证明即可:
s t e p 1 step1 step1:运算是集合上的闭运算,即集合中的任意元素遵循运算定义构成的结果集合,是集合的子集;
s t e p 2 step2 step2:运算适合结合率。
现在来看一个简单的小结论:设 f , g f,g f,g是 ( A , ∘ ) (A,\space\circ) (A, ∘)到 ( B , ∗ ) (B,\space*) (B, ∗)的同态映射,定义一个 A A A到 B B B的映射 h : ∀ a ∈ A , h ( a ) = f ( a ) ∗ g ( a ) h:\forall\space a\in A,h(a)=f(a)*g(a) h:∀ a∈A,h(a)=f(a)∗g(a),若 ( B , ∗ ) (B,\space*) (B, ∗)是一个可交换的半群,那么 h h h为 A A A到 B B B的同态映射。证明如下:
∀ a , b ∈ A , h ( a ∘ b ) = f ( a ∘ b ) ∗ g ( a ∘ b ) = ( f ( a ) ∗ f ( b ) ) ∗ ( g ( a ) ∗ g ( b ) ) = f ( a ) ∗ ( f ( b ) ∗ g ( a ) ) ∗ g ( b ) = f ( a ) ∗ ( g ( a ) ∗ f ( b ) ) ∗ g ( b ) = ( f ( a ) ∗ g ( a ) ) ∗ ( f ( b ) ∗ g ( b ) ) = h ( a ) ∗ h ( b ) \forall\space a,b\in A,\space h(a\circ b)=f(a\circ b)*g(a\circ b)=(f(a)*f(b))*(g(a)*g(b))=f(a)*(f(b)*g(a))*g(b)=f(a)*(g(a)*f(b))*g(b)=(f(a)*g(a))*(f(b)*g(b))=h(a)*h(b) ∀ a,b∈A, h(a∘b)=f(a∘b)∗g(a∘b)=(f(a)∗f(b))∗(g(a)∗g(b))=f(a)∗(f(b)∗g(a))∗g(b)=f(a)∗(g(a)∗f(b))∗g(b)=(f(a)∗g(a))∗(f(b)∗g(b))=h(a)∗h(b)
∴ h \therefore\space h ∴ h为 A A A到 B B B的同态映射。
这里还有一个子半群的概念: ( A , ∗ ) (A,\space*) (A, ∗)是一个半群, ∅ ≠ B ⊆ A \varnothing\neq B\subseteq A ∅=B⊆A,若 ( B , ∗ ) (B,\space*) (B, ∗)也是一个半群,那么我们就称 ( B , ∗ ) (B,\space*) (B, ∗)是 ( A , ∗ ) (A,\space*) (A, ∗)的子半群。
6. 幺元
设 ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统,若 ∃ e r i g h t ∈ A , s . t . ∀ a ∈ A , a ∗ e r i g h t = a \exists\space e_{right}\in A,\space s.t.\forall\space a\in A,a*e_{right}=a ∃ eright∈A, s.t.∀ a∈A,a∗eright=a,则称 e r i g h t e_{right} eright为右幺元;若 ∃ e l e f t ∈ A , s . t . ∀ a ∈ A , e l e f t ∗ a = a \exists\space e_{left}\in A,\space s.t.\forall\space a\in A,e_{left}*a=a ∃ eleft∈A, s.t.∀ a∈A,eleft∗a=a,则称 e l e f t e_{left} eleft为左幺元;若 ∃ e ∈ A \exists\space e\in A ∃ e∈A,它既是右幺元,又是左幺元,则称 e e e为幺元(又称单位元)。
现在有代数系统 ( A , ∗ ) (A,\space*) (A, ∗),当 A A A是有穷集合时,即 A = { a , b , c } A=\{a,b,c\} A={
a,b,c},其上的二元运算常可用运算表给出:
∗ * ∗ | a a a | b b b | c c c |
---|---|---|---|
a | a | b | b |
b | a | b | c |
c | a | b | a |
我们可以借助运算表直接看出运算的一些性质,常见用法有:
⋅ \hspace{0.5cm}\cdot\space ⋅ 二元运算满足可交换性的充要条件是运算表关于主对角线对称
⋅ \hspace{0.5cm}\cdot\space ⋅ 二元运算有左幺元的充要条件是该元素对应的行,与该表表头的行一致
⋅ \hspace{0.5cm}\cdot\space ⋅ 二元运算有右幺元的充要条件是该元素对应的列,与该表表头的列一致
⋅ \hspace{0.5cm}\cdot\space ⋅ 二元运算有幺元的充要条件是该元素对应的行和列依次与该表表头的行和列一致
下面来看一个重要结论:设 ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统,若它既有左幺元,又有右幺元,则左幺元等于右幺元。若有幺元,则幺元唯一。证明如下:
设 e l e f t , e r i g h t ∈ A e_{left},e_{right}\in A eleft,eright∈A,则 e l e f t = e l e f t ∗ e r i g h t = e r i g h t e_{left}=e_{left}*e_{right}=e_{right} eleft=eleft∗eright=eright,左幺元等于右幺元证毕。若有 e 1 , e 2 ∈ A e_1,e_2\in A e1,e2∈A,它们都是幺元,则 e 1 = e 1 ∗ e 2 = e 2 e_1=e_1*e_2=e_2 e1=e1∗e2=e2,幺元唯一证毕。
此外,我们定义含有幺元的半群为含幺半群。
7. 逆元
( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统, e ∈ A e\in A e∈A是幺元,现在有元素 a ∈ A a\in A a∈A,若 ∃ b ∈ A , s . t . a ∗ b = e \exists\space b\in A,\space s.t.\space a*b=e ∃ b∈A, s.t. a∗b=e,则称 b b b是 a a a的右逆元;若 ∃ d ∈ A , s . t . d ∗ a = e \exists\space d\in A,\space s.t.\space d*a=e ∃ d∈A, s.t. d∗a=e,则称 d d d是 a a a的左逆元;若 ∃ a ′ ∈ A \exists\space a'\in A ∃ a′∈A,使得 a ′ a' a′既是 a a a的左逆元,又是 a a a的右逆元,则称 a ′ a' a′是 a a a的逆元。
与逆元的定义相似,我们在这里可以了解一下可逆函数。现在已知 Δ A \Delta_A ΔA为 A A A上的恒等关系,且对于任意 f ∈ A A f\in A^A f∈AA(即 f f f为 A A A到 A A A的映射),若存在函数 g : A → A , s . t . f ∘ g = Δ A g:A\rightarrow A,s.t.\space f\circ g=\Delta_A g:A→A,s.t. f∘g=ΔA,则称 f f f是右可逆函数,并称 g g g是 f f f的右逆函数;若存在函数 g : A → A , s . t . g ∘ f = Δ A g:A\rightarrow A,s.t.\space g\circ f=\Delta_A g:A→A,s.t. g∘f=ΔA,则称 f f f是左可逆函数,并称 g g g是 f f f的左逆函数;若 f f f既是左可逆函数,又是右可逆函数,则称 f f f是可逆函数。这里有几个等价关系可以帮助我们更好的进行判断:
f f f是右可逆函数 ⇔ \Leftrightarrow ⇔ f f f是满射
f f f是左可逆函数 ⇔ \Leftrightarrow ⇔ f f f是单射
f f f是可逆函数 ⇔ \Leftrightarrow ⇔ f f f是双射
同时,易知恒等关系为幺元,满射函数有右逆元,单射函数有左逆元,双射函数有逆元。下面我们再来看一个重要结论:
( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统, e ∈ A e\in A e∈A是幺元, ∗ * ∗适合结合率。对于任意的 a ∈ A a\in A a∈A,若 a a a既有左逆元,又有右逆元,则 a a a的左逆元等于 a a a的右逆元。另外,若 a a a的逆元存在,则唯一。
证明:设 d , b d,b d,b分别是 a a a的左、右逆元,即 d ∗ a = e , a ∗ b = e d*a=e,a*b=e d∗a=e,a∗b=e,就有 d = d ∗ e = d ∗ ( a ∗ b ) = ( d ∗ a ) ∗ b = e ∗ b = b d=d*e=d*(a*b)=(d*a)*b=e*b=b d=d∗e=d∗(a∗b)=(d∗a)∗b=e∗b=b。同理可证逆元若存在,则逆元唯一。
注意: ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统, ∀ a ∈ A \forall\space a\in A ∀ a∈A,则记 a − 1 a^{-1} a−1为 a a a的逆元。
8. 群
设 A A A是一个非空集合, ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统, ∗ * ∗是 A A A上的一个二元运算,若 ( A , ∗ ) (A,\space*) (A, ∗)满足:
a. ∗ * ∗是 A A A上的闭运算;
b. ∗ * ∗适合结合率;
c. 存在 e ∈ A e\in A e∈A,是幺元(又称单位元);
d. 对于 A A A中的任意元素 a a a,存在 a − 1 ∈ A a^{-1}\in A a−1∈A,使得 a ∗ a − 1 = a − 1 ∗ a = e a*a^{-1}=a^{-1}*a=e a∗a−1=a−1∗a=e
则称 ( A , ∗ ) (A,\space*) (A, ∗)是一个群。下面来看一个有意思的结论。
若 ( A , ∗ ) (A,\space*) (A, ∗)是一个群,则运算 ∗ * ∗满足左、右消去律。在证明之前,我们先看一下什么是消去律。
设 ( A , ∗ ) (A,\space*) (A, ∗)是一个代数系统,对于任意 a , b , c ∈ A a,b,c\in A a,b,c∈A,若 a ∗ b = a ∗ c a*b=a*c a∗b=a∗c,则有 b = c b=c b=c,就称 ∗ * ∗运算满足左消去律;若 b ∗ a = c ∗ a b*a=c*a b∗a=c∗a,则有 b = c b=c b=c,就称 ∗ * ∗运算满足右消去律。现在再来看结论的证明:
∀ a , b , c ∈ A \forall\space a,b,c\in A ∀ a,b,c∈A
若 a ∗ b = a ∗ c a*b=a*c a∗b=a∗c,则 ( a − 1 ) ∗ ( a ∗ b ) = ( a − 1 ) ∗ ( a ∗ b ) ⇒ ( a − 1 ∗ a ) ∗ b = ( a − 1 ∗ a ) ∗ c ⇒ e ∗ b = e ∗ c ⇒ b = c (a^{-1})*(a*b)=(a^{-1})*(a*b)\Rightarrow(a^{-1}*a)*b=(a^{-1}*a)*c\Rightarrow e*b=e*c\Rightarrow b=c (a−1)∗(a∗b)=(a−1)∗(a∗b)⇒(a−1∗a)∗b=(a−1∗a)∗c⇒e∗b=e∗c⇒b=c;
若 b ∗ a = c ∗ a b*a=c*a b∗a=c∗a,则 ( b ∗ a ) ∗ ( a − 1 ) = ( c ∗ a ) ∗ ( a − 1 ) ⇒ b ∗ ( a ∗ a − 1 ) = c ∗ ( a ∗ a − 1 ) ⇒ b ∗ e = c ∗ e ⇒ b = c (b*a)*(a^{-1})=(c*a)*(a^{-1})\Rightarrow b*(a*a^{-1})=c*(a*a^{-1})\Rightarrow b*e=c*e\Rightarrow b=c (b∗a)∗(a−1)=(c∗a)∗(a−1)⇒b∗(a∗a−1)=c∗(a∗a−1)⇒b∗e=c∗e⇒b=c;
综上,运算 ∗ * ∗满足左、右消去律。
设 ( A , ∗ ) (A,\space*) (A, ∗)和 ( B , ∗ ) (B,\space*) (B, ∗)是两个群, f f f是 B B B到 A A A的一个映射,若对于任意 b 1 , b 2 ∈ B b_1,b_2\in B b1,b2∈B,有 f ( b 1 ∗ b 2 ) = f ( b 1 ) ∗ f ( b 2 ) f(b_1*b_2)=f(b_1)*f(b_2) f(b1∗b2)=f(b1)∗f(b2),则称 f f f是 ( B , ∗ ) (B,\space*) (B, ∗)到 ( A , ∗ ) (A,\space*) (A, ∗)的群同态映射。若 f f f是单射,则称 f f f是单一同态;若 f f f是满射,则称 f f f是满同态,也称 ( A , ∗ ) (A,\space*) (A, ∗)是 ( B , ∗ ) (B,\space*) (B, ∗)的同态象;若 f f f是双射,则称 f f f是同构映射。
因此,若存在 ( B , ∗ ) (B,\space*) (B, ∗)到 ( A , ∗ ) (A,\space*) (A, ∗)的满同态映射,就称群 ( A , ∗ ) (A,\space*) (A, ∗)和 ( B , ∗ ) (B,\space*) (B, ∗)是两个同态的群;若存在 ( B , ∗ ) (B,\space*) (B, ∗)是 ( A , ∗ ) (A,\space*) (A, ∗)的同构映射,就称群 ( A , ∗ ) (A,\space*) (A, ∗)和 ( B , ∗ ) (B,\space*) (B, ∗)是两个同构的群。此时,若 ( A , ∗ ) (A,\space*) (A, ∗)是一个群, f f f是 A A A到 A A A到映射,若 f f f是同态映射,则称 f f f为群 A A A的自同态映射;若 f f f是同构映射,则称 f f f是群 A A A的自同构映射。
这里我们再来看一下和半群与群有关的几个定理:
10. 简单的特殊群
a. 设 ( A , ∗ ) (A,\space*) (A, ∗)是一个群,
⋅ \hspace{0.5cm}\cdot ⋅ 若 A A A是无限集,则称 ( A , ∗ ) (A,\space*) (A, ∗)是无限群
⋅ \hspace{0.5cm}\cdot ⋅ 若 A A A是有限集,且 ∣ A ∣ = n |A|=n ∣A∣=n,则称 ( A , ∗ ) (A,\space*) (A, ∗)是 n n n阶有限群
b. 设 ( A , ∗ ) (A,\space*) (A, ∗)是一个群, ∀ a , b ∈ A \forall\space a, b\in A ∀ a,b∈A,若有 a ∗ b = b ∗ a a*b=b*a a∗b=b∗a,则称 ( A , ∗ ) (A,\space*) (A, ∗)是交换群,又称阿贝尔 ( A b e l ) (Abel) (Abel)群。
c. 设 ( A , ∗ ) (A,\space*) (A, ∗)是一个群, a ∈ A a\in A a∈A,
⋅ \hspace{0.5cm}\cdot ⋅ 若 ∃ n ∈ Z + , s . t . a ∗ a ∗ ⋯ ∗ a = a n = e \exists\space n\in Z^+,\space s.t.a*a*\cdots*a=a^n=e ∃ n∈Z+, s.t.a∗a∗⋯∗a=an=e,且 ∀ m ∈ Z + , m < n , \forall\space m\in Z^+,m<n, ∀ m∈Z+,m<n,有 a m ≠ e a^m\neq e am=e,则称 a a a是一个 n n n阶元,记为 o ( a ) = n o(a)=n o(a)=n
⋅ \hspace{0.5cm}\cdot ⋅ 若 ∀ n ∈ Z + , a n ≠ e \forall\space n\in Z^+,a^n\neq e ∀ n∈Z+,an=e,则称 a a a是无限阶元,记为 o ( a ) = ∞ o(a)=\infty o(a)=∞
11. 置换群
在学习变换群之前,我们先来看一下一个有关于映射的概念:
设 A A A是一任意非空集合,定义 A A A^A AA是 A A A到 A A A的映射构成的集合,即有 A A = { f ∣ f : A → A } A^A=\{f|f:A\rightarrow A\} AA={
f∣f:A→A}, ∀ f 1 , f 2 ∈ A A \forall\space f_1,f_2\in A^A ∀ f1,f2∈AA。我们定义 f 1 ∘ f 2 f_1\circ f_2 f1∘f2是一复合映射,显然有 f 1 ∘ f 2 ∈ A A f_1\circ f_2\in A^A f1∘f2∈AA,即运算 ∘ \circ ∘ 闭合,又易知运算 ∘ \circ ∘ 适合结合律,因此可推出 ( A A , ∘ ) (A^A,\space\circ) (AA, ∘) 是一半群。已知恒等函数 Δ A = { ( x , x ) ∣ x ∈ A } ∈ A A \Delta_A=\{(x,x)|x\in A\}\in A^A ΔA={
(x,x)∣x∈A}∈AA,所以 ∀ f ∈ A A , f ∘ Δ A = Δ A ∘ f = f \forall f\in A^A,\space f\circ\Delta_A=\Delta_A\circ f=f ∀f∈AA, f∘ΔA=ΔA∘f=f,即 Δ A \Delta_A ΔA为幺元。
现在我们定义一个新的集合: U ( A A ) = { f ∣ f ∈ A A , f U(A^A)=\{f|f\in A^A,f U(AA)={
f∣f∈AA,f是双射 } \} },同理可证得 ( U ( A A ) , ∘ ) (U(A^A),\space\circ) (U(AA), ∘) 是一含幺半群。 ∀ f ∈ U ( A A ) \forall\space f\in U(A^A) ∀ f∈U(AA),由于 f f f 是双射,所以 ∃ f − 1 ∈ U ( A A ) , s . t . f ∘ f − 1 = f − 1 ∘ f = Δ A \exists\space f^{-1}\in U(A^A),s.t.\space f\circ f^{-1}=f^{-1}\circ f=\Delta_A ∃ f−1∈U(AA),s.t. f∘f−1=f−1∘f=ΔA,且 f f f 亦为双射,则有 f − 1 ∈ U ( A A ) f^{-1}\in U(A^A) f−1∈U(AA),综上 ( U ( A A ) , ∘ ) (U(A^A),\space\circ) (U(AA), ∘) 是一个群。下面我们来看变换群的定义:
设 A A A 是一非空集合, A ′ A' A′ 是由 A A A 到 A A A 的一些映射构成的集合,即有 A ′ ⊆ A A A'\subseteq A^A A′⊆AA,若现在有运算 ∘ \circ ∘ 与集合 A ′ A' A′ 共同构成一个群,则称 ( A ′ , ∘ ) (A',\space\circ) (A′, ∘) 是集合 A A A 上的一个变换群。(易知, ( U ( A A ) , ∘ ) (U(A^A),\space\circ) (U(AA), ∘) 是集合 A A A 上的一个变换群, ∀ f ∈ U ( A A ) \forall\space f\in U(A^A) ∀ f∈U(AA),称 f f f 为集合 A A A 上的一个变换)
当 A A A 是一有限集合时,可设 A = { 1 , 2 , … , n } A=\{1,2,\dots,n\} A={
1,2,…,n} ,则 A A A 上的可逆变换可以表示为 f = ( 1 2 ⋯ n − 1 n i 1 i 2 ⋯ i n − 1 i n ) f=\left(\begin{matrix}1&2&\cdots&n-1&n\\\\i_1&i_2&\cdots&i_{n-1}&i_n\end{matrix}\right) f=⎝⎛1i12i2⋯⋯n−1in−1nin⎠⎞,其中 i 1 i 2 ⋯ i n i_1i_2\cdots i_n i1i2⋯in 是一个 n n n- 排列, i j i_j ij 表示将 j j j 位置上的元素换到 i j i_j ij 位置,这样的一次变换称作 n n n 次置换,形成的群称作 n n n 次置换群。所有 n n n 次置换形成的群记为 S n S_n Sn。
例如置换 ( 1 2 3 2 1 3 ) \left(\begin{matrix}1&2&3\\\\2&1&3\end{matrix}\right) ⎝⎛122133⎠⎞ 作用在排列 ( a , b , c ) (a,b,c) (a,b,c) 后得到的新排列就是 ( b , a , c ) (b,a,c) (b,a,c),易知该置换的作用是将排列的 1 、 2 1、2 1、2 号位置上的元素互换。而排列 ( b , a , c ) (b,a,c) (b,a,c) 被置换 ( 1 2 3 3 2 1 ) \left(\begin{matrix}1&2&3\\\\3&2&1\end{matrix}\right) ⎝⎛132231⎠⎞ 作用后就变成了 ( c , a , b ) (c,a,b) (c,a,b)。现在我们将置换 ( 1 2 3 2 1 3 ) \left(\begin{matrix}1&2&3\\\\2&1&3\end{matrix}\right) ⎝⎛122133⎠⎞ 和 ( 1 2 3 3 2 1 ) \left(\begin{matrix}1&2&3\\\\3&2&1\end{matrix}\right) ⎝⎛132231⎠⎞ 进行复合,就可以得到 ( 1 2 3 3 2 1 ) ( 1 2 3 2 1 3 ) = ( 1 2 3 3 1 2 ) \left(\begin{matrix}1&2&3\\\\3&2&1\end{matrix}\right)\left(\begin{matrix}1&2&3\\\\2&1&3\end{matrix}\right)=\left(\begin{matrix}1&2&3\\\\3&1&2\end{matrix}\right) ⎝⎛132231⎠⎞⎝⎛122133⎠⎞=⎝⎛132132⎠⎞ (置换的复合运算顺序为右结合)。将复合得到的新置换 ( 1 2 3 3 1 2 ) \left(\begin{matrix}1&2&3\\\\3&1&2\end{matrix}\right) ⎝⎛132132⎠⎞ 作用在排列 ( a , b , c ) (a,b,c) (a,b,c) 上可得 ( c , a , b ) (c,a,b) (c,a,b),与依次作用得到的结果一致。
3 3 3 阶置换群 S 3 S_3 S3 中元素是 3 3 3 次置换,可以表示为 f = ( 1 2 3 i 1 i 2 i 3 ) f=\left(\begin{matrix}1&2&3\\\\i_1&i_2&i_3\end{matrix}\right) f=⎝⎛1i12i23i3⎠⎞,将 i 1 i 2 i 3 i_1i_2i_3 i1i2i3 替换为 3 3 3- 排列,则有 S 3 = { ( 1 2 3 1 2 3 ) ( 1 2 3 1 3 2 ) , ( 1 2 3 2 1 3 ) , ( 1 2 3 2 3 1 ) , ( 1 2 3 3 1 2 ) , ( 1 2 3 3 2 1 ) } S_3=\{\left(\begin{matrix}1&2&3\\\\1&2&3\end{matrix}\right)\left(\begin{matrix}1&2&3\\\\1&3&2\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\2&1&3\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\2&3&1\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\3&1&2\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\3&2&1\end{matrix}\right)\} S3={
⎝⎛112233⎠⎞⎝⎛112332⎠⎞,⎝⎛122133⎠⎞,⎝⎛122331⎠⎞,⎝⎛132132⎠⎞,⎝⎛132231⎠⎞}。此外,还有另一种用于表示置换的方法。若对于 ( i 1 , i 2 , … , i k ) (i_1,i_2,\dots,i_k) (i1,i2,…,ik),有 f ( i 1 ) = i 2 , f ( i 2 ) = i 3 , … , f ( i k − 1 ) = i k , f ( i k ) = i 1 f(i_1)=i_2,f(i_2)=i_3,\dots,f(i_{k-1})=i_k,f(i_k)=i_1 f(i1)=i2,f(i2)=i3,…,f(ik−1)=ik,f(ik)=i1,则称 ( i 1 , i 2 , … , i k ) (i_1,i_2,\dots,i_k) (i1,i2,…,ik) 是一个循环节。因此,一个置换群可以拆分成若干个循环节,例如, f = ( 1 2 3 4 5 2 3 1 4 5 ) f=\left(\begin{matrix}1&2&3&4&5\\\\2&3&1&4&5\end{matrix}\right) f=⎝⎛1223314455⎠⎞ 可以表示为 ( 1 , 2 , 3 ) ( 4 ) ( 5 ) (1,2,3)(4)(5) (1,2,3)(4)(5)。同样的,对于上述例子 S 3 S_3 S3,可以改写为 S 3 = { ( 1 ) ( 2 ) ( 3 ) , ( 1 ) ( 2 , 3 ) , ( 1 , 2 ) ( 3 ) , ( 1 , 2 , 3 ) , ( 1 , 3 , 2 ) , ( 1 , 3 ) ( 2 ) } S_3=\{(1)(2)(3),(1)(2,3),(1,2)(3),(1,2,3),(1,3,2),(1,3)(2)\} S3={
(1)(2)(3),(1)(2,3),(1,2)(3),(1,2,3),(1,3,2),(1,3)(2)}。
下面我们来了解一个比较具有代表性的置换群——二面体群 D n D_n Dn:空间中的一个含 n n n 个顶点的二面体(即平面上的 n n n 边形)上,由所有旋转和关于某个对称轴的翻转所组成的群叫做一个二面体群。例如,当 n = 3 n=3 n=3 时(通常取平分 n n n 边形的对称轴为固定轴),记顺时针旋转一个单位为 σ ( 1 , 2 , 3 ) \sigma(1,2,3) σ(1,2,3),绕对称轴翻转为 τ ( 1 ) ( 2 , 3 ) \tau(1)(2,3) τ(1)(2,3),则 D 3 = < σ , τ > = { 1 , σ , σ 2 , τ , σ τ , σ 2 τ } D_3=<\sigma,\tau>=\{1,\sigma,\sigma^2,\tau,\sigma\tau,\sigma^2\tau\} D3=<σ,τ>={
1,σ,σ2,τ,στ,σ2τ},含义如下:
1 1 1 | 1 1 1 |
---|---|
2 2 2 | τ \tau τ |
3 3 3 | σ \sigma σ |
4 4 4 | σ τ \sigma\tau στ |
5 5 5 | σ 2 \sigma^2 σ2 |
6 6 6 | σ 2 τ \sigma^2\tau σ2τ |
12. 循环群
设 ( A , ∗ ) (A,*) (A,∗) 是一个群,若 a ∈ A a\in A a∈A,显然有 a 2 ∈ A , a 3 ∈ A , … , ∀ n ∈ Z + , a n ∈ A a^2\in A,a^3\in A,\dots,\forall\space n\in Z^+,a^n\in A a2∈A,a3∈A,…,∀ n∈Z+,an∈A。另外,因为 a ∈ A a\in A a∈A,所以有 a − 1 ∈ A a^{-1}\in A a−1∈A,进而有 a − 2 ∈ A , a − 3 ∈ A , … , ∀ n ∈ Z + , a − n ∈ A a^{-2}\in A,a^{-3}\in A,\dots,\forall\space n\in Z^+,a^{-n}\in A a−2∈A,a−3∈A,…,∀ n∈Z+,a−n∈A。现在,规定 a 0 = e ∈ A a^0=e\in A a0=e∈A 是 A A A 中的幺元,则 ∀ n ∈ Z , g n ∈ A \forall\space n\in Z,g^n\in A ∀ n∈Z,gn∈A,显然, ( { a n ∣ n ∈ Z } , ∗ ) (\{a^n|n\in Z\},*) ({
an∣n∈Z},∗) 也是一个群。现在,设 ( A , ∗ ) (A,*) (A,∗) 是一个群,若 A A A 的每一个元素都是某个固定元 a a a 的乘方,则称 A A A 为循环群, a a a 为生成元,记为 A = ( a ) = { a n ∣ a ∈ Z } A=(a)=\{a^n|a\in Z\} A=(a)={
an∣a∈Z}。
现在有循环群 A = ( a ) A=(a) A=(a),若 o ( a ) = n o(a)=n o(a)=n,则称 A A A 是 n n n 阶有限循环群;若 o ( a ) = ∞ o(a)=\infty o(a)=∞,则称 A A A 是无限循环群。
13. 子群
设 ( G , ∗ ) (G,*) (G,∗) 是一个群,有 ∅ ≠ A ⊆ G \varnothing\neq A\subseteq G ∅=A⊆G,若 ( A , ∗ ) (A,*) (A,∗) 也是一个群,则称 ( A , ∗ ) (A,*) (A,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的子群。下面是一个关于子群的等价关系式
( A , ∗ ) (A,*) (A,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的子群 ⇔ \Leftrightarrow ⇔ ∀ a , b ∈ A \forall\space a,b\in A ∀ a,b∈A,有 a ∗ b − 1 ∈ A a*b^{-1}\in A a∗b−1∈A
14. 陪集
已知 ( G , ∗ ) (G,*) (G,∗) 是一个群, ( H , ∗ ) (H,*) (H,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的子群,设 g ∈ G g\in G g∈G,则称 H ∗ g = { h ∗ g ∣ h ∈ H } H*g=\{h*g|h\in H\} H∗g={
h∗g∣h∈H} 为子群 ( H , ∗ ) (H,*) (H,∗) 的右陪集, g ∗ H = { g ∗ h ∣ h ∈ H } g*H=\{g*h|h\in H\} g∗H={
g∗h∣h∈H} 为子群 ( H , ∗ ) (H,*) (H,∗) 的左陪集
15. 正规子群与商群
已知 ( G , ∗ ) (G,*) (G,∗) 是一个群, ( N , ∗ ) (N,*) (N,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的一个子群,若 ∀ g ∈ G \forall\space g\in G ∀ g∈G,有 g ∗ N = N ∗ g g*N=N*g g∗N=N∗g,即 g g g 关于 ( N , ∗ ) (N,*) (N,∗) 的左陪集等于右陪集,则称 ( N , ∗ ) (N,*) (N,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的正规子群,亦称不变子群。
现在设 ( G , ∗ ) (G,*) (G,∗) 是一个群, ( H , ∗ ) (H,*) (H,∗) 是 ( G , ∗ ) (G,*) (G,∗) 的正规子群,定义 G / H = { g ∗ H ∣ g ∈ G } G/H=\{g*H|g\in G\} G/H={
g∗H∣g∈G},易知 ( G / H , ⊙ ) (G/H,\odot) (G/H,⊙) 是一个群,则称群 ( G / H , ⊙ ) (G/H,\odot) (G/H,⊙) 为 ( G , ∗ ) (G,*) (G,∗) 的商群。
16. 群作用
设 G G G 为一个群, S S S 为一个集合,考虑一个映射 ∘ \circ ∘:
G × S → S ( g , x ) ↦ g ∘ x G\times S\rightarrow S\hspace{1cm}(g,x)\mapsto g\circ x G×S→S(g,x)↦g∘x
若此映射满足:
a. 1 G ∘ x = x , ∀ x ∈ S 1_G\circ x=x,\forall \space x\in S 1G∘x=x,∀ x∈S;
b. ( g h ) ∘ x = g ∘ ( h ∘ x ) , ∀ x ∈ S , ∀ g , h ∈ G (gh)\circ x=g\circ(h\circ x),\forall\space x\in S,\forall\space g,h\in G (gh)∘x=g∘(h∘x),∀ x∈S,∀ g,h∈G
则称映射 ∘ \circ ∘ 是 G G G 在 S S S 上的一个群作用。
S 3 S_3 S3 在 T = { a , b , c } T=\{a,b,c\} T={
a,b,c} 上有群作用 ∘ \circ ∘:
S 3 × T → T ( f , t ) ↦ f ∘ t = f ( t ) S_3\times T\rightarrow T\hspace{1cm}(f,t)\mapsto f\circ t=f(t) S3×T→T(f,t)↦f∘t=f(t)
例如对于 f = ( 1 2 3 2 3 1 ) f=\left(\begin{matrix}1&2&3\\\\2&3&1\end{matrix}\right) f=⎝⎛122331⎠⎞, f ∘ a = f ( a ) = b , f ∘ b = f ( b ) = x , f ∘ c = f ( c ) = a f\circ a=f(a)=b,f\circ b=f(b)=x,f\circ c=f(c)=a f∘a=f(a)=b,f∘b=f(b)=x,f∘c=f(c)=a。
17. 轨道
设 ∘ \circ ∘ 是 G G G 在 S S S 上的一个群作用,对于一个元素 x ∈ S x\in S x∈S,集合 O x = { g ∘ x ∣ g ∈ G } O_x=\{g\circ x|g\in G\} Ox={
g∘x∣g∈G} 称为 x x x 所在的轨道,也记为 G ∘ x G\circ x G∘x。可以从轨道的概念诱导出集合上的一个等价关系,若已知集合 S S S 和作用在 S S S 上的群 G G G,定义集合 S S S 上的二元关系 ∗ * ∗, ∀ x , y ∈ S , x ∗ y i f O x = O y \forall\space x,y\in S,x*y\space\space if\space O_x=O_y ∀ x,y∈S,x∗y if Ox=Oy。
以 S 3 S_3 S3 的 2 2 2 阶子群 { ( 1 2 3 1 2 3 ) , ( 1 2 3 2 1 3 ) } \{\left(\begin{matrix}1&2&3\\\\1&2&3\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\2&1&3\end{matrix}\right)\} {
⎝⎛112233⎠⎞,⎝⎛122133⎠⎞} 为例,作用在集合 T = { a , b , c } T=\{a,b,c\} T={
a,b,c} 上。 T T T 中元素 a a a 和 元素 b b b 所在的轨道皆为 O a = O b = { a , b } O_a=O_b=\{a,b\} Oa=Ob={
a,b},而 O c = { c } O_c=\{c\} Oc={
c}。易知 a ∗ b a*b a∗b。在这个等价关系下, T T T 可以被分成两个不相交的等价类 { a , b } \{a,b\} {
a,b} 和 { c } \{c\} {
c}。
18. 稳定子
设 ∘ \circ ∘ 是 G G G 在 S S S 上的一个群作用,对于一个元素 x ∈ S x\in S x∈S,集合 S t a b x = { g ∈ G ∣ g ∘ x = x } Stab_x=\{g\in G|g\circ x=x\} Stabx={
g∈G∣g∘x=x} 称为 x x x 在 G G G 中的稳定子。不难发现, S t a b x Stab_x Stabx 为 G G G 的一个子群。
以 S 3 S_3 S3 作用在 T = { a , b , c } T=\{a,b,c\} T={
a,b,c} 上为例, T T T 中元素 b b b 能被那些 f ( b ) = b f(b)=b f(b)=b 的置换 f f f 稳定,从而有 S t a b x = { ( 1 2 3 1 2 3 ) , ( 1 2 3 3 2 1 ) } Stab_x=\{\left(\begin{matrix}1&2&3\\\\1&2&3\end{matrix}\right),\left(\begin{matrix}1&2&3\\\\3&2&1\end{matrix}\right)\} Stabx={
⎝⎛112233⎠⎞,⎝⎛132231⎠⎞}。
一个元素 x x x 的稳定子 S t a b x Stab_x Stabx 与轨道 O x O_x Ox 有如下关系 ∣ O x ∣ = ∣ G ∣ ∣ S t a b x ∣ |O_x|=\frac{|G|}{|Stab_x|} ∣Ox∣=∣Stabx∣∣G∣。
文章浏览阅读3.2w次,点赞3次,收藏13次。js实现正则表达式验证邮箱//这个验证有问题,[email protected]这样子的也能通过function check(){//验证账号是否合法//验证规则:字母,数字,下划线组成,字母开头,4-16位//语法:/^\w$/ \w*\w{0,}//var filter=/^[a-zA-Z]\w{3,15}$/;//var filter=new Re_电子邮件需要在js添加正则表达式验证
文章浏览阅读197次。添加随机刷题与顺序刷题(顺序可选定指定题数开始)
内存映射2涉及虚拟内存区域的成员和文件映射的虚拟内存区域。虚拟内存区域使用红黑树存储,以提高查找速度。
文章浏览阅读227次。结合Es6数组方法的使用在Vue中使用更加简单数组下面方法都用这个数组es6之前遍历数组我们通常使用for循环来遍历数组 ,拿到数组中的每一项for循环forEach(遍历)forEach: forEach()会遍历数组, 循环体内没有返回值,forEach()循环不会改变原来数组的内容, forEach()有三个参数, 第一个参数是当前数组的每一项元素, 第二个参数是当前数组每一项元素的..._es6 filter 简便写法
文章浏览阅读1.1k次。背景测试同事通过更新某个表的数据进行功能测试,突然说锁表了,也不知道原因为何,一直用的Navicat,然后用show OPEN TABLES where In_use > 0;命令也查询不到具体的进程ID常规解决办法查询是否锁表show OPEN TABLES where In_use > 0;查询进程show processlist;查询到相对应的进程,然后..._mysql查看表占用但是查不到占用进程
文章浏览阅读3.9k次。int i =789;//输出为16进制数 Integer.toHexString(),String s=Integer.toHexString(Integer.valueOf(value));/对整数进行格式化:%[index$][标识][最小宽度]转换方式//保留 4位,不足补0s=String.format("%04x",Integer.valueOf(s));//保留 8位,不足补0s=String.format("%08x",Integer.valueOf(s));报错:jav_java %08x
文章浏览阅读4.5w次,点赞29次,收藏241次。一、论文中常用的网址:http://www.imagefusion.org (论文中经常引用,但是目前打不开)二、多聚焦图像:1、http://www.pxleyes.com/photography-contest/197262、Lytro Multi-focus Dataset(常用,彩色多聚焦图像)“This dataset contains 20 pairs o..._2007年图像融合大赛的数据集
文章浏览阅读3k次,点赞8次,收藏10次。使用Cadence PSpice进行电路图的仿真时,难免会遇到软件自带库中没有合适的元器件的情况,这就需要设计师自己新建元器件模型,本文详细介绍使用PSpice软件修改自带库的元器件模型的参数以得到自己需要的PSpice模型库的方法。_pspice二极管参数设置
文章浏览阅读1.3k次。今天使用cifar100.load_data()加载cifar100数据集时报错“Exception: URL fetch failure on https://www.cs.toronto.edu/~kriz/cifar-100-python.tar.gz: None ”刚开始我以为是网络不好,访问超时所以才报错,因为我昨天才用load_data()加载过数据,当时是可以加载的,但是没有等它下载完就关了,所以我换了一个网络试了下,还是不行,怎么回事?之后想到手动下载,再放在.keras/dataset_url fetch failure on
文章浏览阅读977次。_itoa atoi、atof、itoa、itow _itoa_s 类型转换使用说明 _itoa功能:把一整数转换为字符串用法:char * _itoa(int value, char *string, int radix); 详细解释: _itoa是英文integ__itow_s
文章浏览阅读2.4w次,点赞16次,收藏37次。本文仅作为我在初次学习vue+element-ui路上碰到的一些问题以及解决的办法的记录,不论问题的难易程度,于我而言是一种成长过程的记录,望大佬勿喷。vue+ elelment-ui +tree树形组件背景颜色的修改,直接在Element官网拷贝过来的树形组件背景颜色是白色,每次点击以及鼠标悬浮上后会有一个偏灰的背景颜色。如图但是如果我需要用树形组件放在一个黑色背景或其他背景颜色时,树形自..._vue tree 鼠标放上显示灰色
文章浏览阅读10w+次,点赞31次,收藏248次。文章目录实现KMO和Bartlett的球形度检验的两种方法SPSS 实现KMO和Bartlett的球形度检验第一步:选择“因子分析”第二步:选择变量第三步:选择KMO和巴特利特球形度检验输出结果SAS 实现KMO和Bartlett的球形度检验数据集来源参考资料实现KMO和Bartlett的球形度检验的两种方法SPSS 实现KMO和Bartlett的球形度检验第一步:选择“因子分析”导入数据..._kmo检验和bartlett球形检验