【大学数学】群論入門⑤(同値類)【代数学】

f:id:masato19641105:20200924224542j:plain

 

 

【大学数学】群論入門⑤(同値類)【代数学】

 

 

 

 

定義
f:id:masato19641105:20200924224935j:image

 

 

 

証明１

f:id:masato19641105:20200924230755j:image

 

 

証明２

f:id:masato19641105:20200924231212j:image

 

 

証明３

f:id:masato19641105:20200924231537j:image

 

 

同値関係による商

f:id:masato19641105:20200924232231j:image