An algebraic element is invertible iff its minimal polynomial has a nonzero constant term
Let
is invertible inπ π΄ is not a left Zero-divisorπ is not a right Zero-divisorπ is not a (two-sided) Zero-divisorπ has a nonzero constant term, i.e.π π ( π₯ ) .π π ( 0 ) β 0
Proof
If
is invertible but π β π΄ for some π π ( π₯ ) = π₯ π ( π₯ ) , then π ( π₯ ) β π [ π₯ ] and thus π π ( π ) = π π₯ ( π ) = 0 , a contradiction. For the converse, if π ( π ) = 0 and π π ( π₯ ) = β π π = 0 πΌ π π₯ π , then πΌ 0 β 0 β 1 πΌ 0 ( π β 1 β π = 1 πΌ π π π ) π = 1 so
π β 1 = β 1 πΌ 0 ( π β 1 β π = 1 πΌ π π π ) is the inverse.
Footnotes
-
2008. Advanced Linear Algebra, Β§18, pp. 459β461 β©