Unitary divisor: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>ChrisGualtieri
m Remove stub template(s). Page is start class or higher. Also check for and do General Fixes + Checkwiki fixes using AWB
en>David Eppstein
spell out if and only if; it doesn't need a wikilink
 
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
Hello, my name is Andrew and my wife doesn't like it at all. Ohio is where his house is and his family members loves it. She works as a travel agent but quickly she'll be on her own. What I adore doing is football but I don't have the time lately.<br><br>Also visit my web page ... best psychics, [http://hknews.classicmall.com.hk/groups/some-simple-tips-for-personal-development-progress/ click this over here now],
 
:<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''&nbsp; increments ''k'', so that the lamplighter moves to the next lamp (''t''<sup>&nbsp;-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}}

Latest revision as of 07:49, 20 November 2014

Hello, my name is Andrew and my wife doesn't like it at all. Ohio is where his house is and his family members loves it. She works as a travel agent but quickly she'll be on her own. What I adore doing is football but I don't have the time lately.

Also visit my web page ... best psychics, click this over here now,