Group Embeddings with Algorithmic Properties

We show that every countable group H with solvable word problem can be subnormally embedded into a 2-generated group G which also has solvable word problem. Moreover, the membership problem for H < G is also solvable. We also give estimates of time and space complexity of the word problem in G and of the membership problem for H < G.     

On totally inert simple groups

A subgroup H of a group G is inert if |H: H ∩ H ^g | is finite for all g ∈ G and a group G is totally inert if every subgroup H of G is inert. We investigate the structure of minimal normal subgroups of totally inert groups and show that infinite locally graded simple groups cannot be totally inert.     

A Note on Solitary Subgroups of Finite Groups

We say that a subgroup H of a finite group G is solitary (respectively, normal solitary) when it is a subgroup (respectively, normal subgroup) of G such that no other subgroup (respectively, normal subgroup) of G is isomorphic to H. A normal subgroup N of a group G is said to be quotient solitary when no other normal subgroup K of G gives a quotient isomorphic to G/N. We show some new results about lattice properties of these subgroups and their relation with classes of groups and present examples showing a negative answer to some questions about these subgroups.     

Principal bundles on compact complex manifolds with trivial tangent bundle

Let G be a connected complex Lie group and G ì G{\Gamma \subset G} a cocompact lattice. Let H be a complex Lie group. We prove that a holomorphic principal H-bundle E _H over G/Γ admits a holomorphic connection if and only if E _H is invariant. If G is simply connected, we show that a holomorphic principal H-bundle E _H over G/Γ admits a flat holomorphic connection if and only if E _H is homogeneous.     

On Connected Transversals to Dihedral Subgroups of Order 2p n

Let G be a group with a dihedral subgroup H of order 2pⁿ, where p is an odd prime. We show that if there exist H-connected transversals in G, then G is a solvable group. We apply this result to the loop theory and show that if the inner mapping group of a finite loop Q is dihedral of order 2pⁿ, then Q is a solvable loop.1991 Mathematics Subject Classification: 20D10, 20N05     

Weak factorizations of operators in the group von Neumann algebras of certain amenable groups and applications

Let G be a compact group whose local weight b(G) has uncountable cofinality. Let H be an amenable locally compact group and A(G × H) be the Fourier algebra of G × H. We prove that the group von Neumann algebra VN(G × H) = A(G × H)^* has the weak uniform A(G × H)^** factorization property of level b(G). As a corollary we show that A(G × H) is strongly Arens irregular, and the topological centre of UC ₂(G × H)^* is equal to the Fourier–Stieltjes algebra B(G × H).     

Compactly Generated Relative Stable Categories

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated by the class of finitely generated modules. Let H be a subgroup of G. It is possible to define a stable module category of G relative to H. This is also a triangulated category, but no non-trivial examples have been known where it was compactly generated. While the finitely generated modules are compact objects, they do not necessarily generate the category. We show that the relative stable category is compactly generated if the group algebra of H has finite representation type. In characteristic p, this is equivalent to the Sylow p-subgroups of H being cyclic.     

Relative Group Cohomology and The Orbit Category

Let G be a finite group and ? be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative ?-projective resolution for ? when ? is the family of all subgroups H ≤ G with rk H ≤ rkG ? 1. We answer this question negatively by calculating the relative group cohomology ?H*(G, 𝔽₂) where G = ?/2 × ?/2 and ? is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology ?H*(G, M) can be calculated using the ext-groups over the orbit category of G restricted to the family ?. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group G and whose horizontal line at E ₂ page is isomorphic to the relative group cohomology of G.     

Alternating and Sporadic Simple Groups are Determined by Their Character Degrees

Let G be a finite group. Denote by Irr(G) the set of all irreducible complex characters of G. Let cd(G) be the set of all irreducible complex character degrees of G forgetting multiplicities, that is, cd(G) = {χ(1) : χ ∈ Irr(G)} and let cd ^*(G) be the set of all irreducible complex character degrees of G counting multiplicities. Let H be an alternating group of degree at least 5, a sporadic simple group or the Tits group. In this paper, we will show that if G is a non-abelian simple group and cd(G) í cd(H)cd(G)\subseteq cd(H) then G must be isomorphic to H. As a consequence, we show that if G is a finite group with cd^*(G) í cd^*(H)cd^*(G)\subseteq cd^*(H) then G is isomorphic to H. This gives a positive answer to Question 11.8 (a) in (Unsolved problems in group theory: the Kourovka notebook, 16th edn) for alternating groups, sporadic simple groups or the Tits group.     

Separating quasiconvex subgroups of right-angled Artin groups

