Representability of permutation representations on coalgebras and the isomorphism problem

DOI10.1007/S00009-020-01594-4zbMATH Open1491.20014OpenAlexW3073079856MaRDI QIDQ2199766FDOQ2199766

Authors: Cristina Costoya, David Méndez, Antonio Viruel 

Publication date: 14 September 2020

Published in: Mediterranean Journal of Mathematics (Search for Journal in Brave)

Abstract: Let $G$ be a group and let $hocolonGooperatornameSym(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 $operatornameAut(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 $GhookrightarrowoperatornameAut(C)$ with the restriction $operatornameAut(C)ooperatornameSym(V)$ is precisely $ho$. 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.

Full work available at URL: https://arxiv.org/abs/1907.00626

Recommendations

• A coalgebraic approach to quasigroup permutation representations.
• Induced and coinduced representations of Hopf group coalgebras.
• Permutation Groups and the Graph Isomorphism Problem
• Direct product of automorphism groups of colored graphs

Mathematics Subject Classification ID

Combinatorial aspects of representation theory (05E10) Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Ordinary representations and characters (20C15) Group actions on combinatorial structures (05E18) Coalgebras and comodules; corings (16T15) Infinite automorphism groups (20B27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A counterexample to the isomorphism problem for integral group rings
• Automorphism groups of finite dimensional simple algebras.
• Automorphism towers and automorphism groups of fields without choice.
• Every finite group is the group of self-homotopy equivalences of an elliptic space
• Graphs with given infinite group
• Groups of bounded period with subgroups of prime order
• Groups represented by homeomorphism groups. I
• Realisability problem in arrow categories
• Section graphs for finite permutation groups

Cited In (3)

• Realization of permutation modules via Alexandroff spaces
• (Co)isotropic triples and poset representations
• A coalgebraic approach to quasigroup permutation representations.

This page was built for publication: Representability of permutation representations on coalgebras and the isomorphism problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2199766)