Syzygies and Diagonal Resolutions for Dihedral Groups

Let G be a finite group with integral group ring Λ =Z[G]. The syzygies Ω_r(Z) are the stable classes of the intermediate modules in a free Λ-resolution of the trivial module. They are of significance in the cohomology theory of G via the “co-represention theorem” H^r(G, N) = Hom_𝒟er(Ω_r(Z), N). We describe the Ω_r(Z) explicitly for the dihedral groups D_4n+2, so allowing the construction of free resolutions whose differentials are diagonal matrices over Λ.     

Zassenhaus Conjecture (ZC1) on torsion units of integral group rings for some metabelian groups

We prove a conjecture of Zassenhaus that every normalized torsion unit of the integral group ring ZG of a finite group G is rationally conjugate to a group element for some metabelian groups including metacyclic groups G containing a normal cyclic group A such that G/A is cyclic of prime power order. The relative prime case was done in [11]. Received: 21 April 2005     

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     

Structure of augmentation quotients of finite homocyclic abelian groups

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p~r,i.e.,a finite homocyclic abelian group.LetΔ~n (G) denote the n-th power of the augmentation idealΔ(G) of the integral group ring ZG.The paper gives an explicit structure of the consecutive quotient group Q_n(G)=Δ~n(G)/Δ~(n 1)(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.     

On the commutativity degree of compact groups

In any finite group G, the commutativity degree of G (denoted by d(G)) is the probability that two randomly chosen elements of G commute. More generally, for every n ≥ 2 the nth commutativity degree (denoted by d _n (G)) is the probability that a randomly chosen ordered (n + 1)-tuple of the group elements is mutually commuting. The aim of this paper is to generalize the definition of d(G) and d _n (G) to every compact group G (infinite and even uncountable). We shall state some results concerning compact groups and we will extend some results in Erfanian et al. (Comm. Algebra 35 (2007), 4183–4197) and Lescot (J. Algebra 177 (1995), 847–869).     

On infinite tournaments with regular automorphism groups

Atournament regular representation (TRR) of an abstract groupG is a tournamentT whose automorphism group is isomorphic toG and is a regular permutation group on the vertices ofT. L. Babai and W. Imrich have shown that every finite group of odd order exceptZ ₃ ×Z ₃ admits a TRR. In the present paper we give several sufficient conditions for an infinite groupG with no element of order 2 to admit a TRR. Among these are the following: (1)G is a cyclic extension byZ of a finitely generated group; (2)G is a cyclic extension byZ _2n+1 of any group admitting a TRR; (3)G is a finitely generated abelian group; (4)G is a countably generated abelian group whose torsion subgroup is finite.     

On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups

We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C _G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C _A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.     

Finite phase transitions in countable abelian groups

Let A be an infinite set that generates a group G. The sphere S _A (r) is the set of elements of G for which the word length with respect to A is exactly r. We say G admits all finite transitions if for every r ≥ 2 and every finite symmetric subset W ì G\{e}{W \subset G{\setminus}\{e\}}, there exists an A with S _A (r) = W. In this paper we determine which countable abelian groups admit all finite transitions. We also show that \mathbbRⁿ{\mathbb{R}^n} and the finitary symmetric group on \mathbbN{\mathbb{N}} admit all finite transitions.     

On finite groups whose derived subgroup has bounded rank

Let G be a finite group with derived subgroup of rank r. We prove that |G: Z ₂(G)| ≤ |G′|^2r . Motivated by the results of I. M. Isaacs in [5] we show that if G is capable then |G: Z(G)| ≤ |G′|^4r . This answers a question of L. Pyber. We prove that if G is a capable p-group then the rank of G/Z(G) is bounded above in terms of the rank of G′.     

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

We prove that the ranks of central unit groups of integral group rings of alternating groups of degrees greater than 38 are at least 11. The presented tables contain the ranks of all central unit groups of integral group rings of alternating groups of degrees at most 200. In particular, for every r ∈ {0, …, 10}, we obtain the complete list of integers n such that the central unit group of the integral group ring of the alternating group of degree n has rank r.     

Witt groups and the elementary type conjecture

Let A be an algebra with involution * over a field F of characteristic zero and Id(A, *) the ideal of the free algebra with involution of *-identities of A. By means of the representation theory of the hyperoctahedral group Z ₂wrS _n we give a characterization of Id(A, *) in case the sequence of its *-codimensions is polynomially bounded. We also exhibit an algebra G ₂ with the following distinguished property: the sequence of *-codimensions of Id(G ₂, *) is not polynomially bounded but the *-codimensions of any T-ideal U properly containing Id(G ₂, *) are polynomially bounded.     

Universally equivalent solvable groups

Every group that is finitely presented in the varietyA ⁿ of solvable groups. and is universally equivalent to a free group F_r(A ⁿ) in this variety, is embedded in the Cartesian degree of F₂(A ⁿ). All subgroups on a set of two generators in that Cartesian degree which are universally equivalent to F₂(A ⁿ) are determined. Free solvable and nilpotent groups are proved universally equivalent. Supported by RFFR grant No. 99-01-00567, and through the RP “Universities of Russia. Fundamental Research.” Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 227–240, March–April, 2000.     

Congruence subgroups in group rings *

For a large class of groups G a precise congruence subgroup of the group generated by the bicyclic units of the integral group ring ZG is determined. As an application an upper bound is calculated for the index in the unit group of ZG for the group generated by the Bass cyclic units and the bicyclic units.     

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.     

Some subgroups of semilinearly ordered groups

Let G be a semilinearly ordered group with a positive cone P. Denote byn(G) the greatest convex directed normal subgroup of G, byo(G) the greatest convex right-ordered subgroup of G, and byr(G) a set of all elements x of G such that x and x⁻¹ are comparable with any element of P^± (the collection of all group elements comparable with an identity element). Previously. it was proved thatr(G) is a convex right-ordered subgroup of G. andn(G) ⊆r(G) ⊆o(G). Here, we establish a new property ofr(G). and show that the inequalities in the given system of inclusions are, generally, strict. Supported by RFFR grant No. 99-01-00156. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 465–479, July–August, 2000.     

Modules over group rings of soluble groups with a certain condition of maximality

Let A be an R G-module, where R is an integral domain and G is a soluble group. Suppose that C _G (A) = 1 and A/C _A (G) is not a noetherian R-module. Let L _nnd(G) be the family of all subgroups H of G such that A/C _A (H) is not a noetherian R-module. In this paper we study the structure of those G for which L _nnd(G) satisfies the maximal condition.     

Characterization of almost maximally almost-periodic groups

Let G be an Abelian group. We prove that a group G admits a Hausdorff group topology τ such that the von Neumann radical n(G,τ) of (G,τ) is non-trivial and finite iff G has a non-trivial finite subgroup. If G is a topological group, then n(n(G))≠n(G) if and only if n(G) is not dually embedded. In particular, n(n(Z,τ))=n(Z,τ) for any Hausdorff group topology τ on Z.     

Automorphisms of direct products of finite groups

This paper shows that if H and K are finite groups with no common direct factor and G = H × K, then the structure and order of Aut G can be simply expressed in terms of Aut H, Aut K and the central homomorphism groups Hom (H, Z(K)) and Hom (K, Z(H)). Received: 18 April 2005; revised: 9 June 2005     

A presentation of the group Sl * (2, A), A a simple artinian ring with involution

Let (A,*) be an involutive ring. Then the groups Sl _*(2, A), are a non commutative version of the special linear groups Sl(2, F) defined over a field F. In particular, if A = M(n, F) and * is transposition, then Sl _*(2, M _n (F)) = Sp(2n, F). The above groups were defined by Pantoja and Soto-Andrade, and a set of generators for the group SSl _*(2, A) (which is either Sl _*(2, A) or a index 2 subgroup of Sl _*(2, A)) was given in the case when A is an artinian ring. In this paper, we prove that the mentioned generators provide a presentation of the mentioned groups in the case of simple artinian rings.Partially supported by FONDECYT project 1030907 and Pontificia Universidad Católica de Valparaíso     

Pure quantitative characterization of finite simple groups

Let G be a finite group, and let π _e (G) be the set of all element orders of G. In this short paper we prove that π _e (B _n (q)) ≠ π _e (C _n (q)) for all odd q.