Formula 15 is the ( finite ) dimension of the irreducible representation formula 11 . Where formula _ 15 is the ( finite ) dimension of the irreducible representation formula _ 11 . Where formula _ 15 is the ( irreducible ) dimension of the finite representation formula _ 11 .