On the decomposition map for symmetric groups

Let R ^d be the ℤ-module generated by the irreducible characters of the symmetric group . We determine bases for the kernel of the decomposition map. It is known that R ^d ⊗ _ℤ F is isomorphic to the radical quotient of the Solomon descent algebra when F is a field of characteristic zero. We show that when F has prime characteristic and I _br ^d is the kernel of the decomposition map for prime p then R ^d /I _br ^d ⊗ _ℤ F is isomorphic to the radical quotient of the p-modular Solomon descent algebra. To the memory of Manfred Schocker.     

Finitary linear representations of infinite symmetric and alternating groups

Translated fromAlgebra i Logika, Vol. 32, No. 6, pp. 591–606, November–December, 1993.     

The decomposition of permutation module for infinite Chevalley groups

Let G be a connected reductive group defined over F_q, the finite field with q elements. Let B be a Borel subgroup defined over F_q. In this paper, we completely determine the composition factors of the induced module M(tr) = kG ■tr(where tr is the trivial B-module) for any field k.     

On generation of permutations through decomposition of symmetric groups into cosets

A hardware-oriented algorithm for generating permutations is presented that takes as a theoretic base an iterative decomposition of the symmetric groupS _n into cosets. It generates permutations in a new order. Simple ranking and unranking algorithms are given. The construction of a permutation generator is proposed which contains a cellular permutation network as a main component. The application of the permutation generator for solving a class of combinatorial problems on parallel computers is suggested.     

The problem of defining the elements of decomposition matrices of symmetric groups

Mathematical Notes -     

A characterization of infinite 3-abelian groups

In this note we prove that every infinite group G is 3-abelian (i.e. (ab)³ = a³b³ for all a, b in G) if and only if in every two infinite subsets X and Y of G there exist x ? Xx\in X and y ? Yy\in Y such that (xy)³ = x³y³.     

An infinite family of symmetric designs

In this paper, using the construction method of [3], we show that if q>2 is a prime power such that there exists an affine plane of order q?1, then there exists a strongly divisible 2?(q?1)(q^h?1), q^h?1(q?1), q^h?1) design for every h?2. We show that these quasi-residual designs are embeddable, and hence establish the existence of an infinite family of symmetric 2?(q^h+1?q+1,q^h, q^h?1) designs. This construction may be regarded as a generalisation of the construction of [1, Chapter 4, Section 1] and [4].     

Fuzzy symmetric groups

We study fuzzy symmetric subgroups and obtain some properties of fuzzy symmetric subgroups of symmetric groups.