On Purity and Quasiequality of Abelian Groups

We study the Cohn purity in an abelian group regarded as a left module over its endomorphism ring. We prove that if a finite rank torsion-free abelian group G is quasiequal to a direct sum in which all summands are purely simple modules over their endomorphism rings then the module _E(G) G is purely semisimple. This theorem makes it possible to construct abelian groups of any finite rank which are purely semisimple over their endomorphism rings and it reduces the problem of endopure semisimplicity of abelian groups to the same problem in the class of strongly indecomposable abelian groups.     

Splitting Mixed Groups of Finite Torsion-Free Rank

Abstract

First, we give a necessary and sufficient condition for torsion-free finite rank subgroups of arbitrary abelian groups to be purifiable. An abelian group G is said to be a strongly ADE decomposable group if there exists a purifiable T(G)-high subgroup of G. We use a previous result to characterize ADE decomposable groups of finite torsion-free rank. Finally, in an extreme case of strongly ADE decomposable groups, we give a necessary and sufficient condition for abelian groups of finite torsion-free rank to be splitting.     

Duality of Fourier type with respect to locally compact Abelian groups

It is shown that a Banach space X has Fourier type p with respect to a locally compact abelian group G if and only if the dual space X′ has Fourier type p with respect to G if and only if X has Fourier type p with respect to the dual group of G. This extends previously known results for the classical groups and the Cantor group to the setting of general locally compact abelian groups. Supported by DFG grant Hi 584/2-2. Partially supported by a DAAD-grant A/02/46571.     

Amenability and weak amenability of the Fourier algebra

Let G be a locally compact group. We show that its Fourier algebra A(G) is amenable if and only if G has an abelian subgroup of finite index, and that its Fourier–Stieltjes algebra B(G) is amenable if and only if G has a compact, abelian subgroup of finite index. We then show that A(G) is weakly amenable if the component of the identity of G is abelian, and we prove some partial results towards the converse.Research supported by NSERC under grant no. 90749-00.Research supported by NSERC under grant no. 227043-00.     

On purifiable subgroups in arbitrary abelian groups

We determine the structure of a p-pure[pure] hull of a p-purifiable [purifiable] subgroup of an arbitrary abelian group. Moreover, we prove that a subgroup A of an abelian group G is purifiable in G if and only if A is p-purifiable in G for every prime p. Using these results, we characterize the groups G for which all subgroups are purifiable in G. Furthermore, we establish several properties of purifiable subgroups.     

The group PSL(2,q) is not the multiplication group of a loop

ABSTRACT

We introduce the notion of weak transitivity for torsion-free abelian groups. A torsion-free abelian group G is called weakly transitive if for any pair of elements x, y ∈ G and endomorphisms ?, ψ ∈ End(G) such that x? = y, yψ = x, there exists an automorphism of G mapping x onto y. It is shown that every suitable ring can be realized as the endomorphism ring of a weakly transitive torsion-free abelian group, and we characterize up to a number-theoretical property the separable weakly transitive torsion-free abelian groups.     

On the Artin exponent of some rational groups

A finite group G is called rational if all its irreducible complex characters are rational valued. In this paper, we show that if G is a direct product of finitely many rational Frobenius groups then every rationally represented character of G is a generalized permutation character. Also we show that the same assertion holds when G is a solvable rational group with a Sylow 2-subgroup isomorphic to the dihedral group of order 8 and an abelian normal Sylow 3-subgroup.     

On capability of finite abelian groups

Baer characterized capable finite abelian groups (a group is capable if it is isomorphic to the group of inner automorphisms of some group) by a condition on the size of the factors in the invariant factor decomposition (the group must be noncyclic and the top two invariant factors must be equal). We provide a different characterization, given in terms of a condition on the lattice of subgroups. Namely, a finite abelian group G is capable if and only if there exists a family {H _i } of subgroups of G with trivial intersection, such that the union generates G and all quotients G/H _i have the same exponent. Other variations of this condition are also provided (for instance, the condition that the union generates G can be replaced by the condition that it is equal to G). The work presented here is partially supported by NSF/DMS-0805932.     

Multiplicative Jordan Decomposition in Group Rings of 3-Groups,II

In this paper, we complete the classification of those finite 3-groups G whose integral group rings have the multiplicative Jordan decomposition property. If G is abelian, then it is clear that ?[G] satisfies the multiplicative Jordan decomposition (MJD). In the nonabelian case, we show that ?[G] satisfies MJD if and only if G is one of the two nonabelian groups of order 3³ = 27.     

On the lattice formed by all normal subloops of a finite loop

All normal subloops of a loopG form a modular latticeL _n (G). It is shown that a finite loopG has a complemented normal subloop lattice if and only ifG is a direct product of simple subloops. In particular,L _n (G) is a Boolean algebra if and only if no two isomorphic factors occurring in a decomposition ofG are abelian groups. The normal subloop lattice of a finite loop is a projective geometry if and only ifG is an elementary abelianp-group for some primep.     

Graphically abelian groups

We define a group G to be graphically abelian if the function g?g⁻¹ induces an automorphism of every Cayley graph of G. We give equivalent characterizations of graphically abelian groups, note features of the adjacency matrices for Cayley graphs of graphically abelian groups, and show that a non-abelian group G is graphically abelian if and only if G=E×Q, where E is an elementary abelian 2-group and Q is a quaternion group.     

Simplicity of Skew Group Rings of Abelian Groups

