The Hilbert series of prime PI rings

We study the Hilbert series of finitely generated prime PI algebras. We show that given such an algebraA there exists some finite dimensional subspaceV ofA which contains 1 _A and generatesA as an algebra such that the Hilbert series ofA with respect to the vector spaceV is a rational function.     

PI-rings and semiprime rings having faithful modules with krull dimension

It is proved that if a PI-ring R has a faithful left R-module M with Krull dimension, then its prime radical rad(R) is nilpotent. If, moreover, the R-module M and the left ideal_R(rad(R)) are finitely generated, then R has a left Krull dimension equal to the Krull dimension of M. It turns out that a semiprime ring, which has a faithful (left or right) module with Krull dimension, is a finite subdirect product of prime rings. Moreover, first, a right Artinian ring R such that rad(R)²=0 has a faithful Artinian cyclic left module, and second, a finitely generated semiprime PI-algebra over a field has a faithful Artinian module. We give examples showing that the restrictions imposed are essential, as well as an example of a finitely generated prime PI-algebra over a field, which is not Noetherian and has a Krull dimension. Supported by RFFR grant No. 26-93-011-1544. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 562–572, September–October, 1997.     

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).     

On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

A note on the tensor product of Lie soluble algebras

D. M. Riley proved in [3] that, if A and B are either Lie nilpotent or Lie metabelian algebras, then their tensor product A ⊗ B is Lie soluble and obtained bounds on the Lie derived length of A ⊗ B. The aim of the present note is to improve Riley’s bounds; moreover we consider also the cases in which A and B are either strongly Lie soluble or strongly Lie nilpotent algebras. Received: 5 April 2006 The first two authors partially supported by MIUR-Italy via PRIN “Group theory and applications”.     

On finitely generated projective modules

It is shown that the set End _A (M) is a Waelbroeck algebra, for every topological Waelbroeck algebraA and for every finitely generated projectiveA-moduleM. The research of Mart Abel was supported by Greek State Scholarship Foundation and Estonian Science Foundation grant 6205.     

An equational theory for a nilpotent <Emphasis Type="Italic">A</Emphasis>-loop

It is shown that a variety generated by a nilpotent A-loop has a decidable equational (quasiequational ) theory. Thereby the question posed by A. I. Mal’tsev in [6] is answered in the negative, and moreover, a finitely presented nilpotent A-loop has a decidable word problem.     

Power closure and the Engel condition

A Liep-algebraL is calledn-power closed if, in every section ofL, any sum ofp ⁱ⁺ⁿ th powers is ap ⁱ th power (i>0). It is easy to see that ifL isp ⁿ -Engel then it isn-power closed. We establish a partial converse to this statement: ifL is residually nilpotent andn-power closed for somen≥0 thenL is (3p ^{n +2} +1)-Engel ifp>2 and (3 · 2 ⁿ⁺³+1)-Engel ifp=2. In particular, thenL is locally nilpotent by a theorem of Zel’manov. We deduce that a finitely generated pro-p group is a Lie group over thep-adic field if and only if its associated Liep-algebra isn-power closed for somen. We also deduce that any associative algebraR generated by nilpotent elements satisfies an identity of the form (x+y) ^{p n} =x ^{p n} +y ^{p n} for somen≥1 if and only ifR satisfies the Engel condition. This project was supported by the CNR in Italy and NSF-EPSCoR in Alabama during the first author’s stay at the Università di Palermo.     

On genus and embeddings of torsion-free nilpotent groups of class two

