Abstract
We compute the ring of non-induced representations for a cyclic group, Cn, over an arbitrary field and show that it has rank , where is Euler’s totient function—independent of the characteristic of the field. Along the way, we obtain a “pick-a-number” trick; expressing an integer n as a sum of products of p-adic digits of related integers.
2020 MATHEMATICS SUBJECT CLASSIFICATION:
1 Introduction
Given a finite group G and a field k of characteristic , we may study the representation theory of G over k via the representation ring , whose elements are (isomorphism classes of) kG modules, {V}. Here, and throughout, the representations of G over k will be identified with kG-modules. The addition and multiplication operations on the representation ring correspond to taking the direct sum and tensor product of modules. That is;
Observe that the representation ring differs from the Grothendieck ring, as in the Grothendieck ring we have whenever there is a short exact sequence . We shall abuse notation when working in the representation ring and write V for the isomorphism class {V}.
Recall that if H is a subgroup of G, and V is a kG-module, then we may consider V as a kH-module, simply by only considering the action of the elements in kH. This module will be denoted by , or often just , and is called the restriction of V to H. It is clear that if , then which is to say that restriction is transitive.
On the other hand, if and V is a kH-module, then is the kG-module induced from H to G. Here, the G action is given by left multiplication on the first factor. We call this process induction and say that is an induced module. Induction is also transitive, which is to say if , then
Since , induction gives rise to a well defined (additive) group homomorphism of the representation rings, which we denote .
Lemma 1.
[Citation6, Corollary 4.3.8 (4)] The image is an ideal in .
The quotient of the representation ring by this ideal gives a measure of the kG-modules which are not induced from kH-modules. We shall now turn our attention to the kG-modules which are not induced from any proper subgroup. That is, we study the quotient which we shall refer to as the ring of non-induced representations. This was considered for cyclic groups by Srihari in [Citation4], where the following is proved:
Theorem 2.
Let G be a cyclic group of order n and k an algebraically closed field of characteristic 0. Then where is the nth cyclotomic polynomial. In particular, where is the number of integers less than n coprime to n.
The main goal of this paper is to prove an analogous result over fields of positive characteristic. We first shall observe that the proof of Theorem 2 provided in [Citation4] actually shows:
Corollary 3.
Let G be a cyclic group of order n and k an algebraically closed field of characteristic p such that . Then
In particular the rank of the ring of non-induced representations is .
In Theorem 24 we will expand this result on cyclic groups to a field of arbitrary characteristic and see that the rank of the ring is unchanged at . Along the way we will discover a convenient, fractal-like basis (see ) of the representation ring which lifts to a basis of the quotient.
2 Cyclic p-groups
Throughout this section, let k be an algebraically closed field of characteristic p > 0. Let and denote by the cyclic group of order q generated by element g.
2.1 The representation ring
Lemma 4.
[Citation1, Proposition 1.1] For k and G as above,
there is a ring isomorphism , defined by sending g to ,
under this isomorphism, a complete set of (pairwise non-isomorphic) indecomposable kG-modules is given by
the trivial module, V1, is the unique irreducible kG-module.
To understand , we first need to understand the structure of multiplication. In other words we need to understand the decomposition of the tensor product into indecomposable parts. The decomposition rule was known to Littlewood, and has been discussed by a number of authors. The following multiplication table is given in the lecture notes of Almkvist and Fossum [Citation1] and is derived by Green [Citation2]:
Proposition 5.
For each and we have the following decompositions. If , then
Otherwise, if then write with . Then
If , then while if , and if and ,
This suggests the construction in [Citation1] which defines, for , elements in denoted (where V0 is interpreted as the zero representation—the zero in ) so that (1) (1)
In particular, if then .
To complete the multiplication rule, Renaud [Citation3] gives a reduction theorem which allows us to express in terms of the tensor product of smaller modules:
Theorem 6
(Reduction Theorem). For , with , where , and : where and .
This allows a general tensor product to be reduced to the tensor product of smaller modules, which can be calculated via repeated applications of Theorem 6, and finally Proposition 5, or similar multiplication rules appearing in [Citation3].
To aid in exposing the structure of , we adjoin elements for subject to . If so, then for each , we have that . With this set up Alkvist and Fossum are able to completely determine the structure of by identifying with a quotient of a polynomial ring. Before we can state their result, we will first state some identities involving the χi and then define some families of polynomials.
Lemma 7.
Let i < j and , then we have and
Proof.
The first fact can be verified by considering the expansion of , while the second is obtained from applications of Proposition 5. □
Now, still following [Citation1], we define some families of polynomials. These are easier to state if we allow ourselves to use the language of quantum numbers which are briefly introduced here.
Definition 8.
The quantum number, for , are polynomials in that satisfy , and . We shall write for the nth quantum number evaluated at X = x.
The first quantum numbers are
Table
Notice that the coefficients are such that . We can also write
In this formulation,
Consider the polynomials in , where , together with . We are now ready to state a structure theorem for .
Theorem 9.
[Citation1, Proposition 1.6] The map defined by induces a ring isomorphism
2.2 Induced representations
The subgroups of G are all cyclic p groups generated by some power of g. Consider , the subgroup of G of order . The group algebra is identified, under the isomorphism in Lemma 4, with . Its indecomposable representations are again each of the form for . Inducing to obtain a kG-module we get:
Lemma 10.
We have an isomorphism of kG-modules
Proof.
Note is cyclic as a kG-module, generated by and has dimension . □
Thus consists of all kG-modules Vi such that i is divisible by . Hence, since G has a unique maximal subgroup, and induction is transitive, consists of all the kG-modules Vi such that i is divisible by p. We have thus shown:
Proposition 11.
Let the cyclic group of order and let k be a field of characteristic p. Then
To describe the ring of non-induced representations, via the isomorphism in Theorem 9 we would aim to write the kG-modules Vi where in terms of the χi. Instead, we shall change basis and give an alternative description of the ideal in terms of modules which are easier to describe by polynomials in the χi.
2.3 Change of basis
Our new basis for shall use the language of quantum numbers and cousins. Observe, from Proposition 5, that tensoring with V2 satisfies a similar relation to the quantum numbers.
Lemma 12.
For r < p,
Moreover,
Lemma 13.
For and , (2) (2)
Proof.
The case a = 0 is trivial. By Lemma 12, for r < p, we know that . Since this are the defining relation for the result is shown for k = 0. Equivalently it holds for k = 1 and a = 1. We now induct on k, with the key observation that, for and , (3) (3) from which the desired result follows by the substitution .
To prove EquationEq. (3)(3) (3) we induct on a. The base case of a = 1 is trivial, and the case a = 2 is covered by the first line of EquationEq. (1)(1) (1) . Now, assuming EquationEq. (3)(3) (3) holds for , we can apply the second line of EquationEq. (1)(1) (1) to obtain
from which we can subtract to obtain EquationEq. (3)(3) (3) . □
This relationship motivates defining a new basis.
Definition 14.
Let and write with . Set
Of course, each can be written in terms of the indecomposable modules Vi using repeated applications of Theorem 9 and Proposition 5. The largest indecomposable appearing in this expression for Ur comes from the term . This largest module appearing in this term corresponds to the largest term in . Using the reduction theorem, Theorem 9, again we see that largest module appearing in our expression for Ur is Vr. In particular, the set is a basis for and the change-of-basis matrix is lower triangular (see ).
We have a ring homomorphism from to simply by taking dimensions. As χi is the difference of the indecomposable modules and , this homomorphism sends χi to 2. In particular, the image of Ur under the dimension homomorphism can be realized by evaluating the polynomials at . As observed earlier, the quantum polynomials are such that , thus the “dimension” of Ur is
Example 15.
Let p = 5, α = 3. We then have that where the third equality follows from the identity , and the final equality follows from Proposition 5, which shows and . Observe that if p = 5 then for any as the factors for make no contribution. Observe that the image of U12 under the dimension map is .
In fact, we are able to give a closed form for the Vr in terms of the Uj. See for a visual representation of this proposition. In order to describe this change of basis, we will introduce a few number theoretic concepts.
Definition 16.
Let be the p-adic expansion of n. We define the cousins of n as and for , the α-anti-cousins of n as
Note that the cousins of n are at most n, and hence the anti-cousins of n are also at most n.
Now, if , then
Hence if then . However, the reverse inclusion also holds, so in fact . Hence we may talk about the anti-cousins of r.
We can now state and prove the change of basis theorem.
Proposition 17.
We have that
Proof.
We note that by Lemma 13. Further and thus the result holds for .
Now, suppose the equation holds for s < r, and write for some β such that . Note that we may permit . In fact we will take two cases:
Case : If or we are done as or which is handled above. Otherwise, by induction can be written as a sum of Uj with . Moreover we can write, using EquationEq. (1)(1) (1)
Here we have used the fact that for all . The result will follow given the claim that
if , then
Case : If then and we are done by the base case. Otherwise, again, using the second case of EquationEq. (1)(1) (1) ,
and again the claims bellow will show that most terms cancel and those that remain are what is desired:
if , then , and
if , then
We thus need to show the three claims, which is an exercise in dealing with cousins and anti-cousins.
Firstly note that the union is disjoint as the first set is larger than and the second set is smaller. Then notice that
where we have used the fact that which can be written as . If then
and we have shown that .
On the other hand, if
and if then
Suppose that and write for and hence . Then
Write for and . Then
□
In particular, note that the Vr are multiplicity-free in the Uj. We can alternatively express where we define as below.
Definition 18.
Let and let . Write for . Set and define
Example 19.
For example, if p = 5 and α = 3 then where
Remark 20.
The aforementioned dimension map enables us to play a number theoretic game. Indeed, recall this map sends and Uj to some product of its digits plus one.
Thus select a prime p and natural number n. Compute all of the Uj appearing in for β such that . Let all the appearing j be collected in a set J. Then for each such , write out the p-adic digits of j – 1 as . Finally,
This is reminiscent of the “pick-a-number” trick played by schoolchildren. In fact, we may relax the condition that p is prime in Definition 18 and the trick still works, in particular we may use the usual base 10 expansion. In this situation, however, we lose the representation theoretic interpretation of this fact.
Example 19
(continued). Continuing from our example above where p = 5, α = 3, and n = 62 then
We then write
Observe that as claimed.
The purpose of this basis, apart from Theorem 9, is that it allows us to write down the ideal of induced modules very simply.
Proposition 21.
The ideal of induced modules is principal. To be exact,
Proof.
Let . Note and each by definition. Hence
where the last equality is by Proposition 11. But these have the same rank and hence we have equality. □
We are thus able to give an explicit structure to the non-induced representation ring, analogous to Theorem 2.
Corollary 22.
The ring of non-induced representations of Cq over a field of characteristic p is isomorphic to and thus has rank .
3 General cyclic groups
In general a cyclic group is of the form , where and with . Let k be an algebraically closed filed of characteristic p. It is well known that the representation ring is the tensor product of the representation rings and , so our task is to understand the ideal generated by induced representations. Subgroups of G are of the form where and . In particular, for some and for some . An indecomposable kH-module N is of the form where Ni is a kHi module. Inducing we get . In particular:
Proposition 23.
Let G be a cyclic group and k a field of characteristic p. Suppose G is of order n = mq, where and . Let be the complete set of indecomposable kCm-modules and let be the complete set of indecomposable kCq-modules. Then which is the ideal generated by and .
It follows then that:
Theorem 24.
Let G be a cyclic group of order n = mq, where and . The ring of non-induced representations is isomorphic to or equivalently
In particular,
Note that the ranks of both the ring of non-induced representations and the ideal of induced representations are independent of the characteristic of the field, even though these sets may differ from field to field.
Acknowledgments
The authors are grateful to Dr. Stuart Martin for his guidance and support and to the reviewer for insightful and detailed comments on an earlier draft of this paper.
Additional information
Funding
References
- Almkvist, G., Fossum, R. (1978). Decomposition of exterior and symmetric powers of indecomposable Z/pZ-modules in characteristic p and relations to invariants. In: Séminaire d’Algèbre Paul Dubreil, 30ème année (Paris, 1976–1977), volume 641 of Lecture Notes in Mathematics. Berlin: Springer, 1–111.
- Green, J. A. (1962). The modular representation algebra of a finite group. Illinois J. Math. 6:607–619. DOI: 10.1215/ijm/1255632708.
- Renaud, J.-C. (1979). The decomposition of products in the modular representation ring of a cyclic group of prime power order. J. Algebra 58(1):1–11. DOI: 10.1016/0021-8693(79)90184-4.
- Srihari, R. (2021). Non-induced representations of finite cyclic groups. arXiv:2110.07987.
- Sutton, L., Tubbenhauer, D., Wedrich, P., Zhu, J. (2023). SL2 tilting modules in the mixed case. Selecta Math. (New Ser.). 29:39. DOI: 10.1007/s00029-023-00835-0.
- Webb, P. (2016). A Course in Finite Group Representation Theory, volume 161 of Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press.