相关论文: It is consistent with ZFC that B_1-groups are not …

If $G$ is a nilpotent group with a balanced presentation and $G\not\cong\mathbb{Z}^3$ then $\beta_1(G;\mathbb{Q})\leq2$ \cite{Hi22}. We show that if such a group $G$ has an abelian normal subgroup $A$ such that $G/A\cong\mathbb{Z}^2$ then…

We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$. We further…

We prove that if mu^+< lambda =cf(lambda)< mu^{aleph_0}, then there is no universal reduced torsion free abelian group. Similarly if aleph_0< lambda < 2^{aleph_0}. We also prove that if 2^{aleph_0}< mu^+< lambda =cf(lambda)< mu^{aleph_0},…

An uncountable $\aleph_1$-free group cannot admit a Polish group topology but an uncountable $\aleph_1$-free abelian group can, as witnessed, for example, by the Baer-Specker group $\mathbb{Z}^\omega$; more strongly, $\mathbb{Z}^\omega$ is…

Suppose that G is a nontrivial torsion-free group and w is a word over the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\}. It is proved that for n\ge2 the group \~G=<G,x_1,x_2,...,x_n | w=1> always contains a nonabelian free subgroup. For n=1…

We show that if a torsion free nilpotent group $G$ has a balanced presentations and Hirsch length $h(G)>3$ then $\beta_1(G;\mathbb{Q})=2$. There is just one such group which is torsion-free and of Hirsch length $h=4$, and none with $h=5$.…

Every torsion--free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups.

It is proved that centrally essential rings, whose additive groups of finite rank are torsion-free groups of finite rank, are quasi-invariant but not necessarily invariant. Torsion-free Abelian groups of finite rank with centrally essential…

We obtain a forcing construction that shows that it is consistent that the torsion-free Abelian group $\mathbb{Q}^{(\lambda)}$ admits a Hausdorff group topology which is also $\mathcal{U}$-compact and contains no non-trivial convergent…

If for all $a, b$ in a group $G$, we have that $a^2b^2 = b^2a^2$ and $a^3b^3 = b^3a^3$ then does the group necessarily have to be abelian? This paper shows that the answer is affirmative for finite groups as well as certain classes of…

We introduce a model of random f.g., torsion-free, $2$-step nilpotent groups (in short, $\tau_2$-groups). To do so, we show that these are precisely the groups that admit a presentation of the form $ \label{tau2pres_0}\langle A, C \mid…

Let $X$ be a smooth quasi-projective variety. Assume that the (topological) fundamental group $\pi_1(X, x)$ is torsion-free nilpotent. We show that if the first Betti number $b_1(X) \le 3$, then $\pi_1(X, x)$ is isomorphic to either…

Let G be an abelian group and let lambda be the smallest rank of any group whose direct sum with a free group is isomorphic to G. If lambda is uncountable, then G has lambda pairwise disjoint, non-free subgroups. There is an example where…

Tkachenko and Yaschenko [34] characterized the abelian groups G such that all proper unconditionally closed subsets of G are finite, these are precisely the abelian groups G having cofinite Zariski topology (they proved that such a G is…

A generalized Baumslag-Solitar group (GBS group) is a finitely generated group $G$ which acts on a tree with all edge and vertex stabilizers infinite cyclic. We show that Out(G) either contains non-abelian free groups or is virtually…

A matching in a group G is a bijection f from a subset A to a subset B in G such that af(a) does not belong to A for all a in A. The group G is said to have the matching property if, for any finite subsets A,B in G of same cardinality with…

In this paper we consider the problem of classification of the nilpotent class 2 finitely generated torsion free groups up to the geometric equivalence. By a very easy technique it is proved that this problem is equivalent to the problem of…

In this note we introduce the notion of a transcendental group, that is, a subgroup $G$ of the topological group $\mathbb{C}$ of all complex numbers such that every element of $G$ except $ 0$ is a transcendental number. All such topological…

A B-group is a group such that all its minimal generating sets (with respect to inclusion) have the same size. We prove that the class of finite B-groups is closed under taking quotients and that every finite B-group is solvable. Via a…

Suppose $X$ is a torsor under an abelian variety $A$ over a number field. We show that any adelic point of $X$ that is orthogonal to the algebraic Brauer group of $X$ is orthogonal to the whole Brauer group of $X$. We also show that if…