Almost all finite groups encountered by undergraduates can be represented as multiplicative groups of concise block-diagonal binary matrices. Such representations provide simple examples for beginning a group theory course. More importantly, these representations provide concrete models for "abstract" concepts. We describe Maple lab assignments which explore group actions, subgroups, normality, cosets, quotient groups, homomorphisms, isomorphisms, and kernels.