Substitution Tilings with Dense Tile Orientations and n-Fold Rotational Symmetry

# Substitution Tilings with Dense Tile Orientations and n−Fold Rotational Symmetry

## Abstract.

It is shown that there are primitive substitution tilings with dense tile orientations invariant under -fold rotation for . The proof for dense tile orientations uses a general result about irrationality of angles in certain parallelograms.

## 1. Introduction

From the discovery of Penrose tilings in the 70s [14] and of quasicrystals in the 80s [20] evolved a theory of aperiodic order. One main method to produce interesting patterns showing aperiodic order is a tile substitution. For a more precise description see below. The idea is illustrated in Figure 1: a tile substitution is a rule of how to enlarge a given prototile (or a set of several prototiles) and dissect it into congruent copies of the prototiles. The rule can be iterated to fill larger and larger regions of the plane.

Formally one considers a fixed point of the substitution: an infinite tiling of the plane invariant under the substitution rule. This fixed point yields the hull of the tiling: the closure of the image of , where is a group acting on (usually all translations in , or all rigid motions), and closure is taken with respect to the local topology. For details see below, for more details see for instance [3].

Several mathematical fields interact in the theory of aperiodic order. A lot of literature is dedicated to studying the topology of the hull of an aperiodic tiling. One way to do this is to compute its cohomology groups. For substitution tilings this can be done by the methods introduced in [2]. For the pinwheel tiling this was done in [4] and [9]. One problem for the pinwheel tiling is that the tiles occur in infinitely many different orientations. More precisely: the pinwheel tiling has dense tile orientations (DTO), i.e. the orientations of the tiles are dense in the circle. For the treatment of hulls of tilings with DTO in the context of dynamical systems see [8]. A further problem is that the hull of the pinwheel tiling contains six different tilings invariant under 2-fold rotation. These tilings correspond to cone singularities of the quotient of the hull by the circle. These give rise to a torsion part in the second cohomology group of the hull. In particular, tilings in the hull that are invariant under -fold rotation contribute a subgroup to , where denotes the cyclic group of order [4, Theorem 12]. In view of this problem Jean Savinien [17] asked in 2013 for which values of primitive substitution tilings with DTO can be invariant under -fold rotation. (For the definition of primitivity see below.) This question motivated this paper. Our main result is the following.

###### Theorem 1.

There are primitive substitution tilings with DTO that are invariant under rotation by for . These tilings are not mirror symmetric, hence they occur in pairs for each such .

Hence we have in the discussion above, and the contributions are not trivial. It is likely that the idea carries over to any , but since the proof is constructive (and the constructions become tedious for large ) we can deal only with the small cases here. The cases are considered in more detail in [7]. The case is treated in [18]. The case is known already to occur in pinwheel tilings.

This paper is organised as follows. Section 2 contains some basic definitions and facts on substitution tilings. Readers familiar with this topic may skip this section. In order to show that all tilings have DTO we need a result on the irrationality of certain angles. This is provided in Theorem 5 in Section 3. The construction of the substitution rules is given in Section 4. Theorem 1 is then a consequence of Propositions 6, 7, 8, and 9 in Section 4.

## 2. Basics

For the purpose of this paper a tile is a nonempty compact set which is the closure of its interior. A tiling of is a collection of tiles that is a covering (i.e. ) as well as a a packing (i.e. the intersection of the interiors of any two distinct tiles and is empty). A finite subset of is called a patch of . A tiling has finite local complexity with respect to rigid motions (FLC for short) if for any there are only finitely many pairwise non-congruent patches in fitting into a ball of radius . (In many other contexts one may replace “non-congruent” by “not translates of each other”, but here the first option is the appropriate one.)

