The best characterization I can currently work outdon't think there is: Fix a proper (not necessarily nontrival) coset $H$. Form a disjoint union of sets of the following form: Choose a subgroup $H'$. (not necessarily proper) that strictly contains $H$. Choose a coset of $H'$, and any nice characterization for each coset of $H$ within that coset choose a representative. Then this disjoint union isproblem.
$1+x+x^{7}+x^{13}+x^{19}+x^{20}$ isn't relatively prime to $x^{30}-1$ despite not goodbeing characterized by any sort of reasonable construction.
ProofIt comes from adding two cosets and subtracting one, like so: Let $k$$(1+x^{10}+x^{20})+(x+x^7+x^{13}+x^{19}+x^{25})-(x^{10}+x^{25})$. You can't get it by just combining cosets. Choosing elements from cosets doesn't help because that would be the smallest element of $H$, then the wrong elementary cyclotomic polynomial.
This is equivalent to the problem: When does a (multi)set of roots of unity sum to $k$ divides$0$? You shouldn't expect a particularly good answer. Compare it to the polynomial of each suchproblem "when does a set of coset representativescomplex numbers of norm $1$ sum to $0$", so it divides the polynomialwhich just asks you to find polygons of side length $1$. There are quite a disjoint unionlot of these.
I do not know if this characterizationThis problem is complete, but it seemed too long to fitmore tractable when you can mandate that the size of the set is small. Then you can give an explicit construction for all bad sets. But as far as several graduate students who worked on the problem in the commentssecond form can tell, there is not any construction that works in general that is better than "take multiples of an elementary cyclotomic polynomial that have only $0$ and $1$ for coefficients."