DejarH=(A∣Im) ser una matrizm×n canónica de comprobación de paridad y dejarG=(In−mA) ser la matriz generadoran×(n−m) estándar asocia...DejarH=(A∣Im) ser una matrizm×n canónica de comprobación de paridad y dejarG=(In−mA) ser la matriz generadoran×(n−m) estándar asociada conH. LetC be the code generated byG. Entoncesy está enC si y solo siHy=0. En particular,C es un código lineal con matriz de verificación de paridad canónicaH.