多元環の表現論とGabrielの定理

この記事では，多元環の表現論の概要と，この分野の金字塔の定理であるGabrielの定理について説明します．本当はこの後クラスター代数理論でこの定理を一般化する記事を書きたいのですが，ひとまずこれはこれで独立した記事としておきます（注：2021/7/1現在，筆者が力尽きたため一部未完成）．
要点をかいつまんで書いているだけなので，厳密なことを知りたい人は[ARS]とか[ASS]を読んでください．

多元環の表現論とは

まず最初に，多元環の表現論について概略を述べる．多元環とは，可換環$K$上の加群$A$であって，$A$自身が単位元付きの環構造を持っており，$K$の$A$への加群としての作用と$A$の環としての積が両立するような(すなわち，$K\cdot 1_A$が環の中心に含まれるような)ものを指す．この記事では，特に$K$は代数閉体であると仮定しておく（したがって，$A$は$K$上のベクトル空間と見れる）．

多元環の表現とは，$K$ベクトル空間$M$と，$A$の元と$M$上の線形変換を対応させる環準同型写像$\varphi\colon A\to \mathrm{End}_KM$のペア$(M,\varphi)$を指す．こう書くと少し難しそうに思えるが，これは単に$A$上のベクトル空間$M$とそれに入る$A$の加群作用$am\colon=\varphi(a)(m)$を決定していることと同じである．つまり，「多元環の表現論」とは，「多元環と呼ばれる環の加群について研究する分野」ということである．

さて，これで一応言葉の意味は定めたわけであるが，そもそも「多元環の加群を研究する」ことのゴール地点はどこにあるのだろうか？言い換えるならば，何をもって「多元環の加群を理解した」と言えるのだろうか？その到達点の1つとして，次のような大目標が考えられている：

なるほど，これを達成できればとりあえずは「俺は多元環の加群のことは結構わかってるぜ！」と言っても怒られなさそうではある．しかし，任意の多元環$A$についてこれを達成するのは言わずもがな難しい．そこで研究者たちは

「こういう性質をもつ$A$のこういう条件を満たす加群と準同型写像ならこういう方法でうまく記述できる」

ということを示すのを目指して研究をしている．

道多元環（path algebra）と有限次元多元環

さて，まず

「こういう性質をもつ$A$のこういう条件を満たす加群と準同型写像ならこういう方法でうまく記述できる」

の，「こういう性質を持つ$A$」の部分を考えることにする．最初に結論から言っておくと，ここでの「こういう性質」は，「$A$のベクトル空間としての有限次元性」である．つまり，多元環$A$を有限次元多元環に制限して考える．なぜこのクラスを考えるかというと，1つの理由としてわかりやすい記述方法が確立されているからである．この節では，道多元環と呼ばれる多元環を導入し，これを使って有限次元多元環を記述する方法をみていく．

まずは道多元環を定義していこう．数学に慣れている人にとっては，path algebraといった方が伝わりやすいかもしれない．これはその名の通り「道」が最初に与えられ，その「道」からあるルールに従って定まる多元環のことである．まずはその「道」について定義することにしよう．

$Q$を有限個の頂点とそれらを結ぶ有限個の向き付き辺（要するに矢印）からなるグラフであるとする．これを箙（えびら，quiver）といったりする．例えば次のようなものが箙である．
箙の例

以降，矢印は単に「矢」と呼ぶことにする．ここでのローカルルールとして，各頂点を自然数で表すことにする．また，矢はそれぞれギリシャ文字で名付けることにする（矢の付近にあるギリシャ文字はその矢の名前を表す）．また，$Q$は連結性を仮定しておく．箙$Q$の矢を向き通りに順にたどってできる，矢の名前による文字列を道と呼ぶ．ただし，文字は辿る順に右側から配置していく．例えば，上の例において$\gamma\beta\alpha$は道である．一方，$\delta$が一番右に来るような道は，$\delta$の次にくる矢が頂点2から出ているものなければいけないので，例えば$\epsilon\delta$は道ではないし，同様の理由で$\beta\delta$も道ではない．道の文字列を構成する文字の数を道の長さと呼ぶ．ひとつ注意として，長さが0の道が頂点1，2，3をそれぞれ出発/終着点とするものとして3つ存在することを約束しておく（これを$e_1,e_2,e_3$と書く）．道は無限個存在する場合もある．例えば上の例では$\alpha^m$は$m$がどのような自然数であっても道である．

