Locally minimal topological groups 2

We continue in this paper the study of locally minimal groups started in Außenhofer et al. (2010) [4]. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian groups containing dense countable locally minimal subgroups, as well as those containing dense locally minimal subgroups of countable free-rank. We also characterize the compact abelian groups whose torsion part is dense and locally minimal. We call a topological group G almost minimal if it has a closed, minimal normal subgroup N such that the quotient group G/N is uniformly free from small subgroups. The class of almost minimal groups includes all locally compact groups, and is contained in the class of locally minimal groups. On the other hand, we provide examples of countable precompact metrizable locally minimal groups which are not almost minimal. Some other significant properties of this new class are obtained.     

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.     

Equivariant sheaf cohomdlogy

In this paper we study Grothendieck's equivariant sheaf cohomology H(X,G;G) for non-discrete topological groups G and G-sheavesG on a G-Space X. For compact groups and locally compact, totally disconnected groups we obtain detailed results relating H(X,G;-) to H(X;-)^G and H(X/G;-). Furthermore we point out the connection between H(X,G;-) and Borel's equivariant cohomology H_G(X;-).     

On pure subgroups of locally compact abelian groups

In this note, we construct an example of a locally compact abelian group G = C × D (where C is a compact group and D is a discrete group) and a closed pure subgroup of G having nonpure annihilator in the Pontrjagin dual $\hat{G}$, answering a question raised by Hartman and Hulanicki. A simple proof of the following result is given: Suppose ${\frak K}$ is a class of locally compact abelian groups such that $G \in {\frak K}$ implies that $\hat{G} \in {\frak K}$ and nG is closed in G for each positive integer n. If H is a closed subgroup of a group $G \in {\frak K}$, then H is topologically pure in G exactly if the annihilator of H is topologically pure in $\hat{G}$. This result extends a theorem of Hartman and Hulanicki.Received: 4 April 2002     

On Groups in Which Normality Is a Transitive Relation

A subgroup H of a group G is said to be weakly normal if H ^g  = H whenever g is an element of G such that H ^g  ≤ N _G (H). There is a strictly relation between weak normality and groups in which normality is a transitive relation ( T-groups). In [Ballester-Bolinches, A., Esteban-Romero, R. (2003). On finite T-groups. J. Aust. Math. Soc. 75:181–191] it is proved that a finite group G is a soluble T-group if and only if every subgroup of G is weakly normal. In this article, we extend the above result to infinite groups having no infinite simple sections. Moreover, it will be shown that every locally graded non-periodic group, all of whose subgroups are weakly normal, is abelian.     

Hyperbolic groups have flat-rank at most 1

The flat-rank of a totally disconnected, locally compact group G is an integer, which is an invariant of G as a topological group. We generalize the concept of hyperbolic groups to the topological context and show that a totally disconnected, locally compact, hyperbolic group has flat-rank at most 1. It follows that the simple totally disconnected locally compact groups constructed by Paulin and Haglund have flat-rank at most 1.     

On Infinitely Divisible Distributions on Locally Compact Abelian Groups

Our aim in this paper is to characterize some classes of infinitely divisible distributions on locally compact abelian groups. Firstly infinitely divisible distributions with no idempotent factor on locally compact abelian groups are characterized by means of limit distributions of sums of independent random variables. We introduce semi-selfdecomposable distributions on topological fields, and in case of totally disconnected fields we give a limit theorem for them. We also give a characterization of semistable laws on p-adic field and show that semistable processes are constructed as scaling limits of sums of i.i.d.     

A Character Theoretic Condition for F(G) > 1

ABSTRACT

If G is a nontrivial finite group with the property that χ (1) ² divides bi| G | for all irreducible (complex) characters χ , then G has a nontrivial normal abelian subgroup.

     

Non-closed Lie subgroups of Lie groups

