圏Cから(Sets)への関手Fがあるとする。 Cの対象Aを取る。米田の補題 θ:Nat(H^A, F) -> F(A) がbijection θ(η) := ηA(1_A)証明:主張1: θがinjectionηは自然変換なので、f:A->BとしてF(f).ηA = ηB.H^A(f)が成り立つ。H^A(f): hom(A,A)->hom(A,B) ηB: hom(A,B) …

Z/pZのイデアルの計算をしてみました。 https://gist.github.com/KatagiriSo/7a611bd9b9e25b4db13e77d4bbf84d9eこれを使ってZ/12Zのイデアルを求めてみると [0],[0,1,2,3,4,5,6,7,8,9,10,11],[0,2,4,6,8,10],[0,3,6,9],[0,4,8],[0,6] つまり (0), Z/12Z, (2)…