Representability of permutation representations on coalgebras and the isomorphism problem

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

Cristina Costoya, Antonio Viruel, David Méndez

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
• Faithful actions on commutative differential graded algebras and the group 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?)
• A counterexample to the isomorphism problem for integral group rings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Groups of bounded period with subgroups of prime order
• Title not available (Why is that?)
• Graphs with given infinite group
• Groups represented by homeomorphism groups. I
• Title not available (Why is that?)
• Faithful actions on commutative differential graded algebras and the group isomorphism problem
• Every finite group is the group of self-homotopy equivalences of an elliptic space
• Automorphism groups of finite dimensional simple algebras.
• Title not available (Why is that?)
• Realisability problem in arrow categories
• Automorphism towers and automorphism groups of fields without Choice
• 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)