Sea en , siendo . Entonces, unas ecuaciones paramétricas minimales de en son

Sea el subespacio de , Entonces, la dimensión de es

Es subespacio vectorial de el siguiente conjunto:

Dado el siguiente sistema de generadores de

Todas las soluciones de la ecuación   son

Se verifica que . Entonces

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

Sea una base del espacio vectorial y la aplicación lineal tal que   y  . Entonces,     es:

Sea una matriz generadora de un código (4,3)-lineal . Entonces, la palabra pertenece al código si

Sea una matriz generadora de un (4,2)-código lineal . Entonces, una matriz de control para el código es