tsujimotterさん @tsujimotter@mathtod.online

アルティンのガロア理論よんでいたら、群の指標の双対性についてわかりやすくまとめてあって目からウロコだった。

#マスログ

$0\leq i \leq p^f - 1, \; \gcd(p, i)=1$ に対して $\xi_i = 0$ のとき，
$$ \sum_{j=0}^{p^{f-1} - 1} \xi_{pj} = \sum_{i=0}^{p^{f} - 1} \xi_{i} $$
が成り立つ。

が理解できなくて，半日ぐらい悩んでいました。図をいろいろ書いていたらやっとわかった。

#マスログ

久しぶりにログインした

#マスログ
拡張された上半平面 $H^* = H \cup \mathbb{P}^1(\mathbb{Q})$ の $\Gamma(1)$ による商空間 $X(1) = \Gamma(1)\backslash H^*$ をモジュラー曲線というらしい。

$Y(1) = \Gamma(1)\backslash H$ として
$X(1)\backslash Y(1)$ を $X(1)$ のカスプというらしい。$X(1)$ は唯一つのカスプ $$X(1)\backslash Y(1) = \{\infty\}$$ をもつ。

#マスログ
上半平面 $H$ の $\Gamma(1)$ による商空間 $\Gamma(1)\backslash H$ は球面から一点を除いた空間と位相同型とのこと。

#マスログ

具体的な円分体のイデアル類群のp部分について、知られている実際の構造と岩澤加群の構造定理から導いた構造がちゃんと一致してテンションが上がっています。

逆極限を取っても両者が同型だと言うためには、同型写像と逆系の写像が可換（つまり自然変換）になっていなきゃいけない、という理解（合ってるかしら）

「自然な写像」って言ったときには、自然変換を指してるのかしら

@haru_negami おー落合先生だ！よさげですね！

#mathtodonユーザ向けのLaTeX講座

基本編その４です（やっぱりもう一つだけ）

数学ガールの結城先生も紹介していましたが、以下のページでは LaTeX の数式の試し打ちが出来ます。

「数式トゥート、失敗したくないよ！」
という方は、こちらのページで確認してから投稿することもできます。

http://draft.textfile.org/math/

（ブラウザだけで実行されて、サーバーに情報が送られないので、安心して実験できます）

#mathtodonユーザ向けのLaTeX講座

基本編その３です（今日はここまで）

ほかの方のトゥートのリプライボタン（トゥート下の矢印みたいなボタン）を押すと、そのトゥートの数式コマンドを見ることが出来ます。

ぜひこのトゥート下部の「ゼータ関数の数式」をコピーして、トゥートみてください！れっつ数式トゥート♪

\[ \zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s} \]

#mathtodonユーザ向けのLaTeX講座

基本編その２です。

先ほどは数式を入力するのに
　$\text{\[}$ 数式コマンド $\text{\]}$
というコマンドを使いました。この場合は、以下のように数式が一行に表示されます。

文中に数式を織り交ぜたいときには、
　$\text{\$}$ 数式コマンド $\text{\$}$
のように半角のドルマークで挟みましょう。

例：
「実数 $\text{\$}$ x \geq 0 $\text{\$}$ に対して，$\text{\$}$ f(x) $\text{\$}$ がうんぬんかんぬん。」
と入力すると

「実数 $ x \geq 0 $ に対して，$f(x)$ がうんぬんかんぬん。」
と出力される。

@natsudaidai
MathJax をご存じなければ、普通の LaTeX の要領でコマンドをうってみると良いかと思います！

何度か試してみてはいかがでしょう^_^

ちなみに、ほかの方のトゥートのリプライボタンを押すと、その方が使った数式のコマンドを見ることが出来ますので、それを見て真似するのが一番簡単です！

@natsudaidai はいそうです！"mathtodon"（すなわち、mathtod.online）では LaTeX 形式の数式処理に対応しています。

（MathJax というものをご存知でしたらその形式で記述することが出来ます）

#mathtodonユーザ向けのLaTeX講座

まずは基本編です。数式を入力したいときは、$\text{\[}$ 数式コマンド $\text{\]}$ のように入力します。

例：
$\text{\[}$ y = f(x) $\text{\]}$

と入力すると，

\[ y = f(x) \]

と出力されます。

このままだと味気ないですが、たとえば LaTeX 特有の数式コマンドを入力すると見栄えのする数式が作れます。

例：
$\text{\[}$ \int_{a}^{b} f(x) = F(b) - F(a) $\text{\]}$

と入力すると，
\[ \int_{a}^{b} f(x) = F(b) - F(a) \]

となりますね。

コマンドの頭には $\text{\ }$マーク（バックスラッシュ）がつくので覚えておくと良いでしょう。

数式コマンドを知りたい場合は "LaTeX 数式" で検索すると見つかるかと思います。

みなさんも楽しい数式トゥートを！

@hyuki なるほど！$\text{\text}$ でくくってしまえばいいのですね！ありがとうございます！^_^

数式の bullet コマンドを使うと箇条書きが書けますね。

$\bullet$ 朝早く起きる
$\bullet$ 朝ごはんをたべる
$\bullet$ 元気に出発する
（このツイートにリプライすると、$\LaTeX$ のコマンドが読めます）