Isomorphism of relative holomorphs and matrix similarity
Abstract
Let be a finite-dimensional vector space over the field with elements, where is a prime number. Given arbitrary , we consider the semidirect products and , and show that if and are isomorphic, then must be similar to a power of that generates the same subgroup as ; that is, if and are cyclic subgroups of such that , then and must be conjugate subgroups of . If we remove the cyclic condition, there exist examples of non-isomorphic, let alone non-conjugate, subgroups and of such that . Even if we require that non-cyclic subgroups and of be abelian, we may still have with and non-conjugate in , but in this case, and must at least be isomorphic. If we replace by a free module over of finite rank, with , it may happen that for non-conjugate cyclic subgroups of . If we completely abandon our requirements on , a sufficient criterion is given for a finite group to admit non-conjugate cyclic subgroups and of such that . This criterion is satisfied by many groups.
Cite
@article{arxiv.2405.10147,
title = {Isomorphism of relative holomorphs and matrix similarity},
author = {Volker Gebhardt and Alberto J. Hernandez Alvarado and Fernando Szechtman},
journal= {arXiv preprint arXiv:2405.10147},
year = {2025}
}