Lineares Gleichungssystem/Eliminationslemma/Fakt
Zur Navigation springen
Zur Suche springen
Zum Beweis, Alternativen Beweis erstellen
Es sei ein Körper und ein (inhomogenes) lineares Gleichungssystem über in den Variablen . Es sei eine Variable, die in mindestens einer Gleichung mit einem von verschiedenen Koeffizienten vorkommt.
Dann lässt sich jede von verschiedene Gleichung durch eine Gleichung ersetzen, in der nicht mehr vorkommt, und zwar so, dass das neue Gleichungssystem , das aus und den Gleichungen besteht, äquivalent zum Ausgangssystem ist.