Building extension filed:
We construct the field:\(\mathbb{F}_2[X_0]/(X_0^2 + X_0 + 1)\)
- Start with \(\mathbb{F}_2[X_0]\): all polynomials in variable \(X_0\)with coefficients in \(\mathbb{F}_2\) (i.e., 0 or 1).
- Then we take equivalence classes modulo \(X_0^2 + X_0 + 1\).
That means two polynomials are considered the same if they differ by a
