証明の第一歩は群 の元 に関する和を集合 の元 に関する和に書き直すことである（二重数え上げ）。
（ここで = { } は群 の元 で固定される のすべての元からなる集合で = { } は集合 の元 を固定する のすべての元からなる固定群である。）
軌道・固定群定理により集合 の各元 の軌道 = { } と固定群 による左剰余類 の間には自然な全単射がある。ラグランジュの定理と合わせると次を得る。
したがって最初の等式の右辺にある集合 の元に関する和を次のように書き換えることができる。
最後に集合 は軌道の直和であることに注意すれば直前の に関する和は各軌道に関する和へ分解できる。
すべてをまとめれば目的の結果を得る。
歴史.
雨の日のブルース
概要.
前作まで林春生が作詞を担当していたが、本作では橋本淳が作詞を担当している。筒美京平は本作を手掛けるにあたり、ザ・ベンチャーズ作曲の『京都の恋』を意識したメロディーにしながらも、アレンジはエレキギターをフィーチャーするのではなく、ホーンとストリングスを前面に使用して作品を完成させている。
収録アルバム.
他多数
さいはて慕情
概要.
収録アルバム.
他多数
歴史.
来歴.
米国への親善訪問.
映画への出演.
国際地学オリンピック
概要.
日本からの参加.
プレフィックスコード
プレフィックスコード ()
プレフィックス・コード
首飾り (小説)
あらすじ.
米兵轢き逃げ事件
本件は、刑法分野における因果関係について、従来、通説と異なる判断を行ってきた最高裁判所が、通説に近い判示をしたとして注目される事件でもある。
事案の概要.
事実.
裁判.
罪状.
原々審.
被告人側が控訴した。
原審.
被告人側が上告した。
最高裁判所.
最高裁判所第三小法廷は、被告人側の訴えを棄却することを、全員一致で決定した。
しかし本件では、被告人は、救護義務違反の罪にも問われており、かつ、業務上過失致死と同傷害の法定刑は同一であるため、「被告人の刑責が業務上過失傷害にとどまるにしても、本件犯行の態様等からみて、一審判決のした量刑は不当とは認められないから、右あやまりは、いまだ原判決を破棄しなければ、著しく正義に反するものとはいえない。」とし、原審の量刑判断を支持した。
意義.