|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{for|a group whose lattice of subgroups is modular|Iwasawa group}}
| | It is very common to have a dental emergency -- a fractured tooth, an abscess, or severe pain when chewing. Over-the-counter pain medication is just masking the problem. Seeing an emergency dentist is critical to getting the source of the problem diagnosed and corrected as soon as possible.<br><br>Here are some common dental emergencies:<br>Toothache: The most common dental emergency. This generally means a badly decayed tooth. As the pain affects the tooth's nerve, treatment involves gently removing any debris lodged in the cavity being careful not to poke deep as this will cause severe pain if the nerve is touched. Next rinse vigorously with warm water. Then soak a small piece of cotton in oil of cloves and insert it in the cavity. This will give temporary relief until a dentist can be reached.<br><br>At times the pain may have a more obscure location such as decay under an old filling. As this can be only corrected by a dentist there are two things you can do to help the pain. Administer a pain pill (aspirin or some other analgesic) internally or dissolve a tablet in a half glass (4 oz) of warm water holding it in the mouth for several minutes before spitting it out. DO NOT PLACE A WHOLE TABLET OR ANY PART OF IT IN THE TOOTH OR AGAINST THE SOFT GUM TISSUE AS IT WILL RESULT IN A NASTY BURN.<br><br>Swollen Jaw: This may be caused by several conditions the most probable being an abscessed tooth. In any case the treatment should be to reduce pain and swelling. An ice pack held on the outside of the jaw, (ten minutes on and ten minutes off) will take care of both. If this does not control the pain, an analgesic tablet can be given every four hours.<br><br>Other Oral Injuries: Broken teeth, cut lips, bitten tongue or lips if severe means a trip to a dentist as soon as possible. In the mean time rinse the mouth with warm water and place cold compression the face opposite the injury. If there is a lot of bleeding, apply direct pressure to the bleeding area. If bleeding does not stop get patient to the emergency room of a hospital as stitches may be necessary.<br><br>Prolonged Bleeding Following Extraction: Place a gauze pad or better still a moistened tea bag over the socket and have the patient bite down gently on it for 30 to 45 minutes. The tannic acid in the tea seeps into the tissues and often helps stop the bleeding. If bleeding continues after two hours, call the dentist or take patient to the emergency room of the nearest hospital.<br><br>Broken Jaw: If you suspect the patient's jaw is broken, bring the upper and lower teeth together. Put a necktie, handkerchief or towel under the chin, tying it over the head to immobilize the jaw until you can get the patient to a dentist or the emergency room of a hospital.<br><br>Painful Erupting Tooth: In young children teething pain can come from a loose baby tooth or from an erupting permanent tooth. Some relief can be given by crushing a little ice and wrapping it in gauze or a clean piece of cloth and putting it directly on the tooth or gum tissue where it hurts. The numbing effect of the cold, along with an appropriate dose of aspirin, usually provides temporary relief.<br><br>In young adults, an erupting 3rd molar (Wisdom tooth), especially if it is impacted, can cause the jaw to swell and be quite painful. Often the gum around the tooth will show signs of infection. Temporary relief can be had by giving aspirin or some other painkiller and by dissolving an aspirin in half a glass of warm water and holding this solution in the mouth over the sore gum. AGAIN DO NOT PLACE A TABLET DIRECTLY OVER THE GUM OR CHEEK OR USE THE ASPIRIN SOLUTION ANY STRONGER THAN RECOMMENDED TO PREVENT BURNING THE TISSUE. The swelling of the jaw can be reduced by using an ice pack on the outside of the face at intervals of ten minutes on and ten minutes off.<br><br>If you loved this informative article and you want to receive more information about [http://www.youtube.com/watch?v=90z1mmiwNS8 Washington DC Dentist] generously visit the website. |
| {{Group theory sidebar |Discrete}}
| |
| | |
| In [[mathematics]], the '''modular group Γ''' is a fundamental object of study in [[number theory]], [[geometry]], [[abstract algebra|algebra]], and many other areas of advanced mathematics. The modular group can be represented as a [[group (mathematics)|group]] of geometric transformations or as a group of [[matrix (math)|matrices]].
| |
| | |
| ==Definition==
| |
| The '''modular group Γ''' is the group of [[Möbius transformation|linear fractional transformation]]s of the [[upper half-plane|upper half of the complex plane]] which have the form
| |
| | |
| :<math>z\mapsto\frac{az+b}{cz+d}</math>
| |
| | |
| where ''a'', ''b'', ''c'', and ''d'' are [[integer]]s, and ''ad'' − ''bc'' = 1. The group operation is [[function composition]].
| |
| | |
| This group of transformations is isomorphic to the [[projective linear group|projective special linear group]] PSL(2, '''Z'''), which is the quotient of the 2-dimensional [[special linear group]] SL(2, '''Z''') over the integers by its [[center (group theory)|center]] {''I'', −''I''}. In other words, PSL(2, '''Z''') consists of all [[matrix (mathematics)|matrices]]
| |
| | |
| :<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math>
| |
| | |
| where ''a'', ''b'', ''c'', and ''d'' are integers, ''ad'' − ''bc'' = 1, and pairs of matrices ''A'' and −''A'' are considered to be identical. The group operation is the usual [[matrix multiplication|multiplication of matrices]].
| |
| | |
| Some authors ''define'' the modular group to be PSL(2, '''Z'''), and still others define the modular group to be the larger group SL(2, '''Z'''). However, even those who ''define'' the modular group to be PSL(2, '''Z''') use the ''notation'' of SL(2, '''Z'''), with the understanding that matrices are only determined up to sign.
| |
| | |
| Some mathematical relations require the consideration of the group S*L(2, '''Z''') of matrices with determinant plus or minus one. (SL(2, '''Z''') is a subgroup of this group.) Similarly, PS*L(2, '''Z''') is the quotient group S*L(2,'''Z''')/{''I'', −''I''}. A 2 × 2 matrix with unit determinant is a [[symplectic matrix]], and thus SL(2, '''Z''') = Sp(2, '''Z'''), the [[symplectic group]] of 2x2 matrices.
| |
| | |
| One can also use the notation GL(2, '''Z''') for S*L(2, '''Z'''), because the inverse of an integer matrix exists and has integer coefficients if and only if it has determinant equal to ±1 (if the determinant neither zero nor ±1, the inverse will exist but have at least one non-integer coefficient). Alternatively, one may use the explicit notation SL<sup>±</sup>(2, '''Z''').
| |
| | |
| ==Number-theoretic properties==
| |
| The unit [[determinant]] of
| |
| | |
| :<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}</math>
| |
| | |
| implies that the fractions ''a''/''b'', ''a''/''c'', ''c''/''d'' and ''b''/''d'' are all irreducible, that is have no common factors (provided the denominators are non-zero, of course). More generally, if ''p''/''q'' is an irreducible fraction, then
| |
| | |
| :<math>\frac{ap+bq}{cp+dq}</math>
| |
| | |
| is also irreducible (again, provided the denominator be non-zero). Any pair of irreducible fractions can be connected in this way, i.e.: for any pair ''p''/''q'' and ''r''/''s'' of irreducible fractions, there exist elements
| |
| | |
| :<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in\operatorname{SL}(2,\mathbf{Z})</math>
| |
| | |
| such that
| |
| | |
| :<math>r = ap+bq \quad \mbox{ and } \quad s=cp+dq.</math>
| |
| | |
| Elements of the modular group provide a symmetry on the two-dimensional [[period lattice|lattice]]. Let <math>\omega_1</math> and <math>\omega_2</math> be two complex numbers whose ratio is not real. Then the set of points
| |
| | |
| :<math>\Lambda (\omega_1, \omega_2)=\{ m\omega_1 +n\omega_2 : m,n\in \mathbf{Z} \}</math>
| |
| | |
| is a lattice of parallelograms on the plane. A different pair of vectors <math>\alpha_1</math> and <math>\alpha_2</math> will generate exactly the same lattice if and only if
| |
| | |
| :<math>\begin{pmatrix}\alpha_1 \\ \alpha_2 \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} \omega_1 \\ \omega_2 \end{pmatrix}</math>
| |
| | |
| for some matrix in S*L(2, '''Z'''). It is for this reason that [[doubly periodic function]]s, such as [[elliptic functions]], possess a modular group symmetry.
| |
| | |
| The action of the modular group on the rational numbers can most easily be understood by envisioning a square grid, with grid point (''p'', ''q'') corresponding to the fraction ''p''/''q'' (see [[Euclid's orchard]]). An irreducible fraction is one that is ''visible'' from the origin; the action of the modular group on a fraction never takes a ''visible'' (irreducible) to a ''hidden'' (reducible) one, and vice versa.
| |
| | |
| If <math>p_{n-1}/q_{n-1}</math> and <math>p_{n}/q_{n}</math> are two successive convergents of a [[continued fraction]], then the matrix
| |
| | |
| :<math>\begin{pmatrix} p_{n-1} & p_{n} \\ q_{n-1} & q_{n} \end{pmatrix}</math>
| |
| | |
| belongs to S*L(2, '''Z'''). In particular, if ''bc'' − ''ad'' = 1 for positive integers ''a'',''b'',''c'' and ''d'' with ''a'' < ''b'' and ''c'' < ''d'' then ''a''/''b'' and ''c''/''d'' will be neighbours in the [[Farey sequence]] of order min(''b'', ''d''). Important special cases of continued fraction convergents include the [[Fibonacci number]]s and solutions to [[Pell's equation]]. In both cases, the numbers can be arranged to form a [[semigroup]] subset of the modular group.
| |
| | |
| ==Group-theoretic properties==
| |
| | |
| === Presentation ===
| |
| The modular group can be shown to be [[generating set of a group|generated]] by the two transformations
| |
| | |
| :<math>S: z\mapsto -1/z</math>
| |
| :<math>T: z\mapsto z+1</math> | |
| | |
| so that every element in the modular group can be represented (in a non-unique way) by the composition of powers of ''S'' and ''T''. Geometrically, ''S'' represents inversion in the unit circle followed by reflection about the line Re(''z'')=0, while ''T'' represents a unit translation to the right.
| |
| | |
| The generators ''S'' and ''T'' obey the relations ''S''<sup>2</sup> = 1 and (''ST'')<sup>3</sup> = 1. It can be shown <ref>{{cite journal | first = Roger C. | last= Alperin | title = PSL<sub>2</sub>(Z) = Z<sub>2</sub> * Z<sub>3</sub> | journal = Amer. Math. Monthly | volume = 100 | pages = 385–386 | date = April 1993 }}</ref> that these are a complete set of relations, so the modular group has the [[presentation of a group|presentation]]:
| |
| | |
| :<math>\Gamma \cong \langle S, T \mid S^2=I, (ST)^3=I \rangle</math>
| |
| | |
| This presentation describes the modular group as the rotational [[triangle group]] (2,3,∞) (∞ as there is no relation on ''T''), and it thus maps onto all triangle groups (2,3,''n'') by adding the relation ''T<sup>n</sup>'' = 1, which occurs for instance in the [[congruence subgroup]] Γ(''n'').
| |
| | |
| Using the generators ''S'' and ''ST'' instead of ''S'' and ''T'', this shows that the modular group is isomorphic to the [[free product]] of the [[cyclic group]]s C<sub>2</sub> and C<sub>3</sub>:
| |
| | |
| :<math>\Gamma \cong C_2 * C_3</math>
| |
| | |
| ===Braid group===
| |
| [[File:Braid-modular-group-cover.svg|thumb|376px|The [[braid group]] ''B''<sub>3</sub> is the [[universal central extension]] of the modular group.]]
| |
| The braid group ''B''<sub>3</sub> is the universal central extension of the modular group, with these sitting as lattices inside the (topological) universal covering group <math>\overline{\mathrm{SL}_2(\mathbf{R})} \to \mathrm{PSL}_2(\mathbf{R})</math>. Further, the modular group has trivial center, and thus the modular group is isomorphic to the [[quotient group]] of ''B''<sub>3</sub> modulo its [[center (group theory)|center]]; equivalently, to the group of [[inner automorphism]]s of ''B''<sub>3</sub>.
| |
| | |
| The braid group ''B''<sub>3</sub> in turn is isomorphic to the [[knot group]] of the [[trefoil knot]].
| |
| | |
| ===Quotients===
| |
| The quotients by congruence subgroups are of significant interest.
| |
| | |
| Other important quotients are the (2,3,''n'') triangle groups, which correspond geometrically to descending to a cylinder, quotienting the ''x'' coordinate mod ''n,'' as ''T<sup>n</sup>'' = (''z'' ↦ ''z''+''n''). (2,3,5) is the group of [[icosahedral symmetry]], and the [[(2,3,7) triangle group]] (and associated tiling) is the cover for all [[Hurwitz surface]]s. | |
| | |
| ==Relationship to hyperbolic geometry==
| |
| {{See also|PSL2(R)}}
| |
| | |
| The modular group is important because it forms a [[group (mathematics)|subgroup]] of the group of [[isometry|isometries]] of the [[hyperbolic geometry|hyperbolic plane]]. If we consider the [[upper half-plane]] model '''H''' of hyperbolic plane geometry, then the group of all
| |
| [[Orientation (mathematics)|orientation-preserving]] isometries of '''H''' consists of all [[Möbius transformation]]s of the form
| |
| | |
| :<math>z\mapsto \frac{az + b}{cz + d}</math>
| |
| | |
| where ''a'', ''b'', ''c'', and ''d'' are [[real number]]s and ''ad'' − ''bc'' = 1. Put differently, the group PSL(2, '''R''') [[group action|acts]] on the upper half-plane '''H''' according to the following formula:
| |
| | |
| :<math>\begin{pmatrix} a & b \\ c & d \end{pmatrix}\cdot z \,= \,\frac{az + b}{cz + d}</math>
| |
| | |
| This (left-)action is [[Sharply multiply transitive|faithful]]. Since PSL(2, '''Z''') is a subgroup of PSL(2, '''R'''), the modular group is a subgroup of the group of orientation-preserving isometries of '''H'''.
| |
| | |
| ===Tessellation of the hyperbolic plane===
| |
| [[File:ModularGroup-FundamentalDomain-01.png|thumb|600px|right|A typical fundamental domain for the action of Γ on the upper half-plane.]]
| |
| The modular group Γ acts on '''H''' as a [[discrete group|discrete subgroup]] of PSL(2, '''R'''), i.e. for each ''z'' in '''H''' we can find a neighbourhood of ''z'' which does not contain any other element of the [[orbit (group theory)|orbit]] of ''z''. This also means that we can construct [[fundamental domain]]s, which (roughly) contain exactly one representative from the orbit of every ''z'' in '''H'''. (Care is needed on the boundary of the domain.)
| |
| | |
| There are many ways of constructing a fundamental domain, but a common choice is the region
| |
| | |
| :<math>R = \left\{ z \in \mathbf{H}: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}</math>
| |
| | |
| bounded by the vertical lines Re(''z'') = 1/2 and Re(''z'') = −1/2, and the circle |''z''| = 1. This region is a hyperbolic triangle. It has vertices at 1/2 + ''i''√3/2 and −1/2 + ''i''√3/2, where the angle between its sides is π/3, and a third vertex at infinity, where the angle between its sides is 0.
| |
| | |
| By transforming this region in turn by each of the elements of the modular group, a [[tessellation|regular tessellation]] of the hyperbolic plane by congruent hyperbolic triangles is created. Note that each such triangle has one vertex either at infinity or on the real axis Im(''z'')=0. This tiling can be extended to the [[Poincaré metric|Poincaré disk]], where every hyperbolic triangle has one vertex on the boundary of the disk. The tiling of the Poincaré disk is given in a natural way by the [[:Image:J-inv-phase.jpeg|J-invariant]], which is invariant under the modular group, and attains every complex number once in each triangle of these regions.
| |
| | |
| This tessellation can be refined slightly, dividing each region into two halves (conventionally colored black and white), by adding an orientation-reversing map; the colors then correspond to orientation of the domain. Adding in (''x'', ''y'') ↦ (−''x'', ''y'') and taking the right half of the region ''R'' (Re(''z'') ≥ 0) yields the usual tessellation. This tessellation first appears in print in {{Harv|Klein|1878/79a}},<ref name="lebruyn">{{citation
| |
| | last = le Bruyn | first = Lieven
| |
| | title = Dedekind or Klein ?
| |
| | date = 22 April 2008
| |
| | url = http://www.neverendingbooks.org/index.php/dedekind-or-klein.html
| |
| }}</ref> where it is credited to [[Richard Dedekind]], in reference to {{Harv|Dedekind|1877}}.<ref name="lebruyn" /><ref>{{Cite journal
| |
| | issn = 0002-9890
| |
| | volume = 108
| |
| | issue = 1
| |
| | pages = 70–76
| |
| | last = Stillwell
| |
| | first = John
| |
| | title = Modular Miracles
| |
| | journal = The American Mathematical Monthly| date = January 2001
| |
| | jstor = 2695682
| |
| }}</ref>
| |
| | |
| [[File:Morphing of modular tiling to 2 3 7 triangle tiling.gif|thumb|Visualization of the map (2,3,∞) → (2,3,7) by morphing the associated tilings.<ref name="westendorp">[http://www.xs4all.nl/~westy31/Geometry/Geometry.html#Modular Platonic tilings of Riemann surfaces: The Modular Group], [http://www.xs4all.nl/~westy31/ Gerard Westendorp]</ref>]]
| |
| The map of groups (2,3,∞) → (2,3,''n'') (from modular group to triangle group) can be visualized in terms of this tiling (yielding a tiling on the modular curve), as depicted in the video at right.
| |
| | |
| {{Order i-3 tiling table}}
| |
| | |
| ==Congruence subgroups==
| |
| {{Main|Congruence subgroup}}
| |
| Important [[subgroup]]s of the modular group Γ, called ''[[congruence subgroup]]s'', are given by imposing [[congruence relation]]s on the associated matrices.
| |
| | |
| There is a natural [[homomorphism]] SL(2, '''Z''') → SL(2, '''Z'''/n'''Z''') given by reducing the entries [[modulo operation|modulo]] ''N''. This induces a homomorphism on the modular group PSL(2, '''Z''') → PSL(2, '''Z'''/n'''Z'''). The [[kernel (algebra)|kernel]] of this homomorphism is called the '''[[principal congruence subgroup]] of level ''N''''', denoted Γ(''N''). We have the following [[short exact sequence]]:
| |
| | |
| :<math>1\to\Gamma(N)\to\Gamma\to\mbox{PSL}(2,\mathbf{Z}/n\mathbf{Z})\to 1</math>.
| |
| | |
| Being the kernel of a homomorphism Γ(''N'') is a [[normal subgroup]] of the modular group Γ. The group Γ(''N'') is given as the set of all modular transformations
| |
| | |
| :<math>z\mapsto\frac{az+b}{cz+d}</math>
| |
| | |
| for which ''a'' ≡ ''d'' ≡ ±1 (mod ''N'') and ''b'' ≡ ''c'' ≡ 0 (mod ''N'').
| |
| | |
| The principal congruence subgroup of level 2, Γ(2), is also called the '''modular group Λ'''. Since PSL(2, '''Z'''/2'''Z''') is isomorphic to [[symmetric group|''S''<sub>3</sub>]], Λ is a subgroup of [[index of a subgroup|index]] 6. The group Λ consists of all modular transformations for which ''a'' and ''d'' are odd and ''b'' and ''c'' are even.
| |
| | |
| Another important family of congruence subgroups are the [[modular group Gamma0|modular group Γ<sub>0</sub>(''N'')]] defined as the set of all modular transformations for which ''c'' ≡ 0 (mod ''N''), or equivalently, {{Citation needed|date=July 2013}} as the subgroup whose matrices become [[upper triangular matrix|upper triangular]] upon reduction modulo ''N''. Note that Γ(''N'') is a subgroup of Γ<sub>0</sub>(''N''). The [[modular curve]]s associated with these groups are an aspect of [[monstrous moonshine]] – for a [[prime number]] ''p'', the modular curve of the normalizer is [[genus (mathematics)|genus]] zero if and only if ''p'' divides the [[order (group theory)|order]] of the [[monster group]], or equivalently, if ''p'' is a [[supersingular prime (moonshine theory)|supersingular prime]].
| |
| | |
| ==Dyadic monoid==
| |
| One important subset of the modular group is the '''dyadic monoid''', which is the [[monoid]] of all strings of the form ''ST<sup>k</sup>ST<sup>m</sup>ST<sup>n</sup>'' ... for positive integers ''k'', ''m'', ''n'', ... . This monoid occurs naturally in the study of [[fractal curve]]s, and describes the self-similarity symmetries of the [[Cantor function]], [[Minkowski's question mark function]], and the [[Koch snowflake|Koch curve]], each being a special case of the general [[de Rham curve]]. The monoid also has higher-dimensional linear representations; for example, the ''N'' = 3 representation can be understood to describe the self-symmetry of the [[blancmange curve]].
| |
| | |
| ==Maps of the torus==
| |
| The group GL(2, '''Z''') is the linear maps preserving the standard lattice '''Z'''<sup>2</sup>, and SL(2, '''Z''') is the orientation-preserving maps preserving this lattice; they thus descend to [[self-homeomorphism]]s of the [[torus]] (SL mapping to orientation-preserving maps), and in fact map isomorphically to the (extended) [[mapping class group]] of the torus, meaning that every self-homeomorphism of the torus is [[Homotopy#Isotopy|isotopic]] to a map of this form. The algebraic properties of a matrix as an element of GL(2, '''Z''') correspond to the dynamics of the induced map of the torus.
| |
| | |
| ==Hecke groups==
| |
| The modular group can be generalized to the '''Hecke groups,''' named for [[Erich Hecke]], and defined as follows.<ref>''Combinatorial group theory, discrete groups, and number theory,'' by Gerhard Rosenberger, Benjamin Fine, Anthony M. Gaglione, Dennis Spellman [http://books.google.com/books?id=5Unmxs7yeHwC&pg=PA65 p. 65]</ref>
| |
| | |
| The Hecke group ''H''<sub>''q''</sub> is the discrete group generated by
| |
| | |
| :<math>z \mapsto -1/z</math>
| |
| :<math>z \mapsto z + \lambda_q,</math>
| |
| | |
| where <math>\lambda_q=2\cos(\pi/q). \,</math>
| |
| | |
| The modular group Γ is isomorphic to ''H''<sub>3</sub> and they share properties and applications – for example, just as one has the [[free product]] of [[cyclic group]]s
| |
| | |
| :<math>\Gamma \cong C_2 * C_3,</math>
| |
| | |
| more generally one has
| |
| | |
| :<math>H_q \cong C_2 * C_q,</math>
| |
| | |
| which corresponds to the [[triangle group]] (2,''q'',∞). There is similarly a notion of principal congruence subgroups associated to principal ideals in '''Z'''[λ]. For small values of ''q'', one has:
| |
| | |
| :<math>\lambda_3 = 1,</math>
| |
| :<math>\lambda_4 = \sqrt{2},</math>
| |
| :<math>\lambda_5 = \tfrac{1}{2}(1+\sqrt{5}),</math>
| |
| :<math>\lambda_6 = \sqrt{3}.</math>
| |
| | |
| ==History==
| |
| The modular group and its subgroups were first studied in detail by [[Richard Dedekind]] and by [[Felix Klein]] as part of his [[Erlangen programme]] in the 1870s. However, the closely related [[elliptic function]]s were studied by [[Joseph Louis Lagrange]] in 1785, and further results on elliptic functions were published by [[Carl Gustav Jakob Jacobi]] and [[Niels Henrik Abel]] in 1827.
| |
| | |
| ==See also==
| |
| {{colbegin|3}}
| |
| *[[Möbius transformation]]
| |
| *[[Fuchsian group]]
| |
| *[[Bianchi group]]
| |
| *[[Kleinian group]]
| |
| *[[Hyperbolic tiling]]s
| |
| *[[modular function]]
| |
| *[[J-invariant]]
| |
| *[[modular form]]
| |
| *[[modular curve]]
| |
| *[[classical modular curve]]
| |
| *[[Poincaré half-plane model]]
| |
| *[[Minkowski's question mark function]]
| |
| *[[Mapping class group]]
| |
| {{colend}}
| |
| | |
| ==References==
| |
| {{Reflist}}
| |
| {{Refbegin}}
| |
| *Tom M. Apostol, ''Modular Functions and Dirichlet Series in Number Theory, Second Edition'' (1990), Springer, New York ISBN 0-387-97127-0 See chapter 2.
| |
| *{{Citation
| |
| |last=Klein | first = Felix | authorlink = Felix Klein
| |
| |ref={{Harvid|Klein|1878/79a}}
| |
| |title = Über die Transformation der elliptischen Funktionen und die Auflösung der Gleichungen fünften Grades (On the transformation of elliptic functions and ...)
| |
| |pages = 13–75 (in Oeuvres, Tome 3)
| |
| |journal = Math. Annalen
| |
| |volume = 14
| |
| |year = 1878/79
| |
| |url=http://mathdoc.emath.fr/cgi-bin/oetoc?id=OE_KLEIN__3
| |
| }}
| |
| * {{Citation | title = Schreiben an Herrn Borchard uber die Theorie der elliptische Modulfunktionen | first = Richard | last = Dedekind | authorlink = Richard Dedekind |date=September 1877 | journal = Crelle's Journal | volume = 83 | pages = 265–292}}.
| |
| {{Refend}}
| |
| {{Use dmy dates|date=September 2010}}
| |
| | |
| {{DEFAULTSORT:Modular Group}}
| |
| [[Category:Group theory]]
| |
| [[Category:Analytic number theory]]
| |
| [[Category:Modular forms]]
| |