A tiling is nonperiodic, if implies . In addition, is called aperiodic if each tiling in the hull of is nonperiodic. The hull of the tiling in is the closure of the set in the local topology. Usually one takes regarded as translations acting on , or the group of all rigid motions in . In our case it does not matter which one of the two we choose, see [8]. The local topology can be defined via a metric. In this metric two tilings are -close if they agree on a large ball of radius around the origin, possibly after a small motion (e.g. a translation by less than ). If arises from a primitive substitution one may as well speak of the hull of , since all tilings generated by define the same hull. See for instance [21, 16, 3, 13, 8] for more details.

A substitution rule is a simple method to generate nonperiodic tilings. A substitution rule consists of several prototiles , an inflation factor and for each a dissection of into congruent copies of some of the prototiles . The patch resulting from the dissection is denoted by . A substitution can be iterated on the resulting patch, by inflating the patch by and dissecting all tiles according to . Hence it makes sense to write or . A simple example is the substitution for the pinwheel tiling shown in Figure 1. This substitution uses just one prototile. The inflation factor is . One may as well formulate the pinwheel substitution for two prototiles: if we distinguish a tile and its mirror image then the pinwheel substitution has two prototiles and (where is the mirror image of ), the substitution is the mirror image of .

In certain instances we want to consider congruent tiles in as different. This is achieved by markings or colours. Two tiles are equivalent if they are congruent and have the same marking or colour. See Subsection 4.4 below for an example where we consider congruent prototiles as different (e.g. ), with a different substitution for each prototile.

Given a substitution with prototiles a patch of the form is called a supertile. More generally, a patch of the form is called a -th order supertile. A substitution rule is called primitive if there is such that each -th order supertile contains congruent copies of all prototiles.

Equivalently one may define primitivity of a substitution by an associated matrix. The substitution matrix of a substitution with prototiles is , where is the number of tiles equivalent to in , . The substitution is primitive if and only if its substitution matrix is primitive, which means that it has some power containing positive entries only. Primitivity is an important property for substitutions. One reason is the following result, the Perron-Frobenius theorem.

###### Theorem 2 ([15]).

Let be a primitive non-negative square matrix. Then has a real eigenvalue which is simple. Moreover, for any eigenvalue . This eigenvalue is called Perron-Frobenius-eigenvalue or PF-eigenvalue for short. Furthermore, the associated left and right eigenvectors of can be chosen to have positive entries. Such eigenvectors are called the left PF-eigenvector and right PF-eigenvector of .

Applied to a substitution tiling the Perron Frobenius theorem has the following consequences, see for instance [16, 3].

###### Theorem 3.

Let be a primitive substitution in with inflation factor and prototiles ; let be the substitution matrix of . Then the PF-eigenvalue of is . The left PF-eigenvector contains the areas of the different prototiles, up to scaling. The normalised right PF-eigenvector of contains the relative frequencies of the prototiles of the tiling in the following sense: The entry is the relative frequency of in .

## 3. An irrationality result

An angle is called irrational if . The pinwheel tilings have indeed DTO because of the fact that the second order supertile contains two congruent tiles which are rotated against each other by an irrational angle (see Figure 1 right, the two tiles are marked by dots). The angle here is . It is known that for odd [1]. Hence is irrational. By induction the entire tiling contains tiles that are rotated against each other by for all . Since is irrational these values are dense in a circle. More generally we have the following result:

###### Theorem 4 ([5, Proposition 3.4]).

Let be a primitive substitution in with prototiles . Any substitution tiling in the hull of has DTO if and only if there are such that contains two equivalent tiles and that are rotated against each other by some irrational angle.

Hence the desired substitutions need to involve some irrational angles. The following result provides such angles. The authors believe that this result must be known already, but we are not aware of any reference.

###### Theorem 5.

Let be a parallelogram with edge lengths 1 and 2 and interior angles and , . Then the angles between the longer diagonal of and the edges of are irrational.

###### Proof.

Embed in the complex plane such that the lower left corner of coincides with the origin and the lower base lies along the real axis as shown in Figure 2. So the upper left corner of coincides with the point and the upper right corner coincides with the point . Let be the angle between the long diagonal of and the -axis, see Figure 2 left. We will show that is irrational.

