Projective Prime Ideals and Localisation in PI-Rings

The results here generalise [2, Proposition 4.3] and [9, Theorem5.11]. We shall prove the following. THEOREM A. Let R be a Noetherian PI-ring. Let P be a non-idempotentprime ideal of R such that P_R is projective. Then P is leftlocalisable and R_P is a prime principal left and right idealring. We also have the following theorem. THEOREM B. Let R be a Noetherian PI-ring. Let M be a non-idempotentmaximal ideal of R such that M_R is projective. Then M has theleft AR-property and M contains a right regular element of R.     

On the Existence of Certain Modules of Finite Gorenstein Homological Dimensions

Let (R, 𝔪) be a commutative Noetherian local ring. It is known that R is Cohen–Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen–Macaulay R-module of finite projective dimension. In this article, we investigate the Gorenstein analogues of these facts.     

Semisimple Modules for Finite Groups of Lie Type

Let k be an algebraically closed field of characteristic p >0, and let G be a connected, reductive algebraic group overk. In [8] and [11], conditions on the dimension of rationalG modules were seen to imply semisimplicity of these modules.In [8], certain of these conditions were extended to cover thefinite groups of Lie type. In this paper, we extend some ofthe results of [11] to cover these finite Lie type groups. Themain such extension is the following result.     

Embedding Spaces of Finite Length in R3

I refine a theorem from [3] to show that if (X, ) is any metricspace of finite length, it can be embedded in a compact connectedsubset of R³ of finite length in such a way as to preserve themeasure µ     

Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

Invariants of Finite Reflection Groups and the Mean Value Problem for Polytopes

Let P be an n-dimensional polytope admitting a finite reflectiongroup G as its symmetry group. Consider the set H_P(k) of allcontinuous functions on Rⁿ satisfying the mean value propertywith respect to the k-skeleton P(k) of P, as well as the setH_G of all G-harmonic functions. Then a necessary and sufficientcondition for the equality H_P(k) = H_G is given in terms of adistinguished invariant basis, called the canonical invariantbasis, of G. 1991 Mathematics Subject Classification 20F55,52B15.     

Residually Finite Groups with all Subgroups Subnormal

The following result is established. THEOREM. Let G be a periodic, residually finite group with allsubgroups sub-normal. Then G is nilpotent. The well-known groups of Heineken and Mohamed [1] show thatthe hypothesis of residual finiteness cannot be omitted here,while examples in [5] show that a residually finite group withall subgroups subnormal need not be nilpotent. The proof ofthe Theorem will use the results of Möhres that a groupwith all subgroups subnormal is soluble [3] and that a periodichypercentral group with all subgroups subnormal is nilpotent[4]. Borrowing an idea from [2], the plan is to construct certainsubgroups H and K that intersect trivially, and to show thatthe subnormality of both leads to a contradiction. 1991 MathematicsSubject Classification 20E15.     

Normal Subgroups of Profinite Groups of Finite Cohomological Dimension

A profinite group G of finite cohomological dimension with (topologically)finitely generated closed normal subgroup N is studied. If Gis pro-p and N is either free as a pro-p group or a Poincarégroup of dimension 2 or analytic pro-p, it is shown that G/Nhas virtually finite cohomological dimension cd(G)–cd(N).Some other cases when G/N has virtually finite cohomologicaldimension are also considered. If G is profinite, the case of N projective or the profinitecompletion of the fundamental group of a compact surface isconsidered.     

A Bound on the Presentation Rank of a Finite Group

Let G be a finite group, and let I_G be the augmentation idealof ZG. We denote by d(G) the minimum number of generators forthe group G, and by d(I_G) the minimum number of elements ofI_G needed to generate I_G as a G-module. The connection betweend(G) and d(I_G) is given by the following result due to Roggenkamp]14]: where pr(G) is a non-negative integer, called the presentationrank of G, whose definition comes from the study of relationmodules (see [4] for more details). 1991 Mathematics SubjectClassification 20D20.     

Homological Properties of Fully Bounded Noetherian Rings

