arXiv subjects

I. Lima

Publications and source records attributed to I. Lima.

3 recordsLinked to original sources

arXiv2026

On the Order of Products of Coprime Elements in Finite Groups

In this work, we introduce the subgroups $D_m(G)$ and $D_{m,n}(G)$, defined in terms of the orders of products of coprime elements in a finite group $G$. We show that both subgroups are characteristic, that $D_{m,n}(G)$ is always nilpotent, and that their nilpotent structure provides a characterization of Frobenius group decompositions. Furthermore, we define the $E$-series, which extends this framework to the study of an important class of solvable groups of Fitting height at most $4$. We prove that a finite group $G$ has an $E$-series of length at most $4$ if and only if there exists a characteristic subgroup $F \leq G$ such that $G/F$ is nilpotent and $F$ is either nilpotent, a Frobenius group, or a $2$-Frobenius group.

math.GR↗

arXiv2022

On the structure of $LC$-nilpotent groups

For a finite group $G$, let $LC(G)$ be the subgroup generated by elements $x$ such that, for all $y \in G$ and all integers $n$, the order of $x^n y$ divides the least common multiple of the orders of $x$ and $y$. This subgroup is a nilpotent characteristic subgroup of $G$. In this article, among other results, we show that a finite solvable group $G$ admits an $LC$-nilpotent series if and only if $G$ does not contain any $2$-Frobenius subgroup of type $(p, q, p)$. As a consequence of this theorem, we conclude that the algebraic system comprising all $LC$-nilpotent groups forms a variety.

math.GR↗

arXiv2020

The order of the product of two elements in the periodic groups

Let $G$ be a periodic group, and let $LCM(G)$ be the set of all $x\in G$ such that $o(x^nz)$ divides the least common multiple of $o(x^n)$ and $o(z)$ for all $z$ in $G$ and all integers $n$. In this paper, we prove that the subgroup generated by $LCM(G)$ is a locally nilpotent characteristic subgroup of $G$ whenever $G$ is a locally finite group. For $x,y\in G$ the vertex $x$ is connected to vertex $y$ whenever $o(xy)$ divides the least common multiple of $o(x)$ and $o(y)$. Let $Deg(G)$ be the sum of all $deg(g)$ where $g$ runs over $G$. We prove that for any finite group $G$ with $h(G)$ conjugacy classes, $Deg(G)=|G|(h(G)+1)$ if and only if $G$ is an abelian group.

math.GR↗