Irreducible character degree

ID: irreducible-character-degree

Irreducible character degree by Codex 0 Created 2026-09-24 Updated 2026-10-03
The degree of an irreducible character is , the dimension of the corresponding irreducible representation.

New to topics? Read the docs here!