## The Group Algebra: Another Perspective on Representations

In this post, we introduce the group algebra as another way to view representations and illustrate the usefulness of this approach by studying representations of cyclic groups by elementary ring theory. This is the second part of a series that started with this post. The numbering is consecutive, i.e. when I refer to some result 1.x, then this is written in that post.

## A Review of Modules in Linear Algebra

We will begin by reviewing what modules over the polynomial ring $K[X]$ mean in terms of linear algebra, as this will be helpful for motivating the module-theoretic perspective on representations.

Let $K$ be a field and $V$ be a (say finite-dimensional) vector space over $K$ and let $A$ be a $K$-linear endomorphism of $V$ (so after choosing a basis, we can think of $A$ as a square matrix.) Suppose we wish to understand $A$, e.g. find a basis such that $A$ has a particularly nice matrix representation with respect to that basis.

From the pair $(V,A)$, we can define a $K[X]$-module structure on $V$ by defining $K[X]$-scalar multiplication via $(\sum_{i=0}^n \lambda_i X^i)v= \sum_{i=0}^n \lambda_i A^i(v)$, where $A^i(v)$ means that we apply $A$ to $v$ $i$ times.

Conversely, given a $K[X]$-module $M$, we can think of it as a $K$-vector space $V=M$ by restricting the scalar multiplication to $K \subset K[X]$. We also get a $K$-linear endomorphism of $V$ given by multiplication with $X$.

These constructions are inverse to each other: Going from a pair $(V,A)$ to the associated $K[X]$-module, multiplication with $X$ is precisely the endomorphism we started with.
For a $K[X]$-module, because every polynomial is a linear combination of powers of $X$, we only need to know $K$-scalar multiplication and how $X$ acts to reconstruct the $K[X]$-scalar multiplication.

Thus, we can think of pairs $(V,A)$ of vector spaces equipped with an endomorphism as $K[X]$-modules and we can translate between notions for endomorphisms and notions for $K[X]$.

Here’s an excerpt of a possible dictionary one might use for translation:

Pairs $(V,A)$ of vector spaces and endomorphisms $K[X]$-modules $M$
Subspaces $W$ that are invariant under $A$, i.e. $A(W) \subset W$ $K[X]$-submodules
For pairs $(V,A)$, $(W,B)$, a $K$-linear map $f:V \to W$ such that $f \circ A = B \circ f$ $K[X]$-linear maps
For pairs $(V,A)$, $(W,B)$, a $K$-linear isomorphism $f:V \to W$ such that $A =f^{-1} \circ B\circ f$ $K[X]$-linear isomorphisms
Eigenspace of $A$ associated to $\lambda$ The submodule of $M$ consisting of all elements annihilated by $X-\lambda$
The minimal polynomial of $A$ The unique monic generator of the annihilator ideal associated to $M$, i.e. the unique monic polynomial $P \in K[X]$ of minimal possible degree such that $P(v)=0$ for all $v \in V$

One could add many more rows.

The important part for finding e.g. a nice basis for $A$ is the third row: If we can find a module that is isomorphic to the $K[X]$-module associated to $(V,A)$ such that we write down a basis such that we get a nice matrix representation for multiplication with $X$, then the third row tells us that this is also a possible matrix representation for $A$!

Now as $K[X]$ is a PID, finitely generated modules over $K[X]$ (in particular those modules that are finite-dimensional over $K$) are very well-understood. There’s a structure theorem that tells us that they are finite direct sums of modules of the form $K[X]/(f)$, where $f \in K[X]$. (One can also put some conditions of $f$ to make them unique.) From there, one can easily deduce existence and uniqueness of canonical forms such as the Jordan normal form, the Frobenius normal form, and also properties of the minimal polynomial such as Cayley-Hamilton.

## The Group Algebra

Let $G$ be a group and $V$ be a representation of $G$ over a field $K$. By abuse of notation, we denote the action of an element $g \in G$ on a vector $v$ by $gv$. Let $\lambda \in K$, $g \in G$ and $v \in V$, then there seems to be only one sensible way to define what we mean by $(\lambda+g)v$, clearly, this has to be $\lambda v + gv$ if any sensible rules hold.
But what is the expression $\lambda+g$ supposed to mean? After all, we can’t just add an element of a group and an element of a field.

Or can we?

Definition 2.1 Let $G$ be a group (we denote the neutral element by $1$) and $K$ be a field, then the group algebra $K[G]$ is defined as the vector space over $K$ freely generated by the elements of $G$. We denote the elements of the basis corresponding to elements in $G$ by the same symbols. Group multiplication $G \times G \to G$ defines a multiplication of basis elements that we extend linearly in each argument. This defines a multiplication $K[G] \times K[G] \to K[G]$ that extends the multiplication of $G$ and makes $K[G]$ into a $K$-algebra.

We leave the verification of the ring axioms to the reader. Intuitively, the group algebra $K[G]$ consists of finite formal linear combinations of elements in $G$, i.e. we can write them as $\sum_{g\in G} \lambda_g g$ where all but finitely many coefficients vanish. To compute a product of two such expressions, we expand using distributivity and then use the group multiplication to multiply the products of the basis vectors.

Lemma 2.2 For every representation $V$ of $G$ over $K$, there is a unique way to define a $K[G]$-module structure that extends the given group action and $K$-scalar multiplication, conversely, every $K[G]$-module gives rise to a representation in a canonical way. Using this identification, a morphism of representations corresponds precisely to a $K[G]$-linear map.

Proof Given a representation $V$, $v \in V$ and an element $\sum_{g \in G}\lambda_g g \in K[G]$ (this means the sum is finite), the only possible way to define $(\sum_{g \in G}\lambda_g g)v$ such that the module axioms hold and $K \subset K[G]$ acts via the given scalar multiplication and $G \subset K[G]$ acts via the group action is to set $(\sum_{g \in G}\lambda_g g)v=\sum_{g \in G} \lambda_g(g(v))$.
Note that the RHS is just defined in terms of the group action and the vector space structure. One checks that this defines a module structure, using the linearity of the group action.
Conversely, if we have a $K[G]$-module $V$, we can turn $V$ into a $K$-vector space by restricting scalars to the subring $K \subset K[G]$.
We can also restrict the scalar multiplication to the subset $G \subset K[G]$. Associativitiy and unitality in the axioms for a module imply that this defines a group action.
Finally, group action and vector space operations are compatible due the equality $g\lambda = \lambda g$ in $K[G]$ and associativity and distributivity of the scalar multiplication.
The correspondence of morphisms of representations and $K[G]$-linear maps follows by similar arguments: the idea is that every element in $K[G]$ is a $K$-linear combination of elements in $G$, so it’s enough that a map commutes with $K$-scalar multiplication and the $G$-action to see that it preverses $K[G]$-scalar multiplication.

The relation between the description of linear-algebraic objects as $K[X]$-modules and representations as $K[G]$-modules is as follows:
In the former, we looked at any endomorphism without any condition, but only at one endomorphism at a time, that’s why the $K$-algebra of choice to describe such an object is the polynomial algebra $K[X]$ which is generated freely by one element $X$, i.e. we don’t impose any relation.
For group representations, we consider many endomorphisms (actually automorphisms) at once, subject to all the relations that hold in the group $G$. That’s why $K[G]$ isn’t necessarily generated by one element and by inheriting the multiplication from $G$, $K[G]$ also inherits all the relations between elements in $G$.

With lemma 2.2, we have added another characterization of representations to our collection (cf. lemma 1.3).
If one is really careful with the constructions in the lemma, one sees that it defines an isomorphism of categories which is just a formalization of the inuition that representations and $K[G]$-modules are exactly the same, just with a different point of view.

Let’s also mention the universal property of the group algebra, which can be quite useful even if you’re not a category-aficionado and implies lemma 2.2 as a special case.

Lemma 2.3 Let $K$ be a field and $G$ be a group, then for any $K$-algebra $A$ and every group homomorphism $\varphi:G \to A^\times$ to the group of units, there is a unique $K$-algebra homomorphism $K[\varphi]:K[G] \to A$ that extends $\varphi$.

Proof The same argument as in lemma 2.2 applies: The only way we can define an extension that is $K$-linear is by sending $\sum_{g \in G} \lambda_g g$ to $\sum_{g \in G} \lambda_g \varphi(g)$, this just follows from the fact that $G$ is a basis for $K[G]$. One checks that because $\varphi$ is a group homomorphism and the multiplication in $K[G]$ is inherited from $G$, this also respects the unit element and multiplication, so it is a $K$-algebra homomorphism.

To see how this implies one direction in lemma 2.2, note that for a vector space $V$, the endomorphism ring $\mathrm{End}_K(V)$ is a $K$-algebra (here multiplication is composition) and for the group of units, we get $\mathrm{End}_K(V)^\times=\mathrm{GL}(V)$.
Thus if we have a group homomorphism $\varphi:G \to \mathrm{GL}(V)$, the universal property tells us that there is a unique $K$-algebra homomorphism $K[\varphi]: K[G] \to \mathrm{End}_K(V)$. Now we can define a module structure by uncurrying:
Define for $r \in K[G]$ and $v \in V, r \cdot v:=K[\varphi](r) (v)$
The fact that $K[\varphi]$ is a ring homomorphism translate neatly into the module axioms and $K$-linearity gives us that the $K$-scalar multiplication on $V$ remains the same.

