他に条件がないんなら、群は単位元と逆元が必ずあるんだから
{e,α,β:但しαβ=eでeは単位元}
でいいんんじゃないの?