On Automorphism-Fixed Subgroups of a Free Group

Let F be a finitely generated free group, and let n denote its rank. A subgroup H of F is said to be automorphism-fixed, or auto-fixed for short, if there exists a set S of automorphisms of F such that H is precisely the set of elements fixed by every element of S; similarly, H is 1-auto-fixed if there exists a single automorphism of F whose set of fixed elements is precisely H. We show that each auto-fixed subgroup of F is a free factor of a 1-auto-fixed subgroup of F. We show also that if (and only if) n ≥ 3, then there exist free factors of 1-auto-fixed subgroups of F which are not auto-fixed subgroups of F. A 1-auto-fixed subgroup H of F has rank at most n, by the Bestvina–Handel Theorem, and if H has rank exactly n, then H is said to be a maximum-rank 1-auto-fixed subgroup of F, and similarly for auto-fixed subgroups. Hence a maximum-rank auto-fixed subgroup of F is a (maximum-rank) 1-auto-fixed subgroup of F. We further prove that if H is a maximum-rank 1-auto-fixed subgroup of F, then the group of automorphisms of F which fix every element of H is free abelain of rank at most n − 1. All of our results apply also to endomorphisms.     

Galois Theory for the Selmer Group of an Abelian Variety

This paper concerns the Galois theoretic behavior of the p-primary subgroup Sel _A (F) _p of the Selmer group for an Abelian variety A defined over a number field F in an extension K/F such that the Galois group G(K/F) is a p-adic Lie group. Here p is any prime such that A has potentially good, ordinary reduction at all primes of F lying above p. The principal results concern the kernel and the cokernel of the natural map s _K/F Sel _A (F) _p Sel _A (K) _p ^G(K/F) where F is any finite extension of F contained in K. Under various hypotheses on the extension K/F, it is proved that the kernel and cokernel are finite. More precise results about their structure are also obtained. The results are generalizations of theorems of B.Mazurand M. Harris.     

Linear Representations of the Automorphism Group of a Free Group

Let F _n be the free group on n ≥ 2 elements and Aut(F _n ) its group of automorphisms. In this paper we present a rich collection of linear representations of Aut(F _n ) arising through the action of finite-index subgroups of it on relation modules of finite quotient groups of F _n . We show (under certain conditions) that the images of our representations are arithmetic groups. Received: November 2006, Accepted: March 2007     

Fitting Height of a Finite Group with a Metabelian Group of Automorphisms

Let M = FH be a finite group that is a product of a normal abelian subgroup F and an abelian subgroup H. Assume that all elements in M?F have prime order p, and F has at most one subgroup of order p. Examples of such groups are dihedral groups for p = 2 and the semidirect product of a cyclic group F by a group H of prime order p such that C _F (H) = 1 or |C _F (H)| =p and C _{F/C F (H)}(H) = 1. Suppose that M acts on a finite group G in such a manner that C _G (F) = 1. We prove that the Fitting height h(G) of G is at most h(C _G (H))+ 1. Moreover, the Fitting series of C _G (H) coincides with the intersection of C _G (H) with the Fitting series of G.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

On the First Galois Cohomology Group of the Algebraic Group SL1(D)

Let A be a central simple algebra over a field F. Denote the reduced norm of A over F by Nrd: A* → F* and its kernel by SL₁(A). For a field extension K of F, we study the first Galois Cohomology group H ¹(K,SL₁(A)) by two methods, valuation theory for division algebras and K-theory. We shall show that this group fails to be stable under purely transcendental extension and formal Laurent series.     

Chains of Group Localizations

We construct long sequences of localization functors L _α in the category of abelian groups such that L _α ≥ L _β for infinite cardinals α < β less than some κ. For sufficiently large free abelian groups F and α < β we have proper inclusions L _α F ? L _β F.     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

Finite Group Actions with Fixed Points on Homology 3-Spheres

 If a finite group acts freely on a homology 3-sphere, then it has periodic cohomology. To say that a finite group F has periodic cohomology is equivalent to say that any Sylow subgroup of F of odd order is cyclic and a Sylow 2-subgroup of F is either cyclic or a quaternion group. In this paper we consider more generally smooth actions of finite groups G on homology 3-spheres which may have fixed points. We prove that any Sylow subgroup of G of odd order is either cyclic or the direct sum of two cyclic groups. Moreover, we show that if G has odd order, then it splits as a semidirect product of a subgroup A and a normal subgroup B such that B acts freely and there exist some simple closed curves in the homology 3-sphere which are fixed pointwise by some non-trivial element of A. We discuss the relation between these algebraic results and some classical constructions of the theory of 3-manifolds. Received 25 September 1997; in revised form 2 June 1998     

On *-Clean Group Rings II

