すうがく徒のつどい@オンライン,そろそろ何を話すかを決めないと.有限生成無限単純群の構成でもしようかな(難易度感がこれでいいのかわからないけど)

空文字列を表すのにλを使うことがあるのはなんでだろうと思っていたけど,どうやらドイツ語のleerから来ているらしい: cs.stackexchange.com/questions

あけましておめでとうございます.本年もよろしくお願い致します.

なんとかぎりぎり年内にDiekert-Weißの論文読み終わったウオー
pdfは年明けに書きます

数学のレポート・定期試験における部分点は(少なくとも大学以降では)悪い文明なので滅ぼした方がよい(「わかってなくても何かそれっぽい意味不明なことを書いて部分点を狙う」という姑息な手法が最適解になってしまい,採点者の負担が無限に増加するため).
部分点の導入は理解度を過大評価してしまうという問題もある:「部分点を半分もらったから半分くらい理解できている」は明らかに正しくない.むしろ「でたらめで的外れな回答には負の得点を与える」というレギュレーションにした方が「わからない問題は白紙回答にする」が最適戦略になるのでよい.(ただし,ここではもちろん「救済措置」の側面は無視している)

形式言語理論,既存の定義と等価なオートマトン概念が濫造されがち(やめてほしい)

Mathematical Logic Advent Calendar 2020,書くネタがないのでGromovの多項式増大度定理と超準解析の話を勉強しようかな

"The word problem of a group G is a star-free language if and only if G is the trivial group",簡単にも関わらず誰も言及してない(はず)なのなんでなんだ(誰も興味がないだけ?)

面白そう,読もうかな
Computation with Finitely Presented Groups: cup.org/37ONApl

有限表示群の諸々(例えば2つの語が等しくないことの証明など),代数の本だとかなり曖昧に済まされていることが多いけど,文字列書き換え系(String Rewriting System; SRS)の言葉を使ってまとめるとすっきりしそうだという予感がある(のでそのうち書きたい)

pregroup,Stallingsのやつとpregroup grammerのやつと2種類あって紛らわしいな…….Stallingsのやつはpartial groupとかにしとけばよかったのではという気がするけど

数学における「~において」の用法,「空間Xの点xにおいて」なんかはわりと自然に感じるんだけど,「集合Aの元aにおいて」「群Gの元gにおいて」みたいな,通常は幾何的なイメージがあまりないものに使われるとめっちゃ違和感がある(が,実際にこう表記する人は結構いる気がしている)

というより内部半直積とか分裂する短完全列を考えればそのように見ることができるのは当たり前ではある

Show thread

以前は群の半直積は左から作用するなら$Q\ltimes N$と書いた方がいいんじゃないかと思っていたけど,$(n,q)(n',q')=(n\varphi(n'),qq')$を括弧を外して$nqn'q'=n\varphi(n')qq'$と表記したときに「$q$が$n'$を“飛び越える″ときに$\varphi$による作用を施す」ように見えることに気付いてからは(積の定義が覚えやすいので) $N\rtimes Q$派になった

代数的整数論(algebraic number theory)は「代数的な数論」とも「代数的(整)数の理論」とも読めるというのはよく知られた話だけど,ドイツ語だとAlgebraische Zahlentheorieなので代数的な数論としか読めないのよな

ふとRiemannの再配列定理(Riemann rearrangement theorem)の逆数学的な強さを調べようと思って考えたら普通にRCA_0で証明できたので何も面白いことは起きなかった,残念

今年の夏はこれを理解することを目標にやっていこうと思います
arxiv.org/abs/1307.8297

英語が苦手なのでA of B of C of D of E of Fとかいう地獄のような名詞句を生成してしまう

low$_n$ setとhigh$_n$ set,とても表記しづらい(せめて$n$-low,$n$-highとかにしてほしかった)し,なんでこんな記法が定着してしまったんだ…….和訳するとしたら「低$_n$ (resp. 高$_n$)集合」「$A$は低い$_n$ (resp. 高い$_n$)」とかになるんだろうか

Show more
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.