n (algebra) A sequence of groups with adjacent groups connected by homomorphisms such that the image of one homomorphism is the kernel of the next.