＜#素粒子と原子核の参考書＞ 「弦とブレーン」(2017細道) p71より: 『#物理的状態 の #空間 ℋ_ph は， Q_B 不変な状態の張る空間を 「Q_B 完全な状態を 零と見なす #同値関係」 で割った #商空間 で与えられる. これを #べき零演算子 Q_B の #コホモロジー (#BRSTコホモロジー)という.』

＜#素粒子と原子核の参考書＞ 「弦とブレーン」(2017細道) p71より: 『#物理的状態 の #空間 ℋ_ph は， Q_B 不変な状態の張る空間を 「Q_B 完全な状態を 零と見なす #同値関係」 で割った #商空間 で与えられる. これを #べき零演算子 Q_B の #コホモロジー (#BRSTコホモロジー)という.』

＜#代数学の参考書＞ 「なっとくする群・環・体」(2011) あとがきより: 『"#演算 と #同値関係 の #両立 性" の概念の有効性に改めて気づく. これにより #正規部分群 や #イデアル の概念が 「天から降ってくるような 訳の分からない概念」ではなく #必然性 のある概念として説明できる.』

#群論の知識 #ライデマイスター移動(Reidemeister move) ja.wikipedia.org/wiki/%E3%83%A9… ・ #結び目 や #絡み目 の射影図に対して施す 基本的な3種の変形. ・結び目や絡み目は，その射影図を 「有限回のライデマイスター移動で移りあう」 という #同値関係 で割ることで定義可能.

#群論の知識 #ライデマイスター移動(Reidemeister move) ja.wikipedia.org/wiki/%E3%83%A9… ・ #結び目 や #絡み目 の射影図に対して施す 基本的な3種の変形. ・結び目や絡み目は，その射影図を 「有限回のライデマイスター移動で移りあう」 という #同値関係 で割ることで定義可能.

#群論入門_作用と軌道編 59 Q. 1つの #軌道 は 1つの #同値類 である. どういう事か A. 集合Xの各要素の 軌道全体の成す集合は 集合 X の #類別 を与える. この類別に対応する #同値関係 ～: x～y (x,y∈X) ⇔ gx＝y となる g∈G が存在. ⇔ x,yが属する軌道が一致. (G x ＝ G y)

＜#代数学の参考書＞ 「なっとくする群・環・体」(2011) あとがきより: 『"#演算 と #同値関係 の #両立 性" の概念の有効性に改めて気づく. これにより #正規部分群 や #イデアル の概念が 「天から降ってくるような 訳の分からない概念」ではなく #必然性 のある概念として説明できる.』

#群論入門_作用と軌道編 41 Q. 「#剰余類 G/H が #剰余群 になるのは #部分群 H として #正規部分群 を扱う場合だけ.」 ↑ 復習plz A. 正規部分群 N を使うと 剰余類 G/N では 剰余類による #類別 の #類 どうしの間で #同値関係 と #二項演算 が #両立 するので G/N は #群(剰余群)になる.