Summary We study embeddings between torsion-free nilpotent groups having isomorphic localizations. Firstly, we show that for finitely generated torsion-free nilpotent groups of nilpotency class 2, the property of having isomorphicP-localizations (whereP denotes any set of primes) is equivalent to the existence of mutual embeddings of finite index not divisible by any prime inP. We then focus on a certain family Γ of nilpotent groups whose Mislin genera can be identified with quotient sets of ideal class groups in quadratic fields. We show that the multiplication of equivalence classes of groups in Γ induced by the ideal class group structure can be described by means of certain pull-back diagrams reflecting the existence of enough embeddings between members of each Mislin genus. In this sense, the family Γ resembles the family N₀ of infinite, finitely generated nilpotent groups with finite commutator subgroup. We also show that, in further analogy with N₀, two groups in Γ with isomorphic localizations at every prime have isomorphic localizations at every finite set of primes. We supply counterexamples showing that this is not true in general, neither for finitely generated torsion-free nilpotent groups of class 2 nor for torsion-free abelian groups of finite rank. Supported by DGICYT grant PB94-0725 This article was processed by the author using the LAT_EX style filecljour1 from Springer-Verlag.     

Über die affin vollständigen,endlich erzeugbaren Moduln

A universal algebraA is calledk-affine complete, if any function of the Cartesian powerA ^k intoA, which is compatible with all congruence relations ofA, is a polynomial function.A is called affine complete, if it isk-affine complete for every integerk. In this paper, all affine complete finitely generated modules are characterized. Moreover, the paper contains some results on functions compatible with all congruence relations of an algebra, and on affine complete algebras in general.

---

---

Herrn Prof. Dr. E. Hlawka zum 60. Geburtstag gewidmet     

Polynomial mappings of groups

A mapping ϕ of a groupG to a groupF is said to be polynomial if it trivializes after several consecutive applications of operatorsD _h ,h ∈G, defined byD _h ϕ(g)=ϕ(g) ⁻¹ ϕ(gh). We study polynomial mappings of groups, mainly to nilpotent groups. In particular, we prove that polynomial mappings to a nilpotent group form a group with respect to the elementwise multiplication, and that any polynomial mappingG→F to a nilpotent groupF splits into a homomorphismG→G’ to a nilpotent groupG’ and a polynomial mappingG’→F. We apply the obtained results to prove the existence of the compact/weak mixing decomposition of a Hilbert space under a unitary polynomial action of a finitely generated nilpotent group. This work was supported by NSF, Grants DMS-9706057 and 0070566.     

Examples of associative algebras for which the <Emphasis Type="Italic">T</Emphasis>-space of central polynomials is not finitely based

In 1988 (see [7]), S. V. Okhitin proved that for any field k of characteristic zero, the T-space CP(M ₂(k)) is finitely based, and he raised the question as to whether CP(A) is finitely based for every (unitary) associative algebra A for which 0 ≠ T(A) ⊊ CP(A). V. V. Shchigolev (see [9], 2001) showed that for any field of characteristic zero, every T-space of k ₀〈X〉 is finitely based, and it follows from this that every T-space of k ₁〈X〉 is also finitely based. This more than answers Okhitin’s question (in the affirmative) for fields of characteristic zero.     

Division algebras with a projective basis

Letk be any field andG a finite group. Given a cohomology class α∈H ²(G,k ^*), whereG acts trivially onk ^*, one constructs the twisted group algebrak ^αG. Unlike the group algebrakG, the twisted group algebra may be a division algebra (e.g. symbol algebras, whereG⋞Z _n×Z_n). This paper has two main results: First we prove that ifD=k ^α G is a division algebra central overk (equivalentyD has a projectivek-basis) thenG is nilpotent andG’ the commutator subgroup ofG, is cyclic. Next we show that unless char(k)=0 and , the division algebraD=k ^α G is a product of cyclic algebras. Furthermore, ifD _p is ap-primary factor ofD, thenD _p is a product of cyclic algebras where all but possibly one are symbol algebras. If char(k)=0 and , the same result holds forD _p, p odd. Ifp=2 we show thatD ₂ is a product of quaternion algebras with (possibly) a crossed product algebra (L/k,β), Gal(L/k)⋞Z ₂×Z₂n.     

Extended Centres of Finitely Generated Prime Algebras

