字典

r(G) は ℓ2(G) 上の左正則表現の像全体で生成される C∗-環である。 一般に C∗ r(G) は C∗(G) の商であり、この被約群 C∗-環が先の非被約群 C∗-環と同型となる必要十分条件は G が従順であることである。 G の群フォンノイマン環 W∗(G) は C∗(G) の展開フォンノイマン環である。