Search

Computer House Random
Computer House Random
  • Randomについて
  • ブログ
  • Project
  • 作品紹介
  • 部員紹介

群論入門その1

群の定義

ぺとりこーる
最終更新 2021/03/31

始めに

 皆さんは代数学を勉強したことがありますか?特に群論は他の数学の分野だけでなく、 その対称性を利用して物理、化学の分野でも応用されており大学の講義でも学ぶことができます。 しかし、抽象的な議論が多く証明を追うだけでもそれなりに難しいです。 この記事では大学数学を学び始めの方向けに、群論のイメージを掴み比較的簡単な有限群の分類の証明ができるようになっていただくことが目標です。 あくまで入門であり、難しい定理・命題の証明などを省いています。
(全4本の予定)

集合・写像

 集合・写像は代数学の理論を構築していく上で重要な道具です。

集合の定義

 ものの集まり.元(要素)は数や写像, 集合であってもよい.

写像の定義

 与えられた2つの集合に対し一方の集合の元を他方の集合のただ1つ元に対応付ける規則. 特に$S$を集合として,
$f:S×S\to S$
という写像$f$を2項演算という.

群の定義

 空でない集合$G$が$G$について閉じている2項演算$・$が与えられ,以下の3条件を満たすとき $G$を群という.

(G1) 結合律

 $^\forall a,\ b,\ c\in G,\ a\cdot(b\cdot c)=(a\cdot b)\cdot c$

(G2) 単位元の存在

 $^\exists e\in G,^\forall a\in G,\ e\cdot a=a\cdot e=a$
このとき$e$を単位元という. 群を構成する台集合と演算が与えられたとき, 単位元は一つに定まる. 以降特に断りがない限り$e$を単位元とする.

(G3) 逆元の存在

 $^\forall a\in G,\ ^\exists b\in G,\ a\cdot b=b\cdot a=e$
このとき$b$を$a$の逆元といい, これは$G$の元に対して1対1に対応するため$a^{-1}$と書くことができる.

その他の用語

  • 位数 群Gの元の数
  • 有限群 位数が有限である群
  • 無限群 位数が無限である群
  • 可換群 交換律を満たす群

部分群の定義

 群$G$の空でない部分集合$H$が$G$の2項演算について群となるとき, $H$を部分群という.
例えば 整数の集合$\mathbb{N}$は加法に関して有理数の集合$\mathbb{Q}$の部分群である. 部分群の構造を考える事は元の群の構造を明らかにする上で重要である.

命題 部分群の判定

群Gの空でない部分集合$H$に対して以下の2条件は同値である.
(1)$H$は$G$の部分集合である.
(2)$a,\ b\in H\Rightarrow a^{-1}b\in H$

証明

$(1)\Rightarrow (2)$は仮定から自明. $(2)\Rightarrow (1)$を示す.
$H$は空集合ではないから,$a\in H$に対して
$e=a^{-1}a\in H$(単位元の存在)
$a^{-1}=a^{-1}e\in H$(逆元の存在)
$a,\ b\in H$に対して$a^{-1},\ b\in H$が存在し,
$ab=(a^{-1})^{-1}b\in H$(演算の閉性)
よって命題が示された.

演習問題

$H_1,\ H_2$が群$G$の部分集合であるとき$H_1\cap H_2$も部分集合であることを示せ. 次回->

新入生向けブログリレー2021

2021年度オンライン部活動説明
新入生歓迎イベント 記事を共有
Avatar
ぺとりこーる

はむうま

Computer House Random はパソコンによる創作活動を行っている大阪府立大学の部活動です

Avatar
ぺとりこーる

はむうま

新入生歓迎イベント 記事を共有

News

ICPC2020参加記

ICPC
pngn
2021/05/08

コンピュータハウスランダムってどんな部活?

【1日目】5分でわかるランダムのこと
NEGI
最終更新 2020/04/18

はじめまして、らんだむちゃんです!

自己紹介と最初の動画
らんだむちゃん
最終更新 2020/03/19

作品紹介

【18日目】難波駅構内をblenderで再現してみた

途中経過
うっかり侍
2021/08/31

【17日目】ウィルダネスアドベンチャー(?)

いつかリベンジする
クマイザサ
最終更新 2021/08/30

【16日目】CHICKEN NIGHTS

正直、すまんかった
Marcus
最終更新 2021/08/29

Tag Cloud

作品紹介 (48) 新歓ブログリレー2021 (46) 新歓ブログリレー2020 (37) 競技プログラミング (34) 新歓ブログリレー2022 (33) 雑談 (32) ゲーム (30) ゲーム制作 (24) 競プロ勉強会 (22) 作品展示リレー2021夏 (19)

最新の投稿

【38日目】OneDriveでファイルを管理して授業や部活で活用しよう!

オム大、クラウド1TBくれるってよ
Kwang
最終更新 2022/04/29

【37日目】受けループやらメタビートやらのすゝめ

(ゲームにおいては)人の嫌がることをするのが最も楽しい
クマイザサ
2022/04/28

【36日目】マイクラのMODパックで遊ぼう

MODパックの導入は難しそうって思ってない?
neuron
2022/04/27

【35日目】大阪公立大学 中百舌鳥図書館利用のススメ

かなり長め
Rikky
2022/04/26
READ MORE

関連記事


(データマンチ視点から送る)TRPGのすゝめ

(データマンチとは、RPGなどでのスキル構成に全力を注ぐような思考回路を持つような人種である)

Avatar

どうにか仕上げるゲーム制作@Unity

行き当たりばったりのゲーム制作後悔記

Avatar

【1日目】部活紹介

Randomについて

Avatar

海中探検に出発!

#ライザのアトリ絵

Avatar

オセロ作りました

時間がないからコードで埋めた記事

Avatar

新入生歓迎イベント備忘録

作品紹介とかも含む

Avatar

Random
Randomについて
ライセンス
Privacy Policy
お問い合わせ
部員専用サイト
Project
新入生向けブログリレー2022
作品展示リレー2021夏
競プロ勉強会
Web
らんだむちゃん
ブログ
作品紹介
LT会
グラフィック
DTM
タグ一覧
Copyright © 2020 Computer House Random
引用
コピー ダウンロード