injective linear algebra