Essential subgroups of topological groups

We study the class Wof Hausdorff topological groups Gfor which the following two cardinal invariants coincide

ES(G)=min{|H|:H≤ Gdense and essential}

TD(G)=min{|H|:H≤ Gtotally dense}

We prove that W contains the following classes:locally compact abelian groups, compact connected groups, countably compact totally discon¬nected abelian groups, topologically simple groups, locally compact Abelian groups when endowed with their Bohr topology, totally minimal abelian groups and free Abelian topological groups. For all these classes we are also able to giv ean explicit computation of the common value of ESand TD.     

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.     

On the B-Injectors of Groups with Components of Small Rank

ABSTRACT

This paper is part of a larger programme investigating the B-injectors in arbitrary groups, more precisely, investigating in which groups the B-injectors are conjugate. To answer this question it is critical to have information on the intersection of the B-injectors with the components of the group. Here we are dealing with components having a factor group isomorphic to G ₂(q), ³ D ₄(q), S _z (q), or R(q). As it is usually quite easy to determine the intersections of B-injectors with components corresponding to Chevally groups of large rank, the groups above among others turn out to be critical in answering the question whether B-injectors are conjugate.

     

On R*-sequenceability and symmetric harmoniousness of groups

We introduce a special harmoniousness called symmetric harmoniousness of groups and extend the R^*-sequenceability of abelian groups to nonabelian groups. We prove that the direct product of an R^*-sequenceable group of even order with a symmetric harmonious group of odd order is R^*-sequenceable. Examples of nonabelian R^*-sequenceable groups and nonabelian symmetric harmonious groups are given. It is shown that the nonabelian groups of order 3q (q prime) are symmetric harmonious. © 1994 John Wiley & Sons, Inc.     

Commutative Schur Rings of Maximal Dimension

A commutative Schur ring over a finite group G has dimension at most s _G  = d ₁ + … +d _r , where the d _i are the degrees of the irreducible characters of G. We find families of groups that have S-rings that realize this bound, including the groups SL(2, 2 ⁿ ), metacyclic groups, extraspecial groups, and groups all of whose character degrees are 1 or a fixed prime. We also give families of groups that do not realize this bound. We show that the class of groups that have S-rings that realize this bound is invariant under taking quotients. We also show how such S-rings determine a random walk on the group and how the generating function for such a random walk can be calculated using the group determinant.     

New classes of parameterized differential Galois groups

This paper is on the inverse parameterized differential Galois problem. We show that surprisingly many groups do not occur as parameterized differential Galois groups over K(x) even when K is algebraically closed. We then combine the method of patching over fields with a suitable version of Galois descent to prove that certain groups do occur as parameterized differential Galois groups over k((t))(x). This class includes linear differential algebraic groups that are generated by finitely many unipotent elements and also semisimple connected linear algebraic groups.

     

Identities of the soluble product of abelian groups

We consider the product G of abelian groups in the variety \mathfrakAⁿ \mathfrak{A}^n of soluble groups of length at most n. Provided that the abelian factors are decomposable into direct products of cyclic groups, we find necessary and sufficient conditions for G to generate the variety \mathfrakAⁿ \mathfrak{A}^n .     

The axiomatic closure of the class of discriminating groups

In [6] squarelike groups were defined to be those groups G universally equivalent to their direct squares G × G. In that paper it was shown that G is squarelike if and only if G is universally equivalent to a discriminating group in the sense of [3]. Further it was shown that the class of squarelike groups is first-order axiomatizable while the class of discriminating groups is not. In this paper, we prove that the class of squarelike groups is the least axiomatic class containing the discriminating groups.Received: 18 August 2003     

Barsotti–Tate groups and p-adic representations of the fundamental group scheme

On a scheme S over a base scheme B we study the category of locally constant BT groups, i.e. groups over S that are twists, in the flat topology, of BT groups defined over B. These groups generalize p-adic local systems and can be interpreted as integral p-adic representations of the fundamental group scheme of S/B (classifying finite flat torsors on the base scheme) when such a group exists. We generalize to these coefficients the Katz correspondence for p-adic local systems and show that they are closely related to the maximal nilpotent quotient of the fundamental group scheme.     

The Automaton Realization of Iterated Wreath Products of Cyclic Groups

We study profinite groups which are infinitely iterated wreath products W _∞ = …?C _{n 2} ?C _{n 1} of finite cyclic groups via combinatorial language of transducers. Namely, we provide a naturally defined automaton realization of the group W _∞ by an automaton over a changing alphabet. Our construction gives a characterization of these profinite groups as automaton groups, i.e. as groups generated by a single automaton.     

A determination of the toroidal k-metacyclic groups

