편집토론기록

Subgroup series: 두 판 사이의 차이

편집 요약 없음
잔글 (불필요한 공백 제거)
 
14번째 줄: 14번째 줄:
\end{equation}
\end{equation}


abelian subnormal series 가 존재하면 그러한 group <math> G </math> 를 solvable 이라고 한다.  
abelian subnormal series 가 존재하면 그러한 group <math> G </math> 를 solvable 이라고 한다.


Group <math> G </math> 의 두 subnormal series <math> \{G_i\}, \{H_i\} </math> 가 상등이라는 것은
Group <math> G </math> 의 두 subnormal series <math> \{G_i\}, \{H_i\} </math> 가 상등이라는 것은
25번째 줄: 25번째 줄:
</math>
</math>


에서 <math> m=s </math> 이고 <math> \sigma \in S_{m-1} </math> 이 존재하여 <math> 1 \leq i \leq m-1 </math> 에 대해 <math> G_i/G_{i+1} \cong H_{\sigma(i)}/H_{\sigma(i)+1} </math> 을 만족하는 것이다.
에서 <math> m=s </math> 이고 <math> \sigma \in S_{m-1} </math> 이 존재하여 <math> 1 \leq i \leq m-1 </math> 에 대해 <math> G_i/G_{i+1} \cong H_{\sigma(i)}/H_{\sigma(i)+1} </math> 을 만족하는 것이다.
 
Group <math> G </math> 의 subgroup series 의 refinements는 <math> \{G_i\} </math> 에 유한개의 항을 추가하여 얻어지는 subgroup series 를 말한다.  


Group <math> G </math> 의 subgroup series 의 refinements는 <math> \{G_i\} </math> 에 유한개의 항을 추가하여 얻어지는 subgroup series 를 말한다.


== 성질 ==
== 성질 ==
* <math> G, G' </math> 이 group 이라하고 <math> f: G \rightarrow G' </math> 이 group homomorphism 이라고 하자. 그리고 <math> \{G'_i\} </math> 가 group <math> G' </math> 의 subnormal series 라고 하자. 이제 <math> G_i = f^{-1}\left (G'_i \right) </math> 라 하면 <math> G_0 = G </math> 이며 <math> \{G_i\} </math> 는 <math> G </math> 의 subnormal series가 된다.
* <math> G, G' </math> 이 group 이라하고 <math> f: G \rightarrow G' </math> 이 group homomorphism 이라고 하자. 그리고 <math> \{G'_i\} </math> 가 group <math> G' </math> 의 subnormal series 라고 하자. 이제 <math> G_i = f^{-1}\left (G'_i \right) </math> 라 하면 <math> G_0 = G </math> 이며 <math> \{G_i\} </math> 는 <math> G </math> 의 subnormal series가 된다.
만일 subnormal series <math> \{G'_i\} </math> 가 abelian이면 <math> \{G_i\} </math> 또한 abelian 이고 <math> \{G'_i\} </math> 가 cyclic이라면 <math> \{G_i \} </math> 또한 cyclic이다.  
만일 subnormal series <math> \{G'_i\} </math> 가 abelian이면 <math> \{G_i\} </math> 또한 abelian 이고 <math> \{G'_i\} </math> 가 cyclic이라면 <math> \{G_i \} </math> 또한 cyclic이다.
 


== 참고서적 ==
== 참고서적 ==

2021년 6월 15일 (화) 03:02 기준 최신판

정의[편집 | 원본 편집]

[math]\displaystyle{ G }[/math] 가 group 이라고 하자. 그러면 다음을 만족하는 group의 수열 [math]\displaystyle{ \{G_i\} }[/math] 을 G의 subgroup series 라고 한다.

\begin{equation} G_0 = G \geq G_1 \geq G_2 \geq \dotsc \geq G_m \end{equation}

이때 [math]\displaystyle{ 0 \leq i \leq m-1 }[/math] 에 대해 [math]\displaystyle{ G_{i+1} }[/math] 이 [math]\displaystyle{ G_i }[/math] 의 normal subgroup 이면 [math]\displaystyle{ \{G_i\} }[/math] 를 subnormal series 라고 한다. subnormal series 중 [math]\displaystyle{ 0 \leq i \leq m-1 }[/math] 에 대해 [math]\displaystyle{ G_i/G_{i+1} }[/math] 이 abelian이면 이러한 series가 abelian 이라고 하고, cyclic 이면 이러한 series가 cyclic 이라고 한다.

만일 group [math]\displaystyle{ G }[/math] 에 대해 다음과 같은

\begin{equation} G_0 = G \triangleright G_1 \triangleright G_2 \triangleright \dotsc \triangleright G_m=\{e\} \end{equation}

abelian subnormal series 가 존재하면 그러한 group [math]\displaystyle{ G }[/math] 를 solvable 이라고 한다.

Group [math]\displaystyle{ G }[/math] 의 두 subnormal series [math]\displaystyle{ \{G_i\}, \{H_i\} }[/math] 가 상등이라는 것은

[math]\displaystyle{ \begin{align} G = G_0 \triangleright G_1 \dotsc \triangleright G_m = \{e\} \\ G = H_0 \triangleright H_1 \dotsc \triangleright H_s = \{e\} \end{align} }[/math]

에서 [math]\displaystyle{ m=s }[/math] 이고 [math]\displaystyle{ \sigma \in S_{m-1} }[/math] 이 존재하여 [math]\displaystyle{ 1 \leq i \leq m-1 }[/math] 에 대해 [math]\displaystyle{ G_i/G_{i+1} \cong H_{\sigma(i)}/H_{\sigma(i)+1} }[/math] 을 만족하는 것이다.

Group [math]\displaystyle{ G }[/math] 의 subgroup series 의 refinements는 [math]\displaystyle{ \{G_i\} }[/math] 에 유한개의 항을 추가하여 얻어지는 subgroup series 를 말한다.

성질[편집 | 원본 편집]

  • [math]\displaystyle{ G, G' }[/math] 이 group 이라하고 [math]\displaystyle{ f: G \rightarrow G' }[/math] 이 group homomorphism 이라고 하자. 그리고 [math]\displaystyle{ \{G'_i\} }[/math] 가 group [math]\displaystyle{ G' }[/math] 의 subnormal series 라고 하자. 이제 [math]\displaystyle{ G_i = f^{-1}\left (G'_i \right) }[/math] 라 하면 [math]\displaystyle{ G_0 = G }[/math] 이며 [math]\displaystyle{ \{G_i\} }[/math] 는 [math]\displaystyle{ G }[/math] 의 subnormal series가 된다.

만일 subnormal series [math]\displaystyle{ \{G'_i\} }[/math] 가 abelian이면 [math]\displaystyle{ \{G_i\} }[/math] 또한 abelian 이고 [math]\displaystyle{ \{G'_i\} }[/math] 가 cyclic이라면 [math]\displaystyle{ \{G_i \} }[/math] 또한 cyclic이다.

참고서적[편집 | 원본 편집]