A graph group, or right-angled Artin group, is a group given by a presentation where the only relators are commutators of the generators. A graph group presentation corresponds in a natural way to a simplicial graph, with each generator corresponding to a vertex, and each commutator relator corresponding to an edge. Suppose that G is a graph group whose corresponding graph is a tree and H is a subgroup of G. We show that if H is quasiconvex with respect to either the word metric on G or the CAT(0) metric on the universal cover of the standard complex for G, then H is separable, that is, H is the intersection of finite index subgroups of G. We also discuss some consequences relating to certain 3-manifold groups. Received: 19 July 2000; in final form: 2 March 2001 / Published online: 29 April 2002     

Erd?s-Ko-Rado theorem for irreducible imprimitive reflection groups

Let Ω be a finite set, and let G be a permutation group on Ω. A subset H of G is called intersecting if for any σ, π ∈ H, they agree on at least one point. We show that a maximal intersecting subset of an irreducible imprimitive reflection group G(m, p, n) is a coset of the stabilizer of a point in {1, …, n} provided n is sufficiently large.     

Recurrent random walks on homogeneous spaces of p-adic algebraic groups of polynomial growth

Let G be a p-adic algebraic group of polynomial growth and H be a closed subgroup of G. We prove the growth conjecture for the homogeneous space G/H, that is, G/H supports a recurrent random walk if and only if G/H has polynomial growth of degree atmost two. Received: 23 November 2007     

On quasiconvexity and relatively hyperbolic structures on groups

Let G be a group which is hyperbolic relative to a collection of subgroups H₁{\mathcal{H}_1}, and it is also hyperbolic relative to a collection of subgroups H₂{\mathcal{H}_2}. Suppose that H₁ ì H₂{\mathcal{H}_1 \subset \mathcal{H}_2}. We characterize when a relative quasiconvex subgroup of (G, H₂){(G, \mathcal H_2)} is still relatively quasiconvex in (G, H₁){(G, \mathcal H_1)}. We also show that relative quasiconvexity is preserved when passing from (G, H₁){(G, \mathcal H_1)} to (G, H₂){(G, \mathcal H_2)}. Applications are discussed.     

Krull–Schmidt reduction of principal bundles in arbitrary characteristic

Let M be an irreducible projective variety defined over an algebraically closed field k, and let E_G be a principal G-bundle over M, where G is a connected reductive linear algebraic group defined over k. We show that for E_G there is a naturally associated conjugacy class of Levi subgroups of G. Given a Levi subgroup H in this conjugacy class, the principal G-bundle E_G admits a reduction of structure group to H. Furthermore, this reduction is unique up to an automorphism of E_G.     

Growth of homogenous spaces,density of discrete subgroups and Kazhdan's property (T)

Summary LetG be a semisimple Lie group with finite center and no compact factors. We show that ifH is a closed unimodular subgroup ofG such thatG/H has subexponential volume growth, thenH is Zariski dense inG. Moreover, ifG has Kazhdan's property (T) thenG/H must have finite volume. We extend these results to semisimple groups over a local field.Oblatum 5-VII-1991 & 2-I-1992This work was supported by an NSF Postdoctoral Research Fellowship     

The Subgroup Normalizer Problem for Integral Group Rings of Some Nilpotent and Metacyclic Groups

For a group G and a subgroup H of G, this article discusses the normalizer of H in the units of a group ring RG. We prove that H is only normalized by the “obvious” units, namely products of elements of G normalizing H and units of RG centralizing H, provided H is cyclic. Moreover, we show that the normalizers of all subgroups of certain nilpotent and metacyclic groups in the corresponding group rings are as small as possible. These classes contain all dihedral groups, all finite nilpotent groups, and all finite groups with all Sylow subgroups being cyclic.     

Good Magma Gradings on Rings

Suppose that G and H are magmas and that R is a strongly G-graded ring. We show that there is a bijection between the set of good (zero) H-gradings of R and the set of (zero) magma homomorphisms from G to H. Thereby we generalize a result by D?sc?lescu, Ion, N?st?sescu, and Rios Montes from group gradings of matrix rings to strongly magma graded rings. We also show that there is an isomorphism between the preordered set of good (zero) H-filters on R and the preordered set of (zero) submagmas of G × H. These results are applied to category graded rings and, in particular, to the case when G and H are groupoids. In the latter case, we use this bijection to determine the cardinality of the set of good H-gradings on R.     

A Class of Multiplier Hopf Algebras

We compute the Drinfel’d double for the bicrossproduct multiplier Hopf algebra A = k[G] ⋊ K(H) associated with the factorization of an infinite group M into two subgroups G and H. We also show that there is a basis-preserving self-duality structure for the multiplier Hopf algebra A = k[G] ⋊ K(H) if there is a factor-reversing group isomorphism. Presented by A. Verschoren.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.