Primary decomposition over rings graded by finitely generated Abelian groups

Let A be a Noetherian ring which is graded by a finitely generated Abelian group G. In general, for G-graded modules there do not exist primary decompositions which are graded themselves. This is quite different from the case of gradings by torsion free group, for which graded primary decompositions always exists. In this paper we introduce G-primary decompositions as a natural analogue to primary decomposition for G-graded A-modules. We show the existence of G-primary decomposition and give a few characterizations analogous to Bourbaki's treatment for torsion free groups.     

The Schur property for subgroup lattices of groups

A classical theorem of Schur states that if the centre of a group G has finite index, then the commutator subgroup G′ of G is finite. A lattice analogue of this result is proved in this paper: if a group G contains a modularly embedded subgroup of finite index, then there exists a finite normal subgroup N of G such that G/N has modular subgroup lattice. Here a subgroup M of a group G is said to be modularly embedded in G if the lattice is modular for each element x of G. Some consequences of this theorem are also obtained; in particular, the behaviour of groups covered by finitely many subgroups with modular subgroup lattice is described. Received: 16 October 2007, Final version received: 22 February 2008     

On the hyperbolic limit points of groups acting on hyperbolic spaces

We study the hyperbolic limit points of a groupG acting on a hyperbolic metric space, and consider the question of whether any attractive limit point corresponds to a unique repulsive limit point. In the special case whereG is a (non-elementary) finitely generated hyperbolic group acting on its Cayley graph, the answer is affirmative, and the resulting mapg ⁺↦g ⁻, is discontinuous everywhere on the hyperbolic boundary. We also provide a direct, combinatorial proof in the special case whereG is a (non-abelian) free group of finite type, by characterizing algebraically the hyperbolic ends ofG. Partially supported by a grant from M.U.R.S.T., Italy.     

Free actions of virtually FC-groups

If an infinite group G admits a free action by a group of automorphisms A which is virtually an FC-group and which has only finitely many orbits, then G is isomorphic to the additive group of a field and the action is that of a group of semilinear transformations. Received: 21 February 2005     

Automorphisms of Hyperbolic Groups and Graphs of Groups

Using the canonical JSJ splitting, we describe the outer automorphism group Out(G) of a one-ended word hyperbolic group G. In particular, we discuss to what extent Out(G) is virtually a direct product of mapping class groups and a free abelian group, and we determine for which groups Out(G) is infinite. We also show that there are only finitely many conjugacy classes of torsion elements in Out(G), for G any torsion-free hyperbolic group. More generally, let Γ be a finite graph of groups decomposition of an arbitrary group G such that edge groups G_e are rigid (i.e. Out(G_e) is finite). We describe the group of automorphisms of G preserving Γ, by comparing it to direct products of suitably defined mapping class groups of vertex groups.     

Equivariant K-Theory of Compact Connected Lie Groups Dedicated to Daniel Quillen on the Occasion of his Sixtieth Birthday

We compute the equivariant K-theory K _G ^* (G)for a compact connected Lie group Gsuch that ₁ (G)is torsion free (where Gacts on itself by conjugation). We prove that K _G ^* (G)is isomorphic to the algebra of Grothendieck differentials on the representation ring. We also study a special example of a compact connected Lie group Gwith ₁ (G)torsion, namely PSU(3), and compute the corresponding equivariant K-theory.     

Free <Emphasis Type="Italic">G</Emphasis>-spaces and maximal equivariant compactifications

For a compact Lie group G we prove that every free (resp., semifree) G-space admits a based-free (resp., semifree) G-compactification. Examples of finite- and infinite-dimensional G-spaces are presented that do not admit a free or based-free G-compactification. We give several characterizations of the maximal G-compactification β_GX that are further applied to prove the formula (β_GX)/H=β_G/H(X/H) for arbitrary closed normal subgroup H⊂G. Mathematics Subject Classification (2000) 54H15, 54D35     

Closed orbits and finite approximability with respect to conjugacy of free amalgamated products

