在一（N，K）线性区块码中，对每一K＊N生成矩阵G，皆存在一相对应之（K－N）＊N同位检查矩阵H，对G所产生的区块码C中的任一码字，和H所产生的区块码D中的任一码字，存在内积为零的关系，因此C与D称为挛生码，可互相用来作错误检查。