Real similarity from complex similarity
ID: real-similarity-from-complex-similarity
If real matrices satisfy for an invertible complex , then , so both real matrices intertwine and . Since is a nonzero real polynomial, some real makes invertible and supplies a real similarity.
New to topics? Read the docs here!