“Icosian calculus”的意思、由来-开放百科全书

The icosian calculus is a non-commutative algebraic structure discovered by the Irish mathematician William Rowan Hamilton in 1856.^[1]^[2]

In modern terms, he gave a group presentation of the icosahedral rotation group by generators and relations.

Hamilton’s discovery derived from his attempts to find an algebra of "triplets" or 3-tuples that he believed would reflect the three Cartesian axes. The symbols of the icosian calculus can be equated to moves between vertices on a dodecahedron. Hamilton’s work in this area resulted indirectly in the terms Hamiltonian circuit and Hamiltonian path in graph theory.^[3] He also invented the icosian game as a means of illustrating and popularising his discovery.

Informal definition

The algebra is based on three symbols that are each roots of unity, in that repeated application of any of them yields the value 1 after a particular number of steps. They are:

The operation is associative but not commutative. They generate a group of order 60, isomorphic to the group of rotations of a regular icosahedron or dodecahedron, and therefore to the alternating group of degree five.

Although the algebra exists as a purely abstract construction, it can be most easily visualised in terms of operations on the edges and vertices of a dodecahedron. Hamilton himself used a flattened dodecahedron as the basis for his instructional game.

Imagine an insect crawling along a particular edge of Hamilton's labelled dodecahedron in a certain direction, say from

. We can represent this directed edge by

Legacy

The icosian calculus is one of the earliest examples of many mathematical ideas, including:

References

1. ^{{Cite journal|title=Memorandum respecting a new System of Roots of Unity|author= William Rowan Hamilton|author-link=William Rowan Hamilton|url=http://www.maths.tcd.ie/pub/HistMath/People/Hamilton/Icosian/NewSys.pdf|journal=Philosophical Magazine|volume=12|year=1856|page=446}}
2. ^{{cite book |author=Thomas L. Hankins |title=Sir William Rowan Hamilton |publisher=The Johns Hopkins University Press |location=Baltimore |year=1980 |page=474 |isbn=0-8018-6973-0 |oclc= |doi=}}
3. ^¹{{cite book |author1=Norman L. Biggs |author2=E. Keith Lloyd |author3=Robin J. Wilson |title=Graph theory 1736–1936 |publisher=Clarendon Press |location=Oxford |year=1976 |page=239 |isbn=0-19-853901-0 |oclc= |doi=}}
4. ^{{Cite journal | title = Dessins d'enfants: bipartite maps and Galois groups | first = Gareth | last = Jones | journal = Séminaire Lotharingien de Combinatoire | volume = B35d | year = 1995 | pages = 4 | url = http://radon.mat.univie.ac.at/~slc/s/s35jones.html | postscript =, PDF }}
5. ^W. R. Hamilton, Letter to John T. Graves "On the Icosian" (17 October 1856), Mathematical papers, Vol. III, Algebra, eds. H. Halberstam and R. E. Ingram, Cambridge University Press, Cambridge, 1967, pp. 612–625.