Advances in Pure Mathematics
Vol.05 No.04(2015), Article ID:54898,11 pages
10.4236/apm.2015.54021
Crystallography in the Spaces E2, E3, E4, E5, ・・・ N˚II Isomorphism Classes and Study of Five Crystal Families of Space E5
R. Veysseyre1*, D. Weigel1, T. Phan1, H. Veysseyre2
1Laboratoire Mathématiques appliquées aux Systèmes, Ecole Centrale Paris, Paris, France
2Institut Supérieur de Mécanique de Paris, Paris, France
Email: *renee.veysseyre@normalesup.org
Copyright © 2015 by authors and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/



Received 19 February 2015; accepted 12 March 2015; published 23 March 2015
ABSTRACT
In the paper N˚II, we describe some isomorphism classes and we apply their properties to the study of five crystal families of space E5. The names of these families are the following ones (monoclinic di iso squares)-al, decadic-al, (monoclinic di iso hexagons)-al, (rhombotopic
)-al and rhombotopic
. The meaning of these names will be given in Paragraphs 5 and 6 with some geometric properties of their cell.
Keywords:
Crystal Families of Space E5, Names, Point Groups of the Families, Rhombotopic Crystal Families

1. Introduction
Besides the study of the isomorphism classes and in order to complete the study of the crystal families of space E5, five families are studied in this paper:
1) The crystal families N˚XXIII (monoclinic di iso squares)-al, N˚XXIV decadic-al and N˚XXV (monoclinic di iso hexagons)-al. The suffix “al” means that the family cell in space E5 is a right hyper prism based on a cell of space E4. The WPV holohedry symbols are ([8] 2 2)
m, group of order 32 for the family N˚XXIII, ([10] 2 2)
m, group of order 40 for the family N˚XXIV and ([12] 2 2)
m, and group of order 48 for the family N˚XXV. These families have 7, 12, and 7 crystallographic (cr) point groups respectively. We remark that the WPV symbol of the holohedry of these families contains double rotations of order 8, 10 and 12 (Paragraphs 2, 3 and 4).
2) The crystal families N˚XXX (rhombotopic
)-al and N˚XXXII rhombotopic
. The meaning of these names will be given in Paragraphs 5 and 6. The family N˚XXX splits in two sub-families:
the centred family N˚XXXa with group
of order 240 for holohedry and 8 cr point groups; the
primitive family N˚XXX with group
of order 480 for holohedry and 15 cr point groups.
The WPV holohedry symbol of family N˚XXXII is
of order 1440 and this family has 10
cr point groups. Some cr point groups of the family N˚XXX are obtained from those of the rhombotopic
family of space E4 while all the 10 cr point groups of the family N˚XXXII belong to space E5. Moreover, this family is one of the irreducible families of space E5 [1] .
The mark “×” means direct product.
To end the study of the crystal families of space E5, the crystal families (hypercube 4 dim.)-al (N˚XXVIII), (di iso hexagons)-al (N˚XXIX) and hypercube 5 dim. N˚XXXI will be described in the next paper.
The results about the cr point groups are obtained from our Scientific Software SS E5 (explanations are given paper N˚1).
2. (Monoclinic di iso Squares)-al Crystal Family. Point Groups. Isomorphism Classes
2.1. Recall
Let be denoted
, the 5 vectors of a basis of space E5. The metric tensor of the quadratic form defining a cell is a symmetric tensor with the scalar products
.
as elements
.
2.2. Cell of the (Monoclinic di iso Squares)-al Crystal Family (N˚ XXIII)
The cell of the “(monoclinic di iso squares)-al” family is a right hyper prism, generalization of the right prism of space E3. The word “al” is the abbreviation of the adjective orthogonal”.
The metric tensor of the quadratic form defining the cell of this family is as follows (matrix N˚1):
Matrix N˚1 associated with the cell of the (monoclinic di iso squares)-al family
Caption
As the name suggests, this cell is a right hyper prism which basis is built from two equal squares in space E4. These two squares are built in the planes defined by the axes 



The angles between the axes 








2.3. Crystallographic Point Groups of the (Monoclinic di iso Squares)-al Family
The WPV symbols of all cr (cr for crystallographic) point groups of the family (monoclinic di iso squares)-al
contain groups 


characteristic property of the cr point groups of this family. We recall that [8] is the WPV symbol of the cyclic group generated by the double rotation through angles 




In the same way, 




8587mu, 4341, 8785mu, 1, where u is the unit vector of the axis e5 orthogonal to space E4.
Group 


one acts into a space of dimension 9 = 4 + 5 and belongs to the crystal family “(monoclinic di iso squares) decaclinic”.
Table 1 lists the seven cr point groups of family XXIII which belong to four isomorphism classes, C8, D8, C8 × C2, D8 × C2, D8 is the dihedral group of order 16 (see Annex, paper N˚I).
Remark
WPV symbols


