Toward a classification of the supercharacter theories of Cp × Cp

Abstract In this paper, we study the supercharacter theories of elementary abelian $p$-groups of order $p^{2}$. We show that the supercharacter theories that arise from the direct product construction and the $\ast$-product construction can be obtained from automorphisms. We also prove that any supercharacter theory of an elementary abelian $p$-group of order $p^{2}$ that has a non-identity superclass of size $1$ or a non-principal linear supercharacter must come from either a $\ast$-product or a direct product. Although we are unable to prove results for general primes, we do compute all of the supercharacter theories when $p = 2,\, 3,\, 5$, and based on these computations along with particular computations for larger primes, we make several conjectures for a general prime $p$.


Introduction
A supercharacter theory of a finite group is a somewhat condensed form of its character theory where the conjugacy classes are replaced by certain unions of conjugacy classes and the irreducible characters are replaced by certain pairwise orthogonal characters that are constant on the superclasses. In essence, a supercharacter theory is an approximation of the representation theory that preserves much of the duality exhibited by conjugacy classes and irreducible characters. Supercharacter theory has proven useful in a variety of situations where the full character theory is unable to be described in a useful combinatorial way.
The problem of classifying all supercharacter theories of a given finite group appears to be a difficult problem. For example, in [6], the authors saw no way other than to use a computer program to show that Sp 6 (F 2 ) has exactly two supercharacter theories. The problem of classifying all supercharacter theories of a family of finite groups seems likely to be much more difficult. At this time, we know of only a few families of groups for which this has been done; only one of which consists of non-abelian groups.
In his Ph.D. thesis [9], Hendrickson classified the supercharacter theories of cyclic p-groups. It is then explained in the subsequent paper [10] that the supercharacter theories of cyclic groups had already been classified by Leung and Man under the guise of Schur rings (see [16,17]). In [10], it is shown that the set of supercharacter theories of a group are in bijection with the set of central S-rings of the group. In fact, the Schur rings of cyclic p-groups were classified even earlier. (See [20] for the odd prime case and [12,13] for the cyclic 2-groups.) The supercharacter theories of the groups C 2 × C 2 × C p for p a prime were classified in [8] (again via Schur rings).
The supercharacter theories of the dihedral groups have been classified several times. Wynn classified the supercharacter theories of dihedral groups in his Ph.D. thesis [24]. They were also classified by Lamar in his Ph.D. thesis [15] (see also the preprint [14]), where the properties of the lattice of supercharacter theories are also studied. It turns out that the supercharacter theories of the dihedral groups of order twice a prime were classified previously by Wai-Chee [21], where their Schur rings were studied (supercharacter theories correspond to the central Schur rings). Finally, we mention that Wynn and the second author classified the supercharacter theories of Frobenius groups of order pq in [18] and also reduced the problem of classifying the supercharacter theories of Frobenius groups and semi-extraspecial groups to classifying the supercharacter theories of various quotients and subgroups.
Each of the above classifications involves certain supercharacter theory products, including * and direct products, which will be described explicitly in § 2. Each of the above classifications also involves supercharacter theories coming from automorphisms -those constructed from the action of a group by automorphisms. The purpose of this paper is to study the supercharacter theories of the elementary abelian group C p × C p , where p is a prime. The first thing to notice is that a classification of the supercharacter theories of C p × C p would not need to include the above supercharacter theory products.
Theorem A. Every supercharacter theory of C p × C p that can be realized as a * -product or direct product comes from automorphisms.
Although we do not give a full classification, we will classify certain types of supercharacter theories. Specifically, we prove the following: Theorem B. Any supercharacter theory S of the elementary abelian group C p × C p that has a non-identity superclass of size one or a non-principal linear supercharacter comes from a supercharacter theory ( * or direct) product. In particular, S comes from automorphisms.
In § 5, we show that any partition of the non-trivial, proper subgroups of C p × C p gives rise to a supercharacter theory and that these partition supercharacter theories play a special role in the full lattice of supercharacter theories. In § 6, we make a strong conjecture regarding the structure of certain types of supercharacter theories that has been supported through computational evidence. Although we do not provide a full classification, we believe this paper to be a good starting point for anyone who desires to do so. We mention that we are able to provide a full classification for the prime p = 2, 3 and 5. Using the work in [25,26], we obtain a similar classification for p = 7.

