Algebraic element

An algebraic element is invertible iff its minimal polynomial has a nonzero constant term

Let ๐ด be a ๐•‚-ring and ๐‘Ž โˆˆ๐ด be an algebraic element with minimal polynomial ๐‘š๐‘Ž(๐‘ฅ) โˆˆ๐•‚[๐‘ฅ]. Then the following are equivalent1

  1. ๐‘Ž is invertible in ๐ด
  2. ๐‘Ž is not a left Zero-divisor
  3. ๐‘Ž is not a right Zero-divisor
  4. ๐‘Ž is not a (two-sided) Zero-divisor
  5. ๐‘š๐‘Ž(๐‘ฅ) has a nonzero constant term, i.e. ๐‘š๐‘Ž(0) โ‰ 0.
Proof

If ๐‘Ž โˆˆ๐ด is invertible but ๐‘š๐‘Ž(๐‘ฅ) =๐‘ฅ๐‘(๐‘ฅ) for some ๐‘(๐‘ฅ) โˆˆ๐•‚[๐‘ฅ], then ๐‘Ž๐‘(๐‘Ž) =๐‘š๐‘ฅ(๐‘Ž) =0 and thus ๐‘(๐‘Ž) =0, a contradiction. For the converse, if ๐‘š๐‘Ž(๐‘ฅ) =โˆ‘๐‘›๐‘–=0๐›ผ๐‘–๐‘ฅ๐‘› and ๐›ผ0 โ‰ 0, then

โˆ’1๐›ผ0(๐‘›โˆ’1โˆ‘๐‘–=1๐›ผ๐‘–๐‘Ž๐‘–)๐‘Ž=1

so

๐‘Žโˆ’1=โˆ’1๐›ผ0(๐‘›โˆ’1โˆ‘๐‘–=1๐›ผ๐‘–๐‘Ž๐‘–)

is the inverse.


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

Footnotes

  1. 2008. Advanced Linear Algebra, ยง18, pp. 459โ€“461 โ†ฉ