to Hermann-Mauguin symbols 4 mm, 422, 
3. (Monoclinic di iso Hexagons)-al Crystal Family. Point Groups. Isomorphism Classes
3.1. Cell of the (Monoclinic di iso Hexagons)-al Crystal Family (N˚XXV)
Family N˚XXV, (monoclinic di iso hexagons)-al, presents great similarities with family N˚XXIII (monoclinic di iso squares)-al. The metric tensor of the quadratic form defining the cell of this family is as follows (matrix N˚2):
Matrix N˚2 associated with the cell of the (monoclinic di iso hexagons)-al family in space E5
Caption:
The cell of this family is a righthyper prism which basis in space E4 is built from two equal hexagons into the planes defined by the axes 

Table 1. Crystallographic point groups of (monoclinic di iso squares)-al family of space E5.
Table caption: First column: Symbols of the isomorphism classes. Second column: Order classes. Third column: WPV symbol of the point groups of the (monoclinic di iso squares)-al family in space E4. Fourth column: WPV symbol of the point groups of the (monoclinic di iso squares)-al family in space E5. Fifth column: Lists of the elements of the isomorphism classes denoted arrangement. SS E5 gives this information.
why the word “monoclinic” appears in the family name. One of the two length parameters is the length 

3.2. Crystallographic Point Groups of the (Monoclinic di iso Hexagons)-al Crystal Family
All WPV point group symbols of this family contain the group [12] or 
one or two binary groups such as m, 2,
We recall that [12] is the WPV symbol of the cyclic group of order 12, isomorphic to group C12. It is generated by the double rotation 121125 through angles 2π/12 and 5 × 2π/12, each of these rotations 121 and 125 takes place into the planes 

3132, 125121, 

symbol of the cyclic group of order 12 generated by the symmetry operation 
ments of the group 

125121mu, 1.
Group 


Table 2 lists the seven cr point groups of family N˚XXV, these groups belong to four isomorphism classes C12, D12, C12 × C2, D12 × C2 (D12 is the dihedral group of order 24).
Remark
WPV symbols


similar to Hermann-Mauguin symbols 4 mm, 422, 
4. Decadic-al Crystal Family. Point Groups. Isomorphism Classes 6
4.1. Cell of the Decadic-al Crystal Family (N˚ XXIV)
The word “decadic” means that double rotations of order 10 belong to several cr point groups of this family.
The cell of the decadic-al family is a right hyper prism, the basis of which is a particular parallelotope of space E4. The faces of this cell are equal lozenges in planes 



Table 2. Crystallographic point groups of (monoclinic di iso hexagons)-al family.
Table caption: First column: Symbols of the isomorphism classes. Second column: Order of these classes. Third column: WPV symbol of the point groups of the (monoclinic di iso hexagons)-al family in space E4. Fourth column: WPV symbol of the point groups of the (monoclinic di iso hexagons)-al family in space E5. Fifth column: Lists of the elements of the isomorphism classes. SS E5 gives this information.
Matrix N˚3 associated with the cell of the (monoclinic di iso hexagons)-al family
Caption:
This metric tensor depends on three parameters of length a, b and c; the parameter 


Family N˚XXIV splits in two sub-families, the centred sub-family N˚XXIVa and the primitive sub-family N˚XXIV.
4.2. Crystallographic Point Groups of the Two Decadic-al Crystal Sub-Families
All the WPV point group symbols of these two families contain groups 

group [10] (family N˚XXIV) either alone or as product with a binary group such as 2, 
teristic property of the cr point groups of these families. Symbols


[8] and 


The five cr point groups of the sub-family N˚XXIVa belong to four isomorphism classes C5, D5, C10 = C5 × C2, D10 = D5 × C2 and the seven cr point groups of the sub-family N˚XXIV belong to four isomorphism classes C10, D10, C10 × C2, D10 × C2. Groups D5 and D10 are dihedral groups of orders 10 and 20. Table 3 gives the list of the point groups of the decadic-al sub-families. Only groups of centred sub-family XXIVa are pointed out.
Remarks
・ One group of class C10 belongs to the centred sub-family and two to the primitive sub-family.
・ 
elements are 101103mu, 5153, 103109mu, 5251, 

Table 3. Crystallographic point groups of the two decadic-al sub-families.
Table caption: First column: Symbol of the isomorphism classes. Second column: Order of these classes. Third column: WPV symbols of the point groups of the decadic-al family in space E4. Fourth column: WPV symbols of the point groups of the decadic-al family in space E5. Fifth column: Lists of the symmetry elements with their number of every isomorphism class.
Matrix N˚4 associated with the double rotation 101103
It is possible to calculate the roots of the characteristic polynomial of the matrix 







