a * H = H * a relation holds if

• A. h is semigroup of an abelian group
• B. h is monoid of a group
• C. h is a cyclic group
• D. h is subgroup of an abelian group