さて，この道という概念を使って多元環$A$を構成しよう．まず，$A$はベクトル空間としては道全体の集合を基底とするようなベクトル空間であるとする．先の注意から，これは有限次元にも無限次元にもなり得る．上の例は無限次元になってしまうので，有限次元になる例を見てみよう．次の箙を考える．
箙の例2

このとき道は$\{e_1,e_2,e_3,\alpha,\beta,\alpha\beta\}$の6つで全てである．よって$A$はこれらの元を基底とする$K$上6次元ベクトル空間である．

次に$A$に積を導入することを考える．基底に関する積だけ定まればあとは分配則を使って拡張すればいいので，基底同士の積を次のように与えることで$A$における積を定める:道$x$と$y$に対して，
\begin{align} y\cdot x=\begin{cases} 0 &(s(y)\neq t(x))\\ yx　&(s(y)=t(x)). \end{cases} \end{align}
ただし，$s(x)$は道$x$の始点となる頂点，$t(x)$は道$x$の終点となる頂点とする．また，$yx$は$y$と$x$の文字列をそのまま繋げた文字列を意味する．つまり道同士の積は，道の端同士が繋がっているときは2つの道をドッキングさせて，そうでないときは$0$にしましょうという直感的で明快な積の定め方になっているわけである．このようなルールで定まる多元環を，$K$上の道（みち）多元環といい，$A=KQ$で表す．始点と終点が異なる道同士の積は交換できないので，この多元環は一般に非可換であるであることに注意しよう．

具体例として，引き続き$Q$が
箙の例2
であるときの$A=KQ$の積を計算してみよう．
\begin{align} x&=a_1e_1+a_2e_2+a_3e_3+a_4\alpha+a_5\beta+a_6\alpha\beta,\\ y&=b_1e_1+b_2e_2+b_3e_3+b_4\alpha+b_5\beta+b_6\alpha\beta \end{align}
とおく．ただし$a,b\in K$．このとき，
\begin{align} xy&=a_1b_1e_1+a_2b_2e_2+a_3b_3e_3+(a_1b_4+a_4b_2)\alpha+(a_2b_5+a_5b_3)\beta+(a_1b_6+a_6b_3+a_4b_5)\alpha\beta\\ yx&=a_1b_1e_1+a_2b_2e_2+a_3b_3e_3+(a_4b_1+a_2b_4)\alpha+(a_5b_2+a_3b_5)\beta+(a_6b_1+a_3b_6+a_5b_4)\alpha\beta\\ \end{align}

である（もし間違ってたら教えてね）．
ここで，$e_1,e_2,e_3$は全て長さ0の道であるため，長さが1以上の道との積を取ったとき，0でなければ全てその道に吸収されてしまうように定められていることに注意しよう．

我々が扱いたいのは有限次元多元環であるが，道多元環は有限次元でない場合も多い．そこで，道多元環を両側イデアルで割って有限次元多元環を構成することを考えよう．

長さが$i$以上の全ての道で生成される（両側）イデアルを$R^i$とかく．イデアル$I$が次の条件を満たす時，$I$は許容(admissible)イデアルであるという：

ある2以上の自然数$m$が存在して，$R^m\subset I\subset R^2$である．

