simple group
group without normal subgroups other than the trivial group and itself
Tarski monster group
infinite group whose proper nontrivial subgroup are all cyclic groups, whose orders all equal a fixed prime number
finite simple group
algebraic structure