Sea el código  Entonces este código, a lo sumo,

Sea un -código lineal. Entonces puede

Sea una matriz generadora asociada a un código lineal . Entonces, la expresión explícita de una función de codificación asociada a es

Dada la matriz  unas ecuaciones implícitas del subespacio propio asociado al autovalor son

La aplicación lineal cuya expresión matricial respecto de la base canónica es

Sea el endomorfismo cuyo polinomio característico asociado es . Entonces, un autovalor de es

Se considera la aplicación lineal   tal que   y . Entonces, la expresión matricial de   respecto de las bases canónicas de   y    es: 

Sea una aplicación lineal tal que y . Entonces, la expresión matricial de respecto de las bases y es:

Sea la aplicación lineal tal que y sea . Entonces una base de es

La distancia del código lineal binario de matriz generadora es