The polynomials and are coprime. Bézout's identity gives polynomials with . SetFor every , the decompositionhas first summand in and second in , since and polynomial expressions in commute. If belongs to both kernels, the same Bézout identity gives . Thus . Both vector subspaces are invariant under .
Articles by others on the same topic
There are currently no matching articles.