Groups lying between steinberg groups over nonperfect fields of characteristics 2 and 3

We describe groups lying between Steinberg groups of type ² A _l , ² D _l , ² E ₆, or ³ D ₄ over different fields of characteristics 2 and 3 in the case where the larger field is an algebraic extension of the smaller nonperfect field.     

Automorphisms of elementary adjoint Chevalley groups of types Al, Dl, and El over local rings with 1/2

It is proved that every automorphism of an elementary adjoint Chevalley group of type A _l , D _l , or E _l over a local commutative ring with 1/2 is a composition of a ring automorphism and conjugation by some matrix from the normalizer of that Chevalley group in GL(V) (V is an adjoint representation space).     

Automorphisms of Chevalley groups of types A l , D l , or E l over local rings with 1/2

In this paper, we prove that every automorphism of an (elementary) Chevalley group of type A _l , D _l , or E _l , l ≥ 2, over a commutative local ring with 1/2 is standard, i.e., is the composition of inner, ring, graph, and central automorphisms.     

The connectivity of large digraphs and graphs

This paper studies the relation between the connectivity and other parameters of a digraph (or graph), namely its order n, minimum degree δ, maximum degree Δ, diameter D, and a new parameter l_pi;, 0 ≤ π ≤ δ ? 2, related with the number of short paths (in the case of graphs l₀ = ?(g ? 1)/2? where g stands for the girth). For instance, let G = (V,A) be a digraph on n vertices with maximum degree Δ and diameter D, so that n ≤ n(Δ, D) = 1 + Δ + Δ ² + … + Δ^D (Moore bound). As the main results it is shown that, if κ and λ denote respectively the connectivity and arc-connectivity of G, . Analogous results hold for graphs. © 1993 John Wiley & Sons, Inc.     

The Birman–Murakami–Wenzl Algebras of Type D n

The Birman–Murakami–Wenzl algebra (BMW algebra) of type D _n is shown to be semisimple and free of rank (2 ⁿ  + 1)n!! ? (2 ^n?1 + 1)n! over a specified commutative ring R, where n!! =1·3…(2n ? 1). We also show it is a cellular algebra over suitable ring extensions of R. The Brauer algebra of type D _n is the image of an R-equivariant homomorphism and is also semisimple and free of the same rank, but over the ring ?[δ^±1]. A rewrite system for the Brauer algebra is used in bounding the rank of the BMW algebra above. As a consequence of our results, the generalized Temperley–Lieb algebra of type D _n is a subalgebra of the BMW algebra of the same type.     

The Birman-Murakami-Wenzl algebras of type E n

The Birman-Murakami-Wenzl algebras (BMW algebras) of type E _n for n = 6; 7; 8 are shown to be semisimple and free over the integral domain \mathbbZ[ d^±1,l^±1,m ]

The m-ordered real free pro-2-group. Cohomological characterizations ∗

In this paper we investigate representations of simple algebraic groups over an algebraically closed field of characteristic 2 and of their Lie algebras. For the groups of rank 4 or less, we shall determine all of the extensions of simple modules. The central theme will be the study of some intimate connections among the groups of types B_l, C _l and D_l (and F ₄ when l = 4). We also give calculations for those other groups of rank 4 or less which have not already been treated elsewhere ([1], [18]), but this is primarily for the sake of completeness.     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

K2 of a Ring via the G-Construction

We interpret the Steinberg symbols x_i,j(a) as homotopies contracting the elementary matrices e_i,j(a), the latters being represented by certain arcs in a simplicial model of the K-theory. We further prove the Steinberg relations for these homotopies. This provides an explicit map from K₂ of a ring, defined classically as ker(St(R) → GL(R)), to π₂ of the G-construction assigned to R. Though the two groups are known to be isomorphic, a certain work is to be done to prove that this explicit map is an isomorphism. Mathematics Subject Classification 1991: Primary 19B99, 19D99; secondary 18E10, 18F25.     

ON K 2 OF DIVISION ALGEBRAS

ABSTRACT

In this paper, it is proved that if F is a global field, then for any integer n > 3, there is an extension field E over F of degree n such that K ₂ E is not generated by the Steinberg symbols {a, b} with a ∈ F*, b, ∈ E*. If however, F is a number field and D is a finite-dimensional central division F-algebra with square free index, then K ₂ D is always generated by the Steinberg symbols {a, b} with a ∈ F*, b ∈ D*. Finally, the tame kernels of central division algebras over F are expressed explicitly.     

Automorphisms of Chevalley groups of types Al, Dl, El over local rings without 1/2

In this paper, we prove that every automorphism of a Chevalley group of type B _l , l ≥ 2, over a commutative local ring with 1/2 is standard, i.e., it is a composition of ring, inner, and central automorphisms.     

Homogeneous polynomials on the ball and polynomial bases

It is shown that the spaces of homogenous polynomials on the complex 2-ball are uniformly isomorphic tol ^∞-spaces. The argument is based on explicit constructions and the decomposition method. A new construction is given of bases in the spaceA _N of monomials 1,z,z ², ...,z ^N−1 on the disc (due to Bochkarev [Boc]). Also using decomposition methods, the existence of a base in the ball algebra is obtained.     

Trialitarian groups and the Hasse principle

