Integral extensions of noncommutative rings

In this paper we study integral extensions of noncommutative rings. To begin, we prove that finite subnormalizing extensions are integral. This is done by proving a generalization of the Paré-Schelter result that a matrix ring is integral over the coefficient ring. Our methods are similar to those of Lorenz and Passman, who showed that finite normalizing extensions are integral. As corollaries we note that the (twisted) smash product over the restricted enveloping algebra of a finite dimensional restricted Lie algebra is integral over the coefficient ring and then prove a Going Up theorem for prime ideals in these ring extensions. Next we study automorphisms of rings. In particular, we prove an integrality theorem for algebraic automorphisms. Combining group gradings and actions, we show that if a ringR is graded by a finite groupG, andH is a finite group of automorphisms ofR that permute the homogeneous components, with the order ofH invertible inR, thenR is integral overR ₁ ^H , the fixed ring of the identity component. This, in turn, is used to prove our final result: Suppose that ifH is a finite dimensional semisimple cocommutative Hopf algebra over an algebraically closed field of positive characteristic. IfR is anH-module algebra, thenR is integral overR ^H , its subring of invariants.     

Some intersections and identifications in integral group rings

LetZG be the integral group ring of a groupG and I(G) its augmentation ideal. For a free groupF andR a normal subgroup ofF, the intersectionI ⁿ⁺¹ (F) ∩I ⁿ⁺¹ (R) is determined for alln≥ 1. The subgroupsF ∩ (1+ZFI (R) I (F) I (S)) ANDF ∩ (1 + I (R)I ³ (F)) of F are identified whenR and S are arbitrary subgroups ofF.     

Contractive presentations: A family of inverse monoids and semigroups with finiteR-classes

There has recently been considerable interest in inverse monoids which are presented by generators and relations. In this work the author employs graphical techniques to investigate the word problem for presentations of inverse monoids which generalize the case in which all relations in a presentation are of the formw=w ² . The work also investigates free objects in finitely based varieties of inverse semigroups, where the free objects have similar presentations. A fundamental charecteristic of the monoids (semigroups) investigated is: ifF is a free inverse monoid andM=F/θ, then form∈F, theR-class ofmθ has no more elements than theR-class ofm.     

Homology of free Lie powers and torsion in groups

LetG be a group that is given by a free presentationG=F/R, and let_γ4 R denote the fourth term of the lower central series of R. We show that ifG has no elements of order 2, then the torsion subgroup of the free central extensionF/[_γ4 R,F] can be identified with the homology groupR _γ6(G, ℤ/2ℤ). This is a consequence of our main result which refers to the homology ofG with coefficients in Lie powers of relation modules.     

Fixed points of finite groups acting on generalised Thompson groups

We study centralisers of finite order automorphisms of the generalised Thompson groups F _n,∞ and conjugacy classes of finite subgroups in finite extensions of F _n,∞. In particular, we show that centralisers of finite automorphisms in F _n,∞ are either of type FP_∞ or not finitely generated.     

Trace polynomials and invariant theory

LetA be a finite-dimensional simple (non-associative) algebra over an algebraically closed fieldF of characteristic 0. LetG be the group of its automorphisms which acts onkA, the direct sum ofk copies ofA. SupposeA is generated byk elements. In this paper, generators of the field of rational invariantF(kA) ^G are described in terms of operations of the algebraA.     

X-inner automorphisms of crossed products and semi-invariants of Hopf algebras

LetR*G be a crossed product of the groupG over the prime ringR and assume thatR*G is also prime. In this paper we study unitsq in the Martindale ring of quotientsQ ₀(R*G) which normalize bothR and the group of trivial units ofR*G. We obtain quite detailed information on their structure. We then study the group ofX-inner automorphisms ofR*G induced by such elements. We show in fact that this group is fairly close to the group of automorphisms ofR*G induced by certain trivial units inQ ₀(R)*G. As an application we specialize to the case whereR=U(L) is the enveloping algebra of a Lie algebraL. Here we study the semi-invariants forL andG which are contained inQ ₀(R*G) and we obtain results which extend known properties ofU(L). Finally, every cocommutative Hopf algebraH over an algebraically closed field of characteristic 0 is of the formH=U(L)*G. Thus we also obtain information on the semi-invariants forH contained inQ ₀(H). Research supported in part by N.S.F. Grant Nos. MCS 83-01393 and MCS 82-19678.     

Finite extensions of free pro-P groups of rank at most two

For a pro-p groupG, containing a free pro-p open normal subgroup of rank at most 2, a characterization as the fundamental group of a connected graph of cyclic groups of order at mostp, and an explicit list of all such groups with trivial center are given. It is shown that any automorphism of a free pro-p group of rank 2 of coprime finite order is induced by an automorphism of the Frattini factor groupF/F ^* . Finally, a complete list of automorphisms of finite order, up to conjugacy in Aut(F), is given. Supported by an NSERC grant. Supported by the Austrian Science Foundation.     

Kombinatorische Beweise eines Satzes von Birman und Hilden und eines Satzes von Magnus mit der Theorie der automorphen Mengen und der zugehörigen Zopfgruppenoperationen

We deal with the well-known operation ofARTIN?S Braid GroupB _n on the free groupF _n by automorphisms, and give a proof for a theorem ofBIRMAN/HILDEN (here Satz B) by showing, that the images of the generators ofF _n underB _n are of a special form (Satz C). The theory ofBRIESKORN?S Automorphic Sets comes in here. With similar methods we give a proof of a theorem of Magnus saying thatB _n operates on a certain polynomial ring effectively by automorphisms (here Satz 9.2).     

