On Primitive Cellular Algebras

First we define and study the exponentiation of a cellular algebra by a permutation group that is similar to the corresponding operation (the wreath product in primitive action) in permutation group theory. Necessary and sufficient conditions for the resulting cellular algebra to be primitive and Schurian are given. This enables us to construct infinite series of primitive non-Schurian algebras. Also we define and study, for cellular algebras, the notion of a base, which is similar to that for permutation groups. We present an upper bound for the size of an irredundant base of a primitive cellular algebra in terms of the parameters of its standard representation. This produces new upper bounds for the order of the automorphism group of such an algebra and in particular for the order of a primitive permutation group. Finally, we generalize to 2-closed primitive algebras some classical theorems for primitive groups and show that the hypothesis for a primitive algebra to be 2-closed is essential. Bibliography: 16 titles.     

An upper bound for the order of primitive permutation groups

Let G be a primitive permutation group of order |G| and degree n. Then |G|≤nd^m, where d is the minimal size of a nontrivial orbit of a one-point stabilizer of G and m is the minimal degree of a nonprincipal irreducible representation of G entering its permutation representation. Bibliography: 8 titles. Dedicated to L. D. Faddeev on occasion of his 60th birthday Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 215, 1994, pp. 256–263. Translated by I. Ponomarenko.     

Group elements of some semisimple finite-dimensional Hopf algebras

V. A. Artamonov and I. A. Chubarov proved a criterion under which an element of some semisimple finite-dimensional Hopf algebra is group-like. The studied Hopf algebra has only one nonone- dimensional irreducible representation. Let n be a dimension of this representation. It is shown in this paper that for odd prime n the set of group-like elements of these algebras is a cyclic group of order 2n.     

Distance-transitive representations of the sporadic groups

A permutation representation of a finite group is multiplicity-free if all the irreducible constituents in the permutation character are distinct. There are three main reasons why these representations are interesting: it has been checked that all finite simple groups have such permutation representations, these are often of geometric interest, and the actions on vertices of distance-transitive graphs are multiplicity-free.

In this paper we classify the primitive multiplicity-free representations of the sporadic simple groups and their automorphism groups. We determine all the distance-transitive graphs arising from these representations. Moreover, we obtain intersection matrices for most of these actions, which are of further interest and should be useful in future investigations of the sporadic simple groups.     

Primitive Limit Algebras and C-Envelopes

In this paper, we study irreducible representations of regular limit subalgebras of AF-algebras. The main result is twofold: every closed prime ideal of a limit of direct sums of nest algebras (NSAF) is primitive, and every prime regular limit algebra is primitive. A key step is that the quotient of an NSAF algebra by any closed ideal has an AF C^*-envelope, and this algebra is exhibited as a quotient of a concretely represented AF-algebra. When the ideal is prime, the C^*-envelope is primitive. The GNS construction is used to produce algebraically irreducible (in fact n-transitive for all n1) representations for quotients of NSAF algebras by closed prime ideals. Thus the closed prime ideals of NSAF algebras coincide with the primitive ideals. Moreover, these representations extend to *-representations of the C^*-envelope of the quotient, so that a fortiori these algebras are also operator primitive. The same holds true for arbitrary limit algebras and the {0} ideal.     

Algebras and differential equations with additive symmetry

The set of all m-ary algebra structures on a given vector space affords, by the change of basis action, a representation of the general linear group. The invariants of a given subgroup are identified with those algebras admitting that subgroup as algebra automorphisms. Any finite dimensional representation of the additive group as automorphisms is obtained as the exponential of a nilpotent derivation. The latter can be embedded in the Lie algebra sl(2) so that the maximal vectors in an irreducible decomposition of the set of algebras as an sl(2) module are the invariants of the given action of the additive group. Dimension formulas and explicit bases are computed for the space of algebras with certain additive group actions. Employing the equivalence of the categories of m-ary algebras and systems of autonomous mth order homogeneous differential equations, the algebraic results are connected to the construction of first integrals and semi-invariants.     

