Algebra and Tiling - Homomorphisms
Algebra and Tiling - Homomorphisms
Algebra and Tiling - Homomorphisms
Number Twenty-five
S h e r m a n K. S t e i n
University of California, Davis
and
S ä n d o r Szabo
University of Bahrain
Published by
THE MATHEMATICAL ASSOCIATION OF AMERICA
Committee on Publications
James W. Daniel, Chair
vii
vüi ALGEBRA AND TILING
Tarski paradox, which asserts that a pea can b e divided into a finite
n u m b e r of pieces that can b e reassembled to form the sun. A clear
exposition of the argument was given by Meschkowski [16].
We had two types of readers in mind as we wrote, the under-
graduate or graduate student who has had at least a semester of
algebra, and the experienced mathematician. To m a k e the exposi-
tion accessible to the beginner we have a d d e d a few appendices that
cover some special topics not usually found in a typical introduc-
tory algebra course and also included exercises to serve as a study
guide. For both the beginner and the expert we include questions
that have not yet been answered, which we call "Problems," to dis-
tinguish t h e m from the exercises.
Now a word about the organization of this b o o k and the order
in which the chapters may b e read.
Chapter 1 describes the history leading u p to Minkowski's con-
jecture on tiling by cubes. We give t h e solution of that problem in
the form of Redei's broad generalization of Hajos's original solu-
tion. Its proof, which is much longer than the proofs in the other
chapters, is delayed until Chapter 7. (However, the proof uses only
such basic notions as finite abelian groups, factor groups, h o m o -
morphisms from abelian groups into the complex n u m b e r s , finite
fields, and polynomials over those fields.)
Preface ix
Preface vii
Chapter 1
Minkowski's Conjecture 1
Chapter 2
Cubical Clusters 35
Chapter 3
Tiling by the Semicross and Cross 57
Chapter 4
Packing and Covering by the Semicross and Cross 85
Chapter 5
Tiling by Triangles of Equal Areas 107
Chapter 6
Tiling by Similar Triangles 135
Chapter 7
Rddei's Theorem 155
Epilog 187
Appendix A
Lattices 189
Appendix Β
The Character Group and Exact Sequences 193
xi
xii ALGEBRA AND TILING
Appendix C
Formal Sums 197
Appendix D
Cyclotomic Polynomials 199
Bibliography for Preface 201
Supplement to the Bibliography 203
Name Index 205
Subject Index 207
Symbol Index 209
Chapter 1
Minkowski's Conjecture
1. Introduction
T h e G r e e k s discovered all integer solutions of the equation
x + y = z : pick three integers d, τη, and n , and let o n e of χ
2 2 2
Inspired by this, Diophantos, who lived some time between A.D. 150
and A.D. 350, described techniques for producing rational solutions
of such equations as x + y = z , x + y — z , and x + y =
2 2 3 3 3 2 4 4
1
2 ALGEBRA AND TILING
of two cube numbers there does not result a cube, are de-
fective and inexact.
positive whenever χ and y are not both 0, the form is called positive
definite. Lagrange investigated the minimum nonzero value of such
a form when χ and y are integers. A n estimate of this minimum
would help in his classification of quadratic forms and, as we will
show in the next section, it turns out that this minimum is related to
the geometry of certain regularly spaced points in the plane, called
"lattices."
Minkowski's Conjecture 3
we want of a lattice is that its points are not arbitrarily close to each
other. This brings us to the formal definition of a lattice.
A set of points L in R is a lattice if it is a group u n d e r vector
n
addition and each of its points is the center of a ball that contains
n o other points of L.
FIGURE 1 FIGURE 2
4 ALGEBRA AND TILING
miVi + m U2 Η
2 Η "ifcffc,
FIGURE 5
Minkowski's Conjecture 5
T h e determinant of Z n
is 1.
Exercise 1.
(a) D r a w three different bases for t h e lattice Z and their associ-
2
ated parallelograms.
(b) Check that in each case the determinant of t h e matrix whose
rows are the basis is 1 or - 1 .
FIGURE 6
Minkowski's Conjecture 7
(xvi + yv )- 2 (χνχ + yv ),
2
which expands to
Since
v\ • vi = a, v • v = c,
2 2
and
vi · v = I 1 1 cosö =
2 \/äy/c{b/\/a~c),
Exercise 3 .
(a) Show that if ax + 2bxy + cy is positive definite, then α > 0,
2 2
«-"GOß-
M o r e generally, a quadratic form in η variables,
η η
»=1 j = l
can be written as
( an ai2 · (xi\
ai2
a22 . • ß2n
Xn)
Exercise 4.
(a) Fill in the details of the previous argument.
(b) Prove that if Β is a nonsingular η by η matrix, then the qua-
dratic form xBB x T
is positive definite.
T
(xB)(xB) ,
T
which is simply the square of the length of the vec-
tor xB. If we restrict the coordinates of the vector χ to b e integers,
t h e n the set of vectors of the form xB forms a lattice. To b e specific,
l e t ß = (6y).Then
612 bln\
621 622 t>2n
xB = (xj, x , . . . , x„)
2
\ί>η1 K2 Kn)
= ( X l & l l + X2&21 Η Η X b l,
n n
X2
FIGURE 7
10 ALGEBRA AND TILING
3. Minkowski's theorem
Minkowski, introducing a new approach, improved on H e r m i t e ' s
bound. As h e wrote his friend Hilbert, in 1889, [14, p.38]
bound...
Please give my best greetings to Hurwitz as well as
my best regards to our other colleagues, and I would ask
you, yourself, to r e m e m b e r — a n d now and then to write
to....
Your faithful
H. Minkowski
Exercise 13. Derive Minkowski's bound for the general case from
the special case when D = 1.
FIGURE 8
χ ι Φ x , such that
2
Xi + fci = X2 4- k .2
Hence
Xi — x 2 = k 2 — k\.
xi - x = k + k
2 2 3 = 2^ f c a
2 fc3
) •
Exercise 15. Show that the theorem is not true if either of the as-
sumptions "centrally symmetric" or "convex" is removed.
If we assume that the volume of C is 2 d, then T h e o r e m 1 no
n
and (1, - 1 ) , but without its border. However, if we add the assump-
tion that C is a "closed" set, then the conclusion of T h e o r e m 1 still
holds, as we will show.
A set C in R is closed if whenever a sequence of points in C
n
4. Minkowski's conjecture
Minkowski and others used T h e o r e m 2, the "lattice point t h e o r e m , "
to obtain several fundamental results in algebraic n u m b e r theory.
However to pursue this path would take us far from the r o u t e we
want to follow. It is Minkowski's use of his t h e o r e m in examining
the simultaneous approximation of several real numbers by rational
numbers that will lead us t o consider tilings of space by parallel
congruent cubes.
Rational numbers with a given denominator, x , can approxi-
2
Xl
a-
X2
< 2x2
I J L
2_
X2 I 2
X2
FIGURE 10
Theorem 4. Let tbea real number greater than 1 and a and b real
numbers. Then there are integers x\, x and x , with x positive,
2 3 3 such
that
Xl X2
α < b- and X3 < t,
2
X3 a? t'
3 X3 xt
3
hence
Xl
a and 6 - 2
~ 3/2' ~ 3/2'
Z3 X3
have an integer solution other than the trivial one, ( 0 , 0 , 0 ) . Now let
t > 1 b e a real n u m b e r a n d α a n d 6 be real numbers. As a special
18 ALGEBRA AND TILING
X3 X3^' X3 Χ ί 3
and consequently
xi £2
X3
- 3/2 >
X3 - S/2 -
• (2)
Exercise 20. State a n d prove the analog of (2) for three real num-
bers a, b, a n d c.
Minkowski showed that the inequalities in (1) could not always
be strict. H i s counterexample was
and v are disjoint. Now, Κ has volume 1. Thus the union of the
3
x3
κ
(ha)
(0,0)
FIGURE 11
FIGURE 12
( ± 1 , ± 1 ) , t h e inequalities
|xi + 0 x | < 1
2
(5)
|αχχ + x | < 1
2
x3
(0,1)
/. X\
FIGURE 13
\b xi
n + bi x \
2 2 < 1
\b iXi
2 + b x\
22 2 < 1
With the aid of a few sugar cubes or dice it is not hard to show
that if translates of a unit cube tile 3-space, then some pair share a
complete 2-dimensional face. In fact, by the time that you surround
a cube with other cubes, you will find that two share a complete face.
T h u s a lattice tiling of 3-space by parallel congruent cubes consists
of infinite tubes. These tubes, in turn, form slabs, a n d the slabs fill
u p 3-space.
22 ALGEBRA AND TILING
(1,0,0), ( ΐ ι , Ι , Ο ) , ( x , x , l ) ,
2 3
that
^ _ /Oil £i2\ ^ _ /Q21 Q 2 2 \
Voll' 612/ \&2l'&22/'
where ay, by are integers and by > 0. Let τ ί b e a positive c o m m o n
multiple of 6 n and 621 and similarly let r b e a positive c o m m o n
2
24 ALGEBRA AND TILING
X2
FIGURE 15
l[ = (l/ ,0),
ri Z = (0,l/r ).
2 2
Minkowski's Conjecture 25
a xa \
x l x
2 0<xi<ri-l, 0 < x 2 < r - 1
2 (6)
a\l
= e or a? = e. (7)
a* · · · < " ,
1
0 < χχ < η - 1 , . . . , 0 < x„ < r - 1,
n
Exercise 25.
(a) Verify that if r > 2 and s > 2, then the cyclic subset
A = {e,a, a ,...,
2
a™' } 1
B = {e,a,a ,...,a - }
2 r 1
and C = {e,a ,a ,...
r 2r
,α^ ^}
1
B' = {e,a,a , 2
...,α" } 1
and C' - {e, a ,a ,...s 2a
, a ^ s
}
subset is not a subgroup t h e n neither are the new ones; and if none
of the new ones is a subgroup then neither is the original. Thus
we may suppose that in Hajos's version all the cyclic subsets are
of prime orders. But now the n u m b e r of the factors need n o longer
correspond to the dimension of the original cube tiling. As we men-
tioned earlier, Hajos settled Minkowski's conjecture in 1941 using
this approach.
7. Related work
In 1930 Keller [6] suggested that the "lattice" condition in
Minkowski's problem is irrelevant, conjecturing that in a tiling of
η-space by parallel unit cubes there must be twins. Perron in 1940
[16] verified this conjecture for η < 6.
If this conjecture were true it would imply Hajos's theorem,
and show that Minkowski's t h e o r e m was really geometric, not alge-
braic. However, in 1992 Lagarias and Shor [9], using an approach
of Corrädi and Szabo [2], showed that Keller's conjecture is false in
all dimensions greater than or equal to 10. (Dimensions 7 , 8 , and 9
are not settled.)
Similarly, Redei wondered whether the sets of prime orders in
Hajos's theorem had to be cyclic. In 1965 he showed [17] that the
assumption could b e removed, proving the following theorem.
subgroup.
is a subgroup of G.
(b) Verify that the product ΑιΑ Α3Α Α Αβ 2 4 5 is a 4-factorization of
G.
A3 = {e,uvw, (uvw) },
2
A4 — {e,vw}, A5 = {e, uw}.
Exercise 32. Show that the vectors v\,v ,...,v 2 n generate an inte-
gral lattice if and only if υ* · Vi and 2vi • Vj are integers for all 1 < i,
3 < n.
For an integral lattice L of determinant 1, consider the mini-
m u m value of the square of the lengths of the nonzero vectors of L.
Minkowski's Conjecture 31
Conway and Sloane [1] proved that for all sufficiently large n,
Mn < (n + 6 ) / 1 0 and included this table of values:
Μη 1 2 1 1 1 2 1 2 3 4 2 3 4 3
Odlyzko and te Riele showed that Μ (χ) > 1.06y/x and M ( x ) <
- 1 . 0 0 9 γ / χ for an infinite n u m b e r of integers x, but confessed that,
" O u r proof is indirect and does not produce any single value of χ
for which | M ( x ) | > y/x. In fact, we suspect that t h e r e are n o coun-
terexamples to M e r t e n s ' conjecture for χ < 1 0 or even 1 0 , " and
2 0 3 0
gave reasons for this belief. For all large values of χ for which Μ (χ)
has been evaluated, specifically, u p to 7.8 χ 1 0 , | M ( x ) | < 0.6y/x,
9
References
1. J. H. Conway and N. J. A. Sloane, A new upper bound for the min-
imum of integral lattice of determinant 1, Bull. Amer. Math. Soc. 23
(1990), 383-387.
Minkowski's Conjecture 33
enten Würfeln I., IL, Math. Ann. 117 (1940), 415-447, (1941), 609-
658.
17. L. Redei, Die neue Theorie der endlichen abelschen Gruppen und
Verallgemeinerung des Hauptsatzes von Hajos, Acta Math. Acad. Sei.
Hung. 16 (1965), 329-373.
18. R. M. Robinson, Multiple tilings of η-dimensional space by unit cubes,
Math. Zeit. 166 (1979), 225-264.
34 ALGEBRA AND TILING
35
36 ALGEBRA AND TILING
(Ο,.,.,Ο), ( 1 , 0 , . . . , 0 ) , . . . , ( 0 , . . . , 0 , 1 ) ,
1. Reductions
T h e m e t h o d for altering a tiling to one with simpler translating vec-
tors rests on a certain equivalence relation defined on t h e set of
translation vectors. It turns out that the clusters that correspond
to an equivalence class form a cylinder. This cylinder consists of a
union of lines parallel to an axis, and can therefore b e slid back a n d
forth freely parallel to t h e axis without disturbing t h e o t h e r equiv-
alence classes.
Consider two η dimensional unit cubes in η-space correspond-
ing to t h e coordinate vectors ( α ι , . . . , α ) and ( 6 1 , . . . , 6 ) . If
η n
(a)
(b)
(c)
FIGURE 1
38 ALGEBRA AND TILING
(a)
(b)
X2
(c) (d)
FIGURE 2
l + C are equivalent.
2
Cubical Clusters 39
12
>xi
FIGURE 3
is parallel to the first axis. N o t e that any such shift parallel to the
first axis produces another tiling by C.
Now assume that the set of translating vectors, L, is a lattice,
hence an abelian group, whose identity element ( 0 , 0 , . . . , 0) we de-
note 0. If h and l are in L and are equivalent, write ii ~ l . N o t e
2 2
Exercise 5. Prove L e m m a 1.
As a consequence of this lemma, the equivalence class Κ we
obtained from the lattice tiling is not merely a cylinder, but is also
a subgroup of L. N o t e that t h e first coordinate of any vector in Κ is
an integer. We use the symbol Κ to denote both the set of vectors
equivalent t o ( 0 , . . . , 0) and the union of the clusters ν + C, ν e K.
T h e context will show whether Κ denotes a subset of L, an algebraic
object, or a union of clusters, a geometric object. Similarly, each
coset of Κ is viewed as both an element of the factor group L/K
and as a cylinder.
We shall exploit our ability to slide cylinders freely parallel to
the axis relative to which they were defined to prove the reduction
theorems. In our arguments βχ denotes the unit vector along the
positive ith axis.
Replace i i , . . . , t by r
Since
xit'x Η h x„t' n = xi(ti + b ei)
x Η τ- x (t
r r + b ei)
r
Proof. (In this case the cluster C has just o n e cube.) We wish to
show that if there are n o twins in the tiling by L, then we can choose
the bi, 1 < i < r, as defined in the proof of T h e o r e m 1, t o avoid
twins in V a n d still have bi + an rational.
Since t h e lattice V is homogeneous, if it has twins it has twins in
which o n e of the cubes is at t h e origin. Since w e move cubes parallel
to t h e first axis to produce V, we d o not introduce twins that share
a face perpendicular to that axis. We must show how to avoid the
creation of twins perpendicular to any of t h e other η - 1 axes.
Consider, for instance, the second axis. In this case we wish to
avoid the presence of the vector ( 0 , 1 , 0 , . . . , 0) in V. Since we alter
vectors in L only by a change in the first coordinate, ( 0 , 1 , 0 , . . . , 0)
can a p p e a r in V only if a vector of the form (ζ?, 1 , 0 , . . . , 0) is in
Cubical Clusters 43
( z , 1, 0, . . . , 0) = X 1 * 1 + · • · + Χ 2 η ί η ,
2 2
2 2 = X 2 1 0 1 1 "I 1" X n O n l ,
2
22 + Η 1- X2rb φ 0. r
z + u + X2161 -I
2 V x b, 2r r (1)
X21&1 + Η x iv
2 r
is in the set -z + Z. 2
Xtl^l + · · · + Xi b r r
44 ALGEBRA AND TILING
X21Ö1 Η h X2rK = - 2 2 + «
is an (r - 1)-dimensional hyperplane in R . A s u varies through Z,
r
1
y/x^l + • ·· + x\ r
ball. Then the union of the family contains no ball. For a proof see
[4, p. 87].)
T h e proof of T h e o r e m 4, which asserts that if there is a tiling
by C then there is a Z-tiling by C, is much easier. First translate
the cylindrical equivalence classes so that their vectors all have an
integer first coordinate. Starting with this tiling, carry out the same
procedure for the second coordinate. After η successive applica-
tions of this procedure we obtain a Z-tiling by C.
byC.
Since L is a rational lattice there are positive integers r , . . . , r„
x
12
l'
0 ] :2 ;} <1
FIGURE 4
V = L + C + Di + ··· + £>„.
Dl = {e,ai,al..., a?' },
1
1 < i < n.
Then (2)reads
Lisa Z-latticetiling.
I = zi{l/ri)ei + · · · + z (l/r„)e ,
n n
Κ>Γ···ΚΤ",
which appears in (5). In view of the factorization G = C*D{ •• • D *
and the fact that e e C*, we conclude from (5) that a?' = e. (Other-
wise there would b e two factorizations of e, the other being e · · · e.)
T h u s Vi = 0 and t h e tiling is a Z-tiling. •
by C is a Z-tiling.
G = C*Dl.-D' . m (6)
G = C'B ---B ,
i k (7)
where each factor has prime order and none of the cyclic sets Bi is
a subgroup. Redei's t h e o r e m implies that C* is a subgroup. L e m m a
2 then tells us that the tiling has only integer coordinates. •
1 2 3 0 1 2 3 0 1 2
0 1 2 3 0 1 2 3 0 1
3 0 1 2 3 0 1 2 3 0
2 3 0 1 2 3 0 1 2 3
1 2 3 0 1 2 3 0 1 2
1 2 3 0 1 2 3 0 1
(0,0)
FIGURE 5
50 ALGEBRA AND TILING
o-lb-l
i=0 j=0
which equals (1 + χ + χ Η 2
+ χ α - 1
) ( 1 + y + y + ••• +
2
y ~ ).
b l
χ
FIGURE 6
Cubical Clusters 51
W h e n the brick is placed with its long side parallel to the χ axis
its η cells are recorded by a polynomial of the form
which equals
xV(l + 2/ + 2 / + 2
---+2/ ~ )- n 1
P ( x , y ) ( l + x + --- + x - ) + Q ( x , y ) ( l + y + --- + y - )
n 1 n 1
(8).
= (1 + χ + · · · + x e _ 1
) ( l + y + •••+ y 6 _ 1
)
^jn j
1+ ω + ω + ·• · + ω""
2 1
= = 0,
ω - 1
w e have
P( W ) W )(0)+g(a; ( ;)(0)=(^£y)
> 1 (ί=τ) "
m 2 = 3.)
Exercise 15.
(a) O n e square is deleted from an 8 χ 8 chessboard. Assume that
the remaining 63 squares can be tiled by the 1 χ 3 brick. Using
complex numbers, show that the deleted square must be o n e
of the four squares that lie o n the two diagonals and share a
vertex with o n e of the four squares at the center of the board.
(This proof is due to Mackinnon [6]. A proof using a coloring
argument is t o b e found in G o l o m b [3].)
(b) Show that if the deleted square is o n e of the four described in
(a) then the 1 χ 3 brick does tile the remaining 63 squares.
<
FIGURE 7
References
1. N. G. de Bruijn, Filling boxes with bricks, Amer. Math. Monthly 76
(1969), 37-40.
2. J. H. Conway and J. C. Lagarias, Tiling with polyominoes and combi-
natorial group theory, / Comb. Theory, Series A 53 (1990), 183-208.
3. S. Golomb, Polyominoes, Princeton Univ. Press, 1994.
Cubical Clusters 55
1. Definitions
In this chapter we will restrict our attention to Z-tilings. Recall that
if a cluster tiles R then it tiles Z ( T h e o r e m 4 in C h a p t e r 2). How-
n n
ever a cluster may lattice tile R but not lattice tile Z , as was shown
n n
57
58 ALGEBRA AND TILING
( 0 , 0 , . . . , 0 ) , (ΐ,Ο,.,.,0), (0,v..,0),...,(0,0,...,i),
that for every point Q in it, the entire chord PQ lies in the body, as
shown in Figure 2.
FIGURE 1
FIGURE 2
Tiling by the Semicross and Cross 59
Problem 1. For which positive integers k and η does the (fc, n)-
semicross or the (fc, n)-cross tile Z ? Lattice tile Ζ Ί
n η
Even the lattice tiling part of this problem is far from being
resolved. To suggest the complexity of the problem, we mention that
the (fc, 10)-semicross lattice tiles Z w
only for fc = 1, but that the
(fc, 12)-semicross lattice tiles Z for fc = 1,2,3, and 10.
12
FIGURE 3
60 ALGEBRA AND TILING
Exercise 3. Show that for fc > 2, the {k, 2)-cross does not tile Z .
2
Theorem 1. Ifn>2 and k > 2n - 1, the (fc, n)-cross does not tile
Z".
Proof. Suppose that η > 2 and that the (fc, n)-cross tiles Z " . Con-
sider any translate in Z of the (fc + l ) points in the square array
n 2
FIGURE 4
Tiling by the Semicross and Cross 61
n / 2 ? If it tiles Z " ?
t h e other hand it is known that for η > 3 in the case of lattice tilings
of Z by the (fc, n)-semicross, we must have fc < η - 2, and this is
n
t h e best possible general result, though for specific η the bound can
b e much lower. This is proved in t h e next section.
Let Sj = f(ej). T h e n the elements {isj : 1 < i < fc, 1 < j < n } ,
together with 0 6 G, represent each element of G exactly once. In
a sense, we may view G schematically as a semicross, as suggested
in Figure 5, which corresponds to the case fc = 3 and η = 5.
Conversely, let G be an abelian group of order fcn + 1 . Assume
that t h e r e are η elements, s\, s ,...,
2 n s , in G such that each ele-
m e n t of G \ {0} is uniquely expressible in the form isj, 1 < i < fc,
62 ALGEBRA AND TILING
3äi
2s ι
FIGURE 5
is uniquely expressible in the form isj, 1 < |i| < fc, 1 < j < n. If
such a set exists we say that { ± 1 , ± 2 , . . . , ±fc} splits G with splitting
set { s i , s , . . . ,s }.
2 n
does the (fc, 2n)-semicross tile Z ? " , which is answered in the next
2 n
exercise.
Theorem 2. Ifn>2 and the (fc, n)-cross lattice tiles Z " , then fc <
η - 1.
&i) ci < 2n - 1,0 < 6 > c < fc such that &1S1 + 6 s = c\Si + c s .
2 2 2 2 2 2
-fcSi,...,-Si,0,Si,...,fcei
and k < η — 1.
If, on t h e o t h e r hand, t h e η - 1 Xi's a r e distinct, we must have
η - 1 < 2n - 1 - (fc + 1) + 1,
since they all lie in the interval [fc + 1 , 2 n - 1]. It follows that fc < n.
Next, using the fact that fc < n, we will show that fc < η - 1.
Consider t h e (2n - l)(fc + 1 ) elements 6iSi + 62^1,0 < 61 < 2 n - 2,
0 < b < fc. Now
2
(0,fc)
V
(0,0)*
V
(η-2,0)
Λ
(fc,0)
FIGURE 6
66 ALGEBRA AND TILING
jfc(l - n ) = k + 2 - η
2
(mod fcn + 1),
fc(l - n ) s i = (fc + 2 -
2
n)si,
To show that the answer to the second question is also " n o , "
consider Μ = S(3) and the exact sequence
Note that Μ splits the two " o u t e r " groups. ( T h e first (7(4)
has the elements 0, 4, 8, and 12. T h e homomorphism from it to
C(16) is inclusion. T h e homomorphism from C(16) to C ( 4 ) is the
remainder modulo 4.) We show that it does not split C ( 1 6 ) . Con-
sider D = { 1 , 3 , 5 , 7 , 9 , 1 1 , 1 3 , 1 5 } C C(16). T h e mapping d -» 3d
of £> consists of two cycles, ( 1 , 3 , 9 , 1 1 ) and ( 5 , 1 5 , 1 3 , 7 ) . T h e r e is n o
loss of generality to assume that if there is a splitting set for C ( 1 6 ) ,
then there is one that contains 1. We call it S. It follows that 3 £ S.
But, in order that 9 b e covered, we must have 9 Ε S. However,
2 1 = 2 - 9 , which shows that S is not a splitting set.
Fortunately, there are some relations between splittings of a
group, a subgroup, and a quotient group. T h e s e relations, devel-
o p e d in [2, 5, 6], are expressed in the following theorems, which
greatly simplify the search for splittings.
Tiling by the Semicross and Cross 69
Theorem 4. Let Μ split the finite abelian group G. Assume that there
is an exact sequence
that is, the roles of image and kernel can be switched. ( A proof is
outlined in Appendix B.) Consequently, the next theorem follows
immediately from T h e o r e m 4.
Theorem 5. Let Μ split the finite abelian group G. Assume that there
is an exact sequence
Theorem 6. Let Μ split the finite abelian groups A and Β and as-
sume there is an exact sequence
sequence
C(p).
Exercise 17. Show that 5 (1) splits every finite abelian group. W h a t
does this imply about the (1, n) -semicross?
Exercise 18. Show that F(l) splits every finite abelian group of
odd order. What does this imply about the (1, n)-cross?
The next section uses some of the theorems proved in this sec-
tion to examine splittings by S(k) and F(k).
These questions and the analogous ones for F(k) are far from
being answered, and we present some of the results obtained so far.
We first obtain a theorem o n purely singular splittings by S(k) or
F(k).
Let G be a finite abelian group and ρ be a prime. A p-group
is a group such that the o r d e r of each element in it is a power of p .
T h e p-dimension of G (written " d i m G " ) is the n u m b e r of p-groups
p
δ (Μ)
ρ < \M\.
|£| \G\-\pG\
\SnB\ =
\Μ\-δ (Μ)
ρ \Μ\-δ (Μ)'
ρ
|G|
Tiling by the Semicross and Cross 75
Thus
| G | > | G | - l = |Af||S|>|M||SnB|
_ [M|lG|(l-p- " ) d i m G
\M\ - 6 (M) P
or
\Μ\-δ (Μ)
ρ > |M|(l-p- d i m
" ),
G
6 (M)
P < \M\/p\
Let
tf = £ S y l ( G )
p and AT = £ Syl,(G).
p€P q€Q
Exercise 28. Show that 5 ( 2 ) does not have any purely singular
splittings.
Exercise 29. If the result cited for fc < 3000 holds for all fc, for
which values of fc does S(k) have no purely singular splittings?
Exercise 30. Prove that the only purely singular splitting by S(4)
is of C(9).
1 = 5°, 2 = 5 , 3 = 5
4 4 3 9
, 4= 5 8 8
, 5= 5 , 6 = 5 .
1 8 3
χ 1 2 3 4 5 6 7
φ{χ) 0 1 3 2 6 4 5
The assigment 0(2) = 1 determines φ(4) = φ(2) + φ(2) = 1 +
1 = 2. The choice 0(3) = 3 then forces 0(6) = φ(2 • 3) = 1 + 3 = 4.
Since 5 and 7 are primes in the range (7/2,7], the values, 0(5) and
0(7) may be assigned freely, as long as φ is one-to-one.
Exercise 34. Show that there is a logarithm on S(k) for fc < 24.
Recall that there is if fc + 1 or 2fc + 1 is prime.
We have shown that if 5(fc) coset splits C(p) for some p, then
there is a logarithm on S(k). If k is odd, the converse holds. How-
ever, when k is even, the logarithm must satisfy extra conditions in
order for the converse to hold, as shown by Mills [8]. These condi-
tions are consequences of quadratic reciprocity.
Exercise 36. Show that if 5(fc) coset splits some group of prime
order it splits an infinite number of groups of prime order.
thought of the center of a cross as a code word and the other cubes
of the cross as words that might be received if there were an error
in one coordinate of the code word. A tiling then corresponds to a
perfect code.
In 1978, Szabo [14], stimulated by Molnär's work, considered
tilings by "lopsided" crosses, where at each facet of the central cube
either n o cube or one cube is attached. A r o u n d that time he r e a d
a Russian translation of a paper by Stein and became familiar with
the work of H a m a k e r and Stein [5]; in 1981 he proved that if 2n + 1
is not a prime, then there is a nonlattice Z-tiling by the ( 1 , n)-cross
and a Q-lattice tiling that is not a Z-tiling [14].
T h e semicross and cross have also shown that they deserve to
serve as archetypes of starbodies. For instance, Kasimatis in 1984
proved that any lattice covering of R? by translates of a (2,2)-cross
has density at least 9/7, which is less dense than the densest cover-
ing. This example, which is still in manuscript, is much simpler than
the earlier ad hoc example.
In 1985 Szabo [17] modified a (1,3)-cross by adding pyramids
at the ends of its six arms to obtain a starbody that tiles R but not by
3
FIGURE 7
References
1. R. W. Forcade and A. D. Pollington, What is special about 195?,
Groups, nth power maps and a problem of Graham, Number Theory,
Richard A. Mollin (Ed.), Walter de Gruyter, New York, 1990.
2. S. Galovich and S. Stein, Splittings of abelian groups by integers, Ae-
quationes Math. 22 (1981), 249-267.
3. S. Golomb and L. Welch, Perfect codes in the Lee metric, University
of Southern California, USCEE report 249 (1968), 1-24.
4. W. Hamaker, Factoring groups and tiling space, Aequationes Math. 9
(1973), 145-149.
Tiling by the Semicross and Cross 83
J K
' (2r)»
85
86 ALGEBRA AND TILING
6 (C)
L < 6(C) < 1 < 0{C) < 6 {C).
L
X2
XΟ
Xl
FIGURE 1
Figure 1.
N o t e that the set of shifts of the cubes in a cluster form a trans-
lation of that cluster. So the shift can be viewed as translating clus-
ters. Moreover, the density of the family obtained by the shift is the
same as the density of the original family.
Assuming that the family {w + A : w € W} is a packing, we
will show that the shift of this family is also a packing.
Let wi + A and w + A be distinct cubes in the packing, and
2
3••2
ζ -K M )
ιυ
FIGURE 2
Exercise 3.
(a) Let α > 1 be an irrational number. Translates of the interval
[0,1] by the n u m b e r s { n o : η e Z} form a lattice packing of
R . Show that the shift of this packing is not a lattice packing.
1
1. Packing by semicrosses
Let C be the (fc, n)-semicross, which has volume fcn + 1 . A packing
of R with translates of the (fc, n)-semicross by vectors in the lattice
n
kn + 1
g(k,n)'
= 1. (1)
T h e proof is based on two lemmas [7]. T h e first shows that g(k, 3) >
(fe + If' .
2
xa — yb = xa — yb and yb — zc = yb — zc,
(χ - x ) a = (y - y)6 = (z - z)c,
proved. •
Theorem 1.
l i m « = l
(* )"'< *,3)<<i±4±!2 i .
+1 s( +
N o t e that
lim £ = 1. (3)
Equations (2) and (3) imply that (1) holds when A; is not restricted
to b e of the form a - a. 2
•
Exercise 8.
(a) Show that for a positive odd integer b, S((b - l ) / 2 ) 4-packs 2
(b) D e d u c e that
limsup £!iM)< . 2
fc—»oo ™
Exercise 9.
(a) Show that for b s 1 (mod 6) and at least 7, S((b + b- 2
2)/3)
6-packs C((fc + b + 1)(6 + l ) / 3 ) with packing set
2
il,-b,(-b) ,(-bf,(-b)\(-b) }.
2 5
(b) D e d u c e that
lim sup y v
' ;
< 3.
k—*oo ™
g (k,n) 2
fc—»00 k t
h m s u p 2
Λ
3,4, or 6.
Um
6
JM = i. ( 5 )
densely. In fact, if 6(k) denotes the packing density of the (fc, 3)-
semicross, we have
lim*M=0.
6(k)
k-oc
(6)'
v
Say that you place t(k) disjoint translates of the (fc, 3)-semicross in
such a way that each "corner c u b e " of a semicross coincides with
o n e of the fc unit cubes. T h e n these semicrosses lie in the cluster
3
94 ALGEBRA AND TILING
f(fc)(3fc + l )
4fc
3
a triple (x, y, z), the coordinates of its center. Then x, y, and ζ are
integers, and 1 < x, y, ζ < k. Because the semicrosses are disjoint,
for a given (x, y) there is at most o n e triple (x, y, z). We can there-
fore record the configuration with the aid of a square array of fc 2
(c) For two filled-in cells with t h e same entry, the o n e further right
is higher (the "positive slope" condition).
Exercise 11. Show that conditions (a), (b), and (c) are equivalent
t o the fact that the corresponding semicrosses are disjoint.
Let m(k) b e the maximum n u m b e r of occupied cells in all
monotonic matrices of o r d e r k. N o t e that the (k, 3)-semicross tiles
Z with density at least m(k)(3k + l)/4ife .
3 3
k 1 2 3 4 5 6 7 8 9 10
TABLE 1
2 3
1
1 3
FIGURE 4
96 ALGEBRA AND TILING
FIGURE 5
fc = 7 we have m(k) > fc - and there are packings by the (fc, 3)-
r 1 513
lim e„
lim ek
fc—»oo
Problem 2. Find L.
Problem 3. Examine m{k)/k as k —> oo. If L < 2, then
2
itive number. Using the shift, we may assume that the translating
vectors lie in Z . n
cubes.
Now, the cluster similar to the (1, η — l)-semicross, but com-
posed of η cubes of side a tiles R ' . Of its n s
11 1
unit cubes at
n _ 1
density at least
ea^dn- l)fc + 1)
na - (nk+
n 1
1),
which approaches e(n - l ) / n as fc —• oo. Repeating this descend-
2
2. Packing by crosses
T h e case of Z-lattice packings of R by the (fc, n)-cross is quite dif-
n
O n e difference between (4) and (8) is that the dimension η does not
influence (8) but does influence (4). T h e other is that the exponent
of A; is 2 instead of 3/2, which implies that the densest Z-lattice
packing of R by (fc, n)-crosses is much less dense than is the case
n
6*(k)
fc-oo (2fcn + l)/fc 2
'
hence
lim
fc—oo
—V = 2n/k
1. (9)
η > 2.
Exercise 18.
(a) Show that for even fc, F(fc) 2-packs C ( f c + 2 f c + 2 ) with packing
2
set{l,fc + l}.
(b) Show geometrically that h(k, 2) = fc + 2fc -I- 2. 2
Exercise 19. Show that F(fc) 3-packs C(fc -1- 3fc + 3) with packing2
Exercise 20. Show that for even fc, F(k) 4-packs C(k 2
+ 4k + 5)
with packing set {1,fc+ 1, fc + 2, k + 3 } .
Exercise 22. Show that for fc Ξ 0 (mod 6), F(fc) 6-packs C(fc 2
+
30fc+233) with packing set {1,fc+ 1 1 ,fc+ 1 3 ,fc+ 1 5 , fc-f-17, fc + 1 9 } .
Unlike the semicross case, the ratio between the density of the
densest Z-lattice packing and densest packing does not approach 0
as fc approaches infinity. Instead, it approaches 1. T h e argument is
not long.
First of all, for any packing of by the (fc, n)-cross, the shift
produces a packing of the same density. So we consider only inte-
ger packings. In a square tray of side length fc + 1 there can b e at
most o n e center of a cross in a packing. Since these trays tile R , n
Exercise 23. Verify that the cluster in Figure 6 tiles the plane.
Exercise 25. Show that the density of the least dense Z-lattice cov-
ering of Z " by the (k, n)-semicross is (kn + l)/f(k, n).
Packing and Covering by the Semicross and Cross 101
and we have
(fc, n)-semicross with density near n/(n - 1), which for large η is
n e a r 1. This is quite a contrast with the fact that Z-lattice packings
by these semicrosses have densities near 0.
T h e construction of Z-lattice coverings by the (fc, n)-cross re-
duces to the following problem on unite abelian groups. We say
F(k) = { ± 1 , ± 2 , . . . , ±fc} η-covers a finite abelian group G with
covering set {si, s ,...,
2 ns } if every element of G \ {0} can be ex-
pressed in the form isj, 1 < |i| < fc, 1 < j < n. Let c(fc, n ) b e
the order of the largest abelian group that F(k) η-covers. Clearly
c(fc, n) < 2fcn+1. A n argument similar to that for T h e o r e m 2 yields
the following theorem.
Exercise 27. Show that S(fc) 3-covers C(2fc + 2) with covering set
{l,-l,fc + l}.
We thus have
^ ! ψ = 2 , uffiü.i
fc—>oo fc fc—>oo Κ fc—»oo fc
For η > 4, Η π ι ^ - κ » /(fc, n)/fc has not been determined. It has not
even b e e n shown to exist. As noted, when η = ρ + 1 for a prime p ,
,. /(Μ) .
lim s u p — - — > p .
fc—too
T h e o r e m 3, though it concerns t h e cross, also provides infor-
mation about t h e semicross, since when F(fc) η-covers a group G
with t h e covering set { s i , s , s } , S(k) 2n-covers G with t h e
2 n
covering set { ± s i , ± s , . . . , ± s } .
2 n
l i m s u p /(M i> 4. 6
1
fc—»oo *
fc—»oo
for η > 3,
k—*oo fc
is either the largest prime less than η or twice the largest prime less
than the greatest integer less than n / 2 , whichever is larger. How-
ever, it should be kept in mind that we do not even know that the
limit exists.
Problem 8. D o e s limk-,,» ^ ' " ^ exist? If so, what is its value?
Problem 9. Settle for the cross the analog of Problem 8.
Exercise 29. Show that S(k) 4-covers C(m) with covering set
{±1,±2}:
(a) if A; is even and m = 3fc + 1;
(b) if k is o d d and m = 3fc + 2.
Exercise 30. Show that for fe φ 2, S(fe) 5-covers C ( m ) with the
covering set given as follows (in the case fc = 61 + 1, χ is arbitrary):
fc m covering set
6Z + 0 3fc + 3 { ± l , ± 2 , f c + 1}
6i + l 3fc + 2 {±l,±2,x}
61 + 2 3fc + 5 {1,-2, ±3, -6}
6Z + 3 3fc + 4 { 1 , - 2 , - 3 , ±6}
6/+ 4 3fc + 5 { 1 , - 2 , - 3 , ±6}
η 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
lim /<*·»> 1 2 2 3 3 5 5 7 7 7 7 11 11 13 13 14 14 17
fc-.oo fc
Packing and Covering by the Semicross and Cross 105
It would imply that while there are very efficient Z-lattice cov-
erings of R by the (fc, 12)-semicross for large fc, the situation in
n
R n
is quite different, where the most efficient Z-lattice coverings
have density approximately 11/7 « 1.57. For large η this density
approaches 1, which implies that R is t h e space that is " h a r d e s t "
n
References
1. J. H. Conway and N. J. A. Sloane, Sphere packings, lattices, and groups,
Springer-Verlag, New York, 1988.
2. A. Dad-del, Covering abelian groups with cyclic subsets, Aequationes
Math., 1994 (to appear).
3. H. Everett and D. Hickerson, Packing and covering by translates of
certain nonconvex bodies, Proc. Amer. Math. Soc. 75 (1979), 87-91.
4. W. Hamaker and S. K. Stein, Combinatorial packing of R by certain
3
107
108 ALGEBRA AND TILING
c Β c
A Β A Β A C
FIGURE 3
= τα\η{φ(χ + ν),φ{ν)}
> πιίη{φ(χ),φύ)}
= Φ(χ).
(c) Let p ' be a prime different from p. Show that φ(ρ') = 0. Sug-
gestion: T h e r e are integers α and b such that ap + bp' = 1.
(d) Letting φ(ρ) = fc, show that φ = kφ . v
( p ) = pe(l)pe(2)...pe(r) )
where the e(i)'s are positive integers and the Pi's are prime ideals in
A. Incidentally, r is not larger than the dimension of F over Q. Pick
o n e of the r prime ideals, say P i . For χ in A, but n o t 0, define φ(χ)
t o be l / e ( l ) times the number of times P i appears in the represen-
tation of the ideal (x) as a product of prime ideals. Define 0(0) t o
b e oo. N o t e that φ(ρ) = e ( l ) / e ( l ) = 1 and therefore φ extends φ ρ
ax
n
n
+ α _ιΐ η
η 1
-1 h a = 0,0
114 ALGEBRA AND TILING
of
/ X \ n
f X \ ~ι
n
a (—
n +a„_i(— +... + a = 0
0
Va / n Va / n
or
a x n
n
+ α _ια χ η η
η _ 1
-\ \- α α " — 0.
0
of extensions see [3, p . 190]. For instance, for the o d d prime ρ there
are two extensions of φ to Q(\/D) if and only if ρ does not divide
ρ
In the next few exercises assume that the valuations are defined
on all of R.
1 - v/3-
(a) Find 0 (m>) and 0 (u + υ).
2 2
(c) Obtain 0 ( u ) . 2
= min{</>(a + 6 ) + nc} n n
= Ώύη{φ·(/(χ)),φ·( {χ))}. 9
Φ* ((a m + b )x )
m
m
= Φ{αχη + b ) + mc m
= φ(α ) + mc τη
= **(/(*)).
Thus
φ·{ί(χ)+ (χ))=φ·{ηχ)).
9
116 ALGEBRA AND TILING
= Φ(αί) + ic + 0(6j) + jc
> *·(/(*))+•
Next we produce a monomial in f(x)g(x) at which φ* takes on the
value φ·(Ηχ))+φ·( (χ)). 9
φ*(/(χ)) and let a b e the smallest index such that φ*(^χ*) is equal
to φ* (g(x)). Consider t h e value of φ* at t h e monomial in f(x)g(x)
of degree r + s:
φ*(αο^ .χ +
Γ+β
+ ••• + a b x
r a
r+a
+ • · • + a .b x ).
r+ 0
r+a
(1)
valuation φ. Then
0(Area of Γ ) < - 0 ( 2 ) .
Proof. Since translation by (-xo, -yo) does not change areas, and
P\ — Po 6 S j , 0 < * < 2, we may assume for convenience that
(zo> i/o) is (0,0). T h e area of Γ is then the absolute value of
xi l/i
-Axiyi -Z2I/1).
X2 2/2
Now, φ(χχ) < 0 and φ(χ ) < 0(j/i). Also, </>(j/ ) < 0 and 0 ( y ) <
χ 2 2
0(Area of T ) = 0 ( 1 / 2 ) + 0 ( x i j / ) < 0 ( 1 / 2 ) = - 0 ( 2 ) .
2 •
orPj.
2. The square
All the machinery for analyzing dissections of the square is now in
place. But we still need a few definitions. We restrict our attention
to simplicial dissections, though t h e theorems hold for all dissec-
tions.
We call a dissection of a polygon into m triangles of equal areas
an m-equidissection. Let φ b e a valuation o n the reals. A triangle
whose vertices are labelled Po, P i , and P relative to t h e valuation φ
2
Thus
Proof. Consider the square whose vertices are (0,0), (1,0), (1,1),
and (0,1). Relative to a valuation φ that extends the 2-adic valuation
on Q, these vertices are labelled P , P\, Pi, and P , respectively, as
0 2
shown in Figure 4.
Figure 5 shows a typical simplicial dissection of this square.
By Exercise 14, vertices on the b o t t o m edge of the square can
b e labelled either P or P i , on the left edge either P or P , o n the
0 0 2
Therefore m is even. •
3. Other polygons
T h e square can b e generalized in many directions: to n-dimensional
cubes, to regular polygons, to trapezoids, to quadrilaterals, to cen-
trally symmetric polygons, and so on.
In the first sequel to the t h e o r e m about the square, M e a d in
1979 [7] proved that if the η-dimensional cube is divided into sim-
plices of equal volumes, their n u m b e r must be a multiple of n!. (It
is easy to construct a dissection into any multiple of n! simplices.)
(o,i) (α, 1)
χ
|(o,o) (1,0)
FIGURE 6
ter what φ {α) is. In any dissection of the trapezoid, all the sections
ρ
φ (τή)
ρ > φ (α + 1).
ρ
Exercise 16. A similar theorem does not hold for dissections into
quadrilaterals of equal areas, as mentioned in [2]. Show that any
polygon can be divided into quadrilaterals of equal areas. (For con-
venience, restrict the polygons to b e convex.)
L e m m a 3,
into ti +1 + h triangles.
2
124 ALGEBRA AND TILING
(0,1) (c, 1)
(0, b)
Τι
(0, 0) (1,0)
FIGURE 9
vertices (0,0), (1,0), and (0,6). These triangles are shown in Figure
9.
Tj has area Αχ = c(l - 6)/2; T has area A = (c6 + 1 - 6)/2;
2 2
T has area A = 6/2. We shall determine 6 and c so that the areas A\,
3 3
For such a choice of numbers the trapezoid T(c) would then have a
(h +t + t ) -equidissection.
2 3
The equations
— = — and — = —
Ai h Αχ tx
become
cb+l-b t _, 6 t
= — and
2 3
positive, the root is real. (Note that c is positive and that 0 < 6 < 1.)
•
Tiling by Triangles of Equal Areas 125
Let us examine the spectrum of T(a) more closely for three values
of a that satisfy the conditions of Theorem 4, namely, a = 2 — y/2,
a = 2 - a/3, and α = (6 + ν 2Ϊ)/3. /
07(d) and 07(e) are not equal. One of them must therefore be 0
and the other one must be 1. If 07(3 - y/2) = 1, we already have
0 ( m ) > 1. If 0 ( 3 - y/2) = 0, then 0 ( 3 + y/2) = 1. Let U be
7 7 7
Τ(2 - y/3). Since the area of this trapezoid is (3 - y/3)/2, φ (τη) > ρ
contradiction. Therefore they are equal and have the value 1. Thus
2 divides m and we can conclude that 10 divides m . All told, we
know that
χ : χα — χ + a : a(l — x)
or
s : r — s + sk : ak.
V (α, a)
(0,1)'
•» χ
(x,0) (1.0)
FIGURE 1 0
128 ALGEBRA AND TILING
4. Regular polygons
A s already mentioned, Kasimatis proved that the spectrum of the
regular n-gon, η > 5, is (n), and therefore is principal. In t h e gen-
eral case the proof employs valuations extended to the complex
numbers. However, for the regular hexagon it does not, a n d we
present the proof in this case, since it illustrates some of t h e ele-
ments of the general approach.
At first glance we would expect to use the well-known regu-
lar hexagon inscribed in the standard unit circle with center at the
origin, as shown in Figure 11.
However none of its vertices is labelled P relative to the valua-
2
n (ABC)
+ - n-(ABC) = n (AB)
+ - n-(AB).
of the six numbers </> (Area DiD iD ), 2 1 < i < 6. Exploiting i+ i+2
φ (α/2)
2 = 0 (Area DDD) 2 2 3 4 > φ (1/2),
2
D D\D ,
6 we see that 0 ( b ) > 0. T h e labelling of the vertices of
2 2
(a, 6 + 1 ) (a+l,fa+l)
(a+1,6)
(1,0)
FIGURE 13
132 ALGEBRA AND TILING
Po, Λ . or Pa
f
Pi orPj
FIGURE 14
φ (τη)
2 > φ (2(1
2 + a + b)) >φ (2)2 = 1,
References
1. G. Bachman, Introduction to p-adic numbers and valuation theory, Aca-
demic Press, New York, 1964.
2. A. W. Hales and E. G. Strauss, Projective colorings, Pacific J. Math.
99 (1982), 31-43.
3. K. Ireland and M. Rosen, A classical introduction to modern number
theory, Second Ed., Springer Verlag Graduate Texts in Mathematics
84, New York, 1982.
4. E. A. Kasimatis, Dissections of regular polygons into triangles of
equal areas, Discrete and Computational Geometry 4 (1989), 375-381.
5. E. A. Kasimatis and S. K. Stein, Equidissections of polytopes, Discrete
Math. 85 (1990), 281-294.
6. V. Klee, Facet-centroids and volume minimization, Studia Seien.
Math. Hung. 21 (1986), 143-147.
7. D. G. Mead, Dissection of a hypercube into simplices, Proc. Amer.
Math. Soc. 76 (1979), 302-304.
8. P. Monsky, On dividing a square into triangles, Amer. Math. Monthly
77 (1970), 161-164.
9. , A conjecture of Stein on plane dissections, Math. Zeit. 205
(1990), 583-592.
10. F. Richman and J. Thomas, Problem 5471, Amer. Math. Monthly 74
(1967), 329.
11. S. K. Stein, Equidissections of centrally symmetric octagons, Aequa-
tionesMath. 37 (1989), 313-318.
12. J. Thomas, A dissection problem, Math. Mag. 41 (1968), 187-190.
13. B. L. van der Waerden, Modem Algebra, Vol. 1, Ungar, New York,
1949.
Chapter 6
Lajos Posa wrote his first paper when still in primary school and is
well known for his work in graph theory. A n enthusiastic teacher, h e
tries to convey the beauty of mathematics t o students of all abilities,
from t h e most talented t o the least able, a n d of all ages, from small
children t o candidates for the doctorate. Often h e holds irregular
classes in t h e most r e m o t e towns.
H e also organizes summer schools t o which h e invites students
from all over Hungary. In 1987, when preparing for such a session
h e decided h e needed a concrete geometry problem. Now, it is well
known [1] that it is possible t o cut any polygon into triangles in such
a way that t h e triangles can be assembled to form any preassigned
polygon of the same area as that of the original polygon. Posa won-
dered whether it is possible to cut an equilateral triangle into 30°-
60°-90° triangles that could be p u t together t o form a square. After
working o n t h e problem for five minutes h e started to like it. After
ten minutes h e decided that it was interesting enough to assign t o
his students. After half an hour h e grew a little upset, for he still
could n o t solve it. A t that point h e stopped, for geometry was far
from his main interest.
H e mentioned his experience to his good friend from school
days, Miklos Laczkovich, who found t h e problem appealing.
Laczkovich solved it and went far beyond. In a 25-page p a p e r pub-
lished in 1990 [2] he proved that it is impossible to cut a square into
a finite n u m b e r of 30°-60°-90° triangles. In fact, h e showed, as a
135
136 ALGEBRA AND TILING
1. The machinery
Let α b e the angle determined by lines of slopes m i and ma, neither
of which is parallel to the y axis, as in Figure 1. Let θ χ and θ be the 2
T h e n α = θ - θχ and t a n θ - t a n θχ
2 2 τη - m i 2
tana =
1 + t a n 02 t a n θχ l + mim 2
(1)
τη2 — mi
Rewriting (1) we have
FIGURE 1
Tiling by Similar Triangles 137
tices of t h e triangles. We will show that they all lie in the field F
generated by the cotangents of the angles of the triangles and the
coordinates of the polygon P. (A similar argument goes through
for the y coordinates of the vertices.)
First of all, x i and x are in F since they are t h e χ coordinates
r
FIGURE 3
Tiling by Similar Triangles 139
\ u
~ y\ — { ί χ
~ Xj){cota + cot/3) ^
Hence
Exercise 3. Check the claim that for the vertex A t h e r e are vertices
Β and C such that the triangle ABC is in the tiling and the line
χ = Xi crosses the edge BC.
ν ν
c c
χ X
FIGURE 4
Tiling by Similar Triangle! 141
a n d the slope of AB is
62 ~ 0.2
61 - αϊ'
142 ALGEBRA AND TILING
C = (ci,c ) 2 Β = (bi,f>2)
ν
(αι,α )2
FIGURE 5
( c - a )(bi - a ) - ( c i - α ι ) ( 6 - a ) '
2 2 x 2 2
B - A
C-A
is positive.
If, on t h e o t h e r hand, t h e o r d e r A, B, C is clockwise, t h e ex-
pression for cot a changes. In this case the o r d e r A, C, Β is counter-
clockwise a n d the formula for cot α is obtained from (7) by switch-
ing the roles of Β and C. T h e n u m e r a t o r in (7) remains t h e same,
but the d e n o m i n a t o r changes sign. This brings us to a key lemma.
= (Φ(Χ), Φ(ν))·
Let A ' = Φ(Α), B' = Φ(Β), and C = Φ(<7). Let a be the angle at A
in triangle ABC and a' be the angle at A' in triangle A'B'C. Then
cot a' = 0 ( c o t a )
Tiling by Similar Triangles 143
ViV + V V3 +
2 2 ----rV V .
n 1
which reduces t o
AB + BC + CD + DA,
hence to
VI V + V V + V V + V4V1,
a 2 3 3 4
JT Jr 3 JTi Ja Ja Ja
which is the area of the region that Γ bounds. If Γ were clockwise,
then ff xdy would b e t h e negative of the area that Γ bounds.
ν ν
X X
a
xi(v) xiivj b a b
FIGURE 8
T ,..., T . Let the vertices ofTj be Aj, Bj, and Cj, listed counter-
2 m
clockwise, 1 < j < m. Let F be a real field that contains the coor-
dinates of all the vertices of the triangles and φ : F —• Ran isomor-
phism that leaves the coordinates of the vertices of Ρ fixed. Let Φ be as
in Lemma 2. Then there is at least one triangle Tj such that the order
Φ{Α^), Φ(Β^), Φ (Cj) is counterclockwise.
δ = VM + VM + '-' + VnY!,
Suppose that Ρ is tiled by the triangles T\, T%,..., T . Let Fbea real
m
field that contains the coordinates of all the vertices of Ρ and the cotan-
gents of all the angles of the triangles. Let φ : F —> R be an isomor-
phism that leaves the coordinates of all the ν\ fixed. Then there is an
integer j such that at least two of the numbers 0 ( c o t α,·), c4(cot ßj),
and 0(cot7j) are positive, where ctj, ßj, and 7,· are the angles ofTj.
2. Applications
We are now in position t o answer Posa's question.
Exercise 12.
(a) U s e Figure 9 t o show that the square can b e tiled by an infinite
n u m b e r of triangles similar to any given right triangle.
FIGURE 9
are integers.
(b) Obtain an equation for a by using the fact that t h e sum of the
areas of the triangles is the area of the square.
Tiling by Similar Triangles 149
(c) Obtain another equation for s by using the fact that an edge of
the square is the union of edges of the triangles.
(d) Using (b) a n d (c), obtain a contradiction.
(e) W h a t properties of the square were used in this argument? To
what polygons does t h e argument apply?
(f) W h a t properties of the 30°-60°-90° triangle were used in this
argument? To what triangles does t h e argument apply?
cot θ — i
απ ηω +ω~
2α 2α
cot — = ω η
5-, (9)
^ f c o t ^ ) = ( _ 1 ) (fc-l)/2 c o t ^![
V η / η
for every integer a not divisible by n.
1Γ>
η
= ω
' ω-)2ak _ u]—2ak
.2ak , , ,-2ak
flak _ ω -2αΑ:
= ( u ,2« ) ( f c - l ) / ,2 c o t
akn
η
(_l)(fc-D/2 akw
= c o t
η
•
Proof. Let F be the field generated by the cotangents of all the an-
gles of the triangles in the tiling, that is, by the numbers c o t ( a ^ / n ) .
As we observed, all these n u m b e r s lie in Q(LJ), where ω is a primi-
tive (4n)th root of unity.
Suppose that η is not a multiple of 4. Let k = 2n + 1 if η is
odd and let fc = η + 1 if η is even (hence η = 2 (mod 4)). Since fc is
odd and relatively prime to n , we have (fc, 4n) = 1. T h e definition
of fc assures us also that (fc - l ) / 2 is an o d d integer and that fc Ξ
1 (mod n ) .
By L e m m a 5 t h e r e is an automorphism φ : 0,{ω) —> Q{u) such
that
aikir
0(cot^) =(-l)< - )/ cot f c 1 2
(10)
η
for each a j . T h e restriction of φ to F is then an isomorphism of F
into R.
Now, since (fc - l ) / 2 is odd and fc = 1 (mod n ) , (10) reduces
to
Tiling by Similar Triangles 151
Exercise 16.
(a) Verify that Figure 10 is indeed a tiling of the 1 by y/3 rectangle.
(b) Prove that the π / 6 , π / 6 , 2 π / 3 triangle does not tile a square.
and the triangle used in Figure 10 are the only triangles other than
right triangles that tile some rectangle.
3. Retrospective
With this chapter we complete our sampling of the algebra of tiling.
(The next chapter is the proof of Redei's T h e o r e m . )
As we look back over these chapters, we can see how t h e inter-
play of question and answer, followed by new questions, breathes
life into mathematics. In o u r case the questions came from within
mathematics, in particular, from geometry. But they can c o m e from
any discipline, such as physics, economics, or computer science.
Minkowski's question about cube tilings led to a question about
finite abelian groups! Hajos's answer, in turn, stimulated R e d e i to
ask, "Must the sets in the factorization be cyclic, or is there a more
general theorem, where the sets are arbitrary but of prime o r d e r s ? "
His t h e o r e m then gave us an insight into the tilings of space by clus-
ters that consist of a prime n u m b e r of cubes.
Tiling by Similar Triangles 153
References
1. H. Eves, A Survey of Geometry, Allyn and Bacon, 1972.
2. M. Laczkovich, Tilings of polygons with similar triangles, Combina-
torica 10 (1990), 281-306.
Chapter 7
Redei's Theorem
155
156 ALGEBRA AND TILING
sets ofG such that each contains the identity element, each has a prime
number of elements, and G = ΑχΑ · · · A is a factorization of G.
2 n
group of G.
(b) Verify that G = AB is a factorization of G.
a subgroup of G.
(b) Verify that G = AB is a factorization of G.
a factorization of G.
eB = B,aB,a B,...,a - B 2 p 1
(1)
aB, a 2
B , a p
B ,
p—\,j = m (modp).
Now consider A'B, which is the union of the sets
Since fc and ρ are relatively prime the sets (1) are a permutation of
the sets (2). Thus G = A'B is a factorization, proving the lemma.
•
Exercise 3. Show that if fc and ρ are not relatively prime then A
cannot necessarily b e replaced by A'. (Hint: Use a factorization of
a group of o r d e r 4.)
is, G itself.
G = C C -C D{D* -D*
l 2 r 2 l)
is a factorization of G.
a£A
only when \a\ = ρ for each α e A. In this case, also, the lemma
holds. So for a given η we will use an induction o n h(A).
If for each nonempty subset Β c Α, Β φ A, > pl l fl
satisfies the conditions of the lemma and \B\ < \ A |. By the inductive
assumption on the cardinality of A, (B) has a desired factorization
(B>= Π ί β , ο ^ , ^ , . . . , ^ - 1
^ } ,
b€B
Proof. Let
G = A --A 1 n (3)
Ai = {e,ai,a ,...,a 2 p _ 1
}.
i; = { ^ : ( i )
.^ ( i )
-^! " p I W i )
}
Redei's Theorem 161
t h e factors A\ is a subgroup of G.
lis(i) = 1 for each i, 1 < i < n . t h e n Aj = A\ and we a r e d o n e .
So we assume that s(i) Φ 1 for some i. We index t h e elements of A
such that s ( l ) Φ 1 , . . . , s(m) Φ 1, s ( m + 1) = · · • = s ( n ) = 1 and
m > 1. Since s ( i ) = 1 for each i, m + 1 < i < n, we have that
G " Aj · • · ^ , „ ^ „ , ^ - 1 · · · A n
«1 «m — ° l a
m a
m+l a
n >
e = a f ... ^ X W - i e S i 1
' · · · <(">. (4)
G - Aj · · • A A -)-i · · · A .
m m n
instance the cyclic group of order 6 is of types (6), (2,3), and (3,2).
(If we insist that each rm is a prime power, the type of a group would
b e unique u p to order.)
Consider groups G of the types (9) or (3,3). Take the first case,
when G is the cyclic group of order 9 with generator g. Suppose
that G = A\A is a factorization of G, where Ai = {e, g , g } and
2
a b
Μ = {e,g ,g }.
c
H e r e we may assume that 1 < a,b,c,d
d
< 8. If
{a, b} or {c, d} is the set { 3 , 6 } , then A\ or A is a subgroup of G. 2
( l + x + x ) ( l + x + x ).
a b c d
(5)
W h e n you expand (5), you will get a polynomial P(x) with nine
terms, each of which has coefficient 1. Furthermore, the nine expo-
nents are distinct modulo 9. If an exponent is larger than 8, we can
reduce it as follows. Say that x appears in P(x). Write 14 as 1-9+5.
1 4
Then x u
= x x , hence x - x = (x - l ) x which shows that
9 5 14 5 9 5
(l + x° + x ) ( l + x + x ) = l + x + x + --- + x + Q ( x ) ( x - l ) .
b c d 2 8 9
complex numbers,
( l + p + p ) ( l + p + p ) = 0.
o b c d
(6)
A t least o n e of the factors in (6) must be 0. Assume, say, that 1 +
p + p = 0. Drawing three ninth roots of unity 1, p , and p in t h e
a b a b
(1 + p + p )(l + p + p ) = l+p
a b c d
+ p + --- + p ,
2 s
(7)
In fact, (7) holds for any of the nine 9th roots of 1. For instance,
replacing ρ by 1, we obtain the equation 3 - 3 = 9, which comes as
n o surprise since the product of t h e orders of the factors equals t h e
order of t h e group.
Even though the original problem concerns groups, which have
only o n e composition, t h e solution exploits a ring of polynomials
or the complex field, which are richer structures, possessing both a
multiplication a n d an addition. T h e proof of Rodei's theorem uses
both structures as well as characters of a finite abelian group.
A function χ from the abelian group G to the complex n u m b e r s
of modulus 1 is called a character of G if x(gh) = x(g)x(h) for each
g,h€ G. T h e character for which x(g) — 1 for each g e G is called
the principal character of G. For any subset A of G define χ(Α) to
be the sum of the numbers χ(α) for all α e A. In particular, if χ
is the principal character of G, χ(Α) = \A\. (Appendix Β develops
the basic properties of characters.)
= 1+ ρ + ρ + ··· + ρ = 0 2 8
χ(Α )
2 = (e) + (g )
X X
c
+ (g )
X
d
= 1+ o + p, c d
and
H e n c e {a, b} = {3,6}.
for which
0 = χ(Α,) = x(e) + x(g >) + (g > ) + ••• + {g *^)
a
X
a
X
a
=
= l + p ai
+p" 3
+ ··· + ρ *- = 0 . 0 1
Ai(x) = 1+ χ αι
+ x° + ••• +a
χ ·" .
α 1
F(x) = 1 + χ""- 1
+ ζ *"" + · · · +
2 1
xir-V'"- 1
Exercise 13. Show that from t h e fact that F(x) divides Αχ(χ) it
follows that 0, α ϊ , a , . . . , α _ ι is a permutation of 0, p
2 ρ , n _ 1
must b e 1.)
Exercise 14. Prove the lemma, using the technique in Exercise 13.
166 ALGEBRA AND TILING
G = ΑιΑ ···Α„,
2
then
e 9 92
9 3
Xi 1 1 1 1
X2 1 Ρ Ρ 2
ρ3
X3 1 Ρ2
1 Ρ 2
Xi 1 Ρ3
Ρ 2
ρ
TABLE 1
Χι(αι) + χ ι ( ο ) 2 Xi(bi)+Xi(6 ) 2
Χ4(αι) + χ ( ο ) 4 2 X4(bi)+X4(6 ). 2
ziSi + z g 2 2 + ••• + z g,
n (8)
that assigns to & the integer Zi. See Appendix C.) We add two such
expressions coordinate by coordinate:
(2101 + z g 2 2 + · · · + zg)
n n + (iiffi + t g 2 2 + h tg)
n n
= (zi + h)gi + {z + t )g
2 2 2 + ··· + (ζ„ + t )g .
n n
(b) (e + 2u + u ) ( 3 u - u ) .
2 2 4
efficient n(g) records the number of ordered pairs (a, b) such that
ab = g. That G = AB is a factorization is equivalent to the as-
sertion that n(g) = 1 for every g 6 G. T h a t the symbol AB has
two meanings, namely a product in the group ring and a factoring
of G will cause n o difficulty. T h e context will make it clear which is
intended.
Exercise 18.
(a) Let ζ e Z(G) have the property that χ{ζ) = 0 for all characters
χ o n G. Prove that ζ = 0, the zero element of the ring Z(G).
(b) Prove that if ζ and t are in Z(G) and χ(ζ) = χ(ί) for all char-
acters χ on G, then ζ = t.
G in Table 2.
For each nonprincipal character χ of G we have χ(Αχ) = 0 or
χ ( Α ) = 0. O n the other hand, if Αχ and A are subsets of G such
2 2
e h h 2
k hk /i fc
2
fc 2
hk 2
hk
2 2
1 1 1 1 1 1 1 1 1
X2 1 Ρ ρ 2
1 Ρ 1 Ρ Ρ 2
X3 1 Ρ 2
Ρ 1 Ρ 2
Ρ 1 Ρ 2
Ρ
X4 1 1 1 Ρ Ρ Ρ Ρ 2
Ρ 2
Ρ 2
X5 1 Ρ ρ 2
Ρ 2
1 Ρ2
1 Ρ
X6 1 Ρ 2
Ρ 1 ρ 2
Ρ 2
Ρ 1
X7 1 1 1 ρ2
ρ 2
Ρ 2
Ρ Ρ Ρ
X8 1 Ρ ρ2
Ρ 2
1 Ρ Ρ Ρ2
1
X9 1 Ρ 2
Ρ Ρ 2
1 Ρ 1 Ρ 2
TABLE 2
Now let
A\ = {e,h,h x} 2
and A = {e, 2 k,k y},
2
or y = e, then A\ or A is a subgroup of G.
2
172 ALGEBRA AND TILING
Αχ = {e, h, h x, h y, h z}
2 3 4
and A = {e, fc, fc u, fc i>, fc iu},
2
2 3 4
Αχ = {e,M fc V..,/i - fc »- },
2 a p 1 0 1
loss of generality that the first case occurs. From this we will deduce
that 0 2 = 0 3 = · · · = a -i = 0.
p
We have then
p-l
o = x {A ) v l = ,
£p -
i v a d l + y )
I=0
the ρ expressions a,j (1 + y) — jy. Let Si (zj ) denote the ith elementary
function of the expressions z0,..., zp-\. Then we have
d -i{y)
P = Si(Jy - a j ( l + y)).
Note that the degree of d -i(y) p is at most i — 1.
Reclei's Theorem 175
is the zero polynomial. That means that D(x, y) has the form
Thus
E(x) = e + e x + • • • + e _
0 x ( p 1 ) / 2 a; ( p _ 1 ) / 2
+ x,
p
_ Q(x)E(x)
[
> ~ F(x) ·
Thus
•
176 ALGEBRA AND TILING
are subgroups of G.
factors H, A ,...,
2 A such that Βχ, ΒχΒ , •. • ,ΒχΒ · • • B are sub-
n 2 2 n
since this is only a matter of indexing the factors A*. Consider the
subgroup Κ = HA • • · A „ _ i . Since the identity element e is an el-
2
G.
So suppose that Αχ is not a subset of K. T h e n replace Αχ in
the factorization of G by a subgroup L generated by an element of
Αχ that is not in K. Since L <£ K,we have Κ Π L = {e}.
F r o m the factorization G = Z/-A · · · A it follows, by applying 2 n
is a subgroup of G.
Consider the intersection Κ Π LA . If it were just {e}, then G n
| Α Γ Π £ Α „ | = p or p. 2
Αι··· Α -ιΜ
η and G = HA • • • Α _ χ Μ . N o t e that G = KM is
2 η
D ,D D ,...,D D -D
1 l 2 l 2 n
subgroup of N, hence of G.
T h e other case is A <f. N. T h e n A can b e replaced by a sub-
n n
Applying the induction to the group G/T shows that there is a sub-
group of G of the form TAj, where 1 < j < η - 1. Consider
i f (Ί TAj = HA · · • Α -ι Π TAj. A s argued before, if this inter-
2 η
Lemma 11. Let ρ be a primitive nth root of unity and let ρ be the least
prime factor of ru If ρ Η h ρ · = 0, αϊ = Oand 1 < s < p, then
αι α
s = ρ and there is a primitive pth root of unity θ such that p" ,..., p» 1 a
is a permutation of 1, Θ,..., 0 . P _ 1
in L e m m a 5.
Suppose that η — p r, where r is relatively prime t o p. Let
e
respectively. Now
S a
ο= Σ^ 0 <
= Σ ° σ < τ α <
·
t=l i=l
Divide p into a* to obtain the remainder bi such that 0 < bi <
e
Then
cyclotomic polynomial
F(*) = ]r>*- e1
that d e g ß ( x ) < pe _ 1
- 1. Therefore the nonzero terms of B(x)
occur among the nonzero terms of A(x). Since B(x) has at least
o n e nonzero term, A(x) has at least ρ terms. Thus ρ < t < a. O n
the other hand, p> a. H e n c e ρ = a. This completes the proof. •
aZA
χ ( α ( 2 ) ) χ ( α ( ρ ) ) + χ(α2(2))χ(θ20»)) + · · · + χ ( α ρ ( 2 ) ) χ ( α ( ) ) = 0.
ι 1 ρ Ρ
1. We have
ειρηι
+ ερ* 2
η
+ •••+ ε "
ρΡ
η
= Ο,
w h e r e ε! = 1 and ηχ = 0. T h u s ρ is a root of
g(x) = ε ι Χ
η ι
+ e x" + · • · +
2
a
e x *,
p
n
the finite abelian group G and suppose that e r c h \ Ai\ is prime. Let
ρ b e a prime divisor of |G|. Show that if all t h e factors of cardinality
ρ contain only p-elements then these factors form a factorization of
the p-component of G. (Hint: Consider cardinalities.)
T h e smallest value of
t
h (A ,...,A )
p 1 n = J\ JJ |S(p)|
ΐ=1 αξζΑ,
is 1, which is attained only when each Ai, 1 < i < t contains only
p-elements. In this case, by Exercise 31, Αχ • •• A is a factorization t
h (A'x,A ,...
p 2 ,A )n < h {Ax,...,A ).
p n
assume that the permutation is just the identity as this is only a mat-
ter of reindexing the factors.
Consider the subgroup Κ = HA • • • Α -χ. If Αχ c K, then 2 η
is a subgroup of K, and so of G.
Thus we assume that Αχ φ Κ, that is, a(q) & K. From this it
follows that \G : K\ = q. So from the factorization G = KA we n
Let
d = {α(ρ)(α( )γ }υ(Αχ\{α})
ς αί = {α(ρ)(α(ς))«α }υ(ΖΓ\{α( )}). 4 9
Redei's Theorem 185
Ai iA
t 2• · • Α -χΑ
η η is a factorization of G.
By the inductive assumption about the subgroups of G we have
that one of the factors Ci, A ,..., Α -χ is a subgroup of K. If this
2 η
the proof. •
References
1. K. Corrädi and S. Szabo, A new proof of Redei's theorem, Pacific J.
Math. 140(1989), 53-61.
2. D. S. Dummit and R. M. Foote, Abstract Algebra, Prentice Hall, En-
glewood Cliffs, 1991 (p. 466, irreducibility of the cyclotomic polyno-
mials).
3. L. Redei, Die neue Theorie der endlichen Abelschen Gruppen und
Verallgemeinerung des Hauptsatzes von Hajos, Acta Math. Acad. Sei.
Hung. 16 (1965), 329-373.
Epilog
While the central theme of the seven chapters has been the inter-
play of geometry with algebra, another theme, purely algebraic, also
ran through the book. Time and time again we have used mappings
from o n e structure to another to simplify a problem.
In Chapters 1 and 2, where we faced an infinite lattice L imbed-
ded in a rational lattice V, we formed the quotient group L'/L.
T h e natural homomorphism from V to L'/L enabled us to work in
L'/L, which is a finite group, instead of an infinite group.
A t t h e end of Chapter 2 the solution of a brick-tiling prob-
lem d e p e n d e d on the homomorphism from the ring of polynomials
Z[x, y] to the ring of complex numbers obtained by replacing χ a n d
y by a root of unity.
Two homomorphisms were the key to Chapters 3 and 4 o n the
semicross and cross. O n e homomorphism, defined on Z , was o n t o
n
187
188 ALGEBRA AND TILING
Lattices
where the 1 is in the ith place and 0's are in the other η - 1 places,
are a basis for the lattice Z . n
a basis for Z ? 2
w ,...,
2 w be in L. T h e n there are integers a y such that
n
Exercise 4. If u i , v ,...,
2 v and tui, ι υ > · · ·, vj are bases for the
n 2 n
same lattice, show that the determinant of the matrix whose rows
189
190 ALGEBRA AND TILING
are v X) v ,...,
2 v„ is equal to + or - the determinant of the matrix
whose rows are w\, w ..., 2} w. n
Exercise 6. Let G = Z n
and let i f be a lattice of dimension η in
G. Prove that the index of Η in G is finite.
lattice of dimension k.
let ν be any vector in L. Then ν is of the form xv\ for some real
n u m b e r x. Then χ = η + f, where η e Ζ and 0 < / < 1. Since
nv\ G L, we have fv\ = ν — nvi also in L. But is shorter than
« i , hence must b e the zero vector. So {v } is a basis for L.
x
In the second case, let Π be the plane through the origin per-
pendicular to vi. Every vector υ e R can be expressed uniquely in
n
FIGURE 1
192 ALGEBRA AND TILING
integer ηχ. This shows that ν = riii>i + 712^2 + · · · + n Vk, and the k
(XiXaXff) = Xi(fl)X2(s),
G is isomorphic to G\ ® G . 2
193
194 ALGEBRA AND TILING
• Lr _l
m • · · •
3 r
• (_r 2
n
• Ln • Lro
n
is exact.
Y^CiXi{g) =Q
i=l
for all g e G, then CJ = 0, 1 < i < n, as follows. If there is a
nontrivial linear d e p e n d e n c e between s o m e of the characters, there
is o n e with the smallest n u m b e r of nonzero coefficients. A s s u m e
that
η
Σ ( !
ί»(ί) = ( 1
t=l
Formal Sums
a\Si + a 82
2 + ···+ a8.
n n
(^OiSi) + (Σ ) δ<β< =
^2(α, + bi)si.
197
198 ALGEBRA AND TILING
Cyclotomic Polynomials
F (x)
n = l[{x-u>),
x - l = Y[F (x).
n
d (1)
d\n
With the aid of (1) we can show by induction that each cyclotomic
polynomial has integer coefficients. (Moreover, it is irreducible
over Q, as most algebra texts prove.)
N o t e that for a prime p,
F (x)
p = 1 + χ + • • • + x- p 2
+ x ~\
p
199
200 ALGEBRA AND TILING
P=(p r/(p ) -
m n b
But p is in Ω
m
η and p n
is in il - m H e n c e Ω„,„ c Ω , „ Ω , and the
η
lemma follows. •
201
202 ALGEBRA AND TILING
335-337.
21. S. Szabo, Cube tilings as contributions of algebra to geometry,
Contributions to Algebra and Geometry 34 (1993), 63-75.
22. W. P. Thurston, Conway's tiling groups, Amer. Math. Monthly
97 (1990), 757-773.
23. S. Wagon, Fourteen proofs of a result about tiling a rectangle,
Amer. Math. Monthly 94 (1987), 601-617.
Supplement to the Bibliography
203
204 ALGEBRA AND TILING
205
206 ALGEBRA AND TILING
207
208 ALGEBRA AND TILING
packing 19 set
by crosses 97-99 centrally symmetric 12
η-packing (of a group) 89 closed 12
by semicrosses 88-97 convex 12
set (of a group) 89 star (also star body) 58
p-component (of finite abelian group) shift 87
74 simplicial dissection 109
p-dimension 74 spectrum 120
p-group 74 principal 120
p-part 180 Sperner's lemma 107, 109, 110
Pythagorean theorem 1 oriented version 130
splitting (of a group) 62, 67
quadratic form coset- 77
determinant of 8 and exact sequence 69, 70
positive definite 2 multipler set of 67
relation to lattice 5 nonsingular 70
purely singular 70
set 62,67
Redei's theorem 28, 156, 182
singular 70
for cyclic p-groups 160
star body 58
general 182
for p-groups 165, 176 tiling 19
for type (p,p) 173 integer 35
replacement principle fc-fold 29
first 158 lattice 35
second 169 Q- 35
third 170 Q-lattice- 35
fourth 180 rational 35
fifth 181 Z- 35
general 169 Z-lattice- 35
Riemann Hypothesis 31 translate (of a set) 11
root of unity 198 twin (cubes) 22
primitive 198 type (of a finite abelian group) 162
|Λ| 159
(A) 159
AB 168
Χ 193
X(A) 163
C(m) 67
<5(C) 86
S (C)
L 86
<Sf(C) 86
F(k) 62
3 101
G 193
lal 159
(g) 159
g(y) 180
ä(l/) 180
(m) 120
m(fc) 95
(mi,...,m ) t 162
Ωη 199
<£(n) 198
<3(α) 127
S(k) 62
S(AT) 120
Τ (a) 121
0(C) 86
0L(C) 86
91(C) 86