A decomposition theorem for G-groups

Some classical results about linear representations of a finite group G have been also proved for representations of G on non-abelian groups （G-groups）. In this paper we establish a decomposition theorem for irreducible G-groups which expresses a suitable irreducible G-group as a tensor product of two projective G-groups in a similar way to the celebrated theorem of Clifford for linear representations. Moreover, we study the non-abelian minimal normal subgroups of G in which this decomposition is possible.     

Projective analytic vectors and infinitesimal generators

We establish the notion of a “projective analytic vector”, whose defining requirements are weaker than the usual ones of an analytic vector, and use it to prove generation theorems for one-parameter groups on locally convex spaces. More specifically, we give a characterization of the generators of strongly continuous one-parameter groups which arise as the result of a projective limit procedure, in which the existence of a dense set of projective analytic vectors plays a central role. An application to strongly continuous Lie group representations on Banach spaces is given, with a focused analysis on concrete algebras of functions and of pseudodifferential operators.     

MC elements in pronilpotent DG Lie algebras

Consider a pronilpotent DG (differential graded) Lie algebra over a field of characteristic 0. In the first part of the paper we introduce the reduced Deligne groupoid associated to this DG Lie algebra. We prove that a DG Lie quasi-isomorphism between two such algebras induces an equivalence between the corresponding reduced Deligne groupoids. This extends the famous result of Goldman–Millson (attributed to Deligne) to the unbounded pronilpotent case.In the second part of the paper we consider the Deligne 2-groupoid. We show it exists under more relaxed assumptions than known before (the DG Lie algebra is either nilpotent or of quasi quantum type). We prove that a DG Lie quasi-isomorphism between such DG Lie algebras induces a weak equivalence between the corresponding Deligne 2-groupoids.In the third part of the paper we prove that an L-infinity quasi-isomorphism between pronilpotent DG Lie algebras induces a bijection between the sets of gauge equivalence classes of Maurer–Cartan elements. This extends a result of Kontsevich and others to the pronilpotent case.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Equations and algebraic geometry over profinite groups

The notion of an equation over a profinite group is defined, as well as the concepts of an algebraic set and of a coordinate group. We show how to represent the coordinate group as a projective limit of coordinate groups of finite groups. It is proved that if the set π(G) of prime divisors of the profinite period of a group G is infinite, then such a group is not Noetherian, even with respect to one-variable equations. For the case of Abelian groups, the finiteness of a set π(G) gives rise to equational Noetherianness. The concept of a standard linear pro-p-group is introduced, and we prove that such is always equationally Noetherian. As a consequence, it is stated that free nilpotent pro-p-groups and free metabelian pro-p-groups are equationally Noetherian. In addition, two examples of equationally non-Noetherian pro-p-groups are constructed. The concepts of a universal formula and of a universal theory over a profinite group are defined. For equationally Noetherian profinite groups, coordinate groups of irreducible algebraic sets are described using the language of universal theories and the notion of discriminability.     

On the Kurosh theorem

We introduce the concept of a projective family of subgroups, which behaves well under passage to subgroups, and then relate it to the notion of a wreath product. This does indeed deliver a new proof of the Kurosh theorem on subgroups of a free product, in which use is actually made of just categorical properties of a free product—all earlier proofs had a combinatorial bearing. Translated fromAlgebra i Logika, Vol. 37, No. 4, pp. 381–393, July–August, 1998.     

Free Groups and Subgroups of Finite Index in the Unit Group of an Integral Group Ring

In this article we construct free groups and subgroups of finite index in the unit group of the integral group ring of a finite non-Abelian group G for which every nonlinear irreducible complex representation is of degree 2 and with commutator subgroup G′ a central elementary Abelian 2-group.     

Extension groups between simple Mackey functors

