Connection With Reflection Groups
For more details on this topic, see Reflection group.Coxeter groups are deeply connected with reflection groups. Simply put, Coxeter groups are abstract groups (given via a presentation), while reflection groups are concrete groups (given as subgroups of linear groups or various generalizations). Coxeter groups grew out of the study of reflection groups — they are an abstraction: a reflection group is a subgroup of a linear group generated by reflections (which have order 2), while a Coxeter group is an abstract group generated by involutions (elements of order 2, abstracting from reflections), and whose relations have a certain form (, corresponding to hyperplanes meeting at an angle of, with being of order k abstracting from a rotation by ).
The abstract group of a reflection group is a Coxeter group, while conversely a reflection group can be seen as a linear representation of a Coxeter group. For finite reflection groups, this yields an exact correspondence: every finite Coxeter group admits a faithful representation as a finite reflection group of some Euclidean space. For infinite Coxeter groups, however, a Coxeter group may not admit a representation as a reflection group.
Historically, (Coxeter 1934) proved that every reflection group is a Coxeter group (i.e., has a presentation where all relations are of the form or ), and indeed this paper introduced the notion of a Coxeter group, while (Coxeter 1935) proved that every finite Coxeter group had a representation as a reflection group, and classified finite Coxeter groups.
Read more about this topic: Coxeter Group
Famous quotes containing the words connection with, connection, reflection and/or groups:
“Self-expression is not enough; experiment is not enough; the recording of special moments or cases is not enough. All of the arts have broken faith or lost connection with their origin and function. They have ceased to be concerned with the legitimate and permanent material of art.”
—Jane Heap (c. 1880–1964)
“Children of the same family, the same blood, with the same first associations and habits, have some means of enjoyment in their power, which no subsequent connections can supply; and it must be by a long and unnatural estrangement, by a divorce which no subsequent connection can justify, if such precious remains of the earliest attachments are ever entirely outlived.”
—Jane Austen (1775–1817)
“With respect to a true culture and manhood, we are essentially provincial still, not metropolitan,—mere Jonathans. We are provincial, because we do not find at home our standards; because we do not worship truth, but the reflection of truth; because we are warped and narrowed by an exclusive devotion to trade and commerce and manufacturers and agriculture and the like, which are but means, and not the end.”
—Henry David Thoreau (1817–1862)
“... until both employers’ and workers’ groups assume responsibility for chastising their own recalcitrant children, they can vainly bay the moon about “ignorant” and “unfair” public criticism. Moreover, their failure to impose voluntarily upon their own groups codes of decency and honor will result in more and more necessity for government control.”
—Mary Barnett Gilson (1877–?)