Related papers: Bockstein theorem for nilpotent groups

The following question is proposed in [4, Question 1.20]: Let $G$ be a compact group, and suppose that $$\mathcal{N}_k(G) = \{(x1,\dots,x_{k+1}) \in G^{k+1} \;\|; [x_1,\dots, x_{k+1}] = 1\}$$ has positive Haar measure in $G^{k+1}$. Does $G$…

The concept of the strong Pytkeev property, recently introduced by Tsaban and Zdomskyy in [32], was successfully applied to the study of the space $C_c(X)$ of all continuous real-valued functions with the compact-open topology on some…

A finite group $G$ is said to be a $\mathcal{B}_{\psi}$-group if $\psi(H)<|G|$ for any proper subgroup $H$ of $G$, where $\psi(H)$ denotes the sum of element orders of $H$. In this paper, we characterize the $\mathcal{B}_{\psi}$-groups up…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be a partition of the set of all primes $\Bbb{P}$ and $G$ a finite group. Let $\sigma (G)=\{\sigma _{i} : \sigma _{i}\cap \pi (G)\ne \emptyset$. A set ${\cal H}$ of subgroups of $G$ is said to be a…

Suppose that G is a locally compact abelian group, and write M(G) for the algebra of bounded, regular, complex-valued measures under convolution. A measure \mu in M(G) is said to be idempotent if \mu * \mu = \mu, or alternatively if the…

It is well known that if $G$ is a group and $H$ is a normal subgroup of $G$ of finite index $k$, then $x^k \in H$ for every $x \in G$. We examine finite groups $G$ with the property that $x^k \in H$ for every subgroup $H$ of $G$, where $k$…

Quotient space is a class of the most important topological spaces in the research of topology. In this paper, we show that if G is a strongly topological gyrogroup with a symmetric neighborhood base U at 0 and H is an admissible…

A space $X$ is called {\it selectively pseudocompact} if for each sequence $(U_{n})_{n\in \mathbb{N}}$ of pairwise disjoint nonempty open subsets of $X$ there is a sequence $(x_{n})_{n\in \mathbb{N}}$ of points in $X$ such that $cl_X(\{x_n…

We prove that the existence of a positively defined, invariant Einstein metric $m$ on a connected homogeneous space $G/H$ of a compact Lie group $G$ is the consequence of non-contractibility of some compact set $C=X_{G,H}^{\Sigma}$ (B\"ohm…

Let $\sigma =\{\sigma_{i} | i\in I\}$ be a partition of the set $\Bbb{P}$ of all primes and $G$ a finite group. A chief factor $H/K$ of $G$ is said to be $\sigma$-central if the semidirect product $(H/K)\rtimes (G/C_{G}(H/K))$ is a…

A compact space X is I-favorable if, and only if X can be representing as a limit of $\sigma$-complete inverse system of compact metrizable spaces with skeletal bonding maps.

We show that cellular approximations of nilpotent Postnikov stages are always nilpotent Postnikov stages, in particular classifying spaces of nilpotent groups are turned into classifying spaces of nilpotent groups. We use a modified…

For two not necessarily commutative topological groups G and T, let H(G,T) denote the space of all continuous homomorphisms from G to T with the compact-open topology. We prove that if G is metrizable and T is compact then H(G,T) is a…

Let $G$ be a semisimple algebraic group with Lie algebra $\mathfrak g$. For a nilpotent $G$-orbit $\mathcal O\subset\mathfrak g$, let $d_\mathcal O$ denote the maximal dimension of a subspace $V\subset \mathfrak g$ that is contained in the…

We prove that every reflexive abelian group $G$ such that its dual group $G^\wedge$ has the $qc$-Glicksberg property is a Mackey group. We show that a reflexive abelian group of finite exponent is a Mackey group. We prove that, for a…

We show that if $X$ is a complete metric space with uniform relative normal structure and $G$ is a subgroup of the isometry group of $X$ with bounded orbits, then there is a point in $X$ fixed by every isometry in $G$. As a corollary, we…

Let G be a simple algebraic group over the complex numbers. Let N be the cone of nilpotent elements in the Lie algebra of G. Let K_{G x C^*}(N) denote the Grothendieck group of the category of G x C^*-equivariant coherent sheaves on N. In…

Suppose that $\mathcal{C}$ is a class of groups consisting only of periodic groups and $\mathfrak{P}(\mathcal{C})^{\prime}$ is the set of prime numbers each of which does not divide the order of any element of a $\mathcal{C}$-group. A…

This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if…

A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is…