Representations of Association Schemes and Their Factor Schemes

 In the present paper we investigate the relationship between the complex representations of an association scheme G and the complex representations of certain factor schemes of G. Our first result is that, similar to group representation theory, representations of factor schemes over normal closed subsets of G can be viewed as representations of G itself. We then give necessary and sufficient conditions for an irreducible character of G to be a character of a factor scheme of G. These characterizations involve the central primitive idempotents of the adjacency algebra of G and they are obtained with the help of the Frobenius reciprocity low which we prove for complex adjacency algebras. Received: February 27, 2001 Final version received: August 30, 2001     

On the Finite Group with the Index of Maximal Subgroups of the Monster

Abstract

We study the problem concerning the influence of the index of maximal subgroup or the degree of primitive permutation representation of the finite simple groups on the structure of a group. Let G be a finite group and s be the index of maximal subgroup of the Monster M. In this paper, we prove that there exists an epimorphism from G to M or A _s if G has the primitive permutation representation of degree s, and as a consequence we prove that the Monster is determined by every s.     

A note on residually small varieties of semigroups

It is proved for any varietyG of groups that if the subdirectly irreducible groups inG form a set, and if the subdirectly irreducible representation algebras of groups inG form a set, then every finite group inG is Abelian. The result is essential for the characterization of residually finite varieties of semigroups.     

Transitive groups with irreducible representations of bounded degree

A well-known theorem of Jordan states that there exists a function J(d) of a positive integer d for which the following holds: if G is a finite group having a faithful linear representation over ℂ of degree d, then G has a normal Abelian subgroup A with [G:A]≤J(d). We show that if G is a transitive permutation group and d is the maximal degree of irreducible representations of G entering its permutation representation, then there exists a normal solvable subgroup A of G such that [G:A]≤J(d) ^log ₂ ^d. Bibliography: 7 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 223, 1995, pp. 108–119. Translated by S. A. Evdokimov.     

Subdirectly Irreducible Double Demi-p-Lattices

The aim of this paper is to give a characterization of the (finitely) subdirectly irreducible double demi-p-lattices. First, we prove a congruence representation theorem for double demi-p-lattices, which is a natural analogue of the theorem given in [2] for double p-algebras. These results are inspired by the representation theorem given by Lakser [6] for p-algebras, and yield a natural approach to the study of subdirectly irreducible algebras.     

Reduction of discontinuity for derivations on Frechet algebras

We consider strictly irreducible representations with whichthe discontinuity of a derivation on a (locally multiplicativelyconvex) Fréchet algebra must be associated. Only thosestrictly irreducible representations which are compatible withthe topology of the algebra are considered. The main resultsshow that when consideration is fixed upon each seminorm, theexceptional set of primitive ideals supporting the discontinuitymust be a finite set, with each ideal being the kernel of somefinite-dimensional irreducible representation. This result isthe best possible, as can be seen by considering the radicalFréchet algebra constructed by Charles Read with identityadjoined which has a derivation with separating ideal that isthe entire algebra, and one could take (countable) Fréchetproducts of his counterexample. It is also proved that derivationson commutative Fréchet algebras, the structure spacesof which are compact metric in the weak* topology, have onlyfinitely many such exceptional points overall.     

A Frobenius–Schur Theorem for Hopf Algebras

We prove a version of the Frobenius–Schur theorem for a finite-dimensional semisimple Hopf algebra H over an algebraically closed field; if the field has characteristic p not 0, H is also assumed to be cosemisimple. Then for each irreducible representation V of H, we define a Schur indicator for V, which reduces to the classical Schur indicator when H is the group algebra of a finite group. We prove that this indicator is 0 if and only if V is not self-dual. If V is self dual, then the indicator is positive (respectively, negative) if and only if V admits a nondegenerate bilinear symmetric (resp., skew-symmetric) H-invariant form. A more general result is proved for algebras with involution.     

Two-dimensional l-adic representations of the Galois group of a global field of characteristic P and automorphic forms on Gl(2)

It is well known (Ref. Zh. Mat., 1978, 1A405) that to each parabolic representation of the group GL (2) over adeles of a global field k of characteristic p there corresponds an irreducible two-dimensionall-adic representation of the Galois group of this field. In this paper, it is proved that, conversely also, to each irreducible two-dimensionall-adic representation of the Galois group there corresponds a parabolic representation of the group GL(2) over adeles. The proof of Langland's hypotheses for GL(2,k) is thereby completed.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 134, pp. 138–156, 1984.     

Modular irreducible representations of the symmetric group as linear codes

