06/11/11 12:28:45
>>51
自然数乗は自然に定義出来るとして、
整数や有理数、実数への拡張は(a^x)×(a^y)=a^(x+y)を保存する拡張で、
そうなるように定義したってとこだろ。
>>27
引き算が閉じるように整数を構成した、というのであれば、
今ででいう「Grothendieck Ringからの構成」と結果的に同じ事をやった事になるな。
06/11/11 12:28:45
>>51
自然数乗は自然に定義出来るとして、
整数や有理数、実数への拡張は(a^x)×(a^y)=a^(x+y)を保存する拡張で、
そうなるように定義したってとこだろ。
>>27
引き算が閉じるように整数を構成した、というのであれば、
今ででいう「Grothendieck Ringからの構成」と結果的に同じ事をやった事になるな。