Divisible groups that are brauer groups ∗

Throughour this paper G denotes an abelian divisible torsion group. It is not unreasonable to conjecture that such a G must occur as the Brauer group B(K) of some field K. Some evidence to support this conjecture is provided in [3]; it is proved there that if G is countable then G ? B(K) for some K algebraic over the rational field Q [3, Theorem 2]. In this note we provide still more evidence in support of htis conjecture.     

∃-Free groups as groups with length function

It is shown that there exists a length function with values in a finitely generated group relative to which G is a -free group in any finitely generated group G.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 6, pp. 813–822, June, 1992.     

σ-Interpolation Lattice-ordered groups

In [1], Jakubík showed that the class of -interpolation lattice-ordered groups forms a radical class, but left open the question of whether the class forms a torsion class. In this paper, we show that this class does indeed form a torsion class.     

Quasi-K?hler groups, 3-manifold groups, and formality

In this note, we address the following question: Which 1-formal groups occur as fundamental groups of both quasi-K?hler manifolds and closed, connected, orientable 3-manifolds. We classify all such groups, at the level of Malcev completions, and compute their coranks. Dropping the assumption on realizability by 3-manifolds, we show that the corank equals the isotropy index of the cup-product map in degree one. Finally, we examine the formality properties of smooth affine surfaces and quasi-homogeneous isolated surface singularities. In the latter case, we describe explicitly the positive-dimensional components of the first characteristic variety for the associated singularity link.     

Free pro-p groups as galois groups over ℚ(p)(t)

Letp be a prime and let ℚ(p) denote the maximalp-extension of ℚ. We prove that for every primep, the free pro-p group on countably many generators is realizable as a regular extension of ℚ(p)(t). As a consequence, if ℚ _nil denotes the maximal nilpotent extension of ℚ, then every finite nilpotent group is realizable as a regular extension of ℚ _nil (t).     

On groups of type Φ

We define a group G to be of type Φ if it has the property that for every -module G, proj. G < ∞ iff proj. H G < ∞ for every finite subgroup H of G. We conjecture that the type Φ is an algebraic characterization of those groups G which admit a finite dimensional model for , the classifying space for the family of the finite subgroups of G. We also conjecture that the type Φ is equivalent to spli being finite, where spli is the supremum of the projective lengths of the injective -modules. Here we prove certain parts of these conjectures. The project is cofounded by the European Social Fund and National Resources–EPEAK II–Pythagoras. Received: 21 June 2006     

Chermak–Delgado simple groups

This paper provides the first steps in classifying the finite solvable groups having Property A, which is a property involving abelian normal subgroups. We see that this classification is reduced to classifying the solvableChermak–Delgado simple groups, which the author defines. The notion of “Chermak–Delgado simple,” or “CD-simple” for short, is a generalization of simple groups through the Chermak–Delgado lattice. The author completes a classification of Chermak–Delgado simple groups under certain restrictions on the primes involved in the group order.     

New characterizations of finite supersoluble groups

Let A be a subgroup of a group G and X a nonempty subset of G.A is called an X- semipermutable subgroup of G if A has a supplement T in G such that for every subgroup T_1 of T there exists an clement x∈X such that AT_i~x=T_i~xA.On the basis of this concept we obtain some new characterizations of finite supersoluble groups.     

Finite groups with ℱ-subnormal conditions

Let ? be a subgroup-closed saturated formation. A finite group G is called an ?_pc-group provided that each subgroup X of G is ?-subabnormal in the ?-subnormal closure of X in G. Let ?_pc be the class of all ?_pc-groups. We study some properties of ? _pc-groups and describe the structure of ?_pc-groups when ? is the class of all soluble π-closed groups, where π is a given nonempty set of prime numbers.     

Rigidity of H–type groups

On H–type groups N the left invariant horizontal vector fields span a subbundle of the tangent bundle, called the horizontal bundle HN. Generalized contact mappings f on N are smooth mappings which preserve HN. The question is: how many such mappings exist? In the case of the Heisenberg group these are the contact mappings in the classical sense and they exist in abundance. In this paper it is shown that if the dimension of the center of N is at least three, then the generalized contact mappings are in the automorphism group of a finite dimensional Lie algebra g. The elements in are the infinitesimal generators of local one parameter subgroups of generalized contact transformations. Rigidity is defined as the property that is finite dimensional. For the case of the complexified Heisenberg group, i.e. the case when the dimension of the center of N is two, it has been shown [RR] that g is infinite dimensional. Received January 4, 2000; in final form March 20, 2000 / Published online April 12, 2001     

On a question of Külshammer for representations of finite groups in reductive groups

Let G be a simple algebraic group of type G₂ over an algebraically closed field of characteristic 2. We give an example of a finite group Γ with Sylow 2-subgroup Γ₂ and an infinite family of pairwise non-conjugate homomorphisms ρ: Γ → G whose restrictions to Γ₂ are all conjugate. This answers a question of Burkhard Külshammer from 1995. We also give an action of Γ on a connected unipotent group V such that the map of 1-cohomologies H¹(Γ, V) → H¹(Γ_p, V) induced by restriction of 1-cocycles has an infinite fibre.     

On some Λ-analytic pro-p groups

This paper is devoted to the first steps towards a systematic study of pro-p groups which are analytic over a commutative Noetherian local pro-p ring Λ, e.g. Λ= . We restrict our attention to Λ-standard groups, which are pro-p groups arising from a formal group defined over Λ. Under some additional assumptions we show that these groups are of ‘intermediate growth’ in various senses, strictly betweenp-adic analytic pro-p groups and free pro-p groups. This suggests a refinement of Lazard's theory which stresses the dichotomy betweenp-adic analytic pro-p groups and all the others. In the course of the discussion we answer a question posed in [LM1], and settle two conjectures from [Bo].     

Which algebraic groups are Picard varieties?

We show that every connected commutative algebraic group over an algebraically closed field of characteristic 0 is the Picard variety of some projective variety having only finitely many non-normal points.In contrast,no Witt group of dimension at least 3 over a perfect field of prime characteristic is isogenous to a Picard variety obtained by this construction.     

Random walks on Baumslag–Solitar groups

We consider random walks on non-amenable Baumslag–Solitar groups BS(p, q) and describe their Poisson–Furstenberg boundary. The latter is a probabilistic model for the long-time behaviour of the random walk. In our situation, we identify it in terms of the space of ends of the Bass–Serre tree and the real line using Kaimanovich’s strip criterion.     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.     

Elliptic elements in Möbius groups

Let G be a nonelementary subgroup of Isom(H ⁿ). In this paper we prove that if G contains elliptic elements and dim(M _G ) is even, then G is discrete if and only if WY (G) is discrete and every nonelementary subgroup of G generated by two elliptic elements is discrete. We also describe an example to show the assumption on dim(M _G ) is necessary. Supported in part by NSFC 10671059 and by Leading academic Discipline program, 211 project for Shanghai University of Finance and Economics (the 3rd phase).     

Pro-p completions of Poincaré duality groups

We consider some sufficient conditions for the pro-p completion of an orientable Poincaré duality group of dimension n ≥ 3 to be a virtually pro-p Poincaré duality group of dimension at most n ? 2.