たとえば，$Q$が向き付きのサイクルを持たないケースの場合，道の長さに上限があるので，その上限を超えたところで$m$を取ってあげれば$R^m=0$となりイデアル$I=0$は許容的である．逆に，$Q$がサイクルを持っている場合は長さがいくらでも大きい道が取れてしまうので，任意の$m$に対して$R^m\neq 0$となって$I=0$は許容的ではない．もう少し非自明な例では，次の箙
箙の例

において，$I=\langle \alpha ^2, \beta\alpha\gamma,\gamma\beta\rangle$は許容的である．これを確かめてみよう．$Q$において「$\alpha^2$を含む」,「$\beta,\gamma$の順に辿る」もしくは「$\gamma,\alpha,\beta$の順に辿る」プロセスが含まれていない道はすべて長さが4以下になっている一方，それ以上の長さの道を考えようとすると，かならず上の3つのプロセスのどちらかが含まれていなければならない．ところで，$I$はこの2つのプロセスを持つ道を全て含んでいるので，長さが4より大きい道は全て$I$に含まれていることになる．よって，$R^5\subset$$　I\subset R^2$となり，$I$は許容的である．　一方で，例えば$I=\langle\beta\alpha\gamma\rangle$は許容的ではない．$\beta\gamma\beta\gamma\cdots$という道がこの$I$には含まれないので，$m$はどんなに大きくとっても$R^m\subset I$とはなり得ないのである．

さて，$KQ$は全ての道を基底とする有限次元とは限らないベクトル空間だったが，次の命題が成り立つ．

簡単なので証明をつけておく．

許容イデアルが定義されたとき，「許容」がどういう意味でつけられているのかわからなかった人もおそらくいるとは思うが，「$KQ/I$がベクトル空間として有限次元になれば許す」という立場の元で，許容イデアルは「許された」イデアルなので，そういう名前がついたと思ってもらえれば良い．ただし，$I\subset R^2$を満たす許容的でないイデアルであっても，$KQ/I$が有限次元多元環である例は存在する．たとえば$Q$が1つの頂点をもち，矢がこの頂点に出入りする$\alpha$の1本であるとき，$I=(\alpha^3-\alpha^2)$と定めると$KQ/I$はベクトル空間として3次元であるが，これは許容イデアルではない（この事実はコメント欄でご指摘いただきました，ありがとうございます）．
さて上の説明によって，$I$が許容イデアルであるとき$KQ/I$は常に有限次元多元環となるが，実はこの逆も成り立つ．これが道多元環の偉いところである．

証明は大変なので端折るが，これによって有限次元多元環は道多元環という表示しやすい多元環を割ったものとして見ることができるのである．これなら人類にも扱えるかもしれないという気になってくる．

有限次元多元環の有限次元表現

この節から先では$A$は有限次元多元環であるとする．さて，

「こういう性質をもつ$A$のこういう条件を満たす加群と準同型写像ならこういう方法でうまく記述できる」

の，「こういう条件を満たす加群」の部分について考えることにしよう．有限次元多元環が扱いやすい多元環であることの理由として，道多元環による表示が見やすいという点を前節で挙げたが，実はこの多元環の有限生成加群の記述も容易に行える．これを見ていくことにしよう．まず，「多元環の表現論」の字義通りに，有限次元多元環の表現の記述方法を見ていく．

