The homological algebra of trivial extensions of Abelian categories with applications to ring theory