The ring of trigonometric polynomials with complex scalars

This post is a continuation of a previous post about the ring of trigonometric polynomials over the real field. Now we have jumped into the complex field, and the extension is not a trivial matter.