We study the problem of finite approximability with respect to conjugacy of amalgamated free products by a normal subgroup and prove the following assertions. A) IfG is the amalgamated free productG=G _1*H G ₂ of polycyclic groupsG ₁ andG ₂ by a normal subgroupH, whereH is an almost free Abelian group of rank 2, thenG is finitely approximate with respect to conjugacy. B) (i) IfG ₁ =G ₂ =L is a polycyclic group andG=G _1*H G ₂ is the amalgamated product of two copies of the groupL by a normal subgroupH, thenG is finitely approximable with respect to conjugacy. (ii) IfG is an amalgamated free productG=G _1*H G ₂ of polycyclic groupsG ₁ andG ₂ by a normal subgroupH, whereH is central inG ₁ orG ₂, thenG is finitely approximable with respect to conjugacy.Translated fromMatematicheskie Zametki, Vol. 58, No. 4, pp. 525–535, October, 1995.This work was partially supported by the INTAS-94-3420 Grant Geometric Theory of Groups.     

Tilings of Decomposable Groups

We study a problem formulated by A. M. Vershik and related to several questions in orbit theory of tilings of finitely generated groups. Let G be decomposed into a free product of two nontrivial groups. Then for any finite subset S of the group G there exists a finite subset P of the group G, PS, such that G is covered by disjoint left translations of the set P. Bibliography: 2 titles.     

Characterization of varietal covering and stem groups

Let A _m be the variety of abelian groups of exponent m, where mis a square free positive integer. It is shown that every group G has an A _m -covering group, which generalizes the work of I. Schur (1904) and M.R. Jones (1973). Also, similar to the work of Yamazaki (1964) in the variety of abelian groups, if 1→ A → H → G → 1 is an A _m -stem extension, then we show that H is a homomorphic image of an A _m -covering group of G. Finally,in this variety some results of Hall's type will be proved.     

Maximal subnear-rings of functions

For a group G, let M(G) denote the near-ring of functions on G. We characterize all maximal subnear-rings of M(G) and show that for many classes of groups, E(G), the near-ring generated by the semigroup, End(G) of G, is never maximal as a subnear-ring of M ₀ (G). Received: 25 April 2008     

Homology Groups of Conormal Varieties

Let G be a real Lie group acting on real analytic manifold with finitely many orbits. We prove that the characteristic cycle map is a surjective homomorphism from the K-group of G-equivariant sheaves on X to the top homology group of the conormal variety of the G-action on X. We also show that the top homology group of the G-action on X is a free -module of rank equal to the number of G-orbits. This work was completed with the support of the Ministry of Science, Education and Sport of Croatia, and Infodesign d.o.o., Varaždin.     

On Finite Groups with a Given Number of Centralizers

For a finite group G, let Cent(G) denote the set of centralizers of single elements of G and #Cent(G) = |Cent(G)|. G is called an n-centralizer group if #Cent(G) = n, and a primitive n-centralizer group if #Cent(G) = #Cent(G/Z(G)) = n. In this paper, we compute #Cent(G) for some finite groups G and prove that, for any positive integer n 2, 3, there exists a finite group G with #Cent(G) = n, which is a question raised by Belcastro and Sherman [2]. We investigate the structure of finite groups G with #Cent(G) = 6 and prove that, if G is a primitive 6-centralizer group, then G/Z(G) A₄, the alternating group on four letters. Also, we prove that, if G/Z(G) A₄, then #Cent(G) = 6 or 8, and construct a group G with G/Z(G) A₄ and #Cent(G) = 8.This research was in part supported by a grant from IPM.2000 Mathematics Subject Classification: 20D99, 20E07     

A characterization of a class of [Z] groups via Korovkin theory

We characterize all the central topological groupsG for which the centreZ(L ¹(G)) of the group algebra admits a finite universal Korovkin set. It is proved thatZ(L ¹(G)) has a finite universal Korovkin set iffĜ is a finite dimensional, separable metric space. This is equivalent to the fact thatG is separable, metrizable andG/K has finite torsion free rank, whereK is a compact open normal subgroup of certain direct summand ofG.     

The degree of maps of free G-manifolds and the average

Suppose that G is a compact Lie group, M and N are orientable, free G-manifolds and f : M → N is an equivariant map. We show that the degree of f satisfies a formula involving data given by the classifying maps of the orbit spaces M/G and N/G. In particular, if the generator of the top dimensional cohomology of M/G with integer coefficients is in the image of the cohomology map induced by the classifying map for M, then the degree is one. The condition that the map be equivariant can be relaxed: it is enough to require that it be “nearly equivariant”, up to a positive constant. We will also discuss the G-average construction and show that the requirement that the map be equivariant can be replaced by a somewhat weaker condition involving the average of the map. These results are applied to maps into real, complex and quaternionic Stiefel manifolds. In particular, we show that a nearly equivariant map of a complex or quaternionic Stiefel manifold into itself has degree one. Dedicated to the memory of Jean Leray     

