theorem that a representation of a finite group over a field with characteristic not dividing the order of the group decomposes as a direct sum of irreducible representations
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).