Rational tilings by $n$-dimensional crosses
HTML articles powered by AMS MathViewer
- by Sándor Szabó PDF
- Proc. Amer. Math. Soc. 87 (1983), 213-222 Request permission
Abstract:
Consider the set of closed unit cubes whose edges are parallel to the coordinate unit vectors ${{\mathbf {e}}_1}, \ldots ,{{\mathbf {e}}_n}$ and whose centers are $i{{\mathbf {e}}_j}$, $0 \leqslant |i| \leqslant k$, in $n$-dimensional Euclidean space. The union of these cubes is called a cross. This cross consists of $2kn + 1$ cubes; a central cube together with $2n$ arms of length $k$. A family of translates of a cross whose union is $n$-dimensional Euclidean space and whose interiors are disjoint is a tiling. Denote the set of translation vectors by ${\mathbf {L}}$. If the vector set ${\mathbf {L}}$ is a vector lattice, then we say that the tiling is a lattice tiling. If every vector of ${\mathbf {L}}$ has rational coordinates, then we say that the tiling is a rational tiling, and, similarly, if every vector of ${\mathbf {L}}$ has integer coordinates, then we say that the tiling is an integer tiling. Is there a noninteger tiling by crosses? In this paper we shall prove that if there is an integer lattice tiling by crosses, if $2kn + 1$ is not a prime, and if $p > k$ for every prime divisor $p$ of $2kn + 1$, then there is a rational noninteger lattice tiling by crosses and there is an integer nonlattice tiling by crosses. We will illustrate this in the case of a cross with arms of length 2 in $55$-dimensional Euclidean space. Throughout, the techniques are algebraic.References
- Hugh Everett and Dean Hickerson, Packing and covering by translates of certain nonconvex bodies, Proc. Amer. Math. Soc. 75 (1979), no. 1, 87–91. MR 529220, DOI 10.1090/S0002-9939-1979-0529220-1
- Georg Hajós, Über einfache und mehrfache Bedeckung des $n$-dimensionalen Raumes mit einem Würfelgitter, Math. Z. 47 (1941), 427–467 (German). MR 6425, DOI 10.1007/BF01180974
- G. Hajós, Sur la factorisation des groupes abéliens, Časopis Pěst. Mat. Fys. 74 (1949), 157–162 (1950) (French, with Czech summary). MR 0045727
- William Hamaker, Factoring groups and tiling space, Aequationes Math. 9 (1973), 145–149. MR 327551, DOI 10.1007/BF01832620
- W. Hamaker and S. Stein, Splitting groups by integers, Proc. Amer. Math. Soc. 46 (1974), 322–324. MR 349874, DOI 10.1090/S0002-9939-1974-0349874-8
- Emil Molnár, Sui mosaici dello spazio di dimensione $n$, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 51 (1971), 177–185 (Italian, with German summary). MR 308910
- S. K. Stein, Factoring by subsets, Pacific J. Math. 22 (1967), 523–541. MR 219435, DOI 10.2140/pjm.1967.22.523
- Sherman K. Stein, A symmetric star body that tiles but not as a lattice, Proc. Amer. Math. Soc. 36 (1972), 543–548. MR 319058, DOI 10.1090/S0002-9939-1972-0319058-6
- S. K. Stein, Tiling space by congruent polyhedra, Bull. Amer. Math. Soc. 80 (1974), 819–820. MR 358528, DOI 10.1090/S0002-9904-1974-13524-X
- S. K. Stein, Algebraic tiling, Amer. Math. Monthly 81 (1974), 445–462. MR 340063, DOI 10.2307/2318582
- Sándor Szabó, A mode of decomposition for finite abelian groups, Karl Marx University of Economics, Department of Mathematics, Budapest, 1979. DM 79, 4. MR 651188
- S. Szabó, On decomposing finite abelian groups, Acta Math. Acad. Sci. Hungar. 36 (1980), no. 1-2, 105–114. MR 605176, DOI 10.1007/BF01897097 —, Véges abel-csoportok és $n$-dimenziós mozaikok, Mat. Lapok 28 (1977-1980), 305-318. —, [ill] [ill] [ill] [ill] [ill] [ill] [ill] [ill] [ill] $n$-[ill] [ill] [ill], Ann. Univ. Sci. Budapest. Eötvös Sect. Math. 24 (1981), 29-43.
- S. Szabó, On mosaics consisting of multidimensional crosses, Acta Math. Acad. Sci. Hungar. 38 (1981), no. 1-4, 191–203. MR 634580, DOI 10.1007/BF01917533
Additional Information
- © Copyright 1983 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 87 (1983), 213-222
- MSC: Primary 05B45; Secondary 10E30, 20K01, 52A45
- DOI: https://doi.org/10.1090/S0002-9939-1983-0681824-2
- MathSciNet review: 681824