An examination of some of the remarkable connections between group theory and arithmetic algebraic geometry over finite fields