23/07/13 23:03:28.15 vpipkcfC.net
環Rに対して、積閉集合、局所化という概念を用いて全商環Qという新たな環を構成できる。
Rが整域の場合Qは商体と呼ばれる体となる。有理数体Qは整数環Zの商体として定義される。
整数/整数の形の元全体の集合には分母が0の分数とか可約分数といった都合の悪い元がある。
積閉集合や局所化はそれら都合の悪い元を取り除いて綺麗に整った環を構成する方法とイメージすればよい。
23/07/13 23:03:28.15 vpipkcfC.net
環Rに対して、積閉集合、局所化という概念を用いて全商環Qという新たな環を構成できる。
Rが整域の場合Qは商体と呼ばれる体となる。有理数体Qは整数環Zの商体として定義される。
整数/整数の形の元全体の集合には分母が0の分数とか可約分数といった都合の悪い元がある。
積閉集合や局所化はそれら都合の悪い元を取り除いて綺麗に整った環を構成する方法とイメージすればよい。