Preliminaries
Diaconis and Isaacs [7] define a supercharacter theory to be a pair (X , K), where X is a partition of Irr(G) and K is a partition of G satisfying the following three conditions: • For every X ∈ X , there is a character ξ X whose constituents lie in X that is constant on the parts of K.
For each X ∈ X , the character ξ X is a constant multiple of the character σ X = ψ∈X ψ(1)ψ. We let BCh(S) = {σ X : X ∈ X } and call its elements the basic S-characters. If S = (X , K) is a supercharacter theory, we write K = Cl(S) and call its elements S-classes. The principal character of G is always a basic S-character. When there is no ambiguity, we may refer to S-classes and basic S-characters as superclasses and supercharacters. We will frequently make use of the fact that S-classes and basic S-characters uniquely determine each other [7, Theorem 2.2 (c)].
The set SCT(G) of all supercharacter theories comes equipped with a partial order. Hendrickson [10] shows that for any two supercharacter theories S and T, every T-class is a union of S-classes if and only if every basic T-character is a sum of basic S-characters. In this event, we write S T. We say that S is finer than T or that T is coarser than S. Since SCT(G) has a partial order and a maximal (and minimal) element, it is actually a lattice. The join operation ∨ on SCT(G) is very well behaved and is inherited from the join operation on the set of partitions of G under the refinement order, which we will also denote by ∨. If S and T are supercharacter theories of G, then the superclasses of S ∨ T is just the mutual coarsening of the partitions Cl(S) and Cl(T); i.e., Cl(S) ∨ Cl(T). However, the meet operation ∧ on SCT(G) is poorly behaved and difficult to compute. In particular, the equation Cl(S ∧ T) = Cl(S) ∧ Cl(T) holds only sporadically. One example where this equality does hold will be discussed later in this section (see Lemma 2.2).
Every finite group has two trivial supercharacter theories. The first, which we denote by m(G), is the supercharacter theory with superclasses the usual conjugacy classes of G. The supercharacters of m(G) are exactly the irreducible characters of G (multiplied by their degrees). This is the finest supercharacter theory of G under the partial order discussed in the previous paragraph (i.e., m(G) S for every supercharacter theory S of G). There is also a coarsest supercharacter theory of G for the partial ordering of the previous paragraph, denoted by M(G) (i.e., S M(G) for every supercharacter theory S of G). The M(G)-classes are just {1} and G \ {1} and the basic M(G)-characters are 1 and ρ G − 1, where 1 is the principal character and ρ G is the regular character of G.
Supercharacter theories can arise in many different (often mysterious) ways. One of the more well-known ways comes from actions by automorphisms. If A ≤ Aut(G), then A acts on Irr(G) via χ a (g) = χ(g a −1 ) for a ∈ A, χ ∈ Irr(G) and g ∈ G. Then Brauer's Permutation Lemma (see [11,Theorem 6.32], for example) can be used to show that the orbits of G and Irr(G) under the action of A yield a supercharacter theory. In this case, we say that S comes from A or comes from automorphisms. An important aspect of the Leung-Man classification [16,17] (or Hendrickson's [9]) is that every supercharacter theory of a cyclic group of prime order comes from automorphisms. This fact will be used extensively later without reference.
Just as every normal subgroup is determined by the conjugacy classes of G and by the irreducible characters, there is a distinguished set of normal subgroups determined by a supercharacter theory S. Any subgroup N that is a union of S-classes is called S-normal. In this situation, we write N S G. It is not difficult to show that N is the intersection of the kernels of those χ ∈ BCh(S) that satisfy N ≤ ker(χ). In fact, this is another way to classify S-normal subgroups [19].
Whenever N is S-normal, Hendrickson [10] showed that S gives rise to a supercharacter theory S N of N and S G/N of G/N . The Hendrickson also used these constructions to define supercharacter theories of the full group. Given any supercharacter theory U of a normal subgroup N of G whose superclasses are fixed (set-wise) under the conjugation action of G and a supercharacter theory V of G/N , Hendrickson defines the * -product U * V as follows. The supercharacters of U * V that have N in their kernel can be naturally identified with the supercharacters in BCh(V) and those that do not have N in their kernel are just induced from non-principal members of BCh(U). The superclasses of U * V contained in N are the superclasses of U, and the superclasses of U * V lying outside of N are the full preimages of the non-identity superclasses of V under the canonical projection G → G/N . If S is a supercharacter theory of G and N S G, then S S N * S G/N , with equality if and only if every S-class lying outside of N is a union of N -cosets.
Another characterization that appears in [5] is the following. Let N be S-normal. Then S is a * -product over N if and only if every χ ∈ BCh(S) satisfying N ker(χ) vanishes on G \ N . One direction of this result follows easily from the next lemma about basic S-characters vanishing off S-normal subgroups. Lemma 2.1. Let S be a supercharacter theory of G and let χ ∈ BCh(S). Assume that χ vanishes on G \ N , where N is S-normal. Then χ = ψ G for some basic S Ncharacter ψ.
Proof. Since S S N * S G/N , ψ G is a sum of distinct basic S-characters. Let ξ be one such basic S-character, and note that χ N = χ (1) ψ (1) ψ. Then The result easily follows.
Also defined in [10] is the direct product of supercharacter theories. Given a supercharacter theory E of a group H and a supercharacter theory F of a group K, the supercharacter The direct product supercharacter theory is intimately related to the * -product, as this next result illustrates. In particular, S × T is equal to U ∧ V.

