Talk:Hautus lemma

Some implications/applications of the Hautus Lemma should be added - I just kicked off this article but I intend to extend it. I am looking forward for your suggestions. Do you people think I should include a complete proof?

Improvement suggestion
I added to the text that there exist multiple versions of this lemma: I invite whoever knows the exact formulations to complete this. Wikispaghetti (talk) 21:51, 13 September 2015 (UTC) I think there may be an error in the text. Should it not be [A-I*lambda;C] and [A-I*lambda,B] instead? — Preceding unsigned comment added by 130.225.65.70 (talk) 06:57, 12 April 2019 (UTC)
 * Hautus Lemma for controllability
 * Hautus Lemma for stabilizability
 * Hautus Lemma for observability
 * Hautus Lemma for detectability