Quotients of absolute Galois groups which determine the entire Galois cohomology

For a prime power q = p ^d and a field F containing a root of unity of order q we show that the Galois cohomology ring H^*(G_F,\mathbbZ/q){H^*(G_F,\mathbb{Z}/q)} is determined by a quotient G_F^[3]{G_F^{[3]}} of the absolute Galois group G _F related to its descending q-central sequence. Conversely, we show that G_F^[3]{G_F^{[3]}} is determined by the lower cohomology of G _F . This is used to give new examples of pro-p groups which do not occur as absolute Galois groups of fields.     

On one class of modules over integer group rings of locally solvable groups

We study a Z G-module A in the case where the group G is locally solvable and satisfies the condition min–naz and its cocentralizer in A is not an Artinian Z-module. We prove that the group G is solvable under the conditions indicated above. The structure of the group G is studied in detail in the case where this group is not a Chernikov group. Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 61, No. 1, pp. 44–51, January, 2009.     

Boundaries of random walks on graphs and groups with infinitely many ends

Consider an irreducible random walk {Z _n} on a locally finite graphG with infinitely many ends, and assume that its transition probabilities are invariant under a closed group Γ of automorphisms ofG which acts transitively on the vertex set. We study the limiting behaviour of {Z _n} on the spaceΩ of ends ofG. With the exception of a degenerate case,Ω always constitutes a boundary of Γ in the sense of Furstenberg, and {Z _n} converges a.s. to a random end. In this case, the Dirichlet problem for harmonic functions is solvable with respect toΩ. The degenerate case may arise when Γ is amenable; it then fixes a unique end, and it may happen that {Z _n} converges to this end. If {Z _n} is symmetric and has finite range, this may be excluded. A decomposition theorem forΩ, which may also be of some purely graph-theoretical interest, is derived and applied to show thatΩ can be identified with the Poisson boundary, if the random walk has finite range. Under this assumption, the ends with finite diameter constitute a dense subset in the minimal Martin boundary. These results are then applied to random walks on discrete groups with infinitely many ends.     

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.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

Q-admissibility of certain nonsolvable groups

A finite groupG is calledQ-admissible if there exists a finite dimensional central division algebra overQ, containing a maximal subfield which is a Galois extension ofQ with Galois group isomorphic toG. It is proved thatS ₅ ⁻ , one of the two nontrivial central extensions ofS ₅ byZ/2Z, isQ-admissible. As a consequence of that result and previous results of Sonn and Stern, every finite Sylow-metacyclic group, havingA ₅ as a composition factor, isQ-admissible. This paper is part of a M.Sc. thesis written at the Technion — Israel Institute of Technology, under the supervision of Professor J. Sonn, whom the author wishes to thank for his valuable guidance.     

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 galois groups and their maximal 2-subgroups

LetG be a finite group of even order, having a central element of order 2 which we denote by −1. IfG is a 2-group, letG be a maximal subgroup ofG containing −1, otherwise letG be a 2-Sylow subgroup ofG. LetH=G/{±1} andH=G/{±1}. Suppose there exists a regular extensionL ₁ of ℚ(T) with Galois groupG. LetL be the subfield ofL ₁ fixed byH. We make the hypothesis thatL ₁ admits a quadratic extensionL ₂ which is Galois overL of Galois groupG. IfG is not a 2-group we show thatL ₁ then admits a quadratic extension which is Galois over ℚ(T) of Galois groupG and which can be given explicitly in terms ofL ₂. IfG is a 2-group, we show that there exists an element α ε ℚ(T) such thatL ₁ admits a quadratic extension which is Galois over ℚ(T) of Galois groupG if and only if the cyclic algebra (L/ℚ(T).a) splits. As an application of these results we explicitly construct several 2-groups as Galois groups of regular extensions of ℚ(T).     

The Stable Class of the Augmentation Ideal

In [F.E.A. Johnson, Stable Modules and the D(2)-Problem, LMS Lecture Notes In Mathematics, vol. 301, CUP (2003)], for finite groups G, we gave a parametrization of the stable class of the augmentation ideal of Z[G] in terms of stably free modules. Whilst the details of this parametrization break down immediately for infinite groups, nevertheless one may hope to find parallel arguments for restricted classes of infinite groups. Subject to the restriction that Ext¹(Z, Z[G]) = 0, we parametrize the minimal level in Ω₁(Z) by means of stably free modules and give a lower estimate for the size of Ω₁(Z).     

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 Λ.     

Fitting ideals and the Gorenstein property

