ELEMENTARY p-GROUPS WITH THE RÉDEI PROPERTY
Patric R. J. Östergård, Sándor Szabó · International Journal of Algebra and Computation · 2007
It is known that an elementary 3-group of rank k has the Rédei property for k ≤ 4 and does not have the Rédei property for k ≥ 6. The last open case, rank 5, is settled here by using a computer-aided approach to show that such a group has the Rédei property.