Most primitive groups have messy invariants

Suppose G is a finite group of complex n × n matrices, and let R^G be the ring of invariants of G: i.e., those polynomials fixed by G. Many authors, from Klein to the present day, have described R^G by writing it as a direct sum Σ^δ_j=1 η_j$\text{C}$[θ₁ ,…, θ_n]. For example, if G is a unitary group generated by reflections, δ = 1. In this note we show that in general this approach is hopeless by proving that, for any ? > 0, the smallest possible δ is greater than | G |^n-1-? for almost all primitive groups. Since for any group we can choose δ ? | G |^n-1, this means that most primitive groups are about as bad as they can be. The upper bound on δ follows from Dade's theorem that the θ_i can be chosen to have degrees dividing | G |.     

A semiprime morita context related to finite automorphism groups of rings

A Morita context relating the fixed ring and the skew group ring introduced by M. Cohen is studied. If the skew group ring is semiprime andR ^G satisfied a PI, thenR satisfies a PI of degree ≦|G|d. We also discuss the Galois correspondence for the maximal quotient ring of a free algebra.     

A Finitary Version of Gromov’s Polynomial Growth Theorem

We show that for some absolute (explicit) constant C, the following holds for every finitely generated group G, and all d > 0: If there is some R ₀ > exp(exp(Cd ^C )) for which the number of elements in a ball of radius R ₀ in a Cayley graph of G is bounded by R₀^d{R_0^d} , then G has a finite-index subgroup which is nilpotent (of step < C ^d ). An effective bound on the finite index is provided if “nilpotent” is replaced by “polycyclic”, thus yielding a non-trivial result for finite groups as well.     

Moment sets and unitary dual for the diamond group

The diamond group G is a solvable group, semi-direct product of R with a (2n+1)-dimensional Heisenberg group Hn. We consider this group as a first example of a semi-direct product with the form R?N where N is nilpotent, connected and simply connected.Computing the moment sets for G, we prove that they separate the coadjoint orbits and its generic unitary irreducible representations.Then we look for the separation of all irreducible representations. First, moment sets separate representations for a quotient group G⁻ of G by a discrete subgroup, then we can extend G to an overgroup G⁺, extend simultaneously each unitary irreducible representation of G to G⁺ and separate the representations of G by moment sets for G⁺.     

A counter example for nilpotent groups

Let R be a ring with 1, I be a nilpotent subring of R (there exists a natural number n, such that In = 0), and I be generated by {xj |j ∈ J} as ring. Write U = 1 + I, and it is a nilpotent group with class ≤ n - 1. Let G be the subgroup of U which is generated by {1 + xj|j ∈ J}. The group constructed in this paper indicates that the nilpotency class of G can be less than that of U.     

Grothendieck groups of abelian group rings

