"유리 표준형"의 두 판 사이의 차이

42 바이트 추가됨 ,  1개월 전
편집 요약 없음
:<math>x\cdot v=Mv\qquad(\forall v\in K^n)</math>
의 [[불변 인자 분해]]
:<math>K^n\cong K[x]/(d_1(x))\oplus K[x]/(d_2(x))\oplus\cdots\oplus K[x]/(d_k(x))</math>
에서, <math>M</math>에 대응하는 <math>K</math>-[[선형 변환]] <math>v\mapsto x\cdot v</math>의 다음과 같은 [[기저 (선형대수학)|기저]]에 대한 행렬이다.
:<math>\left\{1+(d_i(x)),x+(d_i(x)),\dots,x^{\deg d_i-1}+(d_i(x))\right\}\subset K[x]/(d_i(x))\qquad(i=1,2,\dots,k)</math>
 
=== 으뜸 유리 표준형 ===
:<math>x\cdot v=Mv\qquad(\forall v\in K^n)</math>
의 [[으뜸 분해]]
:<math>K^n\cong K[x]/(p_1^{e_1}(x))\oplus K[x]/(p_2^{e_2}(x))\oplus\cdots\oplus K[x]/(p_l^{e_l}(x))</math>
에서, <math>K</math>-[[선형 변환]] <math>v\mapsto x\cdot v</math>의 다음과 같은 [[기저 (선형대수학)|기저]]에 대한 행렬이다.
:<math>\left\{1+(p_i^{e_i}(x)),x+(p_i^{e_i}(x)),\dots,x^{\deg(p_i^{e_i})-1}+(p_i^{e_i}(x))\right\}\subset K[x]/(p_i^{e_i}(x))\qquad(i=1,2,\dots,l)</math>
 
== 역사와 어원 ==