[hollowcelery]

Not the previous poster, and not a maths expert by any means, but for example there are parallels between the rank-nullity theorem in linear algebra, the orbit stabiliser theorem in group theory, the splitting lemma in homological algebra, and the Fredholm alternative in functional analysis. They can all be seen as manifestations in some form or another of the first isomorphism theorem in abstract algebra.