We describe a particularly easy way of evaluating the modular irreducible matrix representations of the symmetric group. It shows that Specht’s approach to the ordinary irreducible representations, along Specht polynomials, can be unified with Clausen’s approach to the modular irreducible representations using symmetrized standard bideterminants. The unified method, using symmetrized Specht polynomials, is very easy to explain, and it follows directly from Clausen’s theorem by replacing the indeterminate x_ij of the letter place algebra by x_jⁱ.Our approach is implemented in SYMMETRICA. It was used in order to obtain computational results on code theoretic properties of the p-modular irreducible representation [λ]_p corresponding to a p-regular partition λ via embedding it into representation spaces obtained from ordinary irreducible representations. The first embedding is into the permutation representation induced from the column group of a standard Young tableau of shape λ. The second embedding is the embedding of [λ]_p into the space of , the p-modular representation obtained from the ordinary irreducible representation [λ] by reducing the coefficients modulo p.We include a few tables with dimensions and minimum distances of these codes; others can be found via our home page.     

A finiteness lemma,brauer's theorem and other iIrreducibility results

A technical lemma is proved for certain semigroups of matrices. It has several applications to problems concerning irreducible semigroups satisfying spectral conditions, e.g., submultiplicativity of spectrum. It is also used to give extensions of the following theorem of Brauer's. If U is a finite group of complex matrices, so that for some integer m, every U in U, satisties U^m =I then U has a representation over the cyclotomic field Q(ω), where ω is a primitive m-th root of unity.     

Brauer algebras of simply laced type

The diagram algebra introduced by Brauer that describes the centralizer algebra of the n-fold tensor product of the natural representation of an orthogonal Lie group has a presentation by generators and relations that only depends on the path graph A _{n − 1} on n − 1 nodes. Here we describe an algebra depending on an arbitrary graph Q, called the Brauer algebra of type Q, and study its structure in the cases where Q is a Coxeter graph of simply laced spherical type (so its connected components are of type A _{n − 1}, D _n , E₆, E₇, E₈). We find its irreducible representations and its dimension, and show that the algebra is cellular. The algebra is generically semisimple and contains the group algebra of the Coxeter group of type Q as a subalgebra. It is a ring homomorphic image of the Birman-Murakami-Wenzl algebra of type Q; this fact will be used in later work determining the structure of the Birman-Murakami-Wenzl algebras of simply laced spherical type.     

Free Akivis Algebras, Primitive Elements, and Hyperalgebras

Free Akivis algebras and primitive elements in their universal enveloping algebras are investigated. It is proved that subalgebras of free Akivis algebras are free and that finitely generated subalgebras are finitely residual. Decidability of the word problem for the variety of Akivis algebras is also proved.The conjecture of K. H. Hofmann and K. Strambach (Problem 6.15 in [Topological and analytic loops, in “Quasigroups and Loops Theory and Applications,” Series in Pure Mathematics (O. Chein, H. O. Pflugfelder, and J. D. H. Smith, Eds.), Vol. 8, pp. 205–262, Heldermann Verlag, Berlin, 1990]) on the structure of primitive elements is proved to be not valid, and a full system of primitive elements in free nonassociative algebra is constructed.Finally, it is proved that every algebra B can be considered as a hyperalgebra, that is, a system with a series of multilinear operations that plays a role of a tangent algebra for a local analytic loop, where the hyperalgebra operations on B are interpreted by certain primitive elements.     

The 2-characters of a group and the group determinant

A new look at Frobenius' original papers on character theory has produced the following: (a) the group determinant determines the group (Formanek-Sibley); (b) the group is determined by the 1-, 2- and 3-characters of the irreducible representations (Hoehnke-Johnson); and (c) pairs of non-isomorphic groups exist with the same irreducible 1- and 2-characters (Johnson-Sehgal). The examples produced in Johnson and Sehgal have large orders but, recently, McKay and Sibley have proved that the ten Brauer pairs of order 256 have the same irreducible 2-characters. It is shown here that the pairs of non-isomorphic groups of order p³, p and odd prime, have the same irreducible 2-characters. Further results are given on the k-characters of the regular representation/rod a shorter proof of the result mentioned in (c) is indicated. A criterion is given which is sufficient for the 3-character of an arbitrary representation to determine the group.