Algebraic element

Spectrum of an algebraic element

Let ๐ด be a ๐•‚-monoid over ๐•‚ and ๐‘Ž โˆˆ๐ด be an algebraic element with minimal polynomial ๐‘š๐‘Ž(๐‘ฅ) โˆˆ๐•‚[๐‘ฅ]. The roots of ๐‘š๐‘Ž(๐‘ฅ) are called the eigenvalues of ๐‘Ž, and the set of all eigenvalues #m/def/ralg

Specโก(๐‘Ž)={๐œ†โˆˆ๐•‚:๐‘š๐‘Ž(๐œ†)=0}

is called the spectrum of ๐‘Ž.1 Clearly ๐‘Ž invertible iff 0 โˆ‰Specโก(๐‘Ž).

Properties

In addition

  1. Specโก(๐‘Ž๐‘) =Specโก(๐‘๐‘Ž)2
Proof

#missing/proof


#state/tidy | #lang/en | #SemBr

Footnotes

  1. 2008. Advanced Linear Algebra, ยง18, p. 461 โ†ฉ

  2. Stated with partial proof in 2008. Advanced Linear Algebra, ยง18, p. 462 โ†ฉ