Suppose is rational. Then there is such that , which yields

 (z|z|)m=±1⇒(z|z|)2m=1⇔(z2z¯¯¯z)m=1⇔(z¯¯¯z)m=1,

hence is some -th root of unity.

Because we have . It is known (compare [23, Exercise 2.3]) that roots of unity in are of the form , . Hence for some . Then , and so if is even, and if is odd.

For even consider a second parallelogram with vertices (compare Figure 2 middle). Since is the angle between 1 and the diagonal of we get , yielding a contradiction for even.

For odd consider a third parallelogram with vertices , where is the length of the long diagonal of (compare Figure 2 right). The angle between the long diagonal of and the real axis is . Since we obtain . Together with the reasoning above we get , yielding a contradiction for odd. Therefore is irrational. ∎

## 4. Construction of the substitution tilings

The general idea for the substitutions is to choose one prototile as a bisected parallelogram from Theorem 5. To be more precise, for odd the prototile is the triangle with interior angle where the two edges forming this angle have length one and two, respectively. For even the prototile is the triangle with interior angle where the two edges forming this angle have length one and two, respectively. By Theorem 5 the other two angles of this triangle are irrational for any . A short computation yields the length of the longest edge as follows:

 λn=⎧⎪ ⎪⎨⎪ ⎪⎩√5+4cos(2πn)if n is odd√5+4cos(2πn)if n is even.

Let be the inflation factor for the desired substitutions in the sequel. A regular -gon of side length can be dissected into copies of (along its edges), one regular -gon with unit edge length (in its centre), and, if , into several parallelograms. This dissection is illustrated in Figure 3 for the cases .

In order to construct the desired substitution tilings with DTO being invariant under -fold rotation one chooses a first prototile to be a regular -gon of unit edge length. The substitution of is then given by the dissection in Figure 3. Therefore the inflation factor equals . If one can find a substitution for all further prototiles arising in this dissection these substitutions are good candidates for DTO tilings since by Theorem 5 the central -gon of edge length 1 is rotated against the big -gon by an irrational angle. Furthermore—given a substitution exists for some —the dissection of already provides a tiling invariant under -fold rotation (given a substitution for all tiles exists at all) since it may serve as a seed for a fixed point of with in the centre. (To be precise, one needs to define including a rotational part in order to take care of the different orientations of the large and the small regular -gons.)

### 4.1. The 3-fold and 4-fold tilings

The substitutions for need only two prototiles. Two possible substitutions and are shown in Figure 4.

###### Proposition 6.

For holds: The substitution is a primitive substitution with DTO. The hull of contains two aperiodic tilings invariant under -fold rotation. Any tiling in the hull of is FLC with respect to rigid motions.

###### Proof.

Obviously the substitutions are primitive, the substitution matrices are and .

Theorems 5 and 4 imply that the tilings have DTO as follows. Let denote the smallest interior angle of . Figure 5 shows the situation for : the grey shaded tile on the boundary of is rotated by against the grey shaded tile in the centre. Since is irrational by Theorem 5, DTO of the tiling in the hull of follows by Theorem 4. This phenomenon appears in all substitutions considered here and in the sequel: copies of are lined up along the boundary of . Mirror images of are lined up along the boundary of (since they are mirror images Theorem 4 does not apply here already), and rotated copies of are lined up along the boundary of . The boundaries of and are rotated against each other by , thus the triangles are rotated against each other by .

In order to show that the tilings are aperiodic it suffices to show that the substitution has a unique inverse on the hull [10, Theorem 10.1.1], see also [22, 3]. In the cases this is particularly simple: For note that each isolated regular triangle is contained in a supertile , hence the supertiles can all be identified uniquely. The remaining part of the tiling consists of supertiles , and the patches of four connected determine the exact location and orientation of these supertiles. A similar reasoning works for .

