LetG be an additively written abelian group and leth: G → G be a given function. M. Hall Jr. (1952) and L. Fuchs (1958) already answered the following question. For what functionsh: G → G does the functional equationσ(x) + τ(x) = h(x) (x ∈ G) have as its solution a pair of permutationsσ andτ ofG? In this paper, we give explicit constructions of such a pairσ, τ in a number of cases, in particular whenh(x) ≡ x andG is finite. We further determine the finite groupsG where the latterσ, τ can be chosen to be automorphisms.
In the case whereG is an infinite topological group, we study in how farσ andτ can be chosen as Borel measurable permutations, given thath: G → G itself is Borel measurable.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Bateman, P.,Complete mappings of infinite groups. Amer. Math. Monthly57 (1950), 621–622.
Brualdi, R. A. andNewman, M.,An enumeration problem for a congruence equation. J. Res. Nat. Bur. Standards74B (1970), 37–40.
Chang, G. J.,Complete diagonals of latin squares. Canad. Math. Bull.22 (1979), 477–481.
Cohn, D. L.,Measure theory. Birkhäuser, Boston, 1980.
Fuchs, L.,Ein kombinatorisches Problem bezüglich abelscher Gruppen. Math. Nachr.18 (1958), 292–297.
Gallian, J. A.,The mathematics of identification numbers. College Math. J.22 (1991), 194–202.
Gordon, B.,Sequences in groups with distinct partial products. Pacific J. Math.11 (1961), 1309–1313.
Guy, R. K.,Parker's permutation problem involves the Catalin numbers. Amer. Math. Monthly100 (1993), 287–289; 948–949.
Hall, M. Jr.,A combinatorial problem on abelian groups. Proc. Amer. Math. Soc.3 (1952), 584–587.
Hall, M. andPaige, L. J.,Complete mappings of finite groups. Pacific J. Math.5 (1955), 541–549.
Isbell, J.,The Gordon game of a finite group. Amer. Math. Monthly99 (1992), 567–569.
Maharam, D. andStone, A. H.,One-to-one functions and a problem of subfields.In: Measure Theory Oberwolfach 1979 Proceedings, D. Kölzow ed. [Lecture Notes in Mathematics, vol. 794], Springer-Verlag, New York, 1980, pp. 49–52.
Maharam, D. andStone, A. H.,Expressing measurable functions by one-one ones. Advances Math.46 (1982), 151–161.
Marcia, J. andSchönheim, J.,Incomplete diagonals of latin squares. Canad. Math. Bull.12 (1969), 235.
Oxtoby, J. C.,Measure and category, A survey of the analogies between topological and measure spaces. Springer Verlag, New York—Berlin, 1971.
Paige, L. J.,A note on finite abelian groups. Bull. Amer. Math. Soc.,53 (1947), 590–593.
Paige, L. J.,Complete mappings of finite groups. Pacific J. Math.1 (1951), 111–116.
Salzborn F. andSzekeres, G.,A problem in combinatorial group theory. Ars Combin.7 (1979), 3–5.
Szabó, S.,On finite abelian groups and parallel edges on polygons. Math. Magazine66 (1993), 36–39.
About this article
Cite this article
Kemperman, J.H.B., Ott, T.J. Complementary permutations for abelian groups. Aeq. Math. 48, 262–282 (1994). https://doi.org/10.1007/BF01832989
AMS (1980) subject classification
- Primary 39B50
- Secondary 20Kxx, 68R05