Cyclic Codes 3 (Generator matrix and dimension)

A note of caution: working with equivalence classes in the end wasn't good as the ring is no ID. One should work with representatives of minimal degree in the polynomial ring instead to get that gh = gh' implies h = h'.