結城浩さん@hyukiの5/15ツイートピックアップ

ぽんた @pontaryagin

@hyuki 素数pを一つとってm~nをm/nを既約分数で表したとき分母も分子もpで割り切れないとしてQ\{0}/~を考えるとかはどうですか

結城浩 / Hiroshi Yuki @hyuki

@ponta1496 えっと…すみませんpはどこに効いてくるのかしら…

ぽんた @pontaryagin

@hyuki m=p^s(a/b)と(a,bはpで割り切れない)とすると、m~nならn=p^t(c/d)(c,dはpで割り切れない)とした時t=sなのでこれを整数と思えるって意味です

結城浩 / Hiroshi Yuki @hyuki

@ponta1496 少しわかりました。pの冪乗成分を絞り出した感じ

K.O. @kazz_bkbn

@hyuki q〜r⇔r∈[q-1/2,q+1/2) 整数への四捨五入を式で表すとこうでしょうか?

結城浩 / Hiroshi Yuki @hyuki

@kazz_bkbn ああそうか範囲で表してしまえばいいのか…

nkj @nkj158

@hyuki 「q∽r ⇔q,rを規約分数として表したときの分子が等しい」とかですかねー

結城浩 / Hiroshi Yuki @hyuki

@nkj158 分母は無視（同一視）すると。ふむふむ

お忍び @_oshinobi

@hyuki r=n/m が既約（mは正の整数）として、[r]~n でもいいですね。

結城浩 / Hiroshi Yuki @hyuki

@_oshinobi こちらもなるほど。

結城浩 / Hiroshi Yuki @hyuki

XXXXX.YYYYYZZZZZ ∈ Q でZZZZZは循環部分で XXXXXYYYYYZZZZZ ∈ Zと同一視と考えたけど演算が全然つながってない（筋悪し

jueli @jueli62

@hyuki 非零有理数について、（分子の素因数分解の指数の合計）マイナス（分母の素因数分解の指数の合計）で同一視とかどうでしょう。零は零。Z使ってしまっていますが… #QtoZ

結城浩 / Hiroshi Yuki @hyuki

@jueli62 うわなんかすごいですね

鏡 弘道 @kagami_hr

@hyuki 1 で生成される最小の加法的部分群じゃあだめなのでしょうか。

結城浩 / Hiroshi Yuki @hyuki

@kagami_hr そうですね…そうですよね…。でも部分群だと残されたQの要素が不憫で…なんとなくQ全域を使ってあげたくて…

鏡 弘道 @kagami_hr

@hyuki たしかに不憫ですね。それでは Q と Z の間の全単射を作って (以下自粛