Frobeniova veta
Z úvah, ktoré sme pred chvíľovou uviedli vyplýva nasledujúce tvrdenie, ktoré býva označované ako Frobeniova veta.
Sústava lineárnych rovníc je riešiteľná vtedy a len vtedy, keď hodnosť matice sústavy sa rovná hodnosti rozšírenej matice sústavy.
Pritom
ak
h(A) = h(A´) = n
(
n
je počet neznámych), potom sústava má práve jedno riešenie,
ak
h(A) = h(A´) < n
(
n
je počet neznámych), potom sústava má nekonečne veľa riešení a
n-k
neznámych možno ľubovoľne zvoliť.