Having this perspective is quite useful, because there are a lot of constructions for modules that now carry over directly to representations: we can form direct sums and products of representations, quotients etc. and all the properties of those constructions that we know to hold for modules also hold in this case. For example, subrepresentations as defined in 1.18 are the same as $K[G]$-submodules.

## Representations of Cyclic Groups

We will use the accessible example of cyclic groups to show how the structure of the group algebra contains information about representations.

Lemma 2.4 If $G=\langle g \rangle$ is cyclic of order $n$, then $K[X]/(X^n-1) \cong K[G]$, where the isomorphism sends $X$ to $g$.

Proof One can take the map $K[X] \to K[G]$ that sends $X$ to $g$ and compute the kernel. As $g$ generates $G$, so every element in $K[G]$ is a polynomial in $G$, which implies the surjectivity of that map.
Let’s instead show that both satisfy the same universal property:

• If $A$ is any $K$-algebra, then a $K$-algebra homomorphism $K[G] \to A$ corresponds to a group homomorphism $G \to A^\times$ by lemma 2.3.
Since $G=\langle g\rangle$ is generated by $g$, a group homomorphism is uniquely determined by where it sends $g$. As $g$ has order $n$, we can send it precisely to those elements $a \in A$ such that $a^n=1$ (This condition automatically give us that $a\in A^\times$). Thus $K[G]$ has the following universal property for this choice of $G$:
For any $K$-algebra $A$ and every element $a \in A$ such that $a^n=1$, there’s a unique $K$-algebra homomorphism $K[G] \to A$ that sends $g$ to $a$.
• If $A$ is still any $K$-algebra, then by the homomorphism theorem, a $K$-algebra homomorphism $K[X]/(x^n-1) \to A$ is the same as a $K$-algebra homomorphism $K[X] \to A$ that sends $x^n-1$ to $0$. A $K$-algebra homomorphism $K[X] \to A$ is uniquely determined by where it sends $X$ and we can send it to every element in $a \in A$, but due to the condition that $x^n-1$ must be sent to $0$, for homomorphisms from $K[x]/(X^n-1)$, we can send $X$ to precisely those elements $a \in A$ such that $a^n=1$.
Thus we have proved:
For any $K$-algebra $A$ and every element $a \in A$ such that $a^n=1$, there’s a unique $K$-algebra homomorphism $K[X]/(X^n-1) \to A$ that sends $X$ to $a$.

At this point, to finish the proof, one can either mumble something about the Yoneda lemma with a smug expression or one can make the usual argument why two objects with the same universal property are isomorphic. (This should be familiar to anyone who has seen e.g. why the tensor product is unique)
Let’s do the latter: Because of the universal property of $K[X]/(X^n-1)$, we can find a unique $K$-algebra homomorphism $\varphi:K[X]/(X^n-1)$ that sends $X$ to $g$. This also works in the other direction: we get a unique $K$-algebra homomorphism $\theta: K[G] \to K[X]/(X^n-1)$. Then $\varphi \circ \theta$ is a $K$-algebra homomorphism $K[G] \to K[G]$ that sends $g$ to itself.
By the universal property, there can only be one such homomorphism, but we know that the identity is an example. Therefore $\varphi \circ \theta = \mathrm{id}$.
By the same argument, $\theta \circ \varphi = \mathrm{id}$.

Exercise Do a similar argument to determine the group algebra $K[G]$ where $G$ is a product of two cyclic groups as a quotient of the polynomial ring in two variables. Why can this approach not work in this form for nonabelian groups?

We can use this to describe the representations of cyclic groups by decomposing $K[X]/(X^n-1)$ with the Chinese remainder theorem. If we do that, we will end up with a product of rings, which is one of the reasons why it’s useful to think about modules over products of rings. If $R$ and $S$ are rings, then for every pair $(M, N)$ where $M$ is a $R$-module and $N$ is a $S$-module, we can make $M \oplus N$ into an $R \times S$-module by having $R$ act on the left factor and $S$ on the right factors. The following lemma tells us that every $R \times S$-module arises in such a way:

Lemma 2.5 If $R$ and $S$ are rings, then every $R\times S$-module is isomorphic to a direct sum $M \oplus N$ where $M$ is a $R$-module and $N$ is a $S$-module such that $R\times \{0\} \subset R \times S$ just acts on the first factor and $\{0\} \times S \subset R \times S$ just on the second one.
$M$ and $N$ are canonically determined.

Proof Let $X$ be a $T= R \times S$-module. Consider the central idempotents $e:=(1,0), f:=(0,1)$. Then $Te=eT=R \times \{0\}, Tf=fT=\{0\} \times S$ and $Te \cap Tf= \{0\}, Te+Tf=T$. Then set $M=eX$ and $N=fX$, we get that $eX \cap fX = 0, eX+fX=X$, so $X = eX \oplus fX = M \oplus N$. It’s clear that $S$ acts trivialy on $eX$ and $R$ acts trivially on $fX$ which shows the statement. We can use the same $e$ and $f$ for all modues, which makes this decomposition canonical.

(Note: The above construction can be enhanced into a category equivalence of $(R\times S)\textrm{-}\mathbf{Mod}$ and $R\textrm{-}\mathbf{Mod} \times S\textrm{-}\mathbf{Mod}$)

Now let’s finally describe the representations of cyclic groups over $\mathbb{C}$!

If $G$ is cyclic of order $n$, generated by $g$, then by Lemma 2.4, $\mathbb{C}[G] \cong \mathbb{C}[X]/(X^n-1)$, where the isomorphism sends $g$ to $X$. Let $\zeta_n = \exp(2\pi i/n)$, then we have the factorization $X^n-1=\prod_{k=0}^{n-1}(X-\zeta_n^k)$, so by the Chinese remainder theorem, we get
$\mathbb{C}[X]/(X^n-1) \cong \prod_{k=0}^{n-1} \Bbb{C}[X]/(X - \zeta_n^k)$
Note that this is an isomorphism both of rings, but also of $K[X]$-modules, which means that we send $X$ to $X$ in each component.

Therefore, by lemma 2.5, every $\mathbb C[G]$-module is a direct sum of $\Bbb{C}[X]/(X - \zeta_n^k)$-modules where $k$ varies. But for each $k$, we have $\Bbb{C}[X]/(X-\zeta_n^k) \cong \Bbb{C}$ via sending $X$ to $\zeta_n^k$. Modules over a field $F$ are easy to understand: they are just a (possibly infinite) sum of $F$. Thus we get that every $\Bbb{C}[X]/(X-\zeta_n^k)$-module is a direct sum of copies of $\Bbb{C}[X]/(X-\zeta_n^k) \cong \Bbb{C}$.

Through all the isomorphisms, we have kept track where the generator $g$ is sent: we send it first to $X$, then $X$ to $X$ (modulo something different in the CRT isomorphism), then $X$ to $\zeta_n^k$. This means that $g$ acts on the (one-dimensional) $\mathbb{C}[G]$-module corresponding to $\Bbb{C}[X]/(X-\zeta_n^k)$ by multiplication with $\zeta_n^k$. And in general, all modules are a direct sum of such modules (for different $k$), this means that $G$ really acts as a diagonal matrix where all the diagonal entries are $n$-th roots of unity. (Even for infinite-dimensional representations.)

We can also say something about a more general setting. Suppose that the characteristic of $K$ does not divide $n$. Then $X^n-1$ has distinct roots, so we can factorize $X^n-1=f_1 \cdot f_k$ where all $f_i$ are irreducible and pairwise distinct. Doing the same Chinese remainder theorem argument we get that:

$K[G] \cong \prod_{i=1}^k K[X]/(f_i)$. Now as the $f_i$ are irreducible, $K[X]/(f_i)$ will be a field and the dimension over $K$ will be equal to the degree of $f_i$, so we can again appeal to linear algebra and get the following result:

Lemma 2.6 Let $G$ be a cyclic group of order $n$ and let $K$ be a field such that the characteristic of $K$ does not divide $n$ and let $X^n-1=f_1 \cdot \ldots \cdot f_k$ be the factorization of $X^n-1$ into irreducibles. Then for every $i$, There is a $K[G]$-module corresponding to $f_i$ such that the dimension of the module is equal to the degree of $f_i$ and in general, every $K[G]$-module is a direct sum of such modules.

Example 2.7 For $K=\mathbb{R}$, the only factors that can occur for $X^n-1$ are $(X-1),(X+1)$ and quadratic factors of the form $X^2-2\cos(2\pi k/n)+1$. By choosing a clever basis for the modules corresponding to the quadratic factors, one obtains rotation representations as in example 1.6 (though the angle of rotation will be $2 \pi k/n$ instead of $2 \pi/n$ in the example.)

Example 2.8 For $K=\mathbb{Q}$, the factorization of $X^n-1$ is well-known, it factors as $X^n-1=\prod_{d \mid n} \Phi_d(X)$, where $\Phi_d(X)$ is the $d$-th cyclotomic polynomial. Thus the number of irreducible representations of $G$ over $\Bbb{Q}$ is equal to the number of divisors of $n$ and for each divisor $d$, there’s an irreducible representation of degree $\varphi(d)$.

