Hello,

I am trying to prove, or disprove by means of a counterexample the two statements.

For a subgroup H of a group G, with elements a,b G, and aH is the coset of H containing a, defined as

(1)

implies

(2)

implies

I'm not sure where to start on these.

Thanks!