arXiv++ Combinatorics

In this article, we prove two conjectures of Burness and Fusari [Timothy Burness and Marco Fusari, On derangements in simple permutation groups, Forum Math. Sigma 13 (2025)] concerning the powers and products of conjugacy classes of derangements in the symmetric and alternating groups: (1) We show that there exist two conjugacy classes $C$ and $D$ of derangements in $S_n$ such that $S_n=C^2\cup CD$, and (2) We show that there exists a conjugacy class $C$ of derangements in $A_n$ such that $C^2=A_n$, whenever $n\equiv 3\;(\text{mod}\;4)$. In fact, our result concerning the second conjecture holds in a considerably more general setting, which also answers affirmatively a question posed by Bertram [Edward Bertram, Even permutations as a product of two conjugate cycles, J. Comb. Theory, Ser. A 12 (1972), 368-380] in a particular case. Moreover, we show that any conjugacy class $C$ of derangements in $S_n$ (resp. $A_n$) contains a pair of elements that generate $S_n$ or $A_n$ (resp. $A_n$), unless $C$ is the conjugacy class of fixed-point-free involutions.

Let $R$ be a commutative ring. In \cite{KK_2025(1)}, the authors introduced $R$-weighted graphs as a tool for studying commutators in groups and Lie algebras. These graphs are equivalent to a system of balance equations, and their consistent labelings correspond to solutions of this system of balance equations. In this article, we apply these ideas in the case when $R$ is a field $F$. We focus on $F$-weighted graphs with four vertices and establish necessary and sufficient conditions for the existence of consistent labelings on them. A notion of defects in weighted graphs is introduced for this purpose. We prove that defects in weighted graphs prevent Lie brackets from being surjective onto its derived Lie subalgebra. Similarly, these defects prevent certain elements in the commutator subgroup of a nilpotent group of class $2$ from being a commutator. As an application of our techniques, we prove that for a Lie algebra $L$ whose dimension over $F$ is at most countable and the dimension of its derived subalgebra $L'$ is at most $3$, the Lie bracket is surjective onto $L'$. We provide a counterexample when $\dim(L') = 4$. We also characterize commutators among $L$' for the Lie algebras $L$ with $\dim(L/Z(L))\leq 4$.

In this article, we introduce balance equations over commutative rings $R$ and associate $R$-weighted graphs to them so that solving balance equations corresponds to a consistent labeling of vertices of the associated graph. Our primary focus is the case when $R$ is a commutative local ring whose residue field contains at least three elements. In this case, we provide explicit solutions of balance equations. As an application, letting $R$ to be the ring of $p$-adic integers, we examine some necessary and sufficient conditions for a $p$-group of nilpotency class $2$ to have its set of commutators coincide with its commutator subgroup. We also apply our results to study the surjectivity of the Lie bracket in Lie algebras, without any restriction on their dimension and the underlined field.

Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev conjectured that $\lfloor \frac{2kl}{3} \rfloor \leq n(k,l)\leq \lfloor \frac{2kl}{3}\rfloor+1$. It is known that the conjecture holds when $k=2,3,4$. Moreover, it is also true when $3\mid l$. In this article, we determine the exact value of $n(k,l)$ when $3\nmid l$ and $k\geq 5$. As an immediate consequence, we get that $n(k,l)<\lfloor \frac{2kl}{3}\rfloor$ when $k\geq 5$, which shows that the above conjecture is not true in general. In fact, the difference between the exact value of $n(k,l)$ and the conjectured value grows linearly in terms of $k$. Our results also generalize the case of $k=2,3,4$.

Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev proved that if $k,l$ both are odd, $3\mid l$ and $l>3$, then $n(k,l)=\frac{2}{3}kl$. They further conjectured that if $k$ is even and $3\mid l$, then $n(k,l)=\frac{2}{3}kl+1$. In this article, we prove this conjecture. We also prove that $n(k,3)=2k+1$ if $k$ is odd.