T가 LM의 원소일 때, B={v1, ... , vn}이 V의 기저이면,
m_T(t)=lcm(m_v1(t), ... , m_vn(t)}임을 보여라.
일단 우변이 좌변을 나누는 것은 당연하다는 것까지는 알고 있습니다.
저는
F[t]v1, ... , F[t]vn이 일종의 파티션을 이루면 V=F[t]w1*...*F[t]wk(w1, ... , wk는 각각 v1, ... , vn 중 하나)로 나타낼 수 있고(*: direct sum)
각 F[t]wi의 basis를 B_i라 하면
각 F[t]wi가 a T-invariant subspace of V이므로
B에 대한 T의 행렬표현이 B_i에 대한 T의 행렬표현들의 block matrix 꼴이 되어 문제의 등식이 성립한다고 생각했습니다.
그런데 F[t]v1, ... , F[t]vn이 일종의 파티션을 이루는지를 확실히 모르겠더라고요.
이 풀이가 맞는지도 모르겠고요 ㅠ
풀이 좀 알려주시면 감사하겠습니다..
글로만 쓰니까 설명이 좀 번잡한데 ㅈㅅㅈㅅ
우변이 T-annihilator에 속하는지 보면 끝나는 것 같은데요, lcm 어쩌구를 f(t)라고 하면 f(T)(v_i) = Q(T) m_{v_i}(T) {v_i} = 0 이므로 Linear extension theorem의해 그냥 f(T) = 0 이 되어 끝나는 문제 아닌가요?
죄송한데 Q(T)가 뭐죠?
지금 책이 없어서요 ㅠㅠ
아 그냥 lcm이니까 f가 m_vi와 어떤 다항식으로 분해될수 있잖아요? 그 몫이에요
아 맞네요 방향을 잘못 잡고 있었네요 감사합니다.
잘하시는 것 같은데 혹시
https://gall.dcinside.com/mgallery/board/view/?id=math&no=12674&s_type=search_all&s_keyword=%EC%84%A0%EB%8C%80%EA%B5%B0&page=1
여기도
답변 가능하신가요?ㅠ