Searcharxiv⌕ Search

arXiv subjects

Raimundo Bastos

Publications and source records attributed to Raimundo Bastos.

27 records · Page 2Linked to original sources
arXiv2016

Finiteness conditions for the non-abelian tensor product of groups

Let $G$, $H$ be groups. We denote by $η(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. We prove that if $G$ and $H$ are groups that act compatibly on each other and such that the set of all tensors $T_{\otimes}(G,H)=\{g\otimes h \, : \, g \in G, \, h\in H\}$ is finite, then the non-abelian tensor product $G \otimes H$ is finite. In the opposite direction we examine certain finiteness conditions of $G$ in terms of similar conditions for the tensor square $G \otimes G$.

math.GR↗
arXiv2016

A note on finiteness conditions for the non-abelian tensor square of groups

Let $G$ be a group. We denote by $ν(G)$ a certain extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is a finitely generated group in which the set of all simple tensors $T_{\otimes}(G)$ is finite, then the non-abelian tensor square $G \otimes G$ and the group $ν(G)$ are finite. Moreover, we show that if $G$ is a locally residually finite group in which the set of simple tensors $T_{\otimes}(H)$ is finite for every proper finitely generated subgroup $H$ of $G$, then the group $ν(G)$ is locally finite.

math.GR↗
arXiv2016

The non-abelian tensor square of residually finite groups

Let $m,n$ be positive integers and $p$ a prime. We denote by $ν(G)$ an extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is a residually finite group satisfying some non-trivial identity $f \equiv~1$ and for every $x,y \in G$ there exists a $p$-power $q=q(x,y)$ such that $[x,y^φ]^q = 1$, then the derived subgroup $ν(G)'$ is locally finite (Theorem A). Moreover, we show that if $G$ is a residually finite group in which for every $x,y \in G$ there exists a $p$-power $q=q(x,y)$ dividing $p^m$ such that $[x,y^φ]^q$ is left $n$-Engel, then the non-abelian tensor square $G \otimes G$ is locally virtually nilpotent (Theorem B).

math.GR↗
arXiv2015

Non-abelian tensor square of finite-by-nilpotent groups

Let $G$ be a group. We denote by $ν(G)$ an extension of the non-abelian tensor square $G \otimes G$ by $G \times G$. We prove that if $G$ is finite-by-nilpotent, then the non-abelian tensor square $G \otimes G$ is finite-by-nilpotent. Moreover, $ν(G)$ is nilpotent-by-finite (Theorem A). Also we characterize BFC-groups in terms of $ν(G)$ (Theorem B).

math.GR↗
arXiv2015

On finite groups with few automorphism orbits

Denote by $ω(G)$ the number of orbits of the action of $Aut(G)$ on the finite group $G$. We prove that if $G$ is a finite nonsolvable group in which $ω(G) \leqslant 5$, then $G$ is isomorphic to one of the groups $A_5,A_6,PSL(2,7)$ or $PSL(2,8)$. We also consider the case when $ω(G) = 6$ and show that if $G$ is a nonsolvable finite group with $ω(G) = 6$, then either $G \simeq PSL(3,4)$ or there exists a characteristic elementary abelian $2$-subgroup $N$ of $G$ such that $G/N \simeq A_5$.

math.GR↗
arXiv2015

On residually finite groups with Engel-like conditions

Let $m,n$ be positive integers. Suppose that $G$ is a residually finite group in which for every element $x \in G$ there exists a positive integer $q=q(x) \leqslant m$ such that $x^q$ is $n$-Engel. We show that $G$ is locally virtually nilpotent. Further, let $w$ be a multilinear commutator and $G$ a residually finite group in which for every product of at most $896$ $w$-values $x$ there exists a positive integer $q=q(x)$ dividing $m$ such that $x^q$ is $n$-Engel. Then $w(G)$ is locally virtually nilpotent.

math.GR↗
arXiv2015

On profinite groups with Engel-like conditions

Let $G$ be a profinite group in which for every element $x\in G$ there exists a natural number $q=q(x)$ such that $x^q$ is Engel. We show that $G$ is locally virtually nilpotent. Further, let $p$ be a prime and $G$ a finitely generated profinite group in which for every $γ_k$-value $x\in G$ there exists a natural $p$-power $q=q(x)$ such that $x^q$ is Engel. We show that $γ_k(G)$ is locally virtually nilpotent.

math.GR↗
arXiv2012

On groups admitting a word whose values are Engel

Let m, n be positive integers, v a multilinear commutator word and w = v^m. We prove that if G is a residually finite group in which all w-values are n-Engel, then the verbal subgroup w(G) is locally nilpotent. We also examine the question whether this is true in the case where G is locally graded rather than residually finite. We answer the question affirmatively in the case where m = 1. Moreover, we show that if u is a non-commutator word and G is a locally graded group in which all u-values are n-Engel, then the verbal subgroup u(G) is locally nilpotent.

math.GR↗