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.     

On ω-categorical,generically stable groups and rings

We prove that every ω-categorical, generically stable group is nilpotent-by-finite and that every ω-categorical, generically stable ring is nilpotent-by-finite.     

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

Characterization,structure and analysis on abelian ℒ∞ groups

An abelian topological group is an group if and only if it is a locally -compactk-space and every compact subset in it is contained in a compactly generated locally compact subgroup. Every abelian groupG is topologically isomorphic to G ₀ where ₀ andG ₀ is an abelian group where every compact subset is contained in a compact subgroup. Intrinsic definitions of measures, convolution of measures, measure algebra,L ₁-algebra, Fourier transforms of abelian groups are given and their properties are studied.     

Which finite simple groups are unit groups?

We prove that if G$G$ is a finite simple group which is the unit group of a ring, then G$G$ is isomorphic to: (a) a cyclic group of order 2; or (b) a cyclic group of prime order 2^k−1$2^k-1$ for some k$k$; or (c) a projective special linear group _PSLn(_F2)${PSL}_n\left({\mathbb{F}}_2\right)$ for some n≥3$n\ge 3$. Moreover, these groups do all occur as unit groups. We deduce this classification from a more general result, which holds for groups G$G$ with no non-trivial normal 2-subgroup.     

Fundamental groups,inverse schützenberger automata,and monoid presentations

This paper gives decidable conditions for when a finitely generated subgroup of a free group is the fundamental group of a Schützenberger automaton corresponding to a monoid presentation of an inverse monoid. Also, generalizations are given to specific types of inverse monoids as well as to monoids which are "nearly inverse." This result has applications to computing membership for inverse monoids in a Mal'cev product of the pseudovariety of semilattices with a pseudovariety of groups.

This paper also shows that there is a bijection between strongly connected inverse automata and subgroups of a free group, generated by positive words. Hence, we also obtain that it is decidable whether a finite strongly connected inverse automaton is a Schützenberger automaton corresponding to a monoid presentation of an inverse monoid. Again, we have generalizations to other types of inverse monoids and to "nearly inverse" monoids. We show that it is undecidable whether a finite strongly connected inverse automaton is a Schützenberger automaton of a monoid presentation of anE-unitary inverse monoid.     

HSP ≠ SHPS for metabelian groups,and related results

For the standard operators on classes of algebras,H (homomorphic images),S (subalgebras) andP (products), and the further operatorP _f of finite products, it is shown by counterexamples thatHSP SHPS andHSP _f SHP _fS for metabelian groups (groups satisfyingG={e}) and thatHSP _f SHPS for solvable groups (in fact, for finite groups satisfying (G, G)= {e}). From the first two inequalities and some easier examples, it follows that the partially ordered semigroups of operators on metabelian groups generated by {H, S, P} and by {H, S, P _f } are as in the standard 18-element diagram.In Memory of Evelyn NelsonThis work was done while the author was partly supported by NSF contracts MCS 82-02632 and DMS 85-02330.Presented by Robert W. Quackenbush.     

Symmetric differentials, Kähler groups and ball quotients

While Margulis’ superrigidity theorem completely describes the finite dimensional linear representations of lattices of higher rank simple real Lie groups, almost nothing is known concerning the representation theory of complex hyperbolic lattices. The main result of this paper (Theorem 1.3) is a strong rigidity theorem for a certain class of cocompact arithmetic complex hyperbolic lattices. It relies on the following two ingredients:

• Theorem 1.6 showing that the representations of the topological fundamental group of a compact Kähler manifold X are controlled by the global symmetric differentials on X.
• An arithmetic vanishing theorem for global symmetric differentials on certain compact ball quotients using automorphic forms, in particular deep results of Clozel on base change (Theorem 1.11).

     

K(π, 1) and word problems for infinite type Artin–Tits groups, and applications to virtual braid groups

Let Γ be a Coxeter graph, let (W, S) be its associated Coxeter system, and let (A, Σ) be its associated Artin–Tits system. We regard W as a reflection group acting on a real vector space V. Let I be the Tits cone, and let E _Γ be the complement in I + iV of the reflecting hyperplanes. Recall that Salvetti, Charney and Davis have constructed a simplicial complex Ω(Γ) having the same homotopy type as E _Γ. We observe that, if ${T \subset S}$ , then Ω(Γ _T ) naturally embeds into Ω (Γ). We prove that this embedding admits a retraction ${\pi_T: \Omega(\Gamma) \to \Omega (\Gamma_T)}$ , and we deduce several topological and combinatorial results on parabolic subgroups of A. From a family ${\mathcal{S}}$ of subsets of S having certain properties, we construct a cube complex Φ, we show that Φ has the same homotopy type as the universal cover of E _Γ, and we prove that Φ is CAT(0) if and only if ${\mathcal{S}}$ is a flag complex. We say that ${X \subset S}$ is free of infinity if Γ _X has no edge labeled by ∞. We show that, if ${E_{\Gamma_X}}$ is aspherical and A _X has a solution to the word problem for all ${X \subset S}$ free of infinity, then E _Γ is aspherical and A has a solution to the word problem. We apply these results to the virtual braid group VB _n . In particular, we give a solution to the word problem in VB _n , and we prove that the virtual cohomological dimension of VB _n is n?1.     

