https://leanprover-community.github.io/mathlib4_docs/Mathlib/Algebra/Group/Action/Pi.html
Mathlib.Algebra.Group.Action.Pi
algebra groupmathlibactionpi
https://math.iisc.ac.in/~gadgil/proofs-and-programs-2023/doc/Mathlib/Algebra/Group/Commute/Defs.html
Mathlib.Algebra.Group.Commute.Defs
algebra groupmathlibcommute
https://cmuc.mat.uc.pt/rdonweb/researchgroups/ppresearchgroupinfo.do;jsessionid=A236CA661125FCB2F1904711B5E51374?groupID=7
Centre for Mathematics, University of Coimbra - Algebra, Logic and Topology (The Group)
Centre for Mathematics, University of Coimbra
university of coimbra
https://arxiv.org/abs/2402.17998
[2402.17998] Jacobian varieties with group algebra decomposition not affordable by Prym varieties
Abstract page for arXiv paper 2402.17998: Jacobian varieties with group algebra decomposition not affordable by Prym varieties
https://cmuc.mat.uc.pt/rdonweb/researchgroups/ppresearchgroupinfo.do;jsessionid=A997E68D07E116FCC82FD08D6AEF62AB?groupID=7
Centre for Mathematics, University of Coimbra - Algebra, Logic and Topology (The Group)
Centre for Mathematics, University of Coimbra
university of coimbra
https://cmuc.mat.uc.pt/rdonweb/researchgroups/ppresearchgroupinfo.do;jsessionid=DFEDF333335EB5C6E817036AE019BEB6?groupID=7&menu=researchgroups
Centre for Mathematics, University of Coimbra - Algebra, Logic and Topology (The Group)
Centre for Mathematics, University of Coimbra
university of coimbra
https://cmuc.mat.uc.pt/rdonweb/researchgroups/ppresearchgroupinfo.do;jsessionid=1814DFD91BA3A3C06A90FDBDCAA2A86E?groupID=1&menu=researchgroups
Centre for Mathematics, University of Coimbra - Algebra and Combinatorics (The Group)
Centre for Mathematics, University of Coimbra
university of coimbracentremathematics