Abstract:

We will discuss using GAP4 to study the architecture and
faithful permutation representations of a few groups, as well as how the
information so obtained might be used to formulate a proof of a specific
question about the non-existence of permutation groups with certain
"standard" properties.