There is a sense in which a robin is a typical bird and a penguin is not a typical bird. (See Reference 1.) Mathematical objects are like this and not like this.
A mathematical definition is simply a list of properties. If an object has all the properties, it is an example of the definition. If it doesn’t, it is not an example. So in some basic sense no example is any more typical than any other. This is in the sense of rigorous thinking described in the abstractmath chapter on images and metaphors.
In fact mathematicians are often strongly opinionated about examples: Some are typical, some are trivial, some are monstrous, some are surprising. A dihedral group is more nearly a typical finite group than a cyclic group. The real numbers on addition is not typical; it has very special properties. The monster group is the largest finite simple group; hardly typical. Its smallest faithful representation as complex matrices involves matrices that are of size 196,883. The monster group deserves its name. Nevertheless, the monster group is no more or less a group than the trivial group.
People communicating abstract math need to keep these two ideas in mind. In the rigorous sense, any group is just as much a group as any other. But when you think of an example of a group, you need to find one that is likely to provide some information. This depends on the problem. For some problems you might want to think of dihedral groups. For others, large abelian p-groups. The trivial group and the monster group are not usually good examples. This way of thinking is not merely a matter of psychology, but it probably can’t be made rigorous either. It is part of the way a mathematician thinks, and this aspect of doing math needs to be taught explicitly.
Reference 1. Lakoff, G. (1986), Women, Fire, and Dangerous Things. The University of Chicago Press. He calls typical examples “prototypical”.
Send to Kindle
In many contexts there are rigorous ways to make sense of “typical” examples. One of the most straightforward is when there is a natural probability measure on the family of objects under consideration, in particular if there are only finitely many such objects. This can be modified to deal with infinite families of objects via limits in various ways.
For a pretty trivial example, a “typical” positive integer is not prime in the sense that the proportion of primes among integers less than n tends to 0 as n goes to infinity. Similarly, a “typical” finite group is nonabelian in the sense that the proportion of abelian groups among groups of order less than n tends to 0.
Other ways of rigorously defining “typical” are in wide use, like the sense of Baire category. In convex geometry, for example, polytopes and convex bodies with smooth boundaries are two relatively easy to understand classes. But a number of theorems show that in the sense of Baire category (with respect to a natural topology on the class of convex bodies in n-dimensional space), “typical” convex bodies have drastically different properties from either of those easy classes.
Minor nitpick: the monster is the largest finite sporadic simple group. The cyclic group of order first prime larger than the order of the group of the monster is simple, for example.