Jabarkan Barisan eksak pendek dari Aljabar homologis

Suatu barisan eksak pendek adalah barisan eksak

dengan ƒ adalah monomorfisme dan  g  adalah epimorfisme. Dalam hal ini,  A  adalah subobjek dari  B , dan dari keeksakan barisannya, kita mempunyai