Binary linear code

Even binary code

The even binary code of length is given by code

which is a quadratic space with the form

which has the polar form and the radical .

Properties

Invoking the Iverson bracket,

1. .
2. If is even, then every self-dual code contains (this follows from the fact that it is the radical)

---

develop | en | sembr