7931
- いいね数 45,477/48,405
- フォロー 253 フォロワー 1,023 ツイート 68,505
- 現在地 チーバくんのみぞおち付近
- Web http://wed7931.hatenablog.com/
- 自己紹介 大学院数学専攻→インフラ系システムエンジニア→ちょっとお休み→新しい職場で心機一転。いろんな #数学 を勉強中。専門はリー群の表現論。妻と息子2人で日ハム応援中 #lovefighters 。 #水曜どうでしょう と #ゴリパラ見聞録 が好き。北海道出身/千葉県在住/松坂世代。
2019年12月30日(月)
道路(北海道・千歳):国道337号・道央圏連絡道路の中央ランプ付近、道東自動車道の北側(未開通)。道東道の橋脚の東側に本線、西側に長沼方面へ合流するランプがある。起点から10kmを指し示すキロポストが設置済。 pic.twitter.com/G7qUyZ6cCa
タグ:
posted at 20:35:47
道路標識(北海道・長沼):国道337号・道央圏連絡道路の延伸に向けて、南長沼ランプ付近の国道274号に青看板などの標識が設置されていた。一部は表示が隠されている。2019.12.30 pic.twitter.com/zeFRPKlvyT
タグ:
posted at 18:12:47
非公開
タグ:
posted at xx:xx:xx
ここで、元の話に戻ると、
「集合G上の群演算」とは
「G×GからGへの写像μで、"群演算の公理系"(Q(μ)とかく)を満たすもの」
のことでした。
従って、「G上の群演算全体のあつまり」は
{μ∈Map(G×G,G)|Q(μ)は真}
と一致するので、これは上述のことから集合であると分かります。(終)
タグ:
posted at 02:54:55
札幌の実家に到着済。夕食と入浴を済ませて床につく。
新千歳空港からは盟友の迎えで車で移動。国道337号・274号を経由。今年度開通予定の道央圏連絡道路の泉郷ランプ・南長沼ランプとの交差点前後で、一部が隠された青看板が設置済。開通が楽しみである。
タグ:
posted at 00:01:04