Es sei M = ( a i j ) 1 ≤ i ≤ m , 1 ≤ j ≤ n {\displaystyle {}M=\left(a_{ij}\right)_{1\leq i\leq m,1\leq j\leq n}} eine Matrix über einem Körper K {\displaystyle {}K} . Es seien c = ( c 1 , … , c m ) {\displaystyle {}c=\left(c_{1},\ldots ,c_{m}\right)} und d = ( d 1 , … , d m ) {\displaystyle {}d=\left(d_{1},\ldots ,d_{m}\right)} zwei m {\displaystyle {}m} -Tupel und es sei y = ( y 1 , … , y n ) ∈ K n {\displaystyle {}y=\left(y_{1},\ldots ,y_{n}\right)\in K^{n}} eine Lösung des linearen Gleichungssystems
und z = ( z 1 , … , z n ) ∈ K n {\displaystyle {}z=\left(z_{1},\ldots ,z_{n}\right)\in K^{n}} eine Lösung des Systems
Dann ist y + z = ( y 1 + z 1 , … , y n + z n ) {\displaystyle {}y+z=\left(y_{1}+z_{1},\ldots ,y_{n}+z_{n}\right)} eine Lösung des Systems