Calculating cohomology groups of ℳ̄0,n (ℙ r ,d)

Here we investigate the rational cohomology of the moduli space ̄_0,n(^r,d) of degree d stable maps from n-pointed rational curves to ^r. We obtain partial results for small values of d with an inductive method inspired by a paper of Enrico Arbarello and Maurizio Cornalba.     

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

Poincaré series of Klein groups,coxeter polynomials,the Burau representation,and Milnor invariants

We obtain several formulas for the Poincaré series defined by B. Kostant for Klein groups (binary polyhedral groups) and some formulas for Coxeter polynomials (characteristic polynomials of monodromy in the case of singularities). Some of these formulas—the generalized Ebeling formula, the Christoffel-Darboux identity, and the combinatorial formula—are corollaries to the well-known statements on the characteristic polynomial of a graph and are analogous to formulas for orthogonal polynomials. The ratios of Poincaré series and Coxeter polynomials are represented in terms of branched continued fractions, which are q-analogs of continued fractions that arise in the theory of resolution of singularities and in the Kirby calculus. Other formulas connect the ratios of some Poincaré series and Coxeter polynomials with the Burau representation and Milnor invariants of string links. The results obtained by S.M. Gusein-Zade, F. Delgado, and A. Campillo allow one to consider these facts as statements on the Poincaré series of the rings of functions on the singularities of curves, which suggests the following conjecture: the ratio of the Poincaré series of the rings of functions for close (in the sense of adjacency or position in a series) singularities of curves is determined by the Burau representation or by the Milnor invariants of a string link, which is an intermediate object in the transformation of the knot of one singularity into the knot of the other.     

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

Steinberg triality groups acting on 2 - (v, k, 1) designs

A 2 - (v,k,1) design D = (P, B) is a system consisting of a finite set P of v points and a collection B of k-subsets of P, called blocks, such that each 2-subset of P is contained in precisely one block. Let G be an automorphism group of a 2- (v,k,1) design. Delandtsheer proved that if G is block-primitive and D is not a projective plane, then G is almost simple, that is, T ≤ G ≤ Aut(T), where T is a non-abelian simple group. In this paper, we prove that T is not isomorphic to 3D4(q). This paper is part of a project to classify groups and designs where the group acts primitively on the blocks of the design.     

Erratum to: “Subnormal, permutable, and embedded subgroups in finite groups”

The original version of the article was published in Central European Journal of Mathematics, 2011, 9(4), 915–921, DOI: 10.2478/s11533-011-0029-8. Unfortunately, the original version of this article contains a mistake: Lemma 2.1 (2) is not true. We correct Lemma 2.2 (2) and Theorem 1.1 in our paper where this lemma was used.     

On simple periodic linear groups— Dense subgroups,permutation representations,and induced modules

We determine the Zariski-dense subgroups of Chevalley groups and their twisted analogues over infinite algebraic extensions of finite fields. It turns out that these are essentially forms of the same group (possibly becoming twisted) over smaller infinite fields. It follows from our classification that if is a simple algebraic group over the algebraic closure of a finite field, then a dense subgroup of can never be maximal, and so the maximal subgroups of are necessarily closed. It follows that Seitz’s determination of the closed maximal subgroups of actually gives all the maximal subgroups. It also enables us to prove that ifG is a simple Chevalley group or twisted type over an infinite algebraic extension of a finite field, then in every non-trivial permutation representation ofG, every finite subgroup has a regular orbit. It follows that every non-trivial permutation module forG over a fieldk iskG-faithful. This is relevant to a programme of studying ideals in group rings of simple locally finite groups. To John Thompson in recognition of his many outstanding contributions to group theory     

A Szemerédi-type regularity lemma in abelian groups, with applications

Szemerédi’s regularity lemma is an important tool in graph theory which has applications throughout combinatorics. In this paper we prove an analogue of Szemerédi’s regularity lemma in the context of abelian groups and use it to derive some results in additive number theory. One is a structure theorem for sets which are almost sum-free. If has δ N² triples (a₁, a₂, a₃) for which a₁ + a₂ = a₃ then A = B ∪ C, where B is sum-free and |C| = δ′N, and as Another answers a question of Bergelson, Host and Kra. If 0,$$" align="middle" border="0"> if \,N_{0}(\alpha, \epsilon)$$" align="middle" border="0"> and if has size α N, then there is some d ≠ 0 such that A contains at least three-term arithmetic progressions with common difference d.Received: November 2003 Revision: October 2004 Accepted: December 2004     

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.     

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     

Fredman’s reciprocity,invariants of abelian groups,and the permanent of the Cayley table

Let C_n{\mathcal{C}}_{n} denote the cyclic group of order n. For G=C_nG={\mathcal{C}}_{n}, we compute the Poincaré series of all C_n{\mathcal{C}}_{n}-isotypic components in (the symmetric tensor exterior algebra of ). From this we derive a general reciprocity and some number-theoretic identities. This generalises results of Fredman and Elashvili–Jibladze. Then we consider the Cayley table, , of G and some generalisations of it. In particular, we prove that the number of formally different terms in the permanent of equals , where n is the order of G.