We can also use this approach to say something about representations of cyclic groups in the case where the characteristic divides the group order. For simplicity, we just treat the case that $K$ has characteristic $2$ and $G$ is cyclic of order $2$. The factorization of $X^2-1$ is just $(X-1)^2$ and we get
$K[G] \cong K[X]/(X-1)^2$. Here the Chinese remainder theorem doesn’t help.
But one can apply the structure theorem for finitely generated modules over a PID mentioned in the first section, noting that every $K[X]/(X-1)^2$-module is also a $K[X]$-module to get that every finitely generated $K[X]/(X-1)^2$-module is a direct sum of copies of $K[X]/(X-1)$ and $K[X]/(X-1)^2$. If we look at the action of $X$ (which corresponds to the generator of $G$) on these modules, we see that it acts by multiplication with $1$ on $K[X]/(X-1)$, i.e. via the identity (we say “trivially”).
The action on $K[X]/(X-1)^2$ is more interesting: Using the basis given by (the residue classes of) $1$ and $X-1$, we see that the action of $X$ corresponds to a transvection action $g\begin{pmatrix}a\\b\end{pmatrix}=\begin{pmatrix}a+b\\b\end{pmatrix}$ where $g$ is a generator of $G$ (cf. example 1.7)

We have seen how the algebraic structure of the group algebra can help to understand representations and in our example of cyclic groups, it turned out that when the conditions for Maschke’s theorem are satisfied, the group algebra is a product of fields.
We will investigate the structure of the group algebra in more detail in future posts and see that this was not a coindidence.

## A First Impression of Group Representations

This blog post provides mostly some motivation, basic definitions and examples for group representations, up to Maschke’s theorem. Only familiarity with linear algebra and elementary group theory is required for understanding the main part of this post. However, there are some examples for readers with more background which can be safely ignored. The same is true for all categorical remarks.

This will be the first part of a series.

## Introduction

The reason to care about groups is because they act on objects. Group actions arise in many different contexts and can provide insight (into the objects as well as into the groups which act on them).

The basic definition of a group action is an action on a set. A set can be thought of as an object without any structure except size (i.e. cardinality). For finite sets, this is more structure than it might seem: we can use counting and divisibility arguments which leads to results such as strong results on p-groups such as the Sylow theorems, the easy-to-prove but ubiquitous orbit-stabilizer theorem or Burnside’s lemma, which has nontrivial combinatorial implications.

Group actions are everywhere in pure mathematics and frequently the object which is acted upon has more structure than just being a set, e.g. a topological space. In these situations, the natural thing to investigate (or to require, if you’re writing a definition) is some compatibility between the group action and the structure on the object. In the example of a topological space, one would require the action to be continuous.

A common structure are vector spaces. Their usefulness seems to stem from the fact that they are both very well understood and still give one a lot of tools to work with: we have duals, tensor products, traces, determinants, eigenvalues etc. Thus, a technique that is used sometimes is “linearization” in which one tries to reduce a problem to linear algebra or at least gain insight by using linear-algebraic methods. Examples are the tangent space of a smooth manifold or variety (and for smooth maps the derivative) or the linearization of a nonlinear ODE.

Representations of groups can be thought of as a linearization of group theory, or more precisely as a linearization of group actions: One can be define them as actions of groups on vector spaces that respect the linear structure. They arise with an ubiquity comparable to (nonlinear, merely “set-theoretic”) group actions. When they do, they are arguably even more useful, since vector spaces have a lot more structure than sets, as described in the previous paragraph.

## Group Representations

Definition 1.1 Let $K$ be a field. Then for a group $G$, a ($K$-linear) representation on a $K$-vector space $V$ is a map $\varphi: G \times V \to V$ that satisfies:

• $\forall v \in V: \varphi(e,v)=v$ where $e\in G$ is the neutral element.
• $\forall g,h \in G, v \in V: \varphi(gh,v)=\varphi(g,\varphi(h,v))$
• $\forall g \in G, v,w \in V : \varphi(g,v+w)=\varphi(g,v)+\varphi(g,w)$
• $\forall g \in G, \lambda \in K, v \in V: \varphi(g,\lambda v)=\lambda \varphi(g,v)$

Definition 1.2 In the above situation, the degree or dimension of the representation is the dimension of $V$ over $K$.

Note that the first two axioms state that a representation is a group action and the other two axioms state that for any fixed $g \in G,$ the map $V \to V, v \mapsto \varphi(g,v)$ is $K$-linear. This map is also invertible, since the axioms imply that $v \mapsto \varphi(g^{-1},v)$ is an inverse. By the second axiom, we also get that the map $G \to \mathrm{GL}(V), g \mapsto (v \mapsto \varphi(g,v))$ is a group homomorphism. So by using a currying argument, we have seen that every group representation gives rise to a group homomorphism $G \to \mathrm{GL}(V)$.

Conversely, given a group homomorphism $\rho:G \to \mathrm{GL}(V)$, we can uncurry to get a representation on $V$ by setting $\varphi(g,v) := \rho(g)(v)$

Thus we have another characterization, which allows us to apply concepts defined for group homomorphisms like kernel/image etc, whereas the first characterization allows us to apply notions defined for group actions.

While we’re at it, we may as well add a rephrasing in categorical language of the last characterization and get the following

Lemma 1.3  Let $K$ be a field, then for a group $G$ and a vector space $V$ over $K$, the following data are equivalent:

• A representation of $G$ on $V$ as in definition 1.1
• A group homomorphism $G \to \mathrm{GL}(V)$
• A covariant functor from $G$ considered as a one-object category to the category $K\textrm{-}\mathbf{Mod}$ of $K$-vector spaces that sends the single object in $G$ to $V$

This is the direct analog of equivalent characterizations of group actions: we can also view them as homomorphisms to the group of permutations of a set or as functors from a group to the category of sets.

(Viewing a group as a category works like this: Let $G$ be a group, then define a category $\mathcal{C}$ with a single object $*$ and set $\mathrm{Hom}_{\mathcal{C}}(*,*)=G$. Composition $\mathrm{Hom}_{\mathcal{C}}(*,*) \times \mathrm{Hom}_{\mathcal{C}}(*,*) \to \mathrm{Hom}_{\mathcal{C}}(*,*)$, i.e. $G \times G \to G$ is just group multiplication. Associativity and having an identity follows from the group axioms.)

The last characterization allows one to apply constructions from category theory, such as composing representations with other functors, but we will not use it in this post except as an alternative descrition.

Remark 1.4 One can also consider representations of monoids or the case where $K$ is any ring and $V$ is a module.

Remark 1.5 We have defined only left representations. Reversing the chirality in the definitions is straightforward and gives rise to the notion of right representations.

Now for some examples.

As a zeroth example, note that representations of the trivial group are just vector spaces.

Example 1.6 Let $G=\langle g \rangle$ be a finite cyclic group of order $n$ with a fixed generator $g$, then a homomorphism from $G$ to any group $H$ is determined by where it sends $g$ and we can send $g$ to precisely those elements $h \in H$ such that $h^n=1$, so a representation of $G$ is just a linear automorphism that satisfies this equation.
For $K=\mathbb{R}$, one can take for example a rotation matrix $\begin{pmatrix} \cos(2\pi/n) & -\sin(2\pi/n) \\ \sin(2\pi/n) & \cos(2\pi/n) \end{pmatrix}$ to define a two-dimensional representation of $G$.
For $K=\mathbb{C}$ one can take $\zeta_n=\exp{2\pi i/ n} \in \mathbb{C}^\times = \mathrm{GL}_1(\mathbb{C})$ to get a one-dimensional representation of $G$. Both representations correspond to having $g^k$ act by a counterclockwise rotation of $2\pi k/n$ degrees. The former can be obtained from the latter by restricting scalars from $\mathbb{C}$ to $\mathbb{R}$.

Example 1.7 Let $G=K$, the additive group of $K$, then $G$ acts on $V= K^2$ via transvections: $\phi\left(\lambda,\begin{pmatrix}a\\b\end{pmatrix}\right)=\begin{pmatrix}a+b\lambda\\b\end{pmatrix}$

Example 1.8 If $X$ is a $G$-set (a set equipped with an action from $G$), then we can consider a vector space $V$ such that the basis elements $e_x$ are indexed by $X$. We can then define the action on the basis elements by setting $\varphi(g,e_x)=e_{gx}$. This permutation of the basis elements extends uniquely to a linear automorphism of $V$ and we get a respresentation, called the permutation representation associated to the group action.
From a categorical standpoint, if we view $G$-sets as functors $G \to \mathbf{Set}$ and representations as functors $G \to K\textrm{-} \mathbf{Mod}$, then this construction is just composing a group action with the free module functor $\mathbf{Set} \to K\textrm{-} \mathbf{Mod}$. (Thus this construction is also functorial with the notion of morphisms of representations to be defined later.)

Example 1.9 Let $V$ be any $K$ vector space. Let $G=\mathrm{GL}(V)$. Then the identity $G \to \mathrm{GL}(V)$ defines a representation. This corresponds to the natural action of $G$ on $V$ that comes from the definition of $G$ as $K$-linear automorphisms.

Example 1.10 Generalizing the last example, all classical matrix groups such as $\mathrm{SL}_n$, $\mathrm{O}_n$, $\mathrm{U}_n$, $\mathrm{Sp}_{2n}$ etc. are defined as subgroups of some general linear group, so that the subgroup inclusion defines a representation.

Example 1.11 Let $G$ be a finite group and let $p$ be a prime number. Suppose $H$ is a normal abelian subgroup of exponent $p$. Then $H$ is a $K=\mathbb{F}_p$ vector space and the conjugation action of $G$ on $H$ is $\mathbb{F}_p$-linear (this is automatic: any group homomorphism between vector spaces over $\mathbb{F}_p$ is $\mathbb{F}_p$-linear.), thus we obtain a $\mathbb{F}_p$-linear representation.

Example 1.12 Let $L/K$ be a Galois extension. Then $G= \mathrm{Gal}(L/K)$ acts by definition on $L$ by $K$-linear field automorphisms. We can just forget the “field automorphism” part and consider $V=L$ just as a $K$-vector space, then we get a representation $\mathrm{Gal}(L/K) \to \mathrm{GL}_K(L)$.
If $L$ and $K$ are number fields with rings of integers $\mathcal{O}_K$ and $\mathcal{O}_L$ and $\mathfrak{p}$ is a non-zero prime ideal in $\mathcal{O}_K$, then then $G$ acts on $\mathcal{O}_L/\mathfrak{p}\mathcal{O}_L$, giving a $\mathcal{O}_K/\mathfrak{p}$-linear representation.

Example 1.13 Let $G=S_n$ and let $W$ be any vector space over $K$, then $G$ acts on $V = W \otimes_K \dots \otimes_K W$ where we tensor $n$ copies of $W$. Then $G$ acts on $V$ by permuting the components of the tensors. Explicitly, if $w_1 \otimes w_2 \otimes \dots \otimes w_n$ is an elementary tensor, then we can define the result of the action of $\sigma \in S_n$ on that to be $w_{\sigma(1)} \otimes w_{\sigma(2)} \otimes \dots \otimes w_{\sigma(n)}$.

Example 1.14 Let $A$ be a finite-dimensional $K$-algebra, then the group of units $G=A^\times$ acts on $A$ by conjugation and this action is $K$-linear, and thus we obtain a representation of the unit group on the underlying vector space of the algebra. (If $K=\mathbb{R}$ and $A=\mathbb{H}$, then a suitable restriction of the domain and codomain of this representation gives a description of the Hopf fibration.)

Example 1.15 In the same spirit as the last example, let $G$ be an algebraic group over $K$. Let $V= \mathfrak{g}=T_e(G)$ be the Lie algebra of $G$. For any $g \in G$, the conjugation map $c_g:G \to G, a \mapsto gag^{-1}$ is a smooth automorphism of $G$, so we can take the derivative at the identity and get a linear automorphism $\mathrm{ad}(g)=D_e(c_g): V \to V$. The map $g \mapsto \mathrm{ad}(g) \in \mathrm{GL}(V)$ is a representation, called the adjoint representation of $G$. (The same construction works verbatim for Lie groups.)

Example 1.16 Let $M$ be a smooth connected manifold and let $\pi:E \to M$ be a vector bundle with a flat connection. Let $x \in M$ be a base point and set $G=\pi_1(M,x)$ and $K=\mathbb{R}$.  If we take a smooth loop $\gamma: S^1 \to M$ based at $x$, parallel transport along that loop defines an automorphism of $V=T_xM$.
The flatness condition implies that this automorphism depends only on the homotopy class of $\gamma$ and by smooth approximation, every homotopy class of continuous loops may be represented by a smooth loop, thus we obtain the holonomy representation $\pi_1(M,x) \to \mathrm{GL}(T_xM)$.  It turns out that this representation uniquely determines the flat bundle.

As is common practice with group actions, if $\rho:G \to \mathrm{GL}(V)$ is a representation, we also write just $gv$ for $\rho(g)v$ or $g$ for the map $\rho(g)$. By further abuse of notation, we will also just call $V$ a representation of $G$ where the action is clear from the context.

Definition 1.17 If $V$ and $W$ are $K$-linear representations of a group $G$ for some field $K$, then a morphism of representations (also called intertwining operator) from $V$ to $W$ is a $K$-linear map $f:V \to W$ such that $\forall g \in G, v \in V: f(gv)=gf(v)$. (i.e. $f$ is $G$-equivariant.)

Note that if we consider representations as functors, then a morphism of representations is just a natural transformation. Indeed, for any $g \in G$, naturality with respect to $g$ as a morphism is precisely the requirement that $f(gv) = gf(v)$ for all $v$.

Example 1.17 In the situation of example 1.13, let $f \in \mathrm{GL}(W)$, then we can define $f^{\otimes n}$ by acting on each factor: $f^{\otimes n}(v_1 \otimes \dots \otimes v_n)=f(v_1) \otimes \dots \otimes f(v_n)$ for an elementary tensor. Since we act in the same way in each component, this commutes with permutation of the factors, thus $f^{\otimes n}: V \to V$ defines a morphism of the representation of $S_n$  given by permuting the factors in the tensor product.

Definition 1.18 If $V$ is a representation of $G$, then a subspace $W$ that is $G$-invariant (i.e. $gW \subset W$ for all $g \in G$) defines again a representation of $G$. These subspaces are called subrepresentations of $V$.

If $W$ is a subrepresentation of $V$, then the inclusion is a morphism of representations, which gives a (quite general) family of examples for morphisms.

Example 1.19 In the situation of example 1.7, consider the subspace of $K^2$ spanned by $\begin{pmatrix}1\\0\end{pmatrix}$, this is a subrepresentation because $\varphi\left(\lambda,\begin{pmatrix}a\\0\end{pmatrix}\right)=\begin{pmatrix}a\\0\end{pmatrix}$.

Example 1.20 Given a morphism of representations, the kernel and the image are subrepresentations of the domain and codomain, respectively.

Example 1.21 In the situation of example 1.8, suppose that $Y \subset X$ is a sub $G$-set, i.e. we have $gY \subset Y$ for all $g \in G$, then $Y$ is itself a $G$-set and if we apply the same construction to $Y$, the resulting vector space is a subspace of $V$ in a canonical way, and so also a subrepresentation. (This is a special case of the mentioned functoriality of this construction.)
If $X$ is finite, another subrepresentaion is given by the span of $\sum_{x \in G} e_x$.

We now come to the first substantial theorem about representations.

Theorem 1.22 (Maschke) Let $G$ be a finite group and suppose that the order $|G|$ is invertible in $K$. Then if $V$ is a finite-dimensional representation and $W \leq V$ is a subrepresentation, then there exists another subrepresentation $C$ such that $V=W\oplus C$,.

Proof By linear algebra, we can find a $K$-linear projection $\pi: V \to W$, i.e. we have that $\mathrm{im}(\pi)\subset W$ and $\pi$ is the identity on $W$. We have that $V= W \oplus \mathrm{ker}(\pi)$, but of course, $\pi$ will not be a morphism of representations in general. The idea is to “average” $\pi$ to get another projection onto $W$ that is a morphism of representations.
Set $\pi'(v)=\frac{1}{|G|}\sum_{g \in G}g\pi(g^{-1}v)$ (Here we use that $|G|$ is invertible in $K$). This will be $K$-linear again. This is a morphism of representations, as for $h \in G$, we have $\pi'(hv)=\frac{1}{|G|} \sum_{g \in G}h\pi(g^{-1}hv)=\frac{1}{|G|}\sum_{g \in G} hg\pi(g^{-1}v)=h(\frac{1}{|G|} \sum_{g \in G} g\pi(g^{-1}v))=h\pi'(v)$. Since $W$ is a subrepresentation and $\pi$ is the identity on $W$, $\pi'$ is also the identity on $W$ (it is crucial that we divided by $|G|$ for this step.) and the image is also contained in $W$, so $\pi'$ is still a projection onto $W$.
Therefore, the kernel is a complement of $W$ and as $\pi'$ is a morphism of representations, the kernel is a subrepresentation.

Example 1.23 To show that the assumptions in Maschke’s theorem are necessary, consider the transvection representation of the additive group of $K$ on $K^2$ described in example 1.7 and 1.19. Here $K$ acts via $\varphi\left(\lambda,\begin{pmatrix}a\\b\end{pmatrix}\right)=\begin{pmatrix}a+\lambda b\\b\end{pmatrix}$. As described in example 1.19, the subspace $W$ of vectors in $K^2$ with second component $0$ is a subrepresentation.
But this subrepresentation doesn’t have a complement that is also a subrepresentation: Indeed, if $\begin{pmatrix}a\\b \end{pmatrix}$ is any vector in $K^2$ such that $b \neq 0$, then $\begin{pmatrix}a\\b \end{pmatrix}$ and $\varphi\left(1,\begin{pmatrix}a\\b \end{pmatrix}\right)=\begin{pmatrix}a+b\\b \end{pmatrix}$ are linearly independent, as they are clearly not multiples of each other. Thus any subrepresentation that is not contained in $W$ is the whole of $V$, so $W$ doesn’t have a complement.
This serves as a counterexample in two different ways: if we take $K$ to be a finite field, it shows that the assumption that the order is invertible is necessary. If we take $K$ to be an infinite field (say of characteristic $0$), then it shows that even in characteristic $0$, the conclusion doesn’t need to hold when the group is infinite.

## Tensor Products for Group Actions, Part 2

In this previous post, tensor products of $G$-sets were introduced and some basic properties were proved, this post is a continuation, so I’ll asume that you’re familiar with the contents of that post.

In this post, unless specified otherwise, $G,H,K,I$ will denote groups. Groups will sometimes be freely identified with the corresponding one-object category. Left $G$-sets will sometimes just be referred to as $G$-sets.

After some lemmas, we will begin this post by some easy consequences of the Hom-Tensor adjunction, which is the main result of the previous post.

Lemma The category $G\textrm{-}\mathbf{Set}$ is complete and cocomplete and the limits and colimits look like in the category of sets (i.e. the forgetful functor $G\textrm{-}\mathbf{Set} \to \mathbf{Set}$ is continuous and cocontinuous) with the “obvious” actions from $G$. Similarly for $\mathbf{Set}\textrm{-}G$.

Proof This is not too difficult to prove directly (you can reduce the existence of (co)limits to (co)products and (co)equalizers by general nonsense), but it also follows directly from the fact that $G\textrm{-}\mathbf{Set}$ is the functor category $[G, \mathbf{Set}]$. The reason is that if $\mathcal{C}$ and $\mathcal{D}$ are categories and $\mathcal{D}$ is (co)complete (and $\mathcal{C}$ is small to avoid any set-theoretic trouble), then the functor category $[\mathcal{C},\mathcal{D}]$ is also (co)complete and the (co)limits may be computed “pointwise”. In the case of $[G, \mathbf{Set}]$, $G$ has only one object, so the (co)limits look like they do in $\mathbf{Set}$.

Lemma If $X$ is a $(G,H)$-set, $Y$ is a $(H,K)$-set and $Z$ is a $(K,I)$-set, then we have a natural isomorphism of $(G,I)$-sets
$(X \otimes_H Y) \otimes_K Z \cong X \otimes_H (Y \otimes_K Z)$

Proof The proof is the same as the proof for modules, mutatis mutandis. Use the universal property of tensor products a lot to get well-defined maps $(X \otimes_H Y) \otimes_K Z \to X \otimes_H (Y \otimes_K Z) , (x \otimes y) \otimes z \mapsto x \otimes (y \otimes z)$ and  $X \otimes_H (Y \otimes_K Z) \to (X \otimes_H Y) \otimes_K Z, x\otimes (y\otimes z) \mapsto (x \otimes y) \otimes z$.

Lemma If $H \leq G$ is a subgroup, and we regard $G$ as a $(G,H)$-set via left and right multiplication, then $\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(G,-): G\textrm{-}\mathbf{Set} \to H\textrm{-}\mathbf{Set}$ is naturally isomorphic to the restriction functor $\mathrm{res}_H^G: G\textrm{-}\mathbf{Set} \to H\textrm{-}\mathbf{Set}$ (this functor takes any $G$-set, which we may think of as a group homomorphism or a functor and restricts it to the subgroup/subcategory given by $H$.)

Proof Define a (natural) map $\varphi: \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(G,X) \to \mathrm{Res}_H^G(X)$ via $\varphi(f)=f(1)$. This is $H$-equivariant, because $\varphi(hf)(1)=f(1h)=f(h)=hf(1)=h\varphi(f)$. On the other hand, given $x \in \mathrm{Res}_H^G(X)$ (which is just $X$ as a set), we can define $f \in \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(G,X)$ via $f(g)=gx$. This defines an inverse for $\varphi$.

Corollary The restriction functor $\mathrm{Res}_H^G$ has a left adjoint $G \otimes_H - := \mathrm{Ind}_H^G$.

The notation $\mathrm{Ind}$ is chosen because we can think of this functor as an analog to the induced representation from linear representation theory, where we think of group actions as non-linear represenations. (Similar to the induced representation, one can give an explicit description of $\mathrm{Ind}_H^G$ after choosing coset representatives for $G/H$ etc.)
In linear represenation theory, the adjunction between restriction and induction is called Frobenius reciprocity, so if we wish to give our results fancy names (as mathematicians like to do) we can call this corollary “non-linear Frobenius reciprocity”.

If we take $H$ to be the trivial subgroup, we obtain a corollary of the corollary:

Corollary The forgetful functor $G\textrm{-}\mathbf{Set}\to \mathbf{Set}$ has a left adjoint, the “free $G$-set functor”.

Proof If $H$ is the trivial group, then $H$-sets are the same as sets and the restriction functor $G\textrm{-}\mathbf{Set}\to H\textrm{-}\mathbf{Set}$ is the same as the forgetful functor. Since $G \otimes_H$ commutes with coproducts and $H$ is a one-point set, we can also describe this more explicitly: for a set $X$, we have $G \otimes_H X \cong G \otimes_H \coprod_{x \in X} H \cong \coprod_{x \in X} G \otimes_H H \cong \coprod_{x \in X} G := G^{(X)}$

We can also use the Hom-Tensor adjunction to get a description of some tensor products. Let $1$ denote a one-point set (simultanously the trivial group), considered as a $(1,G)$-set with (necessarily) trivial actions.

Lemma For a $G$-set $X$, $1 \otimes_G X$ is naturally isomorphic to the set of orbits $X/G$ and both are left adjoint to the functor $\mathbf{Set} \to G\textrm{-}\mathbf{Set}$ which endows every set with a trivial $G$-action.

Proof Let $Y$ be a set and $X$ be a $G$-set. Denote $Y^{triv}$ the $G$-set with $Y$ as its set and a trivial action. If we have any $f \in \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(X,Y^{triv})$, then $f$ must be constant on the orbits, since $f(gx)=gf(x)=f(x)$, so $f$ descends to a map of sets $X/G \to Y$. Conversely, if we have any map $h: X/G \to Y$, then we can define a $G$-equivariant map $f:X \to Y^{triv}$ by setting $f(x)=h([x])$, where $[x]$ denotes the orbit of $x$. These maps are mutually inverse natural bijection which shows that “set of orbits”-functor is left adjoint to $Y \mapsto Y^{triv}$. On the other hand, we can identify $Y^{triv}$ with $\mathrm{Hom}_{\mathbf{Set}}(1,Y)$ (where the $G$ action is induced from the trivial right $G$-action on $1$), so the left adjoint must be given by $X \mapsto 1 \otimes_G X$. Since adjoints are unique (by a Yoneda argument), we have a natural bijection $1 \otimes_G X \cong X/G$

The set of orbits $X/G$ carries some information about the $G$-set, but we can do a more careful construction which also includes $X/G$ in a natural way as part of the information.

Definition If $X$ is a $G$-set, then the action groupoid $X//G$ is the category with $\mathrm{Obj}(X//G) := X$ and $\mathrm{Hom}_{X//G}(x,y):= \{g \in G \mid gx=y\}$. Composition is given by $\mathrm{Hom}_{X//G}(y,z) \times\mathrm{Hom}_{X//G}(x,y) \to \mathrm{Hom}_{X//G}(x,z), (h,g) \mapsto hg$.

