A groupoid is category where all the morphisms are isomorphisms and groupoid cardinality is a way to assign a notion of size to groupoids. Roughly, the idea is that one should weigh an object inversely by the number of automorphisms it has (and we only count each isomorphic object as one object).
It is important to count only one object from each isomorphism class since we want the notion of groupoid cardinality to be invariant under equivalences of groupoids (in the sense of category theory) and every category is equivalent to it’s skeleton. For further motivation for the idea of a groupoid cardinality, see Qiaochu Yuan’s post on them.
This seems like quite a strange thing to do but it turns out to be quite a useful notion. One of my favorite facts about Elliptic curves is that the groupoid cardinality of the supersingular elliptic curves in characteristic p is ! See the Eichler-Deuring mass formula.
Another interesting computation along these lines is that the number of finite sets is . One can ask this question of various groupoids and the answer is often interesting. I will ask it today of semi-simple finite algebras of order . By an algebra, I will always implicitly mean commutative in this post.
By a classification theorem, we know that semi-simple finite algebras are simply products of finite fields. In fact, if with coprime and SSA(k) denotes the set of semi-simple finite algebras of order k (upto isomorphism), then where the map simply takes algebras .
Therefore the groupoid cardinality of SSA(n) is the product of the groupoid cardinality of SSA(a) and SSA(b). We will now restrict to the case . Computing a few small examples, one sees that the groupoid cardinality is always 1! As surprising as this is, it is not too hard to prove. However, the proof that I know of this fact is not very illuminating (at least to me). Please let me know if there is any to make this result seem obvious.
It will help to establish some notation about semi simple algebras of prime power order . It is easy to see that these algebras correspond to (unordered) partitions of in the following manner:
To a partition , we associate the algebra . In fact, let us group the identical ‘s together and write the partition as where is the number of that appear and call the corresponding algebra of type
Since a finite field of order has automorphisms and there are no isomorphisms between fields of different sizes, we see that the number of algebras of type is . The corresponds to isomorphisms of fields while the corresponds to permutations between different finite fields.
For instance, in the case of , there is an automorphism that corresponds to switching the first two factors and 2 automorphisms of the last factor giving a total of automorphisms.
Thus, we need to compute the following beast:
where the sum is over partitions such that . While this might seem imposing at first sight, there is a trick familiar to people with experience in generating functions that makes the computation straightforward.
The key observation is to realize that:
Here, denotes the partititons of . This follows from a naive expansion of the right hand side and is a formal identity of power series. I believe the observation goes all the way back to Euler. In our case, we only need to consider a slight modification. Consider the power series:
However, expanding the first sum, one sees that the coefficient of is simply our (1) which is equal to 1 as we see by expanding the geometric series!