A Classification of Fully Residually Free Groups of Rank Three or Less

A groupGisfully residually freeprovided to every finite setS ⊂ G\{1} of non-trivial elements ofGthere is a free groupF_Sand an epimorphismh_S:G → F_Ssuch thath_S(g) ≠ 1 for allg ∈ S. Ifnis a positive integer, then a groupGisn-freeprovided every subgroup ofGgenerated bynor fewer distinct elements is free. Our main result shows that a fully residually free group of rank at most 3 is either abelian, free, or a free rank one extension of centralizers of a rank two free group. To prove this we prove that every 2-free, fully residually free group is actually 3-free. There are fully residually free groups which are not 2-free and there are 3-free, fully residually free groups which are not 4-free.     

Krull Dimension and Deviation in Certain Parafree Groups

Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Baumslag answered the question in the affirmative and thus gave rise to parafree groups. A group G is termed parafree of rank n if it is residually nilpotent and shares the same lower central sequence with a free group of rank n. The deviation of a fg parafree group G of rank n is the difference μ(G) ? n, where μ(G) is the minimum possible number of generators of G.

Let G be fg; then Hom(G, SL ₂?) inherits the structure of an algebraic variety, denoted by R(G). If G is an n generated parafree group, then the deviation of G is 0 iff Dim(R(G)) = 3n. It is known that for n ≥ 2 there exist infinitely many parafree groups of rank n and deviation 1 with non-isomorphic representation varieties of dimension 3n. In this paper it is shown that given integers n ≥ 2 and k ≥ 1, there exists infinitely many parafree groups of rank n and deviation k with non-isomorphic representation varieties of dimension different from 3n; in particular, there exist infinitely many parafree groups G of rank n with Dim(R(G)) > q, where q ≥ 3n is an arbitrary integer.     

Gorenstein Flat Covers and Gorenstein Cotorsion Modules Over Integral Group Rings

Every module over an Iwanaga–Gorenstein ring has a Gorenstein flat cover [13] (however, only a few nontrivial examples are known). Integral group rings over polycyclic-by-finite groups are Iwanaga–Gorenstein [10] and so their modules have such covers. In particular, modules over integral group rings of finite groups have these covers. In this article we initiate a study of these covers over these group rings. To do so we study the so-called Gorenstein cotorsion modules, i.e. the modules that split under Gorenstein flat modules. When the ring is ℤ, these are just the usual cotorsion modules. Harrison [16] gave a complete characterization of torsion free cotorsion ℤ-modules. We show that with appropriate modifications Harrison's results carry over to integral group rings ℤG when G is finite. So we classify the Gorenstein cotorsion modules which are also Gorenstein flat over these ℤG. Using these results we classify modules that can be the kernels of Gorenstein flat covers of integral group rings of finite groups. In so doing we necessarily give examples of such covers. We use the tools we develop to associate an integer invariant n with every finite group G and prime p. We show 1≤n≤|G : P| where P is a Sylow p-subgroup of G and gives some indication of the significance of this invariant. We also use the results of the paper to describe the co-Galois groups associated to the Gorenstein flat cover of a ℤG-module. Presented by A. Verschoren Mathematics Subject Classifications (2000) 20C05, 16E65.     

G-spaces and Fixed Point Sets

For a compact connected group G, in a compact free G-space M every closed subset is the fixed point set of an autohomeomorphism if the weight of M is not bigger than that of G. In a compact group with nonsingleton components, every closed subset is the fixed point set of an autohomeomorphism if and only if the weight of the whole group is not bigger than that of the component of the identity.     

Holomorphic Functions of Exponential Growth on Abelian Coverings of a Projective Manifold

Let M be a projective manifold, p: M _G M a regular covering over M with a free Abelian transformation group G. We describe the holomorphic functions on M _G of an exponential growth with respect to the distance defined by a metric pulled back from M. As a corollary, we obtain Cartwright and Liouville-type theorems for such functions. Our approach brings together the L ₂ cohomology technique for holomorphic vector bundles on complete Kähler manifolds and the geometric properties of projective manifolds.