Let R be a fully bounded Noetherian ring of finite global dimension.Then we prove that K dim (R) gldim (R). If, in addition, Ris local, in the sense that R/J(R) is simple Artinian, thenwe prove that R is Auslander-regular and satisfies a versionof the Cohen–Macaulay property. As a consequence, we showthat a local fully bounded Noetherian ring of finite globaldimension is isomorphic to a matrix ring over a local domain,and a maximal order in its simple Artinian quotient ring.     

The Consistency of Holt's Conjectures on Cohomological Dimension of Locally Finite Groups

Let G be a locally finite group of cardinality _n where n isa natural number. Let (G) be the set of primes p for which Ghas an element of order p. In [5], Holt conjectures that ifk is a finite field with char k (G) then (1) G has cohomological dimension n+1 over k; (2) Hⁿ⁺¹(G, kG) has cardinality 2^_n; (3) Hⁱ(G, kG) = 0 for 0 i n.     

A Frobenius characterization of finite projective dimension over complete intersections

Let M be a module of finite length over a complete intersection (R,m) of characteristic . We characterize the property that M has finite projective dimension in terms of the asymptotic behavior of a certain length function defined using the Frobenius functor. This may be viewed as the converse to a theorem of S. Dutta. As a corollary we get that, in a complete intersection (R,m), an m-primary ideal I has finite projective dimension if and only if its Hilbert-Kunz multiplicity equals the length of R/I. Received June 22, 1998; in final form October 13, 1998     

Splendid Derived Equivalences for Blocks of Finite Groups

