home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11016 next >
Encoding:
Text File  |  1992-09-07  |  3.6 KB  |  97 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!gatech!darwin.sura.net!Sirius.dfn.de!math.fu-berlin.de!informatik.tu-muenchen.de!regent!greil
  3. From: greil@guug.de (Anton Greil)
  4. Subject: Gauss Numbers: how to generate them ?
  5. Message-ID: <greil.715641606@guug.de>
  6. Keywords: modular group, Picard group, Moebius transformation, hyperbolic space
  7. Sender: news@regent.e-technik.tu-muenchen.de (News System)
  8. Organization: Technical University of Munich, Germany
  9. Date: Fri, 4 Sep 1992 21:20:06 GMT
  10. Lines: 85
  11.  
  12.  
  13.  
  14. I suppose, that the following problem is already solved, perhaps in another
  15. context. I'm not a professional researcher, but only fascinated by the question.
  16.  
  17. Background:
  18. ----------
  19. The Modular Group acts discontinously on the hyperbolic plane, thus
  20. creating a tesselation of this space. In the boundary of the hyperbolic
  21. plane - for the half space model this is the completed real axis - all 
  22. the rational numbers are created by the tessalation.
  23.  
  24. On this ground a process can be organized, which generates each positive
  25. rational number exactly once. 
  26. This beautiful procedure is named "Stern-Brocot tree" in
  27.      R.L. Graham, D.E. Knuth, O. Patashnik: "Concrete Mathematics",
  28.      Reading Mass. 1989, p.116-123, p.291-292.
  29. and it is demonstrated there by elementary means.
  30.  
  31. The homogeneous binary tree of Stern-Brocot corresponds to the free semigroup
  32. of rank two, where the free generators are two Moebius transformations t1, t2,
  33. represented by the matrices
  34.  
  35.   m1:  (1  1)       m2:  (1  0)
  36.        (0  1)            (1  1) .
  37.  
  38. Then each Moebius transformation from the generated semigroup maps the
  39. number 1 to a different positive rational number; and each positive rational
  40. number is obtained in this way (bijection).
  41.  
  42.  
  43. Foreground:
  44. ----------
  45. The Picard Group acts discontinously on the hyperbolic three-space, it is a
  46. natural generalization of the Modular Group and it contains the Mod. Group.
  47. Most works in a strong analogy: on the boundary of hyperbolic three-space
  48. the Gauss numbers (as quotients of integer Gauss numbers) are created now
  49. by the tessalation of the Picard Group. This analogy is discussed intensively
  50. already in
  51.     R. Fricke, F. Klein: "Vorlesungen ueber die Theorie der automorphen
  52.     Funktionen", Leipzig 1897, Vol.1, p. 76-93.
  53.  
  54. Another reference is
  55.     W. Magnus, "Noneuclidean Tesselations and Their Groups", New York 1974
  56.     (there, on page 177, figure 18 visualizes the Stern-Brocot tree).
  57.  
  58.  
  59. Problem:
  60. -------
  61. Is there a process, which generates each Gauss Number exactly once, in an
  62. analogy to the Stern-Brocot tree ?  (that is: "as free as possible")
  63.  
  64. This seems to be equivalent to the question:
  65.  
  66.   Which semigroup is generated by the four Moebius transformations t1,t2,t3,t4
  67.   (without their inverses and) represented by the matrices m1, m2, m3, m4 
  68.   (where: "i" = imaginary unit)
  69.  
  70.     m1:  (1  1)       m2:  (1  0)      m3:  (1  i)       m4:  (1  0)
  71.          (0  1)            (1  1)           (0  1)            (i  1)
  72.  
  73. How can this semigroup be composed, e.g. as a direct product, a free product 
  74. with amalgamations or something else ?
  75.  
  76. There can be easily found some relations  ("13" stands for "t1*t3", etc.):
  77.    13 = 31,  24 = 42,  143 = 432,  234 = 341,  343 = 434
  78.    (34)**3 = (43)**3 = identity
  79.  
  80. Any hints for a solution would be welcome!
  81.  
  82. -------------
  83.  
  84. A further natural extension of the problem is:
  85.  
  86.   - how to generate all rational quaternions ?
  87.   - how to generate all rational octaves (CAYLEY algebra) ?
  88.  
  89. as limit points of the hyperbolic spaces H^5 resp. H^9, created by the
  90. reflections of the resp. regular polytope with all angles zero, corresponding
  91. to the zero-angle tetrahedron in H^3.
  92.  
  93. -------------
  94.  
  95. Toni Greil, Muenchen (Germany)
  96. greil@guug.de
  97.