Let denote the rotation about the origin through . Let be centred in the origin. Then contains in its interior. Consequently, contains in its interior. (Figure 5 shows for .) Hence is a nested sequence that converges in the local topology. Note that the local topology is usually defined for tilings, not for finite patches. Hence here we need to extend the usual definition to patches, too, which is straightforward. (Alternatively, one may extend the finite patches to tilings by adding tiles. This does not change anything since we are only interested in the central patches.) The limit is a tiling that is fixed under . Since the tilings in the hull have DTO the hull is invariant under rotations. Thus the patches are legal in the sense that they are contained in tilings in the hull. Hence is indeed contained in the hull. Since mirror images of all tiles occur also in all tilings in the hull, the mirror image of is also contained in the hull, yielding a second tiling invariant under -fold rotation.

We sketch why the tilings have FLC with respect to rigid motions. The simplest way to see this is to introduce an additional (pseudo-)vertex at the midpoint of the edge of length 2 in . Taking into account this pseudo-vertex the tilings are vertex-to-vertex. A standard argument implies that the tilings are FLC. (There are finitely many ways how two tiles can touch each other, hence there are only finitely many possible patches fitting into a ball of radius . A complete proof of FLC would need a list of all possible ways that two tiles can touch each other, e.g. a list of all vertex stars. Such a list is contained in [7] for . More details appear in [18].) ∎

### 4.2. The 6-fold tiling

For we get the inflation factor . The substitution is shown in Figure 6. We need to introduce an additional tile in order to ensure primitivity: can be dissected into congruent copies of and , but then would not occur in any of the supertiles of and , hence the substitution would not be primitive.

The substitution has the substitution matrix

 Mσ6=⎛⎜ ⎜ ⎜⎝100665002440130010⎞⎟ ⎟ ⎟⎠,

which is primitive because contains only positive entries for all . The corresponding PF-eigenvalue of is with left PF-eigenvector and normalised right PF-eigenvector . By Theorem 3 the left PF-eigenvector contains the areas of the tiles up to scaling, and the normalised right PF-eigenvector contains the relative frequencies of the tiles. The latter can serve as a starting point for computing the frequency module of the tilings. See [7] for the computation of the frequency module of by these means.

###### Proposition 7.

The substitution is a primitive substitution with DTO. The hull contains two aperiodic tilings invariant under 6-fold rotation. Any tiling in the hull of is FLC with respect to rigid motions.

###### Proof.

The proofs of DTO, FLC and the existence of a tiling invariant under 6-fold rotation are very much along the lines in the proof of Proposition 6. Aperiodicity of the tilings can be proven similarly by identifying the first order supertiles uniquely: the tile occurs only as the supertile . A patch of six connected hexagons occurs only in the supertile . All remaining hexagons determine the supertiles . All remaining supertiles are . For more thorough proofs see [18]. ∎

### 4.3. The 8-fold tiling

For we get the inflation factor . The substitution rule is shown in Figure 7. Since and cannot be dissected into copies of the prototiles we need to introduce intermediate tiles and in order to define a substitution rule. Note that we need to define an orientation on the tiles in order to distinguish a tile from its mirror image. This is not indicated in the figure. There are several possibilities to do so. One possibility is letting all tiles in figure have the same orientation. The only point where this really matters is that the tile in has the same orientation as the prototile in order to ensure DTO.

###### Proposition 8.

The substitution is a primitive substitution with DTO. The hull contains two aperiodic tilings invariant under 8-fold rotation.

###### Proof.

Again the proofs of DTO and the existence of a tiling invariant under 8-fold rotation are very much along the lines in the proof of Proposition 6. Aperiodicity of the tilings can be proven similarly as above by identifying the first order supertiles uniquely. More details appear in [18]. The primitivity can be checked via the substitution matrix

 Mσ8=⎛⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜⎝100024850000324002524160001217001000000100⎞⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟⎠.

has only positive entries. ∎

