Prefer a chat interface with context about you and your work?
An inversion formula for the primitive idempotents of the trivial source algebra