Let $𝔐$ be the class of groups satisfying the minimal condition on normal subgroups and let $\Omega$ be the class of groups of finite lower central depth, that is groups $G$ such that ${\gamma }_i\left(G\right)={\gamma }_{i+1}\left(G\right)$ for some positive integer $i$. The main result states that if $G$ is a finitely generated hyper-(Abelian-by-finite) group such that for every $x\in G$, there exists a normal subgroup $H_x$ of finite index in $G$ satisfying $\langle x,x^h\rangle \in 𝔐\Omega$ for every $h\in H_x$, then $G$ is finite-by-nilpotent. As a consequence of this result, we prove that a finitely generated hyper-(Abelian-by-finite)...

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves for x → ∞ asymptotically like $x{\left(logx\right)}^{1-1/\left|G\right|}{\left(loglogx\right)}^{{}_k\left(G\right)}$. We prove, among other results, that $₁\left(C_{n₁}\oplus C_{n₂}\right)=n₁+n₂$ for all integers n₁,n₂ with 1 < n₁|n₂.

Let K be an algebraic number field with non-trivial class group G and ${}_K$ be its ring of integers. For k ∈ ℕ and some real x ≥ 1, let $F_k\left(x\right)$ denote the number of non-zero principal ideals $a_K$ with norm bounded by x such that a has at most k distinct factorizations into irreducible elements. It is well known that $F_k\left(x\right)$ behaves, for x → ∞, asymptotically like $x{\left(logx\right)}^{1/\left|G\right|-1}{\left(loglogx\right)}^{{}_k\left(G\right)}$. In this article, it is proved that for every prime p, $₁\left(C_p\oplus C_p\right)=2p$, and it is also proved that $₁\left(C_{mp}\oplus C_{mp}\right)=2mp$ if $₁\left(C_m\oplus C_m\right)=2m$ and m is large enough. In particular, it is shown that for...

Let G be a group which acts by homeomorphisms on a metric space X. We say the action of G is locally moving on X if for every open U ⊆ X there is a g ∈ G such that g↾X ≠ Id while g↾(X∖U) = Id. We prove the following theorem: Theorem A. Let X,Y be completely metrizable spaces and let G be a group which acts on X and Y with locally moving actions. If the orbits of the action of G on X are of the second category in X and the orbits of the action of G on Y are of the second category...

Answering a 1982 question of Sidney A. Morris, we construct a topological group G and a subspace X such that (i) G is algebraically free over X, (ii) G is relatively free over X, that is, every continuous mapping from X to G extends to a unique continuous endomorphism of G, and (iii) G is not a varietal free topological group on X in any variety of topological groups.