English Dictionary

orbit-stabilizer theorem

名詞

不可算名詞

(algebra) A theorem which states that for each element of a given set that a given group acts on, there is a natural bijection between the orbit of that element and the cosets of the stabilizer subgroup with respect to that element.

日本語の意味

群がある集合に作用するとき、その集合の各要素について、その要素の軌道とその要素を固定する安定化部分群の余剰集合とが自然な全単射であることを示す代数学の定理。

When applying the orbit-stabilizer theorem, we can establish a natural bijection between each element's orbit under the group action and the cosets of its stabilizer subgroup, which simplifies counting orbits.

軌道安定化群定理を適用すると、群の作用による各元の軌道とその元の安定化群の余類との間に自然な全単射が成り立ち、軌道の数え上げが容易になります。

意味（1）

(algebra) A theorem which states that for each element of a given set that a given group acts on, there is a natural bijection between the orbit of that element and the cosets of the stabilizer subgroup with respect to that element.