Let F be a field of characteristic ≠ 2 such that is of cohomological 2- and 3-dimension ≤ 2. For G a simply connected group of type ³ D ₄ or ⁶ D ₄ over F, we show that the natural map

Limq → ∞ \frac{c(G)}{r(G)} for Simple Groups

By a quasi-permutation matrix we mean a square matrix over the complex field C with non-negative integral trace. For a given finite group G, let c(G) denote the minimal degree of a faithful representation of G by complex quasi-permutation matrices and let r(G) denote the minimal degree of a faithful rational valued character of G. Also let G denote one of the symbols A_l, B_l, C_l, D_l, E₆, E₇, E₈, G₂, F₄, ²B₂, ²E₄, ²G₂, and ³D₄. Let G(q) denote simple group of type G over GF(q). Let c(q) = c(G(q)) and r(q) = r(G(q)). Then we will show that lim Lim_q = 1.     

Higher Indicators for the Doubles of Some Totally Orthogonal Groups

We investigate the indicators for certain groups of the form ? _k  ? D _l and their doubles, where D _l is the dihedral group of order 2l. We subsequently obtain an infinite family of totally orthogonal, completely real groups which are generated by involutions, and whose doubles admit modules with second indicator of ?1. This provides us with answers to several questions concerning the doubles of totally orthogonal finite groups.     

Hamilton cycles,avoiding prescribed arcs,in close-to-regular tournaments

The local irregularity of a digraph D is defined as i_l(D) = max {|d⁺ (x) − d⁻ (x)| : x ϵ V(D)}. Let T be a tournament, let Γ = {V₁, V₂, …, V_c} be a partition of V(T) such that |V₁| ≥ |V₂| ≥ … ≥ |V_c|, and let D be the multipartite tournament obtained by deleting all the arcs with both end points in the same set in Γ. We prove that, if |V(T)| ≥ max{2i_l(T) + 2|V₁| + 2|V₂| − 2, i_l(T) + 3|V₁| − 1}, then D is Hamiltonian. Furthermore, if T is regular (i.e., i_l(T) = 0), then we state slightly better lower bounds for |V(T)| such that we still can guarantee that D is Hamiltonian. Finally, we show that our results are best possible. © 1999 John Wiley & Sons, Inc. J Graph Theory 32: 123–136, 1999     

How Close to Regular Must a Semicomplete Multipartite Digraph Be to Secure Hamiltonicity?

 Let D be a semicomplete multipartite digraph, with partite sets V ₁, V ₂,…, V _c, such that |V ₁|≤|V ₂|≤…≤|V _c|. Define f(D)=|V(D)|−3|V _c|+1 and . We define the irregularity i(D) of D to be max|d ⁺(x)−d ⁻(y)| over all vertices x and y of D (possibly x=y). We define the local irregularity i _l(D) of D to be max|d ⁺(x)−d ⁻(x)| over all vertices x of D and we define the global irregularity of D to be i _g(D)=max{d ⁺(x),d ⁻(x) : x∈V(D)}−min{d ⁺(y),d ⁻(y) : y∈V(D)}. In this paper we show that if i _g(D)≤g(D) or if i _l(D)≤min{f(D), g(D)} then D is Hamiltonian. We furthermore show how this implies a theorem which generalizes two results by Volkmann and solves a stated problem and a conjecture from [6]. Our result also gives support to the conjecture from [6] that all diregular c-partite tournaments (c≥4) are pancyclic, and it is used in [9], which proves this conjecture for all c≥5. Finally we show that our result in some sense is best possible, by giving an infinite class of non-Hamiltonian semicomplete multipartite digraphs, D, with i _g(D)=i(D)=i _l(D)=g(D)+?≤f(D)+1. Revised: September 17, 1998     

Weights of the l-adic cohomology of a proper toric variety

We describe the weights of the l-adic cohomology groups of a toric variety over a finite field k in terms of the Ishida complexes of Z-modules. As a consequence, we conclude that, for an r-dimensional proper toric variety X, the m-th cohomology group H^m (X?_k[kbar],Q_l) is of pure weight if m = 0,1,2,3,2r - 3,2r - 2,2r - 1,2r.Furthermore, we show that, for any m such that 3 < m < 2r - 3,there exists an r-dimensional proper toric variety whose m-th cohomology group H^m (X?_k[kbar],Q _l ) is not pure.     

Study of Hopficity in Certain Classes of Rings

The main results proved in this paper are:

1. For any non-zero vector space V _Dover a division ring D, the ring R= End(V _D) is hopfian as a ring

2. Let Rbe a reduced π-regular ring &; B(R) the boolean ring of idempotents of R. If B(R) is hopfian so is R.The converse is not true even when Ris strongly regular.

3. Let Xbe a completely regular spaceC(X) (resp. C ^?(X)) the ring of real valued (resp. bounded real valued) continuous functions on X. Let Rbe any one of C(X) or C ^?(X). Then Ris an exchange ring if &; only if Xis zero dimensional in the sense of Katetov. for any infinite compact totally disconnected space X C(X) is an exchange ring which is not von Neumann regular.

4. Let Rbe a reduced commutative exchange ring. If Ris hopfian so is the polynomial ring R[T ₁,…,T _n] in ncommuting indeterminates over Rwhere nis any integer ≥ 1.

5. Let Rbe a reduced exchange ring. If Ris hopfian so is the polynomial ring R[T].