(g = {a0, a1, ..., a6}, ·) where ai · aj = ak, k ≡ i + j (mod 7) is a group?

Refer attachment clearly , it will satisfy closure and associativity property . Identity = a0 , inverse also exist . Thus , it is a group .