Irreducible representations for spinful electrons in normal conducting phases