Let K be a field and let A be a finitely generated prime K-algebra. We generalize a result of Smith and Zhang, showing that if A is not PI and does not have a locally nilpotent ideal, then the extended centre of A has transcendence degree at most GKdim(A) ?2 over K. As a consequence, we are able to show that if A is a prime K-algebra of quadratic growth, then either the extended centre is algebraic over K or A is PI. Finally, we give an example of a finitely generated non-PI prime K-algebra of GK dimension 2 with a locally nilpotent ideal such that the extended centre has infinite transcendence degree over K.     

The equational complexity of Lyndon’s algebra

The equational complexity of Lyndon’s nonfinitely based 7-element algebra lies between n − 4 and 2n + 1. This result is based on a new algebraic proof that Lyndon’s algebra is not finitely based. We prove that Lyndon’s algebra is inherently nonfinitely based relative to a rather rich class of algebras. We also show that the variety generated by Lyndon’s algebra contains subdirectly irreducible algebras of all cardinalities except 0, 1, and 4.     

Large Scale Geometry of Nilpotent-By-Cyclic Groups

We show quasi-isometric rigidity for a class of finitely generated, non-polycyclic nilpotent-by-cyclic groups. Specifically, let Γ₁, Γ₂ be ascending HNN extensions of finitely generated nilpotent groups N ₁ and N ₂, such that Γ₁ is irreducible (see Definition 1.1). If Γ₁ and Γ₂ are quasi-isometric to each other then N ₁ and N ₂ are virtual lattices in a common simply connected nilpotent Lie group [(N)\tilde]{\tilde{N}}. As a consequence, we show the class of irreducible ascending HNN extensions of finitely generated nilpotent groups is quasi-isometrically rigid.     

Representing endomorphisms and principal congruences

For every algebraU there is an algebraU ^* with (up to isomorphism) the same endomorphism, subalgebra and congruence structure as that ofU, for which every finitely generated subalgebra and every finitely generated congruence ofU ^* is singly generated. The theorem is proved in a somewhat more general category theoretic context.Presented by R. W. Quackenbush.This author's research was supported by an OTKA grant from Hungary.This author's research was supported by NSERC, The Natural Sciences and Engineering Research Council of Canada.     

Arnon completion of the Dyer-Lashof algebra

In his PhD thesis, Arnon [1] builds a completion of the Dickson algebras which contains a “free root” algebraD _fin on the top Dickson classes. Hu’ng [5] has shown that this algebra is in fact isomorphic to a similar completion (A _μ)* of the dual of the Steenrod algebraA*. Arnon also completed the Steenrod algebraA with respect to its halving homomorphism to obtainA _μ. Here we study an analogous completion of the Dyer-Lashof algebraR to obtainR _μ with canonical subcoalgebrasR _μ[n]. Unlike the Steenrod algebra, we may further completeR _μ with respect to length to obtain . It turns out, somewhat surprisingly, that the dual ( ) contains (A _μ)* as a dense subalgebra. This research is supported in part by the Natural Sciences and Engineering Research Council of Canada.     

Measures on the Product of Compact Spaces

 If K is an uncountable metrizable compact space, we prove a “factorization” result for a wide variety of vector valued Borel measures μ defined on K ⁿ . This result essentially says that for every such measure μ there exists a measure μ′ defined on K such that the measure μ of a product A ₁ × ⋯ × A _n of Borel sets of K equals the measure μ′ of the intersection A ₁′∩⋯∩A _n ′, where the A _i ′’s are certain transforms of the A _i ’s. Partially supported by DGICYT grant PB97-0240. Received August 23, 2001; in revised form March 21, 2002     

On existentially closed and generic nilpotent groups

Letn≧2 be an integer. We prove the following results that are known in casen=2: The upper and the lower central series of an existentially closed nilpotent group of classn coincide. A finitely generic nilpotent group of classn is periodic and the center of a finitely generic torsion-free nilpotent group of classn is isomorphic toQ ⁺, whereas infinitely generic nilpotent groups do not enjoy these properties. We determine the structure of the torsion subgroup of existentially closed nilpotent groups of class 2. Finally we give an algebraic proof that there exist 2^κ non-isomorphic existentially closed nilpotent groups of classn in cardinalityK ≧N ₀. Some results of this paper were contained in [6].