Necessary and sufficient conditions for simplicity of a general skew group ring A ?_σ G are not known. In this article, we show that a skew group ring A ?_σ G, of an abelian group G, is simple if and only if its centre is a field and A is G-simple. As an application, we show that a transformation group (X, G), where X is a compact Hausdorff space acted upon by an abelian group G, is minimal and faithful if and only if its associated skew group algebra C(X) ?_σ G is simple.     

Compact abelian group extensions of discrete dynamical systems

Summary This paper introduces the notion of a free G extension of a dynamical system where G is a compact abelian group. The concept is closely allied to that of generalised discrete spectrum (which includes Abramov's quasi-discrete spectrum as a special case). We give necessary and sufficient conditions for a G extension of a minimal (uniquely ergodic) dynamical system to be minimal (uniquely ergodic) and show that in a certain sense a general G extension lifts these properties. Stable G-extensions always lift these properties if the underlying space is connected. This fact is then used to characterise all uniquely ergodic and minimal affine transformations of a certain three dimensional nilmanifold. The rest of the paper is devoted to the exhibition of group invariants for systems with generalised discrete spectrum. In particular it is shown that such systems always have a compact abelian group as underlying space. A lemma which facilitates this result gives necessary and sufficient conditions for a connected G-extension of a compact abelian group to be a compact abelian group.     

Averaging sequences and abelian rank in amenable groups

We investigate the connection between the abelian rank of a countable amenable group and the existence of good averaging sequences (e.g., for the ergodic theorem). We show that if G is a group with finite abelian rank r(G), then 2^r(G) is a lower bound on the constant associated to a Tempel’man sequence, and if G is abelain there is a Tempel’man sequence in G with this constant. On the other hand, infinite rank precludes the existence of Tempel’man sequences and forces all tempered sequences to grow super-exponentially.     

Some Nasty reflexive groups

In {\it Almost Free Modules, Set-theoretic Methods}, Eklof and Mekler [5,p. 455, Problem 12] raised the question about the existence of dual abelian groups G which are not isomorphic to . Recall that G is a dual group if for some group D with . The existence of such groups is not obvious because dual groups are subgroups of cartesian products and therefore have very many homomorphisms into . If is such a homomorphism arising from a projection of the cartesian product, then . In all `classical cases' of groups {\it D} of infinite rank it turns out that . Is this always the case? Also note that reflexive groups G in the sense of H. Bass are dual groups because by definition the evaluation map is an isomorphism, hence G is the dual of . Assuming the diamond axiom for we will construct a reflexive torsion-free abelian group of cardinality which is not isomorphic to . The result is formulated for modules over countable principal ideal domains which are not field. Received July 1, 1999; in final form January 26, 2000 / Published online April 12, 2001     

Quasi‐convexly dense and suitable sets in the arc component of a compact group

Let G be an abelian topological group. The symbol $\widehat{G}Let G be an abelian topological group. The symbol $\widehat{G}$ denotes the group of all continuous characters $\chi :G\rightarrow {\mathbb T}$ endowed with the compact open topology. A subset E of G is said to be qc‐dense in G provided that χ(E)?φ([? 1/4, 1/4]) holds only for the trivial character $\chi \in \widehat{G}$, where $\varphi : {\mathbb R}\rightarrow {\mathbb T}={\mathbb R}/{\mathbb Z}$ is the canonical homomorphism. A super‐sequence is a non‐empty compact Hausdorff space S with at most one non‐isolated point (to which S converges). We prove that an infinite compact abelian group G is connected if and only if its arc component G_a contains a super‐sequence converging to 0 that is qc‐dense in G. This gives as a corollary a recent theorem of Außenhofer: For a connected locally compact abelian group G, the restriction homomorphism $r:\widehat{G}\rightarrow \widehat{G}_a$ defined by $r(\chi )=\chi \upharpoonright _{G_a}$ for $\chi \in \widehat{G}$, is a topological isomorphism. We show that an infinite compact group G is connected if and only if its arc component G_a contains a super‐sequence converging to the identity that is qc‐dense in G and generates a dense subgroup of G. We also offer a short alternative proof of the result of Hofmann and Morris on the existence of suitable sets of minimal size in the arc component of a compact connected group.     

Essential subgroups of topological groups

We study the class Wof Hausdorff topological groups Gfor which the following two cardinal invariants coincide

ES(G)=min{|H|:H≤ Gdense and essential}

TD(G)=min{|H|:H≤ Gtotally dense}

We prove that W contains the following classes:locally compact abelian groups, compact connected groups, countably compact totally discon¬nected abelian groups, topologically simple groups, locally compact Abelian groups when endowed with their Bohr topology, totally minimal abelian groups and free Abelian topological groups. For all these classes we are also able to giv ean explicit computation of the common value of ESand TD.     

A note on groups whose non-normal subgroups are either abelian or minimal non-abelian

A group G is called parahamiltonian if each non-normal subgroup of G is either abelian or minimal non-abelian. Thus all biminimal non-abelian groups are parahamiltonian, and the class of parahamiltonian groups contains the important class of metahamiltonain groups, introduced by Romalis and Sesekin about 50 years ago. The aim of this paper is to describe the structure of locally graded parahamiltonian groups.

     

Verifying Huppert's Conjecture for PSL3(q) and PSU3(q 2)

Let G be a finite group and cd(G) be the set of irreducible character degrees of G. Bertram Huppert conjectured that if H is a finite nonabelian simple group such that cd(G) = cd(H), then G ? H × A, where A is an abelian group. We examine arguments to verify this conjecture for the simple groups of Lie type of rank two. To illustrate our arguments, we extend Huppert's results and verify the conjecture for the simple linear and unitary groups of rank two.