Welcome to MathOverflow

Question

1

I want to know when an abelian group of even order is admissible (or has a complete map)? And when a nonabelian group of even order is admissible (or has a complete map)?

Thanks.

edited Sep 19 2010 at 9:06

Charles Matthews
9,740●12●39

asked Sep 19 2010 at 8:01

Morteza
31●1

4

To clarify: a complete map $\phi$ is a permutation of $G$ such that the map $g \mapsto g\phi(g)$ is also a permutation. – Colin Reid Sep 19 2010 at 8:22

Victor Protsak · Answer 1 · 2010-09-19 09:27:06Z UTC

There is a conjecture of Hall and Paige on this subject, in the paper

Hall, Marshall; Paige, L. J. Complete mappings of finite groups, Pacific J. Math. 5 (1955), 541–549

Let $G$ be a finite group of even order. Then $G$ admits a complete map if and only if its $2$-Sylow subgroups are non-cyclic.

By the looks of it, the conjecture hasn't quite been resolved yet, but a lot of progress has been made. See, for instance:

Stewart Wilcox, Reduction of the Hall–Paige conjecture to sporadic simple groups, J.Algebra, 321:5, 1407–1428

This paper and references ought to give a good idea of what is known.

Hall and Paige proved their conjecture in the soluble case, so the answer to your question in the abelian case is that a finite abelian group admits a complete map exactly if its $2$-Sylow subgroup is either trivial or non-cyclic.

(Aside: the identity is a complete map for any finite group of odd order, hence the focus on groups of even order in the question.)

(Aside 2: this answer brought to you by the power of Google; I don't actually know much about the subject myself.)

Admissible finite groups

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.