＜#代数学の参考書＞

「なっとくする群・環・体」(2011)

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

#群論の知識

#ライデマイスター移動(Reidemeister move)
https://ja.wikipedia.org/wiki/...

・ #結び目 や #絡み目 の射影図に対して施す
基本的な3種の変形.

・結び目や絡み目は，その射影図を
「有限回のライデマイスター移動で移りあう」
という #同値関係 で割ることで定義可能.