Commit 2025-10-02 13:23 48541a8a

feat(RepresentationTheory/Homological): add standard resolution for finite cyclic groups (#27363) Let k be a commutative ring and G a finite commutative group. Given g : G and A : Rep k G, we can define a periodic chain complex in Rep k G given by ... ⟶ A --N--> A --(ρ(g) - 𝟙)--> A --N--> A --(ρ(g) - 𝟙)--> A ⟶ 0 where N is the norm map sending a : A to ∑ ρ(g)(a) for all g in G. When G is generated by g and A is the left regular representation k[G], this chain complex is a projective resolution of k as a trivial representation, which we prove in this PR.