Sea una matriz de control de un código lineal . Entonces una palabra del código es

Sea un (4,2)-código lineal. Si se recibe la palabra , la descodificación por el método de distancia mínima

Sea un código lineal con función de codificación asociada dada por . Entonces, una matriz generadora del código es

Sea una matriz generadora de un código lineal . Entonces, la distancia del código es

Sea una función codificadora dada por . Entonces un vector del código lineal asociado es

Sea . Se recibe, tras el paso por un canal, la palabra . Si descodificamos por el método de  la distancia mínima, la palabra descodificada es

Sea dada por . Entonces, una matriz de control en forma estándar del código lineal asociado es

Sea dada por una función de codificación sistemática. Entonces el código tiene distancia

Sea una matriz generadora asociada a un código (4,2)-lineal . Entonces,

Sea una matriz cuadrada de orden cuyos subespacios propios vienen dados por las ecuaciones y . Entonces, una posible matriz de paso en la diagonalización de es