or even easier: if then

that's right.My remaining question is what type of group is this?

I think this is theFrobenius group.

answering this question will take some time and effort! you may find the answer (at least partially) in a decent group theory book.And what is the subgroup diagram of this group?

(Wikipedia did not have it).