2025-06-19 | | Total: 5
We prove that every finite direct product of crystallographic groups arising from an irreducible root system (in the sense of Lie theory) is profinitely rigid (equiv. first-order rigid). This is a generalization of recent proofs of profinite rigidity of affine Coxeter groups [1, 7, 22]. Our proof uses model theory.
We introduce and study conjugate reversibility (or $c$-reversibility) in the complex special linear group $\SL(n,\C)$ where an element is conjugate to the inverse of its complex conjugate. We prove that in $\SL(n, \C)$, every $c$-reversible element is strongly $c$-reversible. We provide a complete classification of $c$-reversible elements based on their conjugacy invariants. This leads to an algebraic characterization of projective transformations. As a special case, a finer classification in $\SL(4, \C)$ is obtained in terms of trace conditions and resultant computations.
Let $G$ be a finite group and $N(G)$ be the set of conjugacy class sizes of $G$. For a prime $p$, let $|G||_p$ be the highest $p$-power dividing some element of $N(G)$. and define $|G|| = {\Pi}_{p\in {\pi}(G)}|G||_p$. $G$ is said to be an $A$-group if all its Sylow subgroups are abelian. We prove that if $G$ is an $A$-group such that $N(G)$ contains $|G||_p$ for every $p\in {\pi}(G)$ as well as $|G||$, then $G$ must be abelian. This result gives a positive answer to a question posed by Camina and Camina in 2006.
In a recent work [Das et al., Bull. Sci. Math. 199 (2025), 103580], the structure of characterized subgroups corresponding to arithmetic-type sequences was investigated. Building upon this work, we further show that a characterized subgroup associated with an arithmetic-type sequence is countable if and only if it is torsion. Further we prove that any infinite torsion subgroup of the circle can be characterized by an arithmetic-type sequence with bounded ratio. Moreover, our findings demonstrate that the dichotomy observed in Eggleston's theorem [Theorem 16, Eggleston, Proc. Lond. Math. Soc. 54(2) (1952), 42--93] for arithmetic sequences does not extend, in general, to the broader class of arithmetic-type sequences.