"C2 . S4 = SL(2,3) . C2"
