In [5] James proved theorems on the decomposition numbers, for the general linear groups and symmetric groups, involving the removal of the first row or column from partitions. In [1] we gave different proofs of these theorems based on a result valid for the decomposition numbers of any reductive group. (I am grateful to J. C. Jantzen for pointing out that the Theorem in [1] may also be derived from the universal Chevalley group case, which follows from the proof of 1 ·18 Satz of [6] – the analogue of equation (1) of the proof being obtained by means of the natural isometry (with respect to contra-variant forms) between a certain sum of weight spaces of a Weyl module V(λ) of highest weight λ and the Weyl module corresponding to λ for the Chevalley group determined by the subset of the base involved.) However, we have recently noticed that this result for reductive groups, even when specialized to the case of GLn, gives a substantial generalization of James's Theorems. This generalization, which we give here, is an expression for the decomposition number [λ: μ] for a pair of partitions λ, μ whose diagrams can be simultaneously cut by a horizontal (or vertical) line so as to leave the same number of nodes above the line (or to the left of the line for a vertical cut) in both cases. Cutting between the first and second rows gives James's principal of row removal ([5], theorem 1) and cutting between the first and second column gives his principle of column removal ([5], theorem 2). Another special case of our horizontal result, involving the removal of bottom rows of a pair of partitions, is stated in [7], Satz 8.
Young modules for symmetric groups