Let R be a noetherian ring, and G(R) the Grothendieck group of finitely generated modules over R. For a finite abelian group π, we describe G(Rπ) as the direct sum of groups G(R'). Each R' is the form R[ζ_n, 1/n], where n is a positive integer and ζ_n a primitive nth root of unity. As an application, we describe the structure of the Grothendiek group of pairs (H, u), where H is an abelian group and u is an automorphism of H of finite order.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

p-Groupes abéliens de type (p,…,p) et disques ouverts p-adiques

Let k be an algebraically closed field of characteristic p>0, W(k) its ring of Witt vectors and R a complete discrete valuation ring dominating W(k). Consider finite groups G≃ (ℤ/pℤ) ⁿ , p≥ 2, n≥1. In a former paper we showed that a given realization of such a G as a group of k-automorphisms of k[[z]] must satisfy some conditions in order to have a lifting as a group of R-automorphisms of R[[Z]]. In this note, we give for every G (all p≥ 2, n>1) a realization as an automorphism group of k[[z]] which ca be lifted as a group of R-automorphisms of R[[Z]] for suitable R. Received: 22 December 1998     

On subgroups of the general linear group that contain a maximal nonsplit torus

The paper deals with the structure of intermediate subgroups of the general linear group GL(n, k) of degree n over a field k of odd characteristic that contain a nonsplit maximal torus related to a radical extension of degree n of the ground field k. The structure of ideal nets over a ring that determine the structure of intermediate subgroups containinga transvection is given. Let K = k( ⁿ?{d} ) K = k\left( {\sqrt[n]{d}} \right) be a radical degree-n extension of a field k of odd characteristic, and let T =(d) be a nonsplit maximal torus, which is the image of the multiplicative group of the field K under the regular embedding in G =GL(n, k). In the paper, the structure of intermediate subgroups H, T ≤ H ≤ G, that contain a transvection is studied. The elements of the matrices in the torus T = T (d) generate a subring R(d) in the field k.Let R be an intermediate subring, R(d) ⊆ R ⊆ k, d ∈ R. Let σ_R denote the net in which the ideal dR stands on the principal diagonal and above it and all entries of which beneath the principal diagonal are equal to R. Let σ^R denote the net in which all positions on the principal diagonal and beneath it are occupied by R and all entries above the principal diagonal are equal to dR. Let E(σ_R) be the subgroup generated by all transvections from the net group G(σ_R). In the paper it is proved that the product TE(σ_R) is a group (and thus an intermediate subgroup). If the net σ associated with an intermediate subgroup H coincides with σ_R,then TE(σ_R) ≤ H ≤ N(σ_R),where N(σ_R) is the normalizer of the elementary net group E(σ_R) in G. For the normalizer N(σ_R),the formula N(σ_R)= TG(σ^R) holds. In particular, this result enables one to describe the maximal intermediate subgroups. Bibliography: 13 titles.     

Automorphisms of the semigroup of nonnegative invertible matrices of order 2 over rings

In this paper, we describe automorphisms of the semigroup G₂(R) of nonnegative invertible matrices if R is a (not necessarily commutative) partially ordered ring without zero divisors with 1/n for some natural number n?>?1.     

Trees with second minimum general Randić index for α>0

The general Randi? index R _α (G) of a graph G is the sum of the weights (d(u)d(v)) ^α of all edges uv of G, where α is a real number(α≠0) and d(u) denotes the degree of the vertex u. We have known that P _n has minimum general Randi? index for α>0 among trees when n≥5. In this paper, we prove that P _n,3 has second minimum general Randi? index for α>0 among trees when n≥7.     

Groups with a positive law on commutators

Let p be a prime number and let G be a finitely generated group that is residually a finite p-group. We prove that if G satisfies a positive law on all elements of the form [a,b][c,d]ⁱ, a,b,c,d∈G and i?0, then the entire derived subgroup G^′ satisfies a positive law. In fact, G^′ is an extension of a nilpotent group by a locally finite group of finite exponent.     

On covariant functions and distributions under the action of a compact group

Let G be a compact subgroup of GLn(R) acting linearly on a finite dimensional complex vector space E. B. Malgrange has shown that the space C^∞G(Rn,E) of C^∞ and G-covariant functions is a finite module over the ring C^∞G(Rn) of C^∞ and G-invariant functions. First, we generalize this result for the Schwartz space SG(Rn,E) of G-covariant functions. Secondly, we prove that any G-covariant distribution can be decomposed into a sum of G-invariant distributions multiplied with a fixed family of G-covariant polynomials. This gives a generalization of an Oksak result proved in [4].     

Characterization of modules of finite projective dimension via Frobenius functors

Let M be a finitely generated module over a local ring R of characteristic p > 0. If depth(R) = s, then the property that M has finite projective dimension can be characterized by the vanishing of the functor Extⁱ_R(M, ^fnR){{\rm Ext}^i_R(M, ^{f^n}R)} for s + 1 consecutive values i > 0 and for infinitely many n. In addition, if R is a d-dimensional complete intersection, then M has finite projective dimension can be characterized by the vanishing of the functor Extⁱ_R(M, ^fnR){{\rm Ext}^i_R(M, ^{f^n}R)} for some i ≥ d and some n > 0.     

A structure theorem for abstract Witt rings containing rigid elements

Suppose (R, G) is a non-reduced abstract Witt ring containing a rigid element d such that the value set D<1,-d> satisfies a certain finiteness-condition. Then (R, G) is a direct product of a reduced abstract Witt ring and a Witt-group ring.     

Derivations with nilpotent values

IfR is a semiprme ring andd a derivation ofR such thatd(x) ⁿ=0 for allx∈R, wheren≥1 is a fixed integer, thend=0.     

A description of Baer-Suzuki type of the solvable radical of a finite group

We obtain the following characterization of the solvable radical R(G) of any finite group G: R(G) coincides with the collection of all g∈G such that for any 3 elements a₁,a₂,a₃∈G the subgroup generated by the elements , i=1,2,3, is solvable. In particular, this means that a finite group G is solvable if and only if in each conjugacy class of G every 4 elements generate a solvable subgroup. The latter result also follows from a theorem of P. Flavell on {2,3}^′-elements in the solvable radical of a finite group (which does not use the classification of finite simple groups).     

Semiprime Goldie centralizers

LetG be a finite group of automorphisms acting on a ringR, andR ^G={fixed points ofG}. We show that under certain conditions onR andG, whenR ^Gis semiprime Goldie then so isR. In particular, ifa∈R is invertible anda ⁿ∈Z(R), thenR ^G,withG generated by the inner automorphism determined bya, is the centralizer ofa—C _R(a). The above result withR ^Greplaced byC _R(a) is shown without the assumption thata is invertible.     

On Groups Generated by Elements of Pirme Order

In the first part of the paper we give a characterization of groups generated by elements of fixed prime order p. In the second part we study the group G _n ^(p) of n × n matrices with the pth power of the determinant equal to 1 over a field F containing a primitive pth root of 1. It is known that the group G _n ⁽²⁾ of n × n matrices of determinant ± 1 over a field F and the group SL _n (F) are generated by their involutions and that each element in these groups is a product of four involutions. We consider some subgroups G of G _n ^(p) and study the following problems: Is G generated by its elements of order p? If so, is every element of G a product of k elements of order p for some fixed integer k? We show that G _n ^(p) and SL _n (F) are generated by their elements of order p and that the bound k exists and is equal to 4. We show that every universal p-Coxeter group has faithful two-dimensional representations over many fields F (including ? and ?). For a universal p-Coxeter group of rank ≥ 2 for p ≥ 3 or of rank ≥ 3 for p = 2 there is no bound k.