We suppose that the tilings in the hull of have also FLC. But since the tilings—with or without pseudo-vertices—are not vertex-to-vertex (this can be seen in for instance) a rigorous proof will be rather lengthy. For details we refer to [18].

### 4.4. The 5-fold tiling

It is possible to define the desired substitution for using just six prototiles. However the tilings may not have FLC. In order to ensure FLC we define a substitution with 12 prototiles. The inflation factor is . The substitution rule is shown in Figure 8.

###### Proposition 9.

The substitution is a primitive substitution with DTO. The hull contains two aperiodic tilings invariant under 5-fold rotation. Any tiling in the hull of is FLC with respect to rigid motions.

###### Proof.

As before the proofs of DTO and the existence of a tiling invariant under 5-fold rotation are along the lines of the proof of Proposition 6. FLC follows from the fact that coincident edges have the same orientation and that edges of the same length are dissected in the same manner under . Aperiodicity of the tilings can be proven similarly by identifying the first order supertiles uniquely. More details appear in [18]. Primitivity of can be checked by considering the substitution matrix below. Since contains only positive entries the substitution is primitive. ∎

The substitution matrix for looks as follows.

 Mσ5=⎛⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜⎝10000002643153000000000000000001891051150000002186121540000081825980200000126791102000001012131717001000000000000100000000000010000000000001000000000000100000⎞⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟⎠.

The powers of , the PF-eigenvalue and the PF-eigenvectors have been computed with the computer algebra software (CAS) Scientific Workplace 5.5 [19]. The PF-eigenvalue is which equals , as it ought to, and its corresponding left PF-eigenvector and normalised right PF-eigenvector are respectively given by

 w=⎛⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜⎝1562+1362√51231−231√5162+562√5162+562√5162+562√516+√516+√51+√521+√521+√5211⎞⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟⎠T    and      v=⎛⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜ ⎜⎝2640247257109180718845√5−23328953721836143769227179736421836143769√5−417514483521836143769−69639647193349378300304√5+200370426489349378300304−2813796447071746891501520√5+1646597604073493783003041667913984321836143769√5−3107502899721836143769−208504378761873445750760√5+113488825221174689150152−214190232831873445750760√5+126605432787174689150152−19942203537349378300304√5+50013574029349378300304−810186022671746891501520√5+40946393779349378300304423064090521836143769√5−870470558721836143769−58660335441873445750760√5+28691526777174689150152−61876405191873445750760√5+31413639663174689150152⎞⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟ ⎟⎠

Again the left PF-eigenvector contains the areas of the tiles up to scaling, and the right PF-eigenvector contains the relative frequencies of the tiles.

## 5. Conclusion

We were not able to define a general substitution rule for all , or at least for all even . Anyway, there is a general pattern for dissecting () into five copies of and four further triangles, and for dissecting into one copy of , copies of and several parallelograms. Hence it is likely that there are substitution tilings with DTO invariant under -fold rotation for all . This might be also of interest with respect to a comment in [12]: “…there is a lack of known examples of aperiodic planar tiling families with higher orders of rotational symmetry.”. That paper contains “the first substitution tiling with elevenfold symmetry appearing in the literature”. Our method might yield further primitive substitution tilings with 11-fold and also 12-fold rotational symmetry (though the number of prototiles might be huge). Nevertheless, after submission of this paper we became aware of the work of Kari and Rissanen [11] containing substitution tilings with -fold symmetry for arbitrary .

The proof of Theorem 5 on irrational angles in cyclotomic parallelograms uses the fact that the considered irrational angle is smaller than . Hence the result generalises immediately to the long diagonals of parallelograms with interior angle and with edge lengths rather than 2 and 1. Using other arguments it might be possible to show the irrationality of other angles as well, e.g. the angle of the short diagonal.

