輪積

二つの群 A, H と集合 Ω で、H は Ω の上に作用するものとし、K は集合 Ω を添字集合とする A のコピー A_ω := A の直積

${\displaystyle K\equiv \prod _{\omega \in \Omega }A_{\omega }}$

と定義する。K の元を Ω で添字付けられた A の任意の列 (a_ω) と見做して、成分ごとの積入れれば、H の Ω への作用は

${\displaystyle h(a_{\omega })\equiv (a_{h^{-1}\omega })}$

と置くことにより、自然な仕方で H の群 K への作用に拡張される。このとき、A の H による非制限輪積 A Wr_Ω H とは、半直積 K ⋊ H のことを言う。輪積 A Wr_Ω H の部分群としての K を、この輪積の底と呼ぶ。

制限輪積 A wr_Ω H は非制限輪積と同様の仕方で直和（英語版）

${\displaystyle K\equiv \bigoplus _{\omega \in \Omega }A_{\omega }}$

を輪積の底として構成される。この場合の底 K の元は Ω で添字付けられた A の元の列 (a_ω) で有限個の例外を除く全ての成分が A の単位元となるものである。

群 H は左からの積を考えることによって自然な仕方で自分自身の上に作用するから、Ω ≔ H と取ることもできる。この特別な（しかし非常に汎用な）場合の非制限輪積および制限輪積はそれぞれ A Wr H および A wr H で表され、正則 (regular) であるという。

A の H による輪積の構造は H-集合 Ω に依存して決まり、Ω が無限集合のときは制限か非制限かにも関わるが、記法は文献によって必ずしも一貫しておらず文脈に注意を要する。

• 文献によっては A ≀_Ω H が非制限輪積 A Wr_Ω H だったり制限輪積 A wr_Ω H だったりする。
• 同様に A ≀ H が正則非制限輪積 A Wr H に用いられたり、正則制限輪積 A wr H に対して用いられたりする。
• 文献によっては H-集合 Ω を積の添字に付けることを Ω ≠ H の場合でさえ落とすことがある。
• H = S_n（n-次対称群）という特別の場合に、S が自然に作用する Ω = {1, ..., n} と仮定する文献が多くあり、ここでも添字としての Ω を落とす記法が用いられる。つまりこの場合、記法 A ≀ S_n が意味するのは正則輪積 A ≀_Sn S_n ではなくて A ≀_{1,...,n} S_n ということとなる。前者（正則輪積）の場合の底群は A の n! 個のコピーの積だが、後者の場合だと n 個のコピーである。

• 群の有限直積は有限直和と同じものであるから、H-集合 Ω が有限集合の時は、非制限輪積 A Wr_Ω H と制限輪積 A wr_Ω Hも一致する。特にこれは Ω = H が有限なとき正しい。
• 制限輪積 A wr_Ω H は常に非制限輪積 A Wr_Ω H の部分群になる。
• 普遍埋め込み定理: 群 G が A の H による拡大ならば、非制限輪積 A ≀ H の部分群で G に同型なものが存在する^[3]。
• A, H, Ω がいずれも有限ならば位数に関して
  |A≀_ΩH| = |A|^|Ω||H|
  が成立する^[4]。

群 A が集合 Λ に作用しているならば、集合 Ω と Λ から輪積 A Wr_Ω H の（したがって A wr_Ω H も）作用することのできる集合を二種類の標準的な仕方で構成することができる。

集合 Λ × Ω の上への非原始的輪積作用

((a_ω),h) ∈ A Wr_Ω H および (λ,ω') ∈ Λ × Ω に対して

${\displaystyle ((a_{\omega }),h)\cdot (\lambda ,\omega '):=(a_{h(\omega ')}\lambda ,h\omega ')}$

で与えられる。

集合 Λ^Ω の上への原始的輪積作用

Λ^Ω の元は H-集合 Ω で添字付けられた列 (λ_ω) であり、与えられた元 ((a_ω), h) ∈ A Wr_Ω H の (λ_ω) ∈ Λ^Ω への作用は

${\displaystyle ((a_{\omega }),h)\cdot (\lambda _{\omega }):=(a_{h^{-1}\omega }\lambda _{h^{-1}\omega })}$

で与えられる。

• ランプライター群は制限輪積 ℤ₂ ≀ ℤ である
• 一般化された対称群（英語版） ℤ_m ≀ S_n は、この輪積の底が ℤ_m のコピーの n-重直積
  ℤ_mⁿ = ℤ_m × ... × ℤ_m
  に n-次対称群の作用 φ: S_n → Aut(ℤ_mⁿ) が
  φ(σ)(α₁,..., α_n) := (α_σ(1),..., α_σ(n))
  で与えられるものである^[5]。
• 超八面体群（英語版） S₂ ≀ S_n は、S_n の {1,...,n} への作用は自然なものとして、二次の対称群 S₂ は巡回群 ℤ₂ に同型であるから、超八面体群は一般化対称群の特別な場合になる^[6]。
• 素数 p と自然数 n ≥ 1 に対し、P は pⁿ-次対称群 S_pⁿ のシロー p-部分群とすると、P は ℤ_p の n 個のコピーの反復正則輪積（輪冪）W_n = ℤ_p ≀ ℤ_p ≀ … ≀ ℤ_p に同型である。ここで、W₁ := ℤ_p および任意の k ≥ 2 に対して W_k := W_k-1 ≀ ℤ_p である^[7][8]。
• ルービックキューブ群（英語版）は輪積の直積 (ℤ₃ ≀ S₈) × (ℤ₂ ≀ S₁₂) の指数の小さい部分群で、それぞれの因子は頂点の対称性が 8 と辺の対称性が 12 個それぞれあることに対応する。