Non-abelian tensor product of residually finite groups

Let $G$ and $H$ be groups that act compatibly on each other. We denote by $\eta(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. Suppose that $G$ is residually finite and the subgroup $[G,H] = \langle g^{-1}g^h \ \mid g \in G, h\in H\rangle$ satisfies some non-trivial identity $f \equiv~1$. We prove that if $p$ is a prime and every tensor has $p$-power order, then the non-abelian tensor product $G \otimes H$ is locally finite. Further, we show that if $n$ is a positive integer and every tensor is left $n$-Engel in $\eta(G,H)$, then the non-abelian tensor product $G \otimes H$ is locally nilpotent. The content of this paper extend some results concerning the non-abelian tensor square $G \otimes G$.Comment: Dedicated to Professor Antonio Paques on the occasion of his 70th anniversary, S\~ao Paulo J. Math. Sci. (2017

Melnikov analysis in nonsmooth differential systems with nonlinear switching manifold

We study the family of piecewise linear differential systems in the plane with two pieces separated by a cubic curve. Our main result is that 7 is a lower bound for the Hilbert number of this family. In order to get our main result, we develop the Melnikov functions for a class of nonsmooth differential systems, which generalizes, up to order 2, some previous results in the literature. Whereas the first order Melnikov function for the nonsmooth case remains the same as for the smooth one (i.e. the first order averaged function) the second order Melnikov function for the nonsmooth case is different from the smooth one (i.e. the second order averaged function). We show that, in this case, a new term depending on the jump of discontinuity and on the geometry of the switching manifold is added to the second order averaged function