Proof. We have
The mutual refinement of these partitions is exactly Since K is the set of superclasses of a supercharacter theory of G, and K is the coarsest partition of G finer than both Cl(U) and Cl(T), it follows that Recall that S S N * S G/N whenever N is an S-normal subgroup of G. Thus, as an immediate corollary of Lemma 2.2, we deduce the following. Proof. Using the notation in the statement of the previous result, we have S H = S G/N and We mention one more construction we will need, also due to Hendrickson. If G is an abelian group, then Irr(G) forms a group under the pointwise product. There is a natural isomorphism G → Irr(Irr(G)) sending g ∈ G tog ∈ Irr(Irr(G)) defined byg(χ) = χ(g). If S is a supercharacter theory of G, thenŠ is a supercharacter theory of Irr(G), where Cl(Š) = BCh(S) and BCh(Š) = {{g : g ∈ K} : K ∈ Cl(S)} [9, Theorem 5.3]. This duality construction will be used to simplify some arguments in the proof of Theorem B.

Central elements and commutators
Let S be a supercharacter theory of G. In [3], the first author discusses two important subgroups of G associated with S. The first of these subgroups is an analog of the centre of a group and consists of the superclasses of size one. We denote this subgroup by Z(S). The fact that Z(S) is a (S-normal) subgroup follows easily from [7, Corollary 2.3] and a proof appears in [9]. Another consequence of [7, Corollary 2.3] appearing in [9] is that cl S (g)z = cl S (gz) for any z ∈ Z(S). Using this fact, as well as a consequence of [3, Theorem A], we prove the following lemma that will be used in the proof of Theorem B.