We obtain several homotopy obstructions to the existence of non-closed connected Lie subgroupsH in a connected Lie groupG.First we show that the foliationF(G, H) onG determined byH is transversely complete [4]; moreover, forK the closure ofH inG, F(K, H) is an abelian Lie foliation [2].Then we prove that ₁(K) and ₁(H) have the same torsion subgroup, _n (K)= _n (H) for alln 2, and rank₁(K) — rank₁(H) > codimF(K, H). This implies, for instance, that a contractible (e.g. simply connected solvable) Lie subgroup of a compact Lie group must be abelian. Also, if rank₁(G) 1 then any connected invariant Lie subgroup ofG is closed; this generalizes a well-known theorem of Mal'cev [3] for simply connected Lie groups.Finally, we show that the results of Van Est on (CA) Lie groups [6], [7] provide many interesting examples of such foliations. Actually, any Lie group with non-compact centre is the (dense) leaf of a foliation defined by a closed 1-form. Conversely, when the centre is compact, the latter is true only for (CA) Lie groups (e.g. nilpotent or semisimple).     

Weakly Linearly Compact Topological Abelian Groups

In this paper, we study linearly topological groups. We introduce the notion of a weakly linearly compact group, which generalizes the notion of a weakly separable group, and examine the main properties of such groups. For weakly linearly compact groups, we construct the character theory and present an algebraic characterization of some classes of such groups. Some well-known theorems for periodic Abelian groups are generalized for the case of linearly discrete, topological Abelian groups; for linearly compact and linearly discrete topological Abelian groups, we also construct the character theory and study some important properties of linearly discrete groups. For linearly discrete, topological Abelian groups, we analyze the splittability condition (Theorem 3.12) and present the characteristic condition of decomposability of a discrete group G into the direct sum of rank-1 groups. We also present an algebraic characterization of linearly compact groups. We introduce the notion of a weakly linearly compact, topological Abelian group, which generalizes the notion of a weakly separable Abelian group, and examine some properties of such groups. These groups are a generalization of fibrous Abelian groups introduced by Vilenkin. We give an algebraic characterization of divisible, weakly locally compact Abelian groups that do not contain nonzero elements of finite order (Proposition 7.9). For weakly locally compact Abelian groups, we construct universal groups.     

Locally minimal topological groups 1

The aim of this paper is to go deeper into the study of local minimality and its connection to some naturally related properties. A Hausdorff topological group (G,τ) is called locally minimal if there exists a neighborhood U of 0 in τ such that U fails to be a neighborhood of zero in any Hausdorff group topology on G which is strictly coarser than τ. Examples of locally minimal groups are all subgroups of Banach-Lie groups, all locally compact groups and all minimal groups. Motivated by the fact that locally compact NSS groups are Lie groups, we study the connection between local minimality and the NSS property, establishing that under certain conditions, locally minimal NSS groups are metrizable. A symmetric subset of an abelian group containing zero is said to be a GTG set if it generates a group topology in an analogous way as convex and symmetric subsets are unit balls for pseudonorms on a vector space. We consider topological groups which have a neighborhood basis at zero consisting of GTG sets. Examples of these locally GTG groups are: locally pseudoconvex spaces, groups uniformly free from small subgroups (UFSS groups) and locally compact abelian groups. The precise relation between these classes of groups is obtained: a topological abelian group is UFSS if and only if it is locally minimal, locally GTG and NSS. We develop a universal construction of GTG sets in arbitrary non-discrete metric abelian groups, that generates a strictly finer non-discrete UFSS topology and we characterize the metrizable abelian groups admitting a strictly finer non-discrete UFSS group topology. Unlike the minimal topologies, the locally minimal ones are always available on “large” groups. To support this line, we prove that a bounded abelian group G admits a non-discrete locally minimal and locally GTG group topology iff |G|?c.     

Uncountable products of determined groups need not be determined

