Unitary divisor: Difference between revisions
en>Yobot m →References: WP:CHECKWIKI error fixes + general fixes using AWB (7914) |
en>ChrisGualtieri m Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB |
||
| Line 1: | Line 1: | ||
In [[mathematics]], the '''lamplighter group''' ''L'' of [[group theory]] is the [[wreath product]] '''Z'''/2'''Z''' ≀ '''Z'''. The base group ''B'' of ''L'' is | |||
:<math>\bigoplus_{-\infty}^\infty \mathbb{Z}/2\mathbb{Z},</math> | |||
and so ''L''/''B'' is isomorphic to '''Z'''. | |||
The standard [[Presentation of a group|presentation]] for the lamplighter group arises from the wreath product structure | |||
:<math>\langle a, t \mid a^2, [ t^m a t^{-m} , t^n a t^{-n} ], m, n \in \mathbb{Z} \rangle</math>, which may be simplified to | |||
:<math>\langle a, t \mid (a t^n a t^{-n})^2, n \in \mathbb{Z} \rangle</math>. | |||
The generators ''a'' and ''t'' are intrinsic to the group's notable [[Growth rate (group theory)|growth rate]], though they are sometimes replaced with ''a'' and ''at'', changing the logarithm of the growth rate by at most a factor of 2. | |||
The name of the group comes from viewing the group as acting on a doubly infinite sequence of street lamps ..., ''l''<sub>-2</sub>, ''l''<sub>-1</sub>, ''l''<sub>0</sub>, ''l''<sub>1</sub>, ''l''<sub>2</sub>, ..., each of which may be on or off, and a [[lamplighter]] standing at some lamp ''l''<sub>''k''</sub>. The generator ''t'' increments ''k'', so that the lamplighter moves to the next lamp (''t''<sup> -1</sup> decrements ''k''), while the generator ''a'' means that the state of lamp ''l''<sub>''k''</sub> is changed (from off to on or from on to off). | |||
We may assume that only finitely many lamps are lit at any time, since the action of any element of ''L'' changes at most finitely many lamps. The number of lamps lit is, however, unbounded. The group action is thus similar to the action of a [[Turing machine]]. | |||
==See also== | |||
* [[Growth rate (group theory)]] | |||
== References == | |||
* Volodymyr Nekrashevych, 2005, ''Self-Similar Groups'', Mathematical Surveys and Monographs v. 117, American Mathematical Society, ISBN 0-8218-3831-8. | |||
[[Category:Solvable groups]] | |||
{{algebra-stub}} | |||
Revision as of 14:21, 16 December 2013
In mathematics, the lamplighter group L of group theory is the wreath product Z/2Z ≀ Z. The base group B of L is
and so L/B is isomorphic to Z.
The standard presentation for the lamplighter group arises from the wreath product structure
The generators a and t are intrinsic to the group's notable growth rate, though they are sometimes replaced with a and at, changing the logarithm of the growth rate by at most a factor of 2.
The name of the group comes from viewing the group as acting on a doubly infinite sequence of street lamps ..., l-2, l-1, l0, l1, l2, ..., each of which may be on or off, and a lamplighter standing at some lamp lk. The generator t increments k, so that the lamplighter moves to the next lamp (t -1 decrements k), while the generator a means that the state of lamp lk is changed (from off to on or from on to off).
We may assume that only finitely many lamps are lit at any time, since the action of any element of L changes at most finitely many lamps. The number of lamps lit is, however, unbounded. The group action is thus similar to the action of a Turing machine.
See also
References
- Volodymyr Nekrashevych, 2005, Self-Similar Groups, Mathematical Surveys and Monographs v. 117, American Mathematical Society, ISBN 0-8218-3831-8.