"s""n"+1を "n" +1次対称群とする。