箙$Q$を任意にとる．$Q$の頂点集合を$Q_0$,矢全体の集合を$Q_1$とおく．この箙の各頂点$i$に対応して有限次元ベクトル空間$V_i$，矢$\alpha$ごとに線形写像$f_\alpha:V_{s(\alpha)}\to V_{t(\alpha)}$を対応させたベクトル空間の族と線形写像の族の組$(\{V_i\}_{i\in Q_0},\{f_\alpha\}_{\alpha\in Q_1})$を考える．ただし，$Q$の道の積や和が$KQ/I$上で$0$になっているときは，それに対応する線形写像の合成や和も$0$になっているようなものを選んでこなければいけないことに注意する．これを，有限次元多元環$A=KQ/I$の有限次元表現という．これは，いってみれば箙$Q$の頂点の上に有限次元ベクトル空間を置き，矢の代わりに線形写像をおいている感覚である．「ええっ，これが『表現』なの？多元環$A$から$M$の自己準同型環への環準同型を与えるのが『表現』でしょう？納得できません！」という人は，次のように解釈すれば良い．$M=\oplus_{i\in Q_0}V_i$とおく．ここで，長さ0の道$e_i$に対しては$f_{{e_i}, M}\colon M\to M$を基底の対応が
\begin{align} m\to \begin{cases} 0 & (m\notin V_{i})\\ m &(m\in V_{i}) \end{cases} \end{align}
となるような線形写像とし，また長さ1の道$\alpha\in Q_1$に対して$f_{\alpha M}\colon M\to M$を基底の対応が
\begin{align} m\to \begin{cases} 0 & (m\notin V_{s(\alpha)})\\ f_{\alpha}(m) &(m\in V_{s(\alpha)}) \end{cases} \end{align}
となるような線形写像とする（正確には対応の下段は$f_\alpha$で送った後で埋め込み$V_{t(\alpha)}\hookrightarrow M$を作用させている）．このとき，環準同型$\varphi\colon A\to \mathrm{End}_K M$を長さ0の道$e_i$の対応が$\varphi(e_i)=f_{e_i,M}$，長さ1の道$\alpha$の対応が$\varphi(\alpha)=f_{\alpha,M}$であるような環準同型と定めれば（長さが2以上の道の対応は積の準同型性から自然に決まり），$(M,\varphi)$は本来の意味での多元環$A$の表現となる．これを加群の作用として解釈したい場合は，$a\in A, m\in M$に対して$am\colon=\varphi(a)(m)$として加群の作用を定めれば良い．

これで有限次元多元環の有限次元表現が定まったわけであるが，「頂点に乗せるベクトル空間が有限次元」という制約は加群側ではどういう制約に対応しているのかというと，それは「有限生成性」である（余談だが「生成性」って発音しているうちに何回sayしたかわかりにくくなる）．$K$上有限次元な多元環上では$M$がベクトル空間として有限次元な加群であることと$A$加群として有限生成であることは同値なので（証明してみよう），有限次元多元環$A$の有限次元表現は$A$の有限生成加群と1対1で対応する．ということで，我々は$A$上の加群のクラスとして「有限生成加群」を考えることとする．

ここで1つ具体例を出しておこう．$Q$を再び
箙の例2
とする．$K=\mathbb{R}$とすると，例えば次のような有限次元表現を考えることができる．
有限次元表現の例

ここで，線形写像は全て有限次元ベクトル空間の間のものであるから，基底を固定してその表現行列で記述している．これを加群の形で書くと$M=\mathbb{R}^5$であり，これらの上記の表現行列に関する基底を$\{v_{11},v_{12},v_{21},v_{22},v_{31}\}$ ($v_{ij}$は頂点$i$上のベクトル空間の基底の元であると約束しておく)と，$A=\mathbb RQ$の長さが1の道の基底への作用は$\alpha v_{21}=v_{11}+2v_{12},\ \alpha v_{22}=3v_{11}+4v_{12},\ \beta v_{31}=-v_{21}$であり，ここに挙がっていない作用については全部$0$である．ここに書いてあることを読んだ時点でお気づきかと思うが，加群を表現の形で書くメリットの1つはその見易さである．この表記の仕方は，後になってもう少し省略した形で現れるので覚えておこう．

さて，我々が考える加群のクラスを有限生成加群に制限したのは見やすさの他にも理由があって，それは次のありがたい定理を使うためである．

この直和分解において直和因子が有限個であることは有限生成性からすぐにわかる．これにより，我々は有限生成加群を考える際，「直既約加群」「そいつらを直和したもの」という風に分けて考えることができ，後者は前者の組み合わせでしかないことを考えると，前者を調べるのが本質的だ，という結論に達する．これで一気に気にしなきゃいけない加群の数が減っているのがおわかりであろう．これならまだ調べられなくもないよね，という気分になってくる．