For the sake of briefness we did not mention further implications of our constructions in the context of dynamical properties of the hull. Just to mention a few: the fact that a tiling has FLC ensures the compactness of the hull of . Due to primitivity of all tilings in the hull of are repetitive, hence (1) all tilings have uniform patch frequencies, and (2) the hull is minimal. As a consequence we obtain: If we denote the hull of by then the dynamical systems and (where denotes the rigid motions in ) are both uniquely ergodic. For more details on these concepts see [21, 3, 8].

## Acknowledgements

The authors express their gratitude to Franz Gähler, Lorenzo Sadun and Mike Whittaker for helpful discussions. M. De Las Peñas acknowledges the support of the German Academic Exchange Service (DAAD) (research stay programme). A. Say-awen gives thanks to the Philippine Department of Science and Technology (DOST) (DOSTâASTHRDP scholarship).

### References

1. M. Aigner, Ziegler, G.M. Proofs from THE BOOK, (5th ed.) Springer, Heidelberg Berlin (2004).
2. J. Anderson, I.F. Putnam: Topological invariants for substitution tilings and their C*-algebras, Ergodic Th. and Dynam. Sys. 18 (1998) 509-537.
3. M. Baake, U. Grimm: Aperiodic Order. A Mathematical Invitation, Cambridge University Press (2013).
4. M. Barge, B. Diamond, J. Hunton, L. Sadun: Cohomology of substitution tiling spaces, Ergodic Th. and Dynam. Sys. 30 (2010) 1607-1627.
5. D. Frettlöh: Substitution tilings with statistical circular symmetry, Eur. J. Comb. 29 (2008) 1881-1893.
6. D. Frettlöh, F. Gähler, E.O. Harriss: Tilings Encyclopedia. Available online at: http://tilings.math.uni-bielefeld.de.
7. D. Frettlöh, H. Oyono-Oyono, J. Savinien, A.L.D. Say-awen: in preparation.
8. D. Frettlöh, C. Richard: Dynamical properties of almost repetitive Delone sets, Discr. Cont. Dyn. Syst. 34 (2014) 533-558.
9. D. Frettlöh, B. Whitehead, M. Whittaker: Cohomology of the Pinwheel Tiling, J. Austr. Math. Soc. 97 (2014) 162-179.
10. B. Grünbaum, G.C. Shephard: Tilings and Patterns, Freeman, New York (1986).
11. J. Kari, M. Rissanen: Sub Rosa, a system of quasiperiodic rhombic substitution tilings with n-fold rotational symmetry, Discr. Comput. Geom. (2016) in press.
12. G.R. Maloney: On substitution tilings of the plane with n-fold rotational symmetry. Discr. Math. and Theor. Comp. Sci. 17 (2015) 395-412.
13. P. Müller, C. Richard: Ergodic properties of randomly coloured point sets, Canad. J. Math. 65 (2013) 349-402.
14. R. Penrose: Pentaplexity, Eureka 39 (1978) 16-32; reprinted in Math. Intell. 2 (1979/80) 32-37.
15. O. Perron: Zur Theorie der Matrices, Math. Ann. 64 (1907) 248-263.
16. N. Pytheas Fogg: Substitutions in Dynamics, Arithmetics and Combinatorics, Lecture Notes in Mathematics 1794, Springer, Berlin (2002).
17. Jean Savinien, private communication.
18. A.L.D. Say-awen, PhD thesis, in preparation.
19. Scientific Workplace. Version 5.5; http://www.mackichan.com/products/swp.html
20. D. Schechtman, I. Blech, D. Gratias, J.W. Cahn: Metallic Phase with long-range orientational order and no translational symmetry, Phys. Rev. Lett. 53 (1984) 1951-1953.
21. B. Solomyak: Dynamics of self-similar tilings, Ergodic Th. and Dynam. Sys. 17 (1997) 695-738.
22. B. Solomyak: Nonperiodicity implies unique composition for self-similar translationally finite tilings, Discrete Comput. Geom. 20 (1998) 265-279.
23. L.C. Washington: Introduction to Cyclotomic Fields, (2nd ed.) Springer, New York (1997).
You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters