the cyclic redundancy check (crc) is based on division in the ring of polynomials over the finite field gf(2) (the integers modulo 2), that is, the set of polynomials where each coefficient is either zero or one, and arithmetic operations wrap around.