既約準同型

さて，次に加群準同型に話をうつそう．まず，互いに同型な加群というのは加群としての性質が全く同じであることから，現在の「多元環上の加群たちを記述する」という立場においてはひとまとめにして扱っても問題がないと考える．また，直和因子が複数ある加群の間の写像は和の形に分解できることを考えると，今重要な写像は「直既約加群から直既約加群への，同型写像でないような準同型写像」である．「有限次元多元環」の「有限生成加群（あるいは有限次元表現）」にまで具体的な記述を目指すクラスを絞ったので，じゃあその間の（同型でない）準同型写像を全部記述したい！ということになる．ところが，準同型を全部記述するという問題もまた，かなり難しい問題である．ひとまず，加群における直既約加群のように，これ以上分解できないような,既約準同型と呼ばれるクラスの準同型写像を考えてみることにしよう．

ただ，既約準同型は「これ以上分解できない」というだけであって「全ての直既約加群の間の同型写像でない準同型写像を既約準同型の和と合成で書き表せる」かと言われると，一般にはそうではない．ほんと困ったもんだ．ただ，このクラスの準同型は実は記述が比較的容易にできることが次の節でわかるので，とりあえずこのクラスに絞って考えることにしよう．

AR箙とAR移動

ここからは，前節まで見てきた直既約加群とその間の既約準同型を一望できるAR箙という概念について，非常に大雑把にではあるが説明していくことにしよう．
さて，AR箙（Auslander-Reiten箙）を定義する．これは頂点として直既約加群（の同型類）をとり，頂点（の加群）$X$と$Y$の間に$\mathrm{Irr}(X,Y):=\mathrm{rad}(X,Y)/\mathrm{rad}^2(X,Y)$の次元分だけ矢を伸ばした箙である．この定義から，この箙は考えている多元環上の有限生成加群とその間の関係の可視化した図形であると言える．AR箙は頂点や矢の数が無限個になりうることに注意する．

具体例を見ていこう．$Q$が
箙の例2

である場合，$A=KQ$のAR箙は次のようになる．
AR箙

この箙の見方について補足しておく．頂点に乗っている縦に並んだ数字は，$A$の加群を有限表現の形で表したものである．より正確には，小さい数字$i$は$Q$の頂点$i$に1次元ベクトル空間$K$が乗っていることを示しており，矢印が結ばれている2つの頂点に対応する数字が両方ある場合，その間の準同型写像として恒等写像が乗っていることを意味している．例えば，$\substack{2\\1}$は表現
対応する表現

とそれに対応する加群（の同型類）を表している．一般の有限次元多元環の場合，この表示はあまりにも省略が多すぎて直既約加群と1対1で対応しないが，これ以降例示するケースではそこまで問題にならないのでこの表記を使うことにする．ちなみに，数字の並び順は$Q$の矢の根本にある方の頂点ほど上に来るように並んでいる．さて，この図において直既約加群の同型類は6つあるが，同型類はこれで全部である．従って，$KQ$の任意の有限生成加群はこの6つの直既約加群を適当に有限直和したものと同型である．また次の節で解説するが，この例のケースでは全ての直既約加群の間の同型でない加群準同型が，ここにある既約準同型の和と合成の組み合わせで記述できる．こう考えると，AR箙が多元環$A$の有限生成加群の構造を表す図形であるということの意味がわかるのではないかと思う．

そして，おそらくもう一つ気になっているのが図における点線だと思われるが，これはAR移動（Auslander-Reiten translation）と呼ばれる変換を意味する点線である．これについて説明しよう．1つの直既約加群$M$から伸びる全ての既約準同型がなすベクトル空間の基底を1つ固定する．この基底の元を全て直和した準同型を考えたとき，その余核射は再び既約準同型の直和となり，像は直既約加群となる．さらにこれは短完全列になる．