In order to better understand the structure of indecomposable projective Mackey functors, we study extension groups of degree 1 between simple Mackey functors. We explicitly determine these groups between simple functors indexed by distinct normal subgroups. We next study the conditions under which it is possible to restrict ourselves to that case, and we give methods for calculating extension groups between simple Mackey functors which are not indexed by normal subgroups. We then focus on the case where the simple Mackey functors are indexed by the same subgroup. In this case, the corresponding extension group can be embedded in an extension group between modules over a group algebra, and we describe the image of this embedding. In particular, we determine all extension groups between simple Mackey functors for a p-group and for a group that has a normal p-Sylow subgroup. Finally, we compute higher extension groups between simple Mackey functors for a group that has a p-Sylow subgroup of order p.     

Permutation presentations of modules over finite groups

We introduce a notion of permutation presentations of modules over finite groups, and completely determine finite groups over which every module has a permutation presentation. To get this result, we prove that every coflasque module over a cyclic p-group is permutation projective.     

On Conjugacy p-Separability of Free Products of Two Groups with Amalgamation

It is proved that a free product of two finite p-groups with amalgamated central subgroups is a conjugacy p-separable group. With the help of this result, it is proved that a free product with amalgamated subgroups of two finitely generated Abelian groups is a residually finite p-group if and only if it is conjugacy p-separable.     

Lamron ℓ-groups

The article introduces a new class of lattice-ordered groups. An ?-group G is lamron if Min(G)^?1 is a Hausdorff topological space, where Min(G)^?1 is the space of all minimal prime subgroups of G endowed with the inverse topology. It will be evident that lamron ?-groups are related to ?-groups with stranded primes. In particular, it is shown that for a W-object (G,u), if every value of u contains a unique minimal prime subgroup, then G is a lamron ?-group; such a W-object will be said to have W-stranded primes. A diverse set of examples will be provided in order to distinguish between the notions of lamron, stranded primes, W-stranded primes, complemented, and weakly complemented ?-groups.     

On the root-class residuality of generalized free products with a normal amalgamation

We obtain both necessary and sufficient conditions for the free product of two groups with normal amalgamated subgroups to be a residually C-group, where C is a root class of groups, which must be homomorphically closed in most cases.     

Rigidity of group actions on solvable Lie groups

We establish analogs of the three Bieberbach theorems for a lattice in a semidirect product where is a connected, simply connected solvable Lie group and is a compact subgroup of its automorphism group. We first prove that the action of on is metrically equivalent to an action of on a supersolvable Lie group. The latter is shown to be determined by itself up to an affine diffeomorphism. Then we characterize these lattices algebraically as polycrystallographic groups. Furthermore, we realize any polycrystallographic group as a lattice in a semidirect product with being a finite group whose order is bounded by a constant only depending on the dimension of . This generalization of the first Bieberbach theorem is used to obtain a partial generalization of the third one as well. Finally we show for any torsion free closed subgroup that the quotient is the total space of a vector bundle over a compact manifold B, where B is the quotient of a solvable Lie group by a torsion free polycrystallographic group. Received: 27 August 1999     

Categories with Projective Functors

We introduce a notion of a category with full projective functors.It encodes certain common properties of categories appearingin representation theory of Lie groups, Lie algebras and quantumgroups. We describe the left or right exact functors which naturallycommute with projective functors and provide a unified approachto the verification of relations between such functors. 2000Mathematics Subject Classification 17B10.     

Finite Homomorphic Images of Groups of Finite Rank

Let π be a finite set of primes. We prove that each soluble group of finite rank contains a finite index subgroup whose every finite homomorphic π-image is nilpotent. A similar assertion is proved for a finitely generated group of finite rank. These statements are obtained as a consequence of the following result of the article: Each soluble pro-π-group of finite rank has an open normal pronilpotent subgroup.

     

On the socles of characteristic subgroups of Abelian p-groups

Fully invariant subgroups of an Abelian p-group have been the object of a good deal of study, while characteristic subgroups have received somewhat less attention. Recently the socles of fully invariant subgroups have been studied and this led to the notion of a socle-regular group. The present work replaces the fully invariant subgroups with characteristic ones and leads in a natural way to the notion of a strongly socle-regular group. A surprising relationship, mirroring that between transitive and fully transitive groups, is obtained.