群論において、ランプライター群（-ぐん）あるいは点灯夫群（てんとうふぐん） とは制限輪積 である。
導入 この群の名前は、点灯または消灯のいずれかの状態をとり得る両側無限の街灯の列 と、ある街灯 の位置に立つに作用する群とみなせることに由来する。これと同値な記述として、 の base group と呼ばれるものは、以下のように表される。
これは巡回群 のコピーの無限直和であり、ここで は消灯している街灯に、 は点灯している街灯に対応する。また、同時に点灯している街灯が有限個のみであることを保証するために直和が用いられている。 の任意の元の作用は最大でも有限個の街灯しか変化させないため、常に有限個の街灯のみが点灯していると仮定してよい。ただし、点灯している街灯の数に上限はない。 の元は点灯夫の位置を与え、 はどの電球が点灯しているかを符号化している。
この群には2つの生成元が存在する。生成元 は を増加させ、点灯夫を次の街灯へ移動させる（ は を減少させる）。一方、生成元 は街灯 の状態が変化する（消灯から点灯へ、または点灯から消灯へ）ことを意味する。群の乗法は、これらの操作を「連続して行う」ことによってなされる。
表示 ランプライター群の標準的な表示は、輪積の構造から導かれる。
, これは以下のように簡略化できる。 .
この群の、すなわち各 に対して 個の生成元の積として形成できる群の元の数を記述する関数は、一般にこれら2つの生成元 と に関して定義される。これは黄金比を底とする指数関数的なものであり、フィボナッチ数の増大度と同じ割合である 付録C.2を参照。。場合によっては、2つの異なる生成元 と に関して増大度が研究されることもあり、この場合、増大度の対数は最大で2倍変化する。
この表示は有限ではない。指標 と によって指定されるように、無限に多くの関係式を持つ。実際、ランプライター群には有限表示が存在しない。すなわち、有限表示可能ではない。
行列表現 を形式的変数とすると、ランプライター群 は以下の行列からなる群と同型である。
ここで であり、 は係数環 上のローラン多項式環 のすべての元にわたる。
この同型写像は、生成元に対して以下のように与えられる。
一般化 に対してランプライター群 を定義することもでき、これにより「街灯」は「消灯」と「点灯」の2つの選択肢以外の状態を持つことができる。 さらに に対して、 の形をした高次元版の群が考察されることもある。
脚注
関連文献