例えば，上の例で$\mathrm{Irr}\left(\substack{2\\1},\substack{3\\2\\1}\right)$と$\mathrm{Irr}\left(\substack{2\\1},\substack{2}\right)$は両方とも1次元なので，それらの基底を$f_1,f_2$とする．このとき，
完全列
が完全列となり，$g_1,g_2$は既約準同型で，しかもそれぞれ$\mathrm{Irr}\left(\substack{3\\2\\1},\substack{3\\2}\right)$と$\mathrm{Irr}\left(\substack{2},\substack{3\\2}\right)$の基底となっている（ただし$\begin{bmatrix}g_1 & g_2\end{bmatrix}$を$\begin{bmatrix}f_1\\f_2\end{bmatrix}$の余核射とした）．

双対的に，1つの直既約加群に入る既約準同型の基底の直和の核をとるとその核射は既約準同型の直和となり，その定義域は直既約加群となる．また，これも同様に短完全列となる．これらのような短完全列を概分裂完全列と呼ぶ．そして，AR移動は，この概分裂完全列の右側の加群を左側の加群にうつす変換として実現される（本当は別の定義があってこれはそこから導かれる性質であるが，解説すると長くなるので省略する）．この変換を$\tau$で表す．したがって，AR箙において点線で結ばれている右側の加群から左側の加群への変換がAR移動であり，例えば上のAR箙の例では$\tau(\substack{3\\2})=\substack{2\\1}$である．また，左側に点線がない加群（実は全て射影加群である）のAR移動は$0$になる．例えば$\tau(\substack{2\\1})=0$．AR移動の方向はAR箙の矢とは逆方向であることに注意しよう．AR移動がどのような重要性を持つかについてはここでは触れないが，私が執筆を考えている次の記事ではこの変換がたくさん出てくる予定である．

上の説明を読んで気づいた読者もいるかもしれないが，AR箙は1つの直既約加群から出る既約準同型（のベクトル空間の基底）を全て特定できれば，その余核をとることで新たな直既約加群とそこへ入る既約準同型を見つけることができる（あるいは逆に．1つの直既約加群へ入る既約準同型を全て見つけ，その核を取ることでも同じことができる）．上の性質に加えて幾つかの性質を知っていれば，ある加群を起点としてその加群とAR箙上で繋がっている直既約加群と既約準同型を芋づる式に見つけることができる場合がある（もっとも，その起点が見つけられなかったり，既約写像を全部特定するのが難しかったりすることもあるうえ，頂点が無限個あったり連結成分が1つでなかったりするので，一般には全体像を記述するのはそこまで簡単ではないが）．このようにして，有限次元多元環の有限生成加群の様子は，ある程度手計算で知ることができるのである．次の節の最後で，特別な場合について計算を行う（予定だったが力尽きた）．

有限表現型道多元環とGabrielの定理

ここからは，2つ前の節で最後に言及した「全ての直既約加群の間の同型写像でない準同型写像を既約準同型の和と合成で書き表せる」クラスについて話をしていきたい．とはいえ，このクラスあまりにも名前が長すぎるし，「〇〇が成り立つような道多元環のクラス」では一体どんな特徴を持つ道多元環を考えればいいのかがよくわからないので，もっと自然な性質で特徴付けることを考えよう．次のようなクラスの多元環を考える．

実は，このクラスこそがさっきから言っている「全ての直既約加群の間の同型写像でない準同型写像を既約準同型の和と合成で書き表せる」クラスであることが知られている：

たとえば1つ前の節で見たAR箙の例は直既約加群が有限個だったのでその例である．
つまり，この有限表現型というクラスに入っている有限次元の道多元環については「有限生成直既約加群全体」と「その間の既約準同型」がどういう配置になっているかを知るだけで（つまりAR箙を構成できれば），「有限生成加群とその間にある準同型写像についてはもう全部わかった！」と言って良いということである．ただ，実は有限表現型というのはそんなにありふれている存在ではない．例えば２頂点の箙でも，2つの頂点の間の矢が同じ方向に2本以上あるだけでその道多元環は有限表現型ではなくなってしまうのである．