Let p be a prime number and G be a finite commutative group such that p ² does not divide the order of G. In this note we prove that for every finite module M over the group ring Z _p [G], the inequality #M  ￡  #Z_p[G]/Fit_Zp[G](M){\#M\,\leq\,\#{\bf Z}_{p}[G]/{{\rm Fit}}_{{\bf Z}_{p}[G]}(M)} holds. Here, Fit_Zp[G](M){\rm Fit}_{{\bf Z}_{p}[G]}(M) is the Z _p [G]-Fitting ideal of M.     

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′.     

Sylow Products and the Solvable Residual

We study the connection between products of Sylow subgroups of a finite group G and the solvable residual of G. Let Π(𝒫) be a product of Sylow subgroups of G such that each prime divisor of |G| is represented exactly once in Π(𝒫). We prove that there exists a unique normal subgroup N of G which is minimal subject to the requirement Π(𝒫) N = G. Furthermore, N is perfect, and the product of all of these subgroups is the solvable residual of G. We also prove that the solvable residual of G is generated by all elements which arise from non-trivial factorizations of 1 _G in such products of Sylow subgroups.     

Abelian 2-class field towers over the cyclotomic {\mathbb {Z}_2}-extensions of imaginary quadratic fields

For the cyclotomic \mathbb Z₂{\mathbb Z_2}-extension k _∞ of an imaginary quadratic field k, we consider whether the Galois group G(k _∞) of the maximal unramified pro-2-extension over k _∞ is abelian or not. The group G(k _∞) is abelian if and only if the nth layer of the \mathbb Z₂{\mathbb {Z}_2}-extension has abelian 2-class field tower for all n ≥ 1. The purpose of this paper is to classify all such imaginary quadratic fields k in part by using Iwasawa polynomials.     

Groups in which the hypercentral factor group is a T-group

Abstract We consider groups G having a T - group as factor G/Z_*(G) and exhibit connections with its Frattini subgroup and its nilpotemt radical.Mutually permutable products of these groups with supersolvable ones are described with consequences concerning the Fitting core of supesolvable groups. Keywords: Hypercenter, T-group, Fitting core Mathematics Subject Classification (2000): 20D25, 20D40, 20D10     

Revêtements des courbes en caractéristique p>0 et ordinarité

Let X be a proper, smooth, connected curve, defined over an algebraically closed field of characteristic p>0 and of genus g 2. We show that there exists a finite solvable group G, of order prime to p, and a Galois étale cover Y X, with Galois group G, which is not ordinary.     

Factorization in dedekind domains with finite class group

LetD be a Dedekind domain. It is well known thatD is then an atomic integral domain (that is to say, a domain in which each nonzero nonunit has a factorization as a product of irreducible elements). We study factorization properties of elements in Dedekind domains with finite class group. IfD has the property that any factorization of an elementα into irreducibles has the same length, thenD is called a half factorial domain (HFD, see [41]). IfD has the property that any factorization of an elementα into irreducibles has the same length modulor (for somer>1), thenD is called a congruence half factorial domain of orderr. In Section I we consider some general factorization properties of atomic integral domains as well as the interrelationship of the HFD and CHFD property in the Dedekind setting. In Section II we extend many of the results of [41], [42] and [36] concerning HFDs when the class group ofD is cyclic. Finally, in Section III we consider the CHFD property in detail and determine some basic properties of Dedekind CHFDs. IfG is any Abelian group andS any subset ofG−[0], then {G, S} is called a realizable pair if there exists a Dedekind domainD with class groupG such thatS is the set of nonprincipal classes ofG which contain prime ideals. We prove that for a finite abelian groupG there exists a realizable pair {G, S} such that any Dedekind domain associated to {G, S} is CHFD for somer>1 but not HFD if and only ifG is not isomorphic toZ ₂,Z ₂,Z ₂ ⊕Z ₂, orZ ₃ ⊕Z ₃. The first author received support under the John M. Bennett Fellowship at Trinity University and also gratefully acknowledges the support of The University of North Carolina at Chapel Hill.     

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.     

On the full automorphism group of a graph

While it is easy to characterize the graphs on which a given transitive permutation groupG acts, it is very difficult to characterize the graphsX with Aut (X)=G. We prove here that for the certain transitive permutation groups a simple necessary condition is also sufficient. As a corollary we find that, whenG is ap-group with no homomorphism ontoZ _p wrZ _p , almost all Cayley graphs ofG have automorphism group isomorphic toG.     

Central simple algebras

Wedderburn’s factorization of polynomials over division rings is refined and used to prove that every central division algebra of degree 8, with involution, has a maximal subfield which is a Galois extension of the center (with Galois group Z₂⊕Z₂⊕Z₂). The same proof, for an arbitrary central division algebra of degree 4, gives an explicit construction of a maximal subfield which is a Galois extension of the center, with Galois group Z₂⊕Z₂. Use is made of the generic division algebras, with and without involution. This work was supported by the Israel Committee for Basic Research and the Anshel Pfeffer Chair.