Lemma 3.1. Let S be a supercharacter theory of G and write
It turns out that many analogs of classical results about the centre of the group exist for Z(S) (see [3] for more details). Among these is the next result, which is a generalization of a well-known fact about ordinary complex characters (e.g., see [11, Corollary 2.30]). We now discuss an analog of the commutator subgroup of G. Note that one may write [G, G] = g −1 k : k ∈ cl G (g) . Using this description, it is natural to consider the subgroup g −1 k : k ∈ cl S (g) , which we denote by [ As stated above, if S is a supercharacter theory of G, N is S-normal, χ is a basic S-character and ψ is a basic S N -character satisfying χ N , ψ > 0, then ψ(1) divides χ (1). The next result, which is [3, Proposition 3.13], shows this can be strengthened in certain situations, a fact that will be useful later.
Proof. Since [G, S] ≤ N , Λ = Ch(S/N ) acts on BCh(S) in the obvious way. Consider the set C = {ψλ : ψ ∈ X, λ ∈ Λ}, where X = Irr(χ). On the one hand, C is exactly the set of constituents of ψ G . By [9, Lemma 3.4], we conclude that On the other hand, we have Thus, we have The result follows as |Stab Λ (χ)| divides |G : N |.

Proofs
In this section, we prove the main results of the paper. For the remainder of the paper, p is an odd prime and G is the abelian group of order p 2 and exponent p.
Our first result shows that every * -product and direct product supercharacter theory of G comes from automorphisms. Note that this includes Theorem A.
Proof. Write N = x and M = y . Since N and M are cyclic of prime order, there exist integers m 1 , m 2 such that U comes from the automorphism σ : N → N defined by x σ = x m1 and U comes from the automorphism τ : M → M defined by y τ = y m2 .
First, we prove (1). Let S = U * ϕ(V). Then the S-classes contained in N are the orbits of σ on N . The S-classes lying outside of N are the full preimages of the orbits of τ on M under the projection G → G/N . Extend σ to an automorphismσ of G by setting yσ = y.
we may write g uniquely as g = g N g M where g N ∈ N and g M . Let g ∈ G. From the arguments above, we see that orb A (g) = {hn : h ∈ orb τ (g M ), n ∈ N }, which is exactly cl S (g). This completes the proof of (1). Now we show (2). Let D = U × V. Extend σ to an automorphismσ of G by setting yσ = y, and extend τ to an automorphismτ of G by setting xτ = x. Let B = σ,τ . Then This completes the proof of (2).
We may now give a more precise statement and proof of Theorem B. We first remark that having a non-identity superclass of size 1 is equivalent to the condition Z(S) > 1 and having a non-principal linear supercharacter is equivalent to the condition [G, S] < G.
One of the following holds: (2) S is a * -product over Z(S).
from which it follows that clŠ(h m )z 1 = clŠ(h). Since clŠ(h) is not fixed by multiplication by any element of Z, this implies that z 2 = z m+1 Continuing this way, we deduce that Thus, we see that h −1 k ∈ h m−1 z for every k ∈ clŠ(h). Similarly, for every w ∈ Z and k ∈ clŠ(hw), (hw) −1 k ∈ h m−1 z . Since every element of G * has the form h j w for some integer j and w ∈ Z, it follows that g −1 k ∈ h m−1 z for every g ∈ G * and k ∈ clŠ(g). This implies that [G * ,Š] = h m−1 z < G * , a contradiction.
We may now assume that there is another S-normal subgroup, say N . Since The final statement is a consequence of Lemma 4.1

Partition supercharacter theories
We now describe a type of supercharacter theory that is (essentially) unique to elementary abelian groups of rank two. As in the previous section, p is a prime and G is the elementary abelian group C p × C p . Lemma 5.1. Let G and let H 1 , H 2 , . . . , H p+1 be the non-trivial, as required.
We will call the supercharacter theory of Lemma 5.1 the partition supercharacter theory of G corresponding to P. As can be seen from the above proof, the reason that this construction works because any two distinct normal subgroups generate G. As such, the same construction will work if G is a direct product of two simple groups. That is, However, if G has at least three non-trivial normal subgroups, it is not difficult to see that G must be an elementary abelian group of rank two if any two distinct normal subgroups generate G. Indeed, this condition on G implies that any non-trivial, proper normal subgroup is minimal normal. Proof. The supercharacter theory S is a partition supercharacter theory if and only if g \ {1} ⊆ cl S (g) holds for every g ∈ G. In other words, if and only if g i ∈ cl S (g) holds for every g ∈ G and 1 ≤ i ≤ p − 1. This is exactly the condition S P S. Thus, the interval [S P , M(G)] is the set of partition supercharacter theories of G.
Next, we give an example that shows the set of automorphic supercharacter theories is not a semilattice of SCT(G). We close this section by noting that the construction found in this section is closely related to the amorphic association schemes studied in [22].

Non-trivial S-normal subgroups
In this section, we discuss the structure of the supercharacter theories of G = C p × C p , p a prime, that have non-trivial, proper supernormal subgroups. We begin by studying the structure of supercharacter theories with exactly one such subgroup.
To prove Theorem 4.2, we showed that if [G, S] or Z(S) were the unique S-normal subgroup of G, then S is a * -product. One may wonder if a similar result holds for any supercharacter theory of G with a unique S-normal subgroup. This is not the case, as the next example illustrates. Example 6.1. We show that not every supercharacter theory of C p × C p with a unique non-trivial, proper supernormal subgroup is a * -product. This example comes from {y, y 2 , y 3 , y 4 }, {x, x 2 , x 3 , x 4 , xy 4 , x 2 y 3 , x 3 y 2 , x 4 y} ∪ {xy, x 2 y 2 , x 3 y 3 , x 4 y 4 , xy 3 , x 2 y, x 3 y 4 , x 4 y 2 , xy 2 , x 2 y 4 , x 3 y, x 4 y 3 } .
One may readily verify that K gives the set of S-classes for a supercharacter theory S of G. Observe that N = y is the unique non-trivial, proper S-normal subgroup. However, S is not a * -product over N since, for example, x and xy lie in different S-classes.
Observe that the above supercharacter theory is an example of a partition supercharacter theory. Indeed, the supercharacter theories S with a unique non-trivial, proper S-normal subgroup that we have observed is either a * -product or a partition supercharacter theory. In particular, each supercharacter theory of this form has come from automorphisms or has been a partition supercharacter theory.
We have observed a similar phenomenon for those with exactly two non-trivial, proper S-normal subgroups. Specifically, it appears as though every supercharacter theory of G with exactly two non-trivial, proper supernormal subgroups either comes from automorphisms or is a partition supercharacter theory. It is, however, not the case that each such supercharacter theory that is not a partition supercharacter theory is a direct product, as can be seen from the next example. As mentioned just prior to Example 6.2, it appears as though every supercharacter theory of G with exactly two non-trivial, proper supernormal subgroups either comes from automorphisms or is a partition supercharacter theory (in fact, we have yet to find any supercharacter theory of C p × C p that does not either come from automorphisms or partitions). We do have some evidence of this, but only have one weak result in this direction. Before giving the result, we set up some convenient notation that will be used for the remainder of the paper.
Let S be a supercharacter theory of G and let H be a non-trivial, proper S-normal subgroup. Then H is cyclic of prime order, so S H comes from automorphisms, say from the subgroup A ≤ Aut(H). Since Aut(H) ∼ = C p−1 is just the collection of power maps, there exists an integer m such that A is generated by the automorphism sending an element to its m th -power. Thus, if g ∈ H, then cl SH (g) = {g, g m , g m 2 , . . . }. We denote this supercharacter theory by [H] m . Given an integer m and g ∈ G, we let [g] m denote the set {g, g m , g m 2 , . . . }. We let |m| p denote the order of m modulo p, which is also the size of [g] m for 1 = g ∈ G.
we conclude that cl S (g) = cl SH ×SN (g). Hence S = S H × S N , and the result follows from Lemma 4.1.
We suspect that the condition (d 1 , d 2 ) = 1 in Lemma 6.3 can be strengthened to (d 1 , d 2 ) < p − 1. This has only been totally verified for the primes p = 2, 3 and 5.
Now suppose that there are at least three S-normal subgroups. We conjecture that S comes from automorphisms whenever the restriction to a S-normal subgroup is not the coarsest theory. Although a general proof appears to be difficult, this can be proved rather easily in a couple of specific cases. Proof. First assume that |m| p = 1, and let K be another S-normal subgroup. Then S K = m(K), so G = H, K ≤ Z(S). Now assume that |m| p = 2. We may find distinct non-identity elements x, y ∈ G such that x , y and xy are all S-normal. We show by induction on n that xy n is S-normal for every n ≥ 1. Let [g] denote the set {g, g −1 } for g ∈ G. Let n ≥ 2 be the smallest integer for which xy n is not S-normal. Then xy n−1 is S-normal, which means that [xy n−1 ] [y] can be expressed as a non-negative integer linear combination of S-class sums. Since [xy n−1 ] [y] = [xy n ] + [xy n−2 ] and xy n−2 is S-normal, [xy n ] must be a union of S-classes. So [xy n ] = xy n is also S-normal, which contradicts the choice of n. Thus, xy n is S-normal for every integer n, as claimed. Conjecture 6.4 also holds in the case that S comes from automorphisms. Lemma 6.6. Let S be a supercharacter theory of G coming from automorphisms. If G has at least three non-trivial, proper S-normal subgroups, then every subgroup of G is S-normal.
Proof. Suppose that S comes from A ≤ Aut(G). Let H i , i = 1, 2, 3, be S-normal of order p. We may assume that H 1 is generated by x, H 2 is generated by y and H 3 is generated by xy. Let a ∈ A. Since H 1 and H 2 are S-normal, there exist integers i and j so that x a = x i and y a = y j . Then (xy) a = x i y j . Since H 3 is S-normal, (xy) a ∈ xy , which forces i = j. We conclude that a ∈ Z(Aut(G)) and hence fixes every subgroup of G.
We remark that Lemma 6.6 also follows from [23,Lemma 26.3], a result about Schur rings.
We now outline a strategy we believe will work to prove Conjecture 6.4, although the actual proof has evaded us. This strategy involves an algorithm of the first author appearing in [4], which we now describe. We begin by defining an equivalence relation on G coming from a partial partition of G. Let C be a G-invariant partial partition of G. For K, L ∈ C and g ∈ G, define Also, recall that for K ⊆ G,K denotes the element g∈K g of the group algebra Z(G). Define , then [g] r 2 must be a union of S-classes. Thus, [g] r 2 = g is another S-normal subgroup. Conjecture 6.7. Let H 1 , H 2 and H 3 be distinct subgroups of G of order p. Let r be a primitive root modulo p.
We now illustrate a few small examples illustrating the statement of Conjecture 6.7. Example 6.8. Let G = x, y be the group C 5 × C 5 . Suppose that S is a supercharacter theory of G with at least three supernormal subgroups H 1  is a union of S-classes. Since x is S-normal, [xy 2 ] i 4 = {x i y 2i , x −i y −2i } is a union of S-classes for each 2 ≤ i ≤ p − 1. From this, we conclude that xy 2 is also S-normal.
Using a similar technique with the classes [y 2 ] 4 and [xy] 4 , we can also show that xy 3 is S-normal. Example 6.9. Let G = x, y be the group C 7 × C 7 . Suppose that S is a supercharacter theory of G with at least three supernormal subgroups. As with the previous example, we may assume H 1 = x , H 2 = y and H 3 = xy are S-normal. Suppose that S H1 comes from the squaring automorphism.  2 and xy −1 are also S-normal.
One may easily verify that a similar process shows that every subgroup of G must be S-normal. Example 6.10. Let G = x, y be the group C 11 × C 11 . Suppose that S is a supercharacter theory of G with at least three supernormal subgroups H 1 , H 2 and H 3 , and suppose that S H1 = [H 1 ] 3 . As with the previous example, we may assume H 1 = x , H 2 = y and H 3 = xy . Let C be the partition Note that S is a refinement of C. It is routine to show that Since [xy 4 ] 3 does not appear in the above decomposition and S is a refinement of K 2 (C), we conclude that xy 4 and xy 5 are S-normal. Similarly, xy 7 and xy 8 are S-normal. The same reasoning also shows that xy 3 and xy 9 are S-normal.
Since [xy 2 ] 3 does not appear in the above decomposition, and since [xy 6 ] 3 and [xy 10 ] 3 appear with different coefficients, we see that xy 2 , xy 6 and xy 10 are also S-normal. Thus, every subgroup of G is S-normal.
We have verified Conjecture 6.7 for every prime p ≤ 47 using the method outlined above, thereby also verifying Conjecture 6.4 in the process. In the event that Conjecture 6.4 holds, we can conclude that a large collection of supercharacter theories of G must come from automorphisms. Thus, S H2 also comes from the automorphism that sends an element to its m th power. Since H 2 was chosen randomly, it follows that the S-class of an element g ∈ G is just {g, g m , g m 2 , . . . }. So S comes from automorphisms, as claimed.
We have observed in small cases (p = 2, 3, 5) that every supercharacter theory either comes from automorphisms or is a partition supercharacter theory. Due the large number of conjugacy classes in C 7 × C 7 , it is unfortunately rather difficult computationally to verify the observation in this case. It is known (e.g., by [7, Theorem 2.2 (f)]) that if e is an integer coprime to p, then K e = {g e : g ∈ G} is an S-class for every S-class K. In every example we have computed, a very special choice of e actually fixes every S-class as long as G has at least three non-trivial, proper S-normal subgroups. Thus, the following conjecture seems reasonable, and would allow us to greatly reduce the possible structure of supercharacter theories of G. Proof. Let H 1 , H 2 , . . . , H n be the S-normal subgroups of G of order p. Let g ∈ G \ i H i . Let r be a primitive root modulo p and note that S Hi comes from the automorphism sending an element to its r th power for each 1 ≤ i ≤ n. By hypothesis, Conjecture 6.12 holds, so T S where T is the supercharacter theory of G coming from the automorphism sending an element to its r th power. Observe that T is the partition supercharacter theory S P corresponding to the partition P consisting of all singletons. The result now follows from Lemma 5.2.

Computations for small primes
In this section, we consider the cases p = 2, 3, 5, 7 and 11 in some depth. For p = 2, 3 and 5, we can fully classify the supercharacter theories of C p × C p . We are able to fully classify the supercharacter theories of C 7 × C 7 that have at least three non-trivial, proper supernormal subgroups. This allows us to verify Conjecture 6.12 for the case p = 7.
As mentioned earlier, we have verified Conjecture 6.4 for all primes p ≤ 47. So we can classify the supercharacter theories of C 11 × C 11 that have at least three non-trivial, proper supernormal subgroups and for which the restriction to one of them is not the coarsest theory. We do a little more for p = 11. We classify all supercharacter theories of C 11 × C 11 that have at least nine non-trivial, proper supernormal subgroups.
We will say that a supercharacter theory S has type T n if G has exactly n non-trivial, proper S-normal subgroups. In each of the cases just mentioned, we list the total number of supercharacter theories of type T n . For each n, we divide the supercharacter theories of type T n into three major types: (1) Those that can be realized as a non-trivial * or direct product; (2) Those coming from automorphisms (automorphic supercharacter theories); (3) Those coming from partitions. We give exact counts for each type as well.
Before discussing the computational aspect, let us find the number of * and direct products. Since every supercharacter theory of C p comes from automorphisms, and two distinct subgroups of Aut(C p ) produce two distinct supercharacter theories, we find that the number of distinct supercharacter theories of C p is τ (p − 1), where τ (n) is the number of divisors of the integer n. A * -product of G is determined by three pieces of information: A non-trivial, proper (normal) subgroup N , a supercharacter theory of N , and a supercharacter theory of G/N . Since N ∼ = G/N , it follows that there are (p + 1)τ (p − 1) 2 supercharacter theories of G = C p × C p that can be realized as a non-trivial * -products. Note that m(G) = m(H) × m(N ) for any choice of two distinct non-trivial, proper subgroups H and N . Thus, there are 1 + p+1 2 (τ (p − 1) 2 − 1) supercharacter theories of G = C p × C p that can be realized as non-trivial direct products, where we are including m(G).
To compute the supercharacter theories of G coming from automorphisms, we constructed the natural action of Aut(G) on Irr(G), which gave us a faithful representation of Aut(G) into Sym(Irr(G)). Using this permutation representation, we used MAGMA's Subgroups function to find representatives of the conjugacy classes of subgroups of Aut(G). Finally, we expanded the classes to find all of the subgroups of Aut(G) and constructed the orbits of these subgroups on Irr(G).
Computing the total number of partition supercharacter theories of each type is an easy combinatorics exercise. The number of supernormal subgroups of S P is the multiplicity of 1 in the partition P. Suppose P has shape 1 n1 + 2 n2 + · · · + (p + 1) np+1 . Let m 0 = 0 and define m i = m i−1 + in i for i ≥ 1. Let Then the number of partition supercharacter theories with shape P is p+1 i=1 N i . We remind the reader that all of the product supercharacter theories are automorphic supercharacter theories. Hence, those two entries are equal for a given group if and only if all of the automorphic supercharacter theories are product supercharacter theories.
In [25], the total number of Cayley isomorphism classes of Schur rings of the groups of order 49 is given. Moreover, they provide a GAP repository of the representatives of these classes [26] for each group up to isomorphism of order less than 64. In particular, this means we have the representatives for G = C 7 × C 7 . Recall that every Schur ring of the abelian group G gives the superclasses for a supercharacter theory of G. In the language of Schur rings, two supercharacter theories S and T of G could be called Cayley isomorphic if there is an automorphism σ of G such that Cl(T) = {K σ : K ∈ Cl(S)}. Thus, the information given in [26] provides representatives for the Aut(G)-orbits on SCT(G). By computing the Aut(G)-orbits of each of the representatives, we found that G has exactly 5222 supercharacter theories, which is exactly the number of supercharacter theories of G that either come from automorphisms or partitions. Thus, we may conclude that every supercharacter theory of G = C 7 × C 7 either comes from automorphisms or partitions.
The following table summarizes our computational results for p = 7 and p = 11. We indicate the information that is unavailable with a dash. The only such information is the total number of supercharacter theories of G = C 7 × C 7 of type T i for 0 ≤ i ≤ 2 and the total number of supercharacter theories of G = C 11 × C 11 of type T i for 0 ≤ i ≤ 8. The top three entries of the p = 7 case were only able to be completed with the aid of [26]; the remaining entries rely on our computations as described above.
been referred to as simple). The others may prove much more difficult to describe. For example, if N S G, then S S N * S G/N , which puts limitations on which elements can lie in the same S-class. Also |cl S G/N (gN )| must divide |cl S (g)| for every g ∈ G \ N , which puts arithmetic restrictions on the possible sizes of S-classes. When S is simple though, none of these restrictions apply. However, given all that we have observed, it is possible that a classification may only involve the partition supercharacter theories and those coming from automorphisms.