A central issue in finite group modular representation theoryis the relationship between the p-local structure and the p-modularrepresentation theory of a given finite group. In [5], Brouéposes some startling conjectures. For example, he conjecturesthat if e is a p-block of a finite group G with abelian defectgroup D and if f is the Brauer correspondent block of e of thenormalizer, N_G(D), of D then e and f have equivalent derivedcategories over a complete discrete valuation ring with residuefield of characteristic p. Some evidence for this conjecturehas been obtained using an important Morita analog for derivedcategories of Rickard [11]. This result states that the existenceof a tilting complex is a necessary and sufficient conditionfor the equivalence of two derived categories. In [5], Brouéalso defines an equivalence on the character level between p-blockse and f of finite groups G and H that he calls a ‘perfectisometry’ and he demonstrates that it is a consequenceof a derived category equivalence between e and f. In [5], Brouéalso poses a corresponding perfect isometry conjecture betweena p-block e of a finite group G with an abelian defect groupD and its Brauer correspondent p-block f of N_G(D) and presentsseveral examples of this phenomena. Subsequent research hasprovided much more evidence for this character-level conjecture. In many known examples of a perfect isometry between p-blockse, f of finite groups G, H there are also perfect isometriesbetween p-blocks of p-local subgroups corresponding to e andf and these isometries are compatible in a precise sense. In[5], Broué calls such a family of compatible perfectisometries an ‘isotypy’. In [11], Rickard addresses the analogous question of defininga p-locally compatible family of derived equivalences. In thisimportant paper, he defines a ‘splendid tilting complex’for p-blocks e and f of finite groups G and H with a commonp-subgroup P. Then he demonstrates that if X is such a splendidtilting complex, if P is a Sylow p-subgroup of G and H and ifG and H have the same ‘p-local structure’, thenp-local splendid tilting complexes are obtained from X via theBrauer functor and ‘lifting’. Consequently, in thissituation, we obtain an isotypy when e and f are the principalblocks of G and H. Linckelmann [9] and Puig [10] have also obtained important resultsin this area. In this paper, we refine the methods and program of [11] toobtain variants of some of the results of [11] that have widerapplicability. Indeed, suppose that the blocks e and f of Gand H have a common defect group D. Suppose also that X is asplendid tilting complex for e and f and that the p-local structureof (say) H with respect to D is contained in that of G, thenthe Brauer functor, lifting and ‘cutting’ by blockindempotents applied to X yield local block tilting complexesand consequently an isotypy on the character level. Since thep-local structure containment hypothesis is satisfied, for example,when H is a subgroup of G (as is the case in Broué'sconjectures) our results extend the applicability of these ideasand methods.     

Ideals in MOD-R and the {omega}-radical

Let R be an artin algebra, and let mod-R denote the categoryof finitely presented right R-modules. The radical rad = rad(mod-R)of this category and its finite powers play a major role inthe representation theory of R. The intersection of these finitepowers is denoted rad, and the nilpotence of this ideal hasbeen investigated, in [6, 13] for instance. In [17], arbitrarytransfinite powers, rad, of rad were defined and linked to theextent to which morphisms in mod-R may be factorised. In particular,it has been shown that if R is an artin algebra, then the transfiniteradical, rad, the intersection of all ordinal powers of rad,is non-zero if and only if there is a ‘factorisable system’of morphisms in rad and, in that case, the Krull–Gabrieldimension of mod-R equals (that is, is undefined). More preciseresults on the index of nilpotence of rad for artin algebraswere proved in [14, 20, 24–26].     

On the Number of Solutions of an Equation Over a Finite Field

The Stöhr–Voloch approach is used to obtain a newbound for the number of solutions in (F_q)² of an equation f(X,Y) = 0, where f(X, Y) is an absolutely irreducible polynomialwith coefficients in a finite field F_q.     

On the Representations of a Number as the Sum of Four Fifth Powers

It is known from Vaughan and Wooley's work on Waring's problemthat every sufficiently large natural number is the sum of atmost 17 fifth powers [13]. It is also known that at least sixfifth powers are required to be able to express every sufficientlylarge natural number as a sum of fifth powers (see, for instance,[5, Theorem 394]). The techniques of [13] allow one to showthat almost all natural numbers are the sum of nine fifth powers.A problem of related interest is to obtain an upper bound forthe number of representations of a number as a sum of a fixednumber of powers. Let R(n) denote the number of representationsof the natural number n as a sum of four fifth powers. In thispaper, we establish a non-trivial upper bound for R(n), whichis expressed in the following theorem.     

DEFORMATIONS OF HYPERCOMPLEX STRUCTURES ASSOCIATED TO HEISENBERG GROUPS

Let X be a compact quotient of the product of the real Heisenberggroup H_4m+1 of dimension 4m + 1 and the three-dimensional realEuclidean space R³. A left-invariant hypercomplex structureon H_4m+1 x R³ descends onto the compact quotient X. The spaceX is a hyperholomorphic fibration of 4-tori over a 4m-torus.We calculate the parameter space and obstructions to deformationsof this hypercomplex structure on X. Using our calculations,we show that all small deformations generate invariant hypercomplexstructures on X but not all of them arise from deformationsof the lattice. This is in contrast to the deformations on the4m-torus.     

Rates of Recurrence for Zq and Rq Extensions of Subshifts of Finite Type

In this note we give new asymptotic formulae for certain countingfunctions associated to the periodic behaviour of Z^q and R^qextensions of subshifts of finite type. In the case of the Z^qextensions, these strengthen previous estimates of Marcus andTuncel [9]. For both types of extension, our results complementthe central limit type results of Lalley [6]. Our proof requiresthe application of ideas from thermodynamic formalism. Whilstdeveloping this approach, in Section 2, we take the opportunityto present a counter-example to a related conjecture of Coelho-Filho[2].     

The Steinberg Lattice of a Finite Chevalley Group and its Modular Reduction

Let p be a prime and let q = p^a, where a is a positive integer.Let G 7equals; G(F_q) be a Chevalley group over F_q, with associatedsystem of roots and Weyl group W. Steinberg showed in 1957that G has an irreducible complex representation whose degreeequals the p-part of |G| [11]. This representation, now knownas the Steinberg representation, has remarkable properties,which reflect the structure of G, and there have been many researchpapers devoted to its study. The module constructed in [11]is in fact a right ideal in the integral group ring ZG of G,and is thus a ZG-lattice, which we propose to call the Steinberglattice of G. It should be noted that lattices not integrallyisomorphic to the Steinberg lattice may also afford the Steinbergrepresentation, and such lattices may differ considerably intheir properties compared with the Steinberg lattice.     

Finitistic dimensions of semiprimary rings

LetR be a semiprimary ring. We show that if the left generalized projective dimension (defined below) of _R (R/J ²) is finite, then the injectively defined left finitistic dimension ofR is finite.