If H is a dense subgroup of G, we say that H determines G if their groups of characters are topologically isomorphic when equipped with the compact open topology. If every dense subgroup of G determines G, then we say that G is determined. The importance of this property is justified by the recent generalizations of Pontryagin-van Kampen duality to wider classes of topological Abelian groups. Among other results, we show (a) _⊕i∈IR determines the product _∏i∈IR if and only if I is countable, (b) a compact group is determined if and only if its weight is countable. These answer questions of Comfort, Raczkowski and the third listed author. Generalizations of the above results are also given.     

Stable theories

We studyK _T(λ)=sup {|S(A)| : |A|≦λ} and extend some results for totally transcendental theroies to the case of stable theories. We then investigate categoricity of elementary and pseudo-elementary classes. This paper is a part of the author’s doctoral dissertation written at the Hebrew University of Jerusalem, under the kind guidance of Profeossr M. Rabin.     

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.     

Some cases of preservation of the Pontryagin dual by taking dense subgroups

We study the compact-open topology on the character group of dense subgroups of topological abelian groups. Permanence properties concerning open subgroups, quotients and products are considered. We also present some representative examples. We prove that every compact abelian group G with w(G)?c has a dense pseudocompact group which does not determine G; this provides (under CH) a negative answer to a question posed by S. Hernández, S. Macario and the third listed author two years ago.     

Monochrome symmetric subsets of colored groups

In (Electron. J. Combin. 10 (2003); http://www.combinatorics.org/volume-10/Abstracts/v1oi1r28.html), the first author (Yuliya Gryshko) asked three questions. Is it true that every infinite group admitting a 2-coloring without infinite monochromatic symmetric subsets is either almost cyclic (i.e., have a finite index subgroup which is cyclic infinite) or countable locally finite? Does every infinite group G include a monochromatic symmetric subset of any cardinal <|G| for any finite coloring? Does every uncountable group G such that |B(G)|< |G| where B(G)={xG:x²=1}, admit a 2-coloring without monochromatic symmetric subsets of cardinality |G|? We answer the first question positively. Assuming the generalized continuum hypothesis (GCH), we give a positive answer to the second question in the abelian case. Finally, we build a counter-example for the third question and we give a necessary and sufficient condition for an infinite group G to admit 2-coloring without monochromatic symmetric subsets of cardinality |G|. This generalizes some results of Protasov on infinite abelian groups (Mat. Zametki 59 (1996) 468–471; Dopovidi NAN Ukrain 1 (1999) 54–57).     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

Some finiteness conditions on normalizers or centralizers in groups

We consider the following two finiteness conditions on normalizers and centralizers in a group G: (i) |N_G(H) : H| < ∞ for every H ? G, and (ii) |C_G(x):?x?|<∞ for every ?x??G. We show that (i) and (ii) are equivalent in the classes of locally finite groups and locally nilpotent groups. In both cases, the groups satisfying these conditions are a special kind of cyclic extensions of Dedekind groups. We also study a variation of (i) and (ii), where the requirement of finiteness is replaced with a bound. In this setting, we extend our analysis to the classes of periodic locally graded groups and non-periodic groups. While the two conditions are still equivalent in the former case, in the latter the condition about normalizers is stronger than that about centralizers.     

On Groups with Finite Involution and Locally Finite 2-Isolated Subgroup of Even Period

A proper subgroup H of a group G is said to be strongly isolated if it contains the centralizer of any nonidentity element of H and 2-isolated if the conditions >C _G(g) H 1 and 2(C_G(g)) imply that C_G(g)H. An involution i in a group G is said to be finite if |ii ^g| < (for any g G). In the paper we study a group G with finite involution i and with a 2-isolated locally finite subgroup H containing an involution. It is proved that at least one of the following assertions holds:1) all 2-elements of the group G belong to H;2) (G,H) is a Frobenius pair, H coincides with the centralizer of the only involution in H, and all involutions in G are conjugate;3) G=FFC_G(i) is a locally finite Frobenius group with Abelian kernel F;4) H=V D is a Frobenius group with locally cyclic noninvariant factor D and a strongly isolated kernel V, U=O₂(V) is a Sylow 2-subgroup of the group G, and G is a Z-group of permutations of the set =U ^g g G.