Kronecker studied a class of groups 〈p, p - 1, r〉, whose commutator subgroups are prime cyclic of order p, and whose commutator quotient groups are cyclic of order p - 1. These are now commonly called the K-metacyclic groups. It follows from the classical work of Maschke that none of the K-metacyclic groups except 〈3, 2, 2〉 has a planar Cayley graph. It is proved here that only for p = 5 and p = 7 is a K-metacyclic group 〈p, p - 1, r〉 toroidal. To achieve this result, this paper develops a methodology for using Proulx's classification of toroidal groups by presentation to determine whether an explicitly given group is toroidal.     

The ranks of central unit groups of integral group rings of alternating groups

Let G be a finite group and U(Z(Z G)) be the group of units of the center Z(Z G) of the integral group ring Z G (the central unit group of the ring Z G). The purpose of the present work is to study the ranks r _n of groups U(Z(ZAn)), i.e., of central unit groups of integral group rings of alternating groups A _n . We shall find all values n for r _n = 1 and propose an approach on how to describe the groups U(Z(ZAn)) in these cases, and we will present some results of calculations of r _n for n ≤ 600.     

Generic Representation Theory of the Unipotent Upper Triangular Groups

It is generally believed (and for the most part it is probably true) that Lie theory, in contrast to the characteristic zero case, is insufficient to tackle the representation theory of algebraic groups over prime characteristic fields. However, in this article we show that, for a large and important class of unipotent algebraic groups (namely the unipotent upper triangular groups U_n), and under a certain hypothesis relating the characteristic p to both n and the dimension d of a representation (specifically, p ≥ max(n, 2d)), Lie theory is completely sufficient to determine the representation theories of these groups. To finish, we mention some important analogies (both functorial and cohomological) between the characteristic zero theories of these groups and their “generic” representation theory in characteristic p.     

Fusions of Character Tables and Schur Rings of Abelian Groups

If the character table of a finite group H satisfies certain conditions, then the classes and characters of H can fuse to give the character table of a group G of the same order. We investigate the case where H is an abelian group. The theory is developed in terms of the S-rings of Schur and Wielandt. We discuss certain classes of p-groups which fuse from abelian groups and give examples of such groups which do not. We also show that a large class of simple groups do not fuse from abelian groups. The methods to show fusion include the use of extensions which are Camina pairs, but other techniques on S-rings are also developed.     

Pairwise -connected Products of Certain Classes of Finite Groups

Abstract

Subgroups A and B of a finite group are said to be 𝒩-connected if the subgroup generated by elements x and y is a nilpotent group, for every pair of elements x in A and y in B. The behaviour of finite pairwise permutable and 𝒩-connected products are studied with respect to certain classes of groups including those groups where all the subnormal subgroups permute with all the maximal subgroups, the so-called SM-groups, and also the class of soluble groups where all the subnormal subgroups permute with all the Carter subgroups, the so-called C-groups.     

The Direct Factor Problem for Modular Group Algebras of Isolated Direct Sums of Torsion-Complete Abelian Groups

Let R be an arbitrary commutative unitary ring of prime characteristic p and G an arbitrary abelian group whose p-component G_p is an isolated direct sum of torsion-complete abelian groups. Then G_p is a direct factor of S(RG). As a consequence, the same holds when G is a direct sum of groups for which their p-components are torsion-complete groups. In particular when G is p-mixed, it is a direct factor of V(RG) provided R is a field. The formulated results extend a classical theorem of May (Contemp. Math., 1989) for direct sums of cyclic groups and its generalization due to the author (Proc. Amer. Math. Soc., 1997).AMS Subject Classification (2000): Primary 16 U60, 16 S34; Secondary 20 K10, 20 K20, 20 K21.     

Commuting graphs of groups and related numerical parameters

Given a finite group G, we denote by Δ(G) the commuting graph of G which is defined as follows: the vertex set is G and two distinct vertices x and y are joined by an edge if and only if xy = yx. Clearly, Δ(G) is always connected for any group G. We denote by κ(G) the number of spanning trees of Δ(G). In the present paper, among other results, we first obtain the value κ(G) for some specific groups G, such as Frobenius groups, Dihedral groups, AC-groups, etc. Next, we characterize the alternating group A₅, in the class of nonsolvable groups through its tree-number κ(A₅). Finally, we classify the finite groups for which the power graph and the commuting graph coincide.     

On the extendability of certain semi-Cayley graphs of finite abelian groups

A connected graph Γ with at least 2n+2 vertices is said to be n-extendable if every matching of size n in Γ can be extended to a perfect matching. The aim of this paper is to study the 1-extendability and 2-extendability of certain semi-Cayley graphs of finite abelian groups, and the classification of connected 2-extendable semi-Cayley graphs of finite abelian groups is given. Thus the 1-extendability and 2-extendability of Cayley graphs of non-abelian groups which can be realized as such semi-Cayley graphs of abelian groups can be deduced. In particular, the 1-extendability and 2-extendability of connected Cayley graphs of generalized dicyclic groups and generalized dihedral groups are characterized.