On embedding of group rings in division rings

LetF be a free group,N⊲F andV(N) be a verbal subgroup ofN. For the group ringR , whereR is any field and F/V(N), the zero divisor problem of Kaplansky and the problem of embeddingR in a division ring are investigated. It is proved, in particular, thatR has no zero divisors and can be embedded in a division ring whenF/N is finitely approximated andN/V(N) is approximated by nilpotent groups without torsion.     

Struttura delle fibrazioni di una classe di piani di André generalizzati finiti di ordineq 1+1

Every finite generalized André plane is associated with a spreadF′ of the projective spacePG(2t+1,q), which is obtained from a regular preadF replacing in a switching setU some of the subspaces ofF. The construction ofU is realized by an opportune setA of non-identical automorphisms of the fieldGF(q ^t+1). In this paper we characterize the irreducible components ofU, whenU is obtained by a setA consisting of two automorphisms. In the second paragraph we prove that such switching sets are only of two types. In the third paragraph we provide a constructive rule which is a necessary and sufficient condition for the existence of both the types. In such a way we describe the structure of the spreadF′ associated with any finite generalized André plane such that |A|=2.      

Invariant additive subgroups of a certain kind

LetR be a prime ring with a nonzero nil right ideal, and letM be the union of all nil right ideals ofR. IfW is an additive subgroup ofR which is invariant under conjugation by all special automorphisms 1+x forx ∈M, then eitherW is central orW contains a noncommutative Lie ideal ofR. Assuming thatW is invariant under only those 1+x forx ∈M andx ²=0, the same conclusion holds if the extended centroid ofR is not GF(2).     

Prime ideals in crossed products of finite groups

LetR * G be a crossed product of the finite groupG over the ringR. In this paper we discuss the relationship between the prime ideals ofR*G and theG-prime ideals ofR. In particular, we show that Incomparability and Going Down hold in this situation. In the course of the proof, we actually completely describe all the prime idealsP ofR*G such thatP∩R is a fixedG-prime ideal ofR. As an application, we prove that ifG is a finite group of automorphisms ofR, then the prime (primitive) ranks ofR and of the fixed ringR ^G are equal provided •G•⁻∈R. In an appendix, we extend some of these 3 results to crossed products of the infinite cyclic group.     

Entropy of some automorphisms of theII 1-factor of the free group in infinite number of generators

Summary LetL(F ) be theII ₁-factor defined by the free groupF in infinite number of generators. It is shown that for a class of automorphisms ofL(F ) arising from bijections of the set of generators ofF on itself, and including the free shift, the entropy is zero.Oblatum 15-III-1992     

Factor orbit equivalence of compact group extensions and classification of finite extensions of ergodic automorphisms

In §§1–5, we classifyn-point extensions of ergodic automorphisms up to factor orbit-equivalence (which is the natural analogue of factor isomorphism). This classification is in terms of conjugacy classes of subgroups of the symmetric group onn points, and parallels D. Rudolph’s classification ofn-point extensions of Bernoulli shifts up to factor isomorphism. In §6, we give another proof of A. Fieldsteel’s theorem on factor orbit-equivalence of compact group extensions.     

Sturmian morphisms,the braid group <Emphasis Type="Italic">B</Emphasis><Subscript>4</Subscript>, Christoffel words and bases of <Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>

We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F ₂) of automorphisms of the rank two free group F ₂ and show that it can be realized as a monoid in the group B ₄ of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F ₂ lifting any given basis of the free abelian group Z ². We further give an algorithm allowing to decide whether two elements of F ₂ form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes. Mathematics Subject Classification (2000) 05E99, 20E05, 20F28, 20F36, 20M05, 37B10, 68R15     

A comparison of length definitions for maps of modules over local rings

LetM be a finitely generated free module over a local ring. An automorphism ofM can be written as a product of automorphisms that are elements of a given generating groupG of the set of all automorphisms ofM. The minimal number of elements required for such a product is called the length of. We study two decompositions using similar generating groups and compare the two resulting lengths.     

Centralizers satisfying polynomial identities

The following results are proved: IfR is a simple ring with unit, and for someaεR witha ⁿ in the center ofR, anyn, such that the centralizer ofa inR satisfies a polynomial identity of degreem, thenR satisfies the standard identity of degreenm. WhenR is not simple,R will satisfy a power of the same standard identity, provided thata andn are invertible inR. These theorems are then applied to show that ifG is a finite solvable group of automorphisms of a ringR, and the fixed points ofG inR satisfy a polynomial identity, thenR satisfies a polynomial identity, providedR has characteristic 0 or characteristicp wherep✗|G|. This research was supported in part by NSF Grant No. GP 29119X.     

Transfer Results for the FIP and FCP Properties of Ring Extensions

For an extension E: R ? S of (commutative) rings and the induced extension F: R(X) ? S(X) of Nagata rings, the transfer of the FCP and FIP properties between E and F is studied. Then F has FCP ? E has FCP. The extensions E for which F has FIP are characterized. While E has FIP whenever F has FIP, the converse fails for certain subintegral extensions; it does hold if E is integrally closed, seminormal, or subintegral with R quasi-local having infinite residue field. If F has FIP, conditions are given for the sets of intermediate rings of E and F to be order-isomorphic.