The coefficients which define the planes are
For all the symmetry operations of the group, we repeat the same process. For instance, the double rotation [5] is generated by the element 5153 which is described by the matrix
Matrix N˚5 associated with the double rotation 5153
The eigenvalues are numbers 

5. (Rhombotopic
The crystal family N˚XXX splits into two sub-families, one primitive sub-family N˚XXX, one centred sub-family N˚XXXa. This family is a particular case of the (rhombotopic
5.1. Generalities about the (Rhombotopic
The cell of the (rhombotopic





Matrix N˚6 associated with the cell of the (rhombotopic
Caption:
5.1.1. Description of Some Simplexes
A simplex is the generalization of a triangle. Any set of 

A regular simplex is not a crystal cell in (E3). To obtain a crystal cell, we must add a second regular simplex symmetrical to the previous one at the centre of the initial cell and so the lattice of the crystal (rhombotopic
Some additional properties are given in the Annex.
5.1.2. Point Groups of the Simplexes and of the (Rhombotopic
Now, it is easy to find the WPV point groups of some regular simplexes and the holohedries of the associated crystallographic family together with its order. Table 4 gives point groups of some simplexes and of some rhombotopic crystal families.
[7] is the abridged WPV symbol of a cyclic group of order 7 generated by the triple rotation of space E6,
5.2. Primitive (Rhombotopic
The cell of the primitive (rhombotopic

The metric tensor of the quadratic form of the primitive family N˚XXX is as follows (matrix N˚7):
Matrix N˚7 associated with the cell of the (rhombotopic
Caption:
This metric tensor depends on two parameters of length a and c.
Table 4. Crystallographic point groups of some regular simplexes and of the (rhombotopic
Table caption: First column: WPV point group symbols of simplexes. Second column: Order of these point groups. Third column: Space of these simplexes. Fourth column: WPV symbol holohedries of the (rhombotopic
5.3. Isomorphism Classes of the Two Sub-Families (Rhombotopic
The isomorphism classes have point groups belonging to the two sub-families N˚XXXa and N˚XXX so that it is useful to gather them, only groups of sub-family N˚XXXa are pointed out. To sum up, the eight cr point groupsof sub-family N˚XXXa and the five teen cr point groups of sub-family N˚XXX belong to nine isomorphism classes. Table 5 gives all this results.
Remarks
・ In the isomorphism class S5 × C2, only one group, [10] × (42 3 2), is a positive point group, two groups are of the type g4
・ The list of symmetry operations of all cr point groups of space E5 established by Veysseyre [4] gives ten mirrors to the group





・ Groups (42 3 2) and 

Table 5. Crystallographic point groups of the two (rhombotopic
Table caption: First column: Symbols of the isomorphism classes and these orders. Second column: Lists of the symmetry elements with their number of every isomorphism class. Third column WPV symbols of the point groups of the (rhombotopic

6. Rhombotopic 
This family (N˚XXXII) is a particular case of the families studied Paragraph 5-1. The metric tensor of the quadratic form of family XXXII is as follows (Matrix N˚8):
Matrix N˚8 associated with the cell of the rhombotopic 
Caption:
The ten point groups of the irreductible family N˚XXXII are listed Table 6, they act in five-dimensional space and they belong to eight isomorphism classes.
7. Conclusions
Thanks to the geometric approach, thanks to the study of the isomorphism classes of cr point groups in spaces E2, E3, E4 and E5 and thanks to the Hermann-Mauguin or WPV symbols, we prove that substitutions groups, cr point groups, molecular or polytope symmetry groups are strongly correlated. Cayley’s theorem anticipates this property. Let us verify these properties through Table 7 and Table 8.
Table 7 lists some cr point groups isomorphic to mathematic groups Cn and Dn, from 

・ [7] is the symbol of a cyclic group of order 7, in space E6. It is generated by the triple rotation 717273 through angles 2π/7, 2 × 2π/7 and 3 × 2π/7; each of these rotations 71, 72 and 73 takes place into the planes


・ [9] is the symbol of a cyclic group of order 9, in space E6. It is generated by the triple rotation 919294 through angles 2π/9, 2 × 2π/9 and 4 × 2π/9; each of these rotations 91, 92 and 94 takes place into the planes


Table 6. Crystallographic point groups of the rhombotopic 
Table caption: First column: Symbols of the isomorphism classes. Second column: Orders of these classes. Third column: WPV symbols of the cr point groups of the rhombotopic 
Table 7. Examples of crystallographic point groups isomorphic to mathematic groups Cn and Dn
Table caption: First column and fourth column: Symbols of the isomorphism classes. Second column and fifth column: WPV symbols of the point groups. Third column: Generators of the point groups. Sixth column: Family names.
Table 8. Crystallographic point groups isomorphicto mathematic groups D4, D8, D5 and D10 of spaces E4 and E5.
Table caption: First column: Symbols of the isomorphism classes. Second column: Lists of the symmetry elements with their number of every isomorphism class. Third column: WPV symbols of the dihedralpoint groups in space E4. Fourth column: WPV symbols of the dihedral cr point groups in space E5. Fifth column: Names of the crystal families.
・ [11] is the symbol of a cyclic group of order 11, in space E8. It is generated by a «quadruple» rotation 111112113114 through angles 2π/11, 2 × 2π/11, 3 × 2π/11 and 4 × 2π/11; each of these rotations 111, 112, 113 and 114 takes place into the planes



In the same way, [13] is the symbol of a cyclic group of order 13, in space E8. It is generated by a «quadruple» rotation 131132133134 through angles 2π/13, 2 × 2π/13, 3 × 2π/13 and 4 × 2π/13. The elements of this group are obtained as previously.
Table 8 gives the list of the cr point groups of the isomorphism classes D8, D12, D5 and D10 of the spaces E4 and E5.
If you like mathematic crystallography, it is easy to prove and to generalize these results to space En whatever the dimension of space is.
References
- Veysseyre, R., Weigel, D. and Phan, T. (1993) Crystallography, Geometry and Physics in Higher Dimensions. XI. A New Geometrical Method for Systematic Construction of the n-Dimensional Crystal Families: Reducible and Irreducible Crystal Families. Acta Crystallographica Section A, 49, 481-486. http://dx.doi.org/10.1107/S0108767392011024
- Phan, T., Veysseyre, R. and Weigel, D. (1988) Crystallography, Geometry and Physics in Higher Dimensions. IV. Crystallographic Cells and Polytopes or “Molecules” of Four-Dimensional Space E4. Acta Crystallographica Section A, 44, 627-637. http://dx.doi.org/10.1107/S0108767388003009
- Coxeter, H.S.M. (1973) Regular Polytopes. Dover, New York.
- Veysseyre, R. and Veysseyre, H. (2002) Crystallographic Point Groups of Five-Dimensional Space 1. Their Elements and Their Subgroups. Acta Crystallographica Section A, 58, 429-433.
- Weigel, D., Phan T. and Veysseyre, R. (2008) Crystal Families and Systems in Higher Dimensions, and Geometrical Symbols of Their Point Groups. II Cubic Families in Five and n-Dimensional Spaces. Acta Crystallographica Section A, 64, 687-697.
- Janssen, T., Birman, J.L., Koptsik, V.A., Senechal, M., Weigel, D., Yamamoto, A., Abrahams, S.C. and Hahn, T. (1999) Symmetry Elements in Space Groups and Point Groups. Acta Crystallographica Section A, 55, 761-782.
Annex
Some Additional Results about the Symmetry of the Polyhedrons, Molecules, Holohedries of the Crystal Families in Spaces E2, E3, E4, E5, ・・・
The definition of the simplexes with their properties has been given Paragraph 5-1.
Crystal family segment in space E1: the holohedry m is a realization of mathematic group S2 or D2 with the list of element 1(2), in the set of the two cr point groups in E1 (1, m). This symbol means that the segment is bounded by two points. The mirror, a point, is the middle of the segment.
Crystal family hexagon in space E2: the hemihedry 3 m is a realization of the mathematic group D3 of order 6 with the list of elements 2(3) 3(2), in the set of the ten cr point groups of space E2. This symbol means that the equilateral triangle is bounded by three equal segments. As an example, we can cite the chemisorbed (in a mono molecular layer) molecule BF3.
The holohedry 3 m × 2 = 6 mm of order 12 is a realization of the mathematic group D3 × C2, with the list of elements 2(6) 2(3) 7(2). This symbol means that the regular hexagon in space E2 is bounded by six equal segments. As example, we can cite the chemisorbed benzene molecule C6H6.
Crystal family cubic in space E3: the hemihedry 



The holohedry 
Crystal family rhombotopic 

point groups of space E4. The holohedry WPV symbol 
mathematic group S5 × C2 of order 240, with the list of elements 24(10) 24(5) 60(6) 60(4) 20(3) 51(2) in the set of the 227 cr point groups of space E4. This symbol means that the cell of this family, in space E4, is bounded by ten regular tetrahedrons.
Crystal family rhombotopic 

955 cr point groups of space E5. The holohedry 
mathematic group S6 × C2 of order 1440, with the list of elements 144(10) 144(5) 560(6) 360(4) 80(3) 151(2) among the set of the point groups of space E5. The holohedry symbol means that the cell of this family is bounded by twelve regular rhombotopes of space E4.
NOTES
*Corresponding author.



