The fact that this is called a groupoid is not important here, one can think of that as just a name (it means that every morphism in $X//G$ is an isomorphism).
The set of isomorphism classes of $X//G$ correspond to the orbits $X/G$. For $x \in X//G$, the endomorphisms $\mathrm{End}_{X//G}$ is the stabilizer group $G_x$. The following lemma shows how to reconstruct a $G$-set $X$ from $X//G$, assuming that we know how all the Hom-sets lie inside $G$.

Lemma (“reconstruction lemma”) If $X$ is a $G$-set, then we define the functor $F: (X//G)^{op} \to G\textrm{-}\mathbf{Set}$ with $F(x)=G$ for all $x \in X//G$ and for $g \in \mathrm{Hom}_{(X//G)}(x,y)$, we define the map $F(g): F(y) \to F(x)$ via $a \mapsto ag$. Then we have $\varinjlim\limits_{x \in (X//G)^{op}}F(x) \cong X$

Proof For $x \in X//G$, define a map $F(x)=G \to X$ via $g \mapsto gx$. This defines a cocone over $G(.)$, so we get an induced map $\varphi: \varinjlim\limits_{x \in (X//G)^{op}}F(x) \to X$.  $\varinjlim\limits_{x \in (X//G)^{op}}F(x)$ can be described explicitly as $\coprod_{x \in (X//G)^{op}} F(x)/\sim$, where the equivalence relation $\sim$ is generated by $ga \in F(x) \sim a \in G(gx)$. To see that $\varphi$ is surjective, note that $x \in X$ is the image of $1 \in F(x)$. To see that $\varphi$ is injective, suppose $g \in F(x)$ and $h \in G(y)$ are sent to the same element, i.e. $gx=hy$, then we have $(h^{-1}g)x=y$, so that we may assume $h=1$. Then $gx=y$ implies that $1 \in G(y)=G(gx) \sim g \in F(x)$, so the two elements which map to the same element are already equal in $\varinjlim\limits_{x \in (X//G)^{op}}F(x)$.

The previous lemma can be thought of as a generalization of the orbit-stabilizer theorem.  (The proof has strong similarities as well.) For illustration, let us derive the usual orbit-stabilizer theorem from it.

Lemma Let $X$ be a $G$-set, then we have an isomorphism of $G$-sets $G/G_x \cong Gx$, where $Gx$ is the orbit of $x$ (with the restricted action) and $G/G_x$ is the coset space of the stabilizer subgroup with left multiplication as the action.

Proof We may replace $X$ with $Gx$ so that we have a transitive action. Then the previous lemma gives us an isomorphism $X \cong \varinjlim\limits_{x \in (X//G)^{op}}F(x)$.
Consider the one-object category $(G_x)$. This can be identified with a full subcategory of $X//G$ corresponding to the object $x$. Because we have a transitive action, all objects in $X//G$ are isomorphic (isomorphism classes correspond to orbits), so that the inclusion functor $G_x \to X//G$ is also essentially surjective, so it is a category equivalence.
We may thus replace the colimit by the colimit $\varinjlim\limits_{x \in (G_x)^{op}}F(x)$. As $(G_x)^{op}$ has just one object, this colimit is a colimit over a bunch of parallel morphism $F(x) \to F(x)$, so it is the simultanous coequalizer of these morphisms. We know how to compute coequalizers in $G\textrm{-}\mathbf{Set}$: the same way that we compute coequalizers in $\mathbf{Set}$. So we have the families of maps $\cdot g: F(x)=G \to G, a \mapsto ag$, where $g$ varies over $G_x$. The coequalizer is the quotient $G/\sim$, where $\sim$ is generated by $a \sim ag$ for each $a \in G$ and $g \in G_x$. But this is exactly the equivalence relation that defines $G/G_x$.

There is another case where the colimit takes a simple form after replacing $X//G$ with an equivalent category.

Lemma A $G$-set $X$ is free in the sense that it is in the essential image of the “free $G$-set functor” $Y \mapsto G \otimes_{1} Y$ or equivalently it is a coproduct of copies of $G$ with the standard action iff the action of $G$ on $X$ is free in the sense that $\forall x \in X \forall g \in G: (gx=x \Rightarrow g=1)$.

Proof It’s clear that if we have a disjoint union $X= \coprod_{i \in I} G$, then no element of $G$ other than $1$ can fix an element in $X$. For the other direction, suppose that we have the condition $\forall x \in X \forall g \in G: (gx=x \Rightarrow g=1)$. This implies that the morphism sets in the action groupoid are really small: Suppose $g,h \in \mathrm{Hom}(x,y)$ such that $gx=y=hx$, which implies that $h^{-1}gx=x$, so $h^{-1}g=1$ by assumption, thus $h=g$. This means that for any pair of objects in $X//G$, there is at most one morphism between them. So if we consider the set $X/G$ as a discrete category (i.e. the only morphisms are the identities), then if we take a representative for each orbit $X/G$, this defines an inclusion of categories $X/G \to X//G$. As elements in $X/G$ represent isomorphism classes in $X//G$, this inclusion is always essentially surjective. By our computations of the Hom-sets, it is also fully faithful if the action of $G$ on $X$ is free. So if we apply the “reconstruction lemma” we get $X \cong \varinjlim\limits_{x \in (X//G)^{op}}G(x) \cong \varinjlim\limits_{x \in X/G} G$. But a colimit over a discrete category is just a coproduct, so this is isomorphic to $\coprod_{x \in X/G} G$ which shows that $X$ is free.

After some further lemmas, we will come to the main result of this post, which is also an application of the reconstruction lemma.

In the previous post, I described $G$-sets in different ways, among them as functors $G \to \mathbf{Set}$, but I didn’t do the same for $(G,H)$-sets. The following lemma remedies this deficiency.

Lemma $(G,H)$-sets may be identified with left $G \times H^{op}$-sets or with functors $G \to \mathbf{Set}\textrm{-}H$ or with functors $H^{op} \to G\textrm{-}\mathbf{Set}$. In other words, we have equivalences of categories $G\textrm{-}\mathbf{Set}\textrm{-}H \cong G\times H^{op}\textrm{-}\mathbf{Set} \cong [G,\mathbf{Set}\textrm{-}H] \cong [H^{op},G\textrm{-}\mathbf{Set}]$.

The proof of this lemma is a lot of rewriting of definitions, not more difficult than proving the corresponding statements for one-sided $G$-sets.

This lemma has a useful consequence, which one could also verify by hand:

Observation If $F: G\textrm{-}\mathbf{Set} \to H\textrm{-}\mathbf{Set}$ is a functor and $X$ is a $(G,K)$-set, then $F(X)$ is a $(H,K)$-set in a “natural” way.

Proof Think of $X$ as functor $X:K^{op} \to G\textrm{-}\mathbf{Set}$, composing with $F$, gives us a functor $F(X): K^{op} \to H\textrm{-}\mathbf{Set}$, which we may also think of as a $(H,K)$-set.
More explicitly, the action of $K$ on $F(X)$ can be described as follows: for $k \in K$, the right-multiplication-map $X \to X, x \mapsto xk$ is left $G$-equivariant, so it induces a left $H$-equivariant map $F(X) \to F(X)$, we can define the action of $k$ on $F(X)$ via this map.

The following lemma is an analog of the classical Eilenberg-Watts theorem from homological algebra which describes colimit-preserving functors $R\textrm{-}\mathbf{Set} \to S\textrm{-}\mathbf{Set}$ as tensor products with a $(S,R)$-bimodule.

Thereom (Eilenberg-Watts theorem for group actions) Every colimit-preserving functor $W: G\textrm{-}\mathbf{Set} \to H\textrm{-}\mathbf{Set}$ is naturally equivalent to $X \otimes_G$ for a $(H,G)$-set $X$. One can explicitly choose $X = W(G)$ (with the $(H,G)$-set structure from the previous observation, as $G$ is a $(G,G)$-set.)

Proof Let $X$ be a $G$-set and $Y$ be a $H$-set, then we have a natural bijection $\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G) \otimes_G X, Y) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(X,\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y))$
Using the reconstruction lemma, we get $\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(X,\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(\varinjlim\limits_{x \in (X//G)^{op}}F(x),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)) \cong \varprojlim\limits_{x \in (X//G)^{op}}\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(F(x),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y))$
For every $x \in (X//G)^{op}$, $F(x)=G$, so $\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(F(x),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)) \cong \mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y))$ via the map $f \mapsto f(1)$. We need to consider how this identification behaves under the morphisms involved in the colimit. For $g \in G$, we have the map $F(gx) \to F(x), a \mapsto ag$, this induces a map $\varphi_g: \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(F(x),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)) \to \mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(F(gx),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y))$ given by $\varphi_g(f)(h)=f(hg)$. If we make the indentification described above by evaluating both sides at $1$, we get $\varphi_g(f)(1)=f(1g)=gf(1)$. Using the definition of the $G$-action on the Hom-set $\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)$, this left multiplication translates to right multiplication on $W(G)$. Because of the construction of the right $G$-action on $W(G)$, this right multiplication is the map that is induced from right multiplication $G \to G$. We may summarize this computation by stating that $\varprojlim\limits_{x \in (X//G)^{op}}\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(F(x),\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(G),Y)) \cong \varprojlim\limits_{x \in (X//G)^{op}}\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(F(x)),Y)$
Using the assumption that $W$ preserves colimits, we get $\varprojlim\limits_{x \in (X//G)^{op}}\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(F(x)),Y) \cong \mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(\varinjlim\limits_{x \in (X//G)^{op}}W(F(x)),Y) \cong \mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(\varinjlim\limits_{x \in (X//G)^{op}} F(x)),Y) \cong \mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(W(X),Y)$ where we used the reconstruction lemma again in the last step.
We conclude $W(X) \cong W(G) \otimes_G X$ by the Yoneda lemma.

This theorem (like the classical Eilenberg-Watts-theorem) is remarkable not only because it gives a concrete description of every colimit-preserving functor between certain categories, but also because it shows that such functors are completely determined by the image of one object $G$ and how it acts on the endomorphisms of that object (which are precisely the right-multiplications.)

It’s natural to ask at this point when two functors of the form $X \otimes_G$ and $Y \otimes_G$ for $(H,G)$-sets are naturally isomorphic. It’s not difficult to see that it is sufficient that $X$ and $Y$ are isomorphic as $(H,G)$-sets. The following lemma shows that this is also necessary, among other things.

Lemma For $(H,G)$-sets $X$ and $Y$, every natural transformation $\eta:X \otimes_G \to Y \otimes_G$ is induced by a unique $(H,G)$-equivariant map $f: X \to Y$

Proof Assume we have a natural transformation $\eta_A: X \otimes_G A \to Y \otimes_G A$, then we have in particular a left $H$-equivariant map $\eta_G: X \otimes_G G \to Y \otimes_G G$. We have $X \otimes_G G \cong X$ and $Y \otimes_G G \cong Y$, so this gives us a $H$-equivariant map $X \to Y$ which I call $f$. Clearly $f$ is uniquely determined by this construction. For a fixed $g \in G$, right multiplication by $g$ defines a left $G$-equivariant map $G \to G$. Under the isomorphism $X \otimes_G G \cong X$ these maps describe the right $G$ action on $X$. Naturality with respect to these maps implies that $f$ is right $G$-equivariant.

This lemma allows a reformulation of the previous theorem.

Theorem (Eilenberg-Watts theorem for group actions, alternative version)
The following bicategories are equivalent:
– The bicategory where the objects are groups, 1-morphisms between two groups $G, H$ are $(G,H)$-sets $X$, where the composition of 1-morphisms is given by taking tensor products and 2-morphisms between two $(G,H)$-sets are given by $(G,H)$-equivariant maps.
– The 2-subcategory of the 2-category of categories $\mathbf{Cat}$ where the objects are all the categories $G\textrm{-}\mathbf{Set}$ for groups $G$, 1-morphisms are colimit-preserving functors $G\textrm{-}\mathbf{Set} \to H\textrm{-}\mathbf{Set}$ and 2-morphisms are natural transformations between such functors.

This concludes my second blog post. If you want, please share or leave comments below.

## Tensor Products for Group Actions, Part 1

Suppose $R$ is a ring, $M$ is a right $R$-module and $N$ is a left $R$-module, then we can form the tensor product $M \otimes_R N$ that we all know and love. If we consider that a module is just an abelian group together with an action from a ring, one might ask the question: Can we imitate this construction for group actions?

It turns out that we can; this is what I’ll investigate in this post.

Recall that for a fixed group $G$ a left $G$-set is a set $X$ together with a map $G \times X \to X, (g,x) \mapsto gx$ that satisfies $\forall g,h \in G, x \in X: 1x=x, g(hx)=(gh)x$. An equivalent formulation is that a left $G$-set is a set $X$ together with a group homomorphism $G \to S_X$, where $S_X$ denotes the group of bijections $X \to X$. Yet another way to phrase this definition is that a left $G$-set is a functor from $G$ (regarded as a one-object category) to the category of sets.

There’s an obvious choice of morphisms for left $G$-sets $X$ and $Y$,  namely maps $f: X \to Y$ that satisfy $\forall x \in X, g \in G: f(gx)=gf(x)$. Traditionally called $G$-equivariant maps. If you take the definiton via functors, then these are exactly natural transformations. It follows that the left $G$-sets form a category, which we will denote by $G\textrm{-}\mathbf{Set}$.

In a similar way, one defines right $G$-sets as sets $X$ together with a map $X \times G \to X, (x,g) \mapsto xg$ that satisfies $\forall g,h \in G, x \in X: x1=x, (xg)h=x(gh)$, these can also be thought of as contravariant functors from $G$ to $\mathbf{Set}$ or equivalently as left $G^{op}$-sets, where $G^{op}$ denotes the opposite group of $G$. The category of right $G$-sets will be denoted by $\mathbf{Set}\textrm{-}G$.

If we have two groups $G$ and $H$, then a $(G,H)$-set is a set $X$ that is simultaneously a left $G$-set and a right $H$-set, such that the actions are compatible in the sense that $\forall x \in X, g \in G, h \in H: (gx)h=g(xh)$. We get the category of $(G,H)$-sets $G\textrm{-}\mathbf{Set}\textrm{-}H$ where the morphisms are maps that are both $G$ and $H$-equivariant. Note that if we take $H$ or $G$ to be the trivial group, then $(G,H)$-sets are equivalent to left $G$-sets or right $H$-sets respectively, thus we may always assume to deal with $(G,H)$-sets and will cover all three cases. Also note that if we take both $G$ and $H$ to be the trivial group, then $(G,H)$-sets are just sets.

We are now ready to begin our renarration of the story of tensor products, where groups play the role of rings, sets play the role of abelian groups and left and right $G$-sets play the role of modules.

Since $\textrm{Hom}$-Sets are important in the theory of tensor products for modules, we will study these first.

In the following, $G, H$ and $K$ will denote groups.

Lemma If $X$ is a $(G,H)$-set and $Y$ is a $(G,K)$-set, then $\mathrm{Hom}_{G\textrm{-}\mathbf{Set}}(X,Y)$ is a $(H,K)$-set with the actions defined by $\forall h \in H \forall x \in X: (hf)(x) := f(xh)$ and $\forall k \in K, \forall x \in X (fk)(x):=f(x)k$. If $X$ is a $(H,G)$-set and $Y$ is a $(K,G)$-set, then $\textrm{Hom}_{\mathbf{Set}\textrm{-}G}(X,Y)$ is a $(K,H)$-set in the analogous way.

The proof is a routine verification.

As a special case, when $Y$ is just a set and $X$ is a $G$-set, then $\textrm{Hom}_{\mathbf{Set}}(X,Y)$ is a $G$-set, with the action on the opposite side. If $X$ is a $(G,H)$-set, then the two actions we get this way are compatible, so that $\textrm{Hom}_{\mathbf{Set}}(X,Y)$ is a $(H,G)$-set.

We can copy the following definition almost verbatim from the case for modules.

Definition If $X$ is a $(H,G)$-set, $Y$ is a $(G,K)$-set and $Z$ is a $(H,K)$-set, then a map $f: X \times Y \to Z$ is called $G$-balanced and $(H,K)$-equivariant if $\forall x \in X, y \in Y, g \in G: f(xg,y)=f(x,gy)$ and $\forall h \in H, k \in K: f(hx,yk)=hf(x,y)k$. We denote the set of all such maps by $\textrm{Bal}_G^{(H,K)}(X,Y;Z)$. If $H$ and $K$ are the trivial group, we drop them from the notation and just write $\textrm{Bal}_G(X,Y;Z)$.

Lemma If $X$ is a $(H,G)$-set, $Y$ is a $(G,K)$-set and $Z$ is any set, then $\textrm{Bal}_G(X,Y;Z)$ is a $(K,H)$-set with the actions defined by $\forall k \in K, x \in X, y \in Y: (kf) (x,y) := f(x,yk)$ and $\forall h \in H, x \in X, y \in Y: (fh) (x,y) :=f(hx,y)$.

This is again a routine verification, similar to the previous lemma.

We now come to the usual “Currying” argument.

Lemma If $X$ is a $(H,G)$-set and $Y$ is a $(G,K)$-set and $Z$ is any set, then there is a natural isomorphism of $(K,H)$-sets $\textrm{Bal}_G(X,Y;Z) \cong \textrm{Hom}_{\mathbf{Set}\textrm{-}G}(X, \textrm{Hom}_{\mathbf{Set}}(Y,Z))$

Proof We define the “Currying map” $\varphi: \textrm{Bal}_G(X,Y;Z) \to \textrm{Hom}_{\mathbf{Set}\textrm{-}G}(X, \textrm{Hom}_{\mathbf{Set}}(Y,Z))$ via $f \mapsto \varphi(f)$, where $\varphi(f)(x) = (y \mapsto f(x,y))$. Or more compactly $f \mapsto (x \mapsto (y \mapsto f(x,y)))$
Let us check that for $f \in \textrm{Bal}_G(X,Y;Z)$ the map $x \mapsto \varphi(f)(x)$ is $G$-equivariant, for $g \in G, y \in Y$ $\varphi(f)(x)g$ is defined as $(\varphi(f)(x)g)(y) = \varphi(f)(x)(gy)=f(x,gy)$. Because $f$ is $G$-balanced, this equals $f(xg,y)= \varphi(f)(xg)(y)$,  so $\varphi(f)(xg)=\varphi(f)(x)g$.
Now we check that $\varphi$ is $K$– and $H$-equivariant. Let $k \in K$, then for all $f \in \textrm{Bal}_G(X,Y;Z), x \in X, y \in Y$, we have $\varphi(kf)(x)(y)=kf(x,y)=f(x,yk)$, on the other hand we have $(k \varphi(f)(x))(y)=\varphi(f)(x)(yk)=f(x,yk)$, this shows that $\varphi(kf)=k\varphi(f)$.
Let $h \in H$, then for all $f \in \textrm{Bal}_G(X,Y;Z), x \in X, y \in Y$, we have $\varphi(fh)(x)(y)=f(hx,y)$, on the other hand $(\varphi(f)(x)h)(y)=f(hx,y)$, so $\varphi(fh)=\varphi(f)h$.
So we have shown that $\varphi$ is indeed a well-defined $(K,H)$-equivariant map $\textrm{Bal}_G(X,Y;Z) \to \textrm{Hom}_{\mathbf{Set}\textrm{-}G}(X, \textrm{Hom}_{\mathbf{Set}}(Y,Z))$.
To see that $\varphi$ is bijective, note that an inverse is given by the “Uncurry”-map $\psi: \textrm{Hom}_{\mathbf{Set}\textrm{-}G}(X, \textrm{Hom}_{\mathbf{Set}}(Y,Z)) \to \textrm{Bal}_G(X,Y;Z), \xi \mapsto \psi(\xi)$, where $\psi(\xi)(x,y)=\xi(x)(y)$.
We omit the verification that $\varphi$ is natural in $X$, $Y$ and $Z$.

We also give the following variants of the Currying isomorphism:

Lemma If $X$ is a $(H,G)$-set, $Y$ is a $(G,K)$-set and $Z$ is a $(H,K)$-set, then we have a natural bijections
$\mathrm{Bal}_G^{(H,K)}(X,Y;Z) \cong \mathrm{Hom}_{H\textrm{-}\mathbf{Set}\textrm{-}G}(X,(\mathrm{Hom}_{\mathbf{Set}\textrm{-}K}(Y,Z))$
and $\mathrm{Bal}_G^{(H,K)}(X,Y;Z) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}\textrm{-}K}(Y,\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(X,Z))$

Proof The proof is very similar to the last one, so we omit some steps.
For the first bijection, let us just show that the map $\varphi: \mathrm{Bal}_G^{(H,K)}(X,Y;Z) \to \mathrm{Hom}_{H\textrm{-}\mathbf{Set}\textrm{-}G}(X,(\mathrm{Hom}_{\mathbf{Set}\textrm{-}K}(Y,Z)), f \mapsto \varphi(f)$, where $\varphi(f)(x)(y)=f(x,y)$ is well-defined.
For a fixed $x \in X$, we have $\varphi(f)(x)(yk)=f(x,yk)=f(x,y)k=\varphi(f)(x)(y)k$, so $\varphi(f)(x)$ is $K$-equivariant.
Let $h \in H, g \in G$, then $\varphi(f)(hxg)(y)=f(hxg,y)=hf(xg,y)=hf(x,gy)=h\varphi(f)(x)(gy)= (h\varphi(f)g)(y)$.
So we get $\varphi(f)(hxg)=h\varphi(f)(x)g$, thus $\varphi(f)$ is $(H,G)$-equivariant.
For the second bijection, we use the map $\psi: \mathrm{Bal}_G^{(H,K)}(X,Y;Z) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}\textrm{-}K}(Y,\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(X,Z)), f \mapsto \psi(f)$, where $\psi(f)(y)(x) = f(x,y)$. The verification that this is a well-defined bijection is very similar to the previous computations.

We now come to the main definition of this post.

Definition Let $X$ be a right $G$-set, $Y$ be a left $G$-set, then a tensor product $X \otimes_G Y$ is a set together with a $G$-balanced map $\psi_{\otimes}: X \times Y \to X \otimes_G Y$ that satisfies the following universal property: for any set $Z$ and $G$-balanced map $f: X \times Y \to Z$, there is a unique map $\overline{f}: X \otimes_G Y \to Z$ such that $\overline{f} \circ \psi_{\otimes} = f$.

Lemma In the situation of the previous definition, the tensor product $(\psi_{\otimes}, X \otimes_G Y)$ exists and if $(\psi'_{\otimes}, (X \otimes_G Y)')$ is a second tensor product, then there exists a unique bijection $g: X \otimes_G Y \to (X \otimes_G Y)'$ such that $\psi'_{\otimes}=\psi_{\otimes} \circ f$.

Proof We first prove uniqueness. Suppose $(\psi_{\otimes}, X \otimes_G Y)$ and $(\psi'_{\otimes}, (X \otimes_G Y)')$, then because of the universal property of $X \otimes_G Y$, we get a unique map $f: X \otimes_G Y \to (X \otimes_G Y)'$ such that $\psi'_{\otimes}=f \circ \psi_{\otimes}$ and due to universal property of $(X \otimes_G Y)'$ we get a unique map $g:(X \otimes_G Y)' \to X \otimes_G Y$ such that $\psi_{\otimes}=g \circ \psi'_{\otimes}$, then $g \circ f$ satisfies $g \circ f \circ \psi_{\otimes} = g \circ \psi'_{\otimes} = \psi_{\otimes}$, but by the universal property of $X \otimes_G Y$, there is a unique map $h: X \otimes_G Y \to X \otimes_G Y$ that satisfies $h \circ \psi_{\otimes} = \psi_{\otimes}$. We have just computed that $g$ satisfies this, but $\textrm{id}_{X \otimes_G Y}$ does, too. Thus $g \circ f = \textrm{id}_{X \otimes_G Y}$. The proof that $f \circ g = \textrm{id}_{(X \otimes_G Y)'}$ follows analogously.

Now we show existence. Consider the equivalence relation $\sim$ on $X \times Y$ generated by $\forall g \in G, x \in X, y \in Y: (xg,y) \sim (x,gy)$. We set $X \otimes_G Y := (X \times Y)/\sim$ and let $\psi_{\otimes}: X \times Y \to X \otimes_G Y$ be the quotient map. By construction, $\psi_{\otimes}$ is $G$-balanced.
We denote the image $\psi_{\otimes}(x,y)$ by $x \otimes y$. We have the relation $gx \otimes y = x \otimes gy$. (Note that unlike in the case of modules, $\psi_{\otimes}$ is surjective. So every element is an “elementary tensor”.)
Suppose $Z$ is a set and $f:X \times Y \to Z$ is $G$-balanced, then the map $\overline{f}: X \otimes_G Y \to Z, x \otimes y \mapsto f(x,y)$ is well-defined and it is the unique map $X \otimes_G Y \to Z$ that satisfies $f = \overline{f} \circ \psi_{\otimes}$. (This follows just from the universal property of a quotient set.)
In the case of modules, when we have a $(R,S)$-bimodule $M$ and a $(S,T)$-bimodule $N$, then $M \otimes_S N$ is a $(R,T)$-bimodule. We know show the analogous result for $G$-sets.

Lemma If $X$ is a $(H,G)$-set and $Y$ is a  $(G,K)$-set, then $X \otimes_G Y$ is a $(H,K)$-set.

Proof Let $h \in H$, then the map $X \times Y \to X \otimes_G Y, (x,y) \mapsto hx \otimes y$ is $G$-balanced, because $X$ is a $(H,G)$-set, so this map descends to a well-defined map $X \otimes_G Y \to X \otimes_G Y, (x,y) \mapsto (hx,y)$, which shows that the map $H \times (X \otimes_G Y) \to X \otimes_G Y, (h, x \otimes y) \mapsto hx \otimes y$ is well-defined. It’s clear that this makes $X \otimes_G Y$ into a left $H$-set. In the same manner, we get a right action of $K$ on $X \otimes_G Y$ given by $(x \otimes y)k =x \otimes yk$. These actions are compatible, since $(h(x \otimes y))k = hx \otimes yk = h((x \otimes y)k)$.

One of the basic properties of the tensor product of modules is that it defines a functors between module categories, this works also for $G$-sets.

Lemma/Definition The tensor product $\otimes_G$ can be made into a bifunctor $H\textrm{-}\mathbf{Set}\textrm{-}G \times G\textrm{-}\mathbf{Set}\textrm{-}K \to H\textrm{-}\mathbf{Set}\textrm{-}K$

Proof Suppose $X$ and $X'$ are $(H,G)$-sets, and $\alpha: X \to X'$ is a $(H,G)$-equivariant map, $Y$ and $Y'$ are $(G,K)$-sets and $\beta:Y \to Y'$ is a $(G,K)$-equivariant map. Consider the map $f: X \times Y \to X' \otimes_G Y', (x,y) \mapsto \alpha(x) \otimes \beta(y)$. This is $G$-balanced, because $f(xg,y)=\alpha(xg) \otimes \beta(y) = \alpha(x)g \otimes \beta(y) = \alpha(x) \otimes g \beta(y) = \alpha(x) \otimes \beta(gy) = f(x,gy)$.
So we get a well-defined map $X \otimes_G Y \to X' \otimes_G Y', x \otimes y \mapsto \alpha(x) \otimes \beta(y)$, which we will denote by $\alpha \otimes \beta$. $\alpha \otimes \beta$ is $(H,K)$-equivariant because $\alpha$ ist left $H$-equivariant and $\beta$ is right $K$-equivariant and the $(H,K)$-set structure on a tensor product is defined by acting with $H$ on the left factor and with $K$ on the right factor.
If $X''$ is another $(H,G)$-set and $Y''$ is another $(G,K)$-set and $\alpha': X' \to X'', \beta': Y' \to Y''$ are morphisms of the respective type, then if we consider the map $f: X \times Y \to X'' \otimes Y'', (x,y) \mapsto \alpha'(\alpha(x)) \otimes \beta'(\beta(y))$ both $(\alpha' \otimes \beta') \circ (\alpha \otimes \beta)$ and $(\alpha' \circ \alpha) \otimes (\beta' \circ \beta)$ are maps $h:X \otimes_G Y \to X'' \otimes_G Y''$ which satisfy $h \circ \psi_{\otimes} = f$, thus by the uniqueness part of the universal property, they must be equal. That $\mathrm{id} \otimes \mathrm{id} = \mathrm{id}$ is clear from the definition.

Much of the utility of tensor products of modules lies in the Hom-Tensor-adjunction, which also has an analog for group actions. There’s not much left to do to prove it.

Theorem For a $(H,G)$-set $X$, the functor $G\textrm{-}\mathbf{Set}\textrm{-}K \to H\textrm{-}\mathbf{Set}\textrm{-}K$, $Y \mapsto X \otimes_G Y, (f: Y \to Y') \mapsto (\mathrm{id}_X \otimes f: (X \otimes_G Y \to X \otimes_G Y'))$ is left-adjoint to the $\mathrm{Hom}$-functor $\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(X,-)$.

Proof The universal property of the tensor product $(\psi_\otimes, X \otimes_G Y)$ can be reformulated in the form that the map $\mathrm{Hom}_{\mathbf{Set}}(X \otimes_G Y,Z) \to \mathrm{Bal}_G(X,Y;Z), f \mapsto f \circ \psi_\otimes$ is a bijection. It’s not difficult to check that this map is natural in $Y$ and $Z$ and that if $Z$ is a $(H,K)$-set, then it restricts to a bijection  $\mathrm{Hom}_{H\textrm{-}\mathbf{Set}\textrm{-}K}(X \otimes_G Y,Z) \cong \mathrm{Bal}_G^{(H,K)}(X,Y;Z)$. If we compose this bijection with the Currying bijection $\mathrm{Bal}_G^{(H,K)}(X,Y;Z) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}\textrm{-}K}(Y,(\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(X,Z))$, we get a natural bijection
$\mathrm{Hom}_{H\textrm{-}\mathbf{Set}\textrm{-}K}(X \otimes_G Y,Z) \cong \mathrm{Hom}_{G\textrm{-}\mathbf{Set}\textrm{-}K}(Y,(\mathrm{Hom}_{H\textrm{-}\mathbf{Set}}(X,Z))$

This concludes this first post on tensor products of $G$-sets, I will investigate more properties of this construction in future posts. Feel free to leave comments below.