单倍群是一种代数结构，即有有限个元素组成的有序结构。它是一类群，具有结合律、交换律、存在逆元素以及存在单位元的特性。它还要求每个元素有唯一的相反数，即它自身的逆数也是它本身。该群中的元素只能有2个，所以它叫做“单倍群”。