Commit 2021-12-23 22:35 68aada0d
View on Github →feat(algebra/algebra/spectrum): prove the spectral mapping theorem for polynomials (#10783)
Prove the spectral mapping theorem for polynomials. That is, if p
is a polynomial and a : A
where A
is an algebra over a field 𝕜
, then p (σ a) ⊆ σ (p a)
. Moreover, if 𝕜
is algebraically closed, then this inclusion is an equality.