A ring with involution * is called *-clean if each of its elements is the sum of a unit and a projection (*-invariant idempotent). Recently, Gao, Chen, and Li obtained necessary and sufficient conditions for RG to be *-clean, where R is a commutative local ring and G is one of C₃, C₄, S₃, and Q₈. Most recently, Li, Yuan, and Parmenter gave a complete characterization of when the group algebra FC_p is *-clean, where F is a field and C_p is a cyclic group of prime order p. In this article, we extend the above mentioned result from FC_p to F_qC_p^k, where F_q is a finite field and C_p^k is a cyclic group of an odd prime power order p^k. For the general case when G = C_n is cyclic group of order n, we also provide a necessary condition and a few sufficient conditions for F_qC_n to be *-clean.     

An Ergodic Action of the Outer Automorphism Group of a Free Group

For n > 2, the action of the outer automorphism group of the rank n free group F _n on Hom(F _n , SU(2))/SU(2) is ergodic with respect to the Lebesgue measure class. The author gratefully acknowledges support from National Science Foundation grants DMS-0405605 and DMS-0103889. Received: September 2005 Revision: January 2006 Accepted: March 2006     

Isomorphic Commutative Group Algebras of p-Mixed Warfield Groups

Let G be a p-mixed Warfield Abelian group and F a field of char F = p ≠ 0. It is proved that if for any group H the group algebras FH and FG are F-isomorphic, then H is isomorphic to G. This presentation enlarges a result of W. May argued when G is p-local Warfield Abelian and published in Proc. Amer. Math. Soc. （1988）.     

On Polynomials over Prime Fields Taking Only Two Values on the Multiplicative Group

Let p>2 be a prime, denote by F_p the field with F_p=p, and let F^*_p=F_p\{0}. We prove that if fεF_p[x] and f takes only two values on F^*_p, then (excluding some exceptional cases) the degree of f is at least (p−1).     

Mod p Cohomology Algebra of Special Linear Group

Abstract

We shall calculate the mod p cohomology algebra of the special linear groups SL(3, F _p ) by analyzing the Carlson module of a regular cohomology class belonging to a system of parameters.     

Elementary and Good Group Gradings of Incidence Algebras over Partially-Ordered Sets with Cross-Cuts

Let G be a group, X a locally-finite partially-ordered set, and F a field. We provide an algorithmic method for finding all good G-gradings of the incidence algebra I(X,F) when X has a cross-cut of length one or two. In these cases, we show that the good gradings are determined by a “freeness” property. It is shown that the number of good gradings of the incidence algebra I(X,F), when X has a cross-cut of length one or two, depends only on the size of G and not on its structure, but this is no longer true when the shortest cross-cut of X has length greater than two. If X has a cross-cut of length one, then every good grading of I(X,F) is an elementary grading, but, when the shortest cross-cut of X has length greater than one, there may exist good gradings of I(X,F) that are not elementary gradings. Finally, we establish bounds on the number of good gradings of I(X,F) for any finite partially-ordered set X.     

Group Actions,k-Derivations,and Finite Morphisms

Let G be an affine algebraic group over an algebraically closed field k of characteristic zero. In this article, we consider finite G-equivariant morphisms F:X → Y of irreducible affine G-varieties. First we determine under which conditions on Y the induced map F ^G :X//G → Y//G of quotient varieties is also finite. This result is reformulated in terms of kernels of derivations on k-algebras A ? B such that B is integral over A. Second we construct explicitly two examples of finite G-equivariant maps F. In the first one, F ^G is quasifinite but not finite. In the second one, F ^G is not even quasifinite.     

Group actions in a unit-regular ring

Let Rbe a unit-regular ring , let Xbe the set of all nonzero, nonunits of Rand let Gbe the group of all units of R. In this paper, some finiteness properties of Rare investigated by considering group actions of Gon Xas follows:First, in case of half-transitive regualr action if 2 is unit in Ror the number of idempotents in Ris finite, then Ris finite. Secondly, if Gis cyclic and 2 is unit in R, then every orbit under regualr action is a finite set, and so in this case, if Rhas a finite number of idempotents, then Ris finite. Finally, if Fis a field in which 2 is unit and the multiplicative group of all nonzero elenents in Fforms a cyclic group, then Fis finite.     

Minimal Length Elements of Thompson's Group F

Elements of the group are represented by pairs of binary trees and the structure of the trees gives insight into the properties of the elements of the group. The review section presents this representation and reviews the known relationship between elements of F and binary trees. In the main section we give a method of determining the minimal lengths of elements of Thompson's group F in the two generator presentation

On the Geometry of the Automorphism Group of a Free Group

The groups Aut(F₃) and Out(F₃) satisfy strictly exponentialisoperimetric inequalities; in particular, they are not automatic.For n 3, Aut (F_n) and Out (F_n) do not admit bounded bicombingsof sub-exponential length, hence they cannot act properly andcocompactly by isometries on any simply-connected space of non-positivecurvature, and they are not biautomatic.