# Representability of permutation representations on coalgebras and the isomorphism problem

## TL;DR

This paper demonstrates how permutation representations of groups can be realized via faithful coalgebras, enabling the distinction of group isomorphism classes through coalgebra actions.

## Contribution

It constructs faithful coalgebras for permutation representations and shows these can distinguish certain group isomorphism classes.

## Key findings

- Existence of faithful G-coalgebras for permutation representations
- Embedding of V into G(C) invariant under G-action
- Coalgebra-based methods distinguish group isomorphism classes

## Abstract

Let $G$ be a group and let $\rho\colon G\to\operatorname{Sym}(V)$ be a permutation representation of $G$ on a set $V$. We prove that there is a faithful $G$-coalgebra $C$ such that $G$ arises as the image of the restriction of $\operatorname{Aut}(C)$ to $G(C)$, the set of grouplike elements of $C$. Furthermore, we show that $V$ can be regarded as a subset of $G(C)$ invariant through the $G$-action, and that the composition of the inclusion $G\hookrightarrow\operatorname{Aut}(C)$ with the restriction $\operatorname{Aut}(C)\to\operatorname{Sym}(V)$ is precisely $\rho$. We use these results to prove that isomorphism classes of certain families of groups can be distinguished through the coalgebras on which they act faithfully.