ここで，ある意味当然とも言える疑問が浮かんでくる．

この特別な場合として，次のような問題を考える．

道多元環が有限次元であるのは，$Q$が向き付きのサイクルを持たないような道多元環$KQ$の場合である．この問題に答えを出したのが，次のGabrielの定理である．

非常に特徴的な形をした図形が出てきた．この定理に出てくる形の図形をDynkin図形といい，元々は単純リー代数の分類をするために考え出された図形である．定理中にも書いてあるが，この図形は上から$A_n$型，$D_n$型，$E_6,E_7,E_8$型と呼ばれ，リー代数や多元環の表現論に限らず様々な分野の分類において出てくる，まさに現代数学の象徴と言っても良い図形である（$B,C,F,G$型の図形もあるが，この文脈では出てこない）．

ちょっとした余談ではあるが，お笑いコンビ「ピース」の又吉直樹さんは背中にこの$E_8$図形が書かれた紙を貼られたことがある[N]．

これらの道多元環は非常によく理解されているということで，現在の多元環の表現論においてもさまざまな面で重要な役割を演じている．特に$A_n$型はその中でも（非自明ではあるが）一番単純な構造を持っているということもあり，計算の具体例や理論構築のきっかけとして，この界隈の研究者にとっては見ない日がないと言っても良いくらいの道多元環である(はず)．

さて，最後にこの$A,D,E$型多元環の場合にAR箙を記述する手順を紹介して終わろうとおもったが，ちょっと記事が長くなり過ぎてきたので別の記事として執筆した．リンクを参照して欲しい．

（そのうちここにいい感じのリンクを貼る予定）

というわけで，

「$A,D,E$型の道多元環の，有限生成加群とその間の準同型写像なら，AR箙を構成する上記の方法でうまく記述できる」

ということがわかった．これはまさに多元環の表現論の研究者が目指す

「こういう性質をもつ$A$のこういう条件を満たす加群と準同型写像ならこういう方法でうまく記述できる」

ことを示すという目標そのものであり，その意味で1つの到達点なのであった．おしまい．

追記：H.E.さんが，特定の箙$Q$（とイデアルの生成元）を指定したときにそこから有限次元多元環$KQ/I$のAR箙やその他さまざまな情報を計算してくれる，String Appletというwebブラウザ上で動くアプリケーションをmathlogで紹介しています！この記事を読み終わった人は，このアプリケーションをより楽しめるようになっているはずです！詳しくは以下のリンクからどうぞ．

有向グラフから多元環を作っていろいろ計算してくれるウェブアプリで遊ぼう！【String Applet 第1回】

謝辞

記事を書くにあたり重要な指摘とコメントをいただいたH.E.さんに感謝いたします．また，コメント欄で間違いなどを指摘してくださったbdさんにも感謝申し上げます．

参考文献

[ARS] M. Auslander, I. Reiten, S.O. Smalø, Representation theory of Artin algebras, Cambridge Studies in Advanced Mathematics, 36. Cambridge University Press, Cambridge, 1995

[ASS] I. Assem, D. Simson, A. Skowroński, Elements of the representation theory of associative algebras Vol. 1, London Mathematical Society Student Texts, 65, Cambridge University Press, Cambridge, 2006.

[G] P. Gabriel, Unzerlegbare Darstellungen I, Manuscripta math. 6 (1972) 71–103.

[KS] O. Kerner , A. Skowroński, On module categories with nilpotent infinite radical, Comp. Math. 77 (1991) 313-333.

[N] 又吉直樹のヘウレーカ！：夜の標識 光って見えるのはなぜ？, NHK, 2018年5月30日．（テレビ番組）