6

局所環の25個の同値な特徴づけ

1165
0
$$\newcommand{AA}[0]{\mathcal{A}} \newcommand{CC}[0]{\mathcal{C}} \newcommand{DD}[0]{\mathcal{D}} \newcommand{equiv}[0]{\Leftrightarrow} \newcommand{Ext}[0]{\operatorname{Ext}} \newcommand{Hom}[0]{\operatorname{Hom}} \newcommand{imp}[0]{\Rightarrow} \newcommand{implies}[0]{\Rightarrow} \newcommand{inj}[0]{\hookrightarrow} \newcommand{mod}[0]{\operatorname{\mathsf{mod}}} \newcommand{Mod}[0]{\operatorname{\mathsf{Mod}}} \newcommand{surj}[0]{\twoheadrightarrow} $$

概要

$A$を考えます。この環が局所環であることには様々な同値な定義が存在します。可換環ではよく「極大イデアルがただ一つしかない」ことを定義とされていますが、非可換の場合は極大イデアルと極大イデアルがあるので、局所環の考えられる定義は

  • 極大右イデアルがただ一つ
  • 極大左イデアルがただ一つ

の二通りあります。しかし二つの定義は実は同値で、他にも数多くの同値な定義があります。

この記事では、著者が知る限り多くの可能な(25個!)局所環の特徴づけを与えて、証明することにします。

前提とする知識

環や加群や右・左イデアルや単純加群の定義や加群の準同型定理などを知っていれば十分です、根基について知らなくても全てself-containedになっているはずです。

本記事では、環といったら常に単位的結合的で可換とは限らない環を指し、環の元$0$は加法の単位元、$1$は常に乗法の単位元を指します。また加群は主に右加群について扱います。よって加群$M$の元$x$に対して、$a \in A$の作用は$xa$と書かれます。$xA$$Ma$などもそのような意味です。

局所環のいくつかの有名な定義の同値性を示すだけなら、本記事の証明よりも短く直接的に証明できる可能性があります。本記事の証明方法は、筆者がその場で書きながら考えた、あくまでその一つの証明であり、聡明な皆さんならより短い方法で示せることも十分あるので、自信がある方は本記事を鵜呑みにせず自分で別証明を考えてみるとよい訓練になります。

可除環とJacobson根基からの準備

特徴づけのため、可除環(=斜体)とJacobson根基についての命題を用いるので、それを準備します。

まず可逆元についての言葉遣いを確認しておきます。

可逆元

$A$の元$x$について、

  • $x$右可逆であるとは、ある$a \in A$が存在して$xa = 1$となるときをいう。このとき$a$$x$の右逆元と呼ぶ。
  • $x$左可逆であるとは、ある$a \in A$が存在して$ax = 1$となるときをいう。このとき$a$$x$の左逆元と呼ぶ。
  • $x$可逆であるとは、ある$a \in A$が存在して$xa = 1 = ax$となるときをいう。このとき$a$$x$の逆元と呼び、また$a = x^{-1}$と書くときもある。

逆元の存在について、次の補題が便利です。

右可逆かつ左可逆ならば可逆

$A$の元$x$について、$x$が可逆であることと、$x$が右可逆かつ左可逆であることは同値である。

可逆元が右可逆かつ左可逆なことは明らか。逆に$x$が右可逆かつ左可逆とする。このとき$x$の右逆元$a$と左逆元$b$をとる。もし$a=b$ならば、明らかに$a$$x$の逆元となり、$x$は可逆である。実際、次の式変形からこれは分かる:
$$ a = 1 a = (bx) a = b(xa) = b 1 = b. $$

ゼロでない可換環がであるとは、任意の$0$でない元が可逆であることでした。これの非可換な場合は、斜体とも言われますが、本記事ではより紛らわしくない可除環という言葉を使うことにします。

可除環

ゼロでない環$A$可除環であるとは、任意の$0$でない元が可逆であるときをいう。

上の定義では、任意の元が「可逆」、つまり両側可逆であることを要求していましたが、これも含めて、可除環には次のような様々な特徴づけがあります。

可除環の特徴づけ

ゼロでない環$A$に対して次は同値である。
(1) $A$は可除環である。
(1)$_R$ $A$$0$でない任意の元が右可逆である。
(1)$_L$ $A$$0$でない任意の元が左可逆である。
(2)$_R$ $0$$A$の極大右イデアルである。
(2)$_L$ $0$$A$の極大左イデアルである。
(3)$_R$ $A$は単純右$A$加群である。
(3)$_L$ $A$は単純左$A$加群である。

右イデアルは$A$の右加群としての部分加群ことだったので、(2)$_R$$\equiv$(3)$_R$と(2)$_L$$\equiv$(3)$_L$は明らか。また(1)$\imp$(1)$_R$と(1)$\imp$(1)$_L$も明らか。以下では(1)$_R$$\equiv$(3)$_R$と、(1)$_R$$\imp$(1)を示す(これでちゃんと回っている)。

(1)$_R$$\imp$(3)$_R$$A$が可除環だとし、任意のゼロでない$A$の(右加群としての)部分加群$M$をとる。このとき$0 \neq x \in A$が取れ、部分加群なことから$xA \leq M \leq A$となる。しかし$A$が可除環より$x$は可逆元なので、$xA = A$が成り立つことが容易に分かる。よって$M = A$となり、これは$A$が右加群として単純なことを意味する。

(3)$_R$$\imp$(1)$_R$:任意の$0$でない元$x$を取ると、$xA$$A$のゼロでない部分加群なので、単純性により$xA = A$となる。よって右辺の$1$をとれば、ある$a \in A$が存在して$xa = 1$となり、つまり$x$は右可逆である。

(1)$_R$$\imp$(1):任意の$0$でない元$x$を取ると、仮定より$x$の右逆元$a$が存在する。つまり$xa = 1$である。一方ここで$a$にも仮定により右逆元が存在する($a \neq 0$がすぐ分かるので)。よって$a$は左可逆(左逆元$x$を持つので)かつ右可逆なので、補題1より可逆元である。よって$xa = 1$から$x$$a$の逆元、つまり$a$$x$の逆元となる。なので$x$は可逆である。

(非可換でも可換でも)環上の加群論ではJacobson根基という特別な両側イデアルが重要な役割を果たします。

Jacobson根基の特徴づけ

$A$とその元$x$に対して、次は同値。
(1)$_R$ $x$は任意の極大右イデアルに含まれる。
(1)$_L$ $x$は任意の極大左イデアルに含まれる。
(2) 任意の元$a,b \in A$について$1-bxa$が可逆である。
(3) 任意の元$a \in A$について$1-xa$が可逆である。
(3)$_R$ 任意の元$a \in A$について$1-xa$が右可逆である。

またこのような元からなる集合(つまり(1)より全ての極大右イデアルの共通部分または全ての極大左イデアルの共通部分)を$A$Jacobson根基といい、本記事ではよく$J$と書く。

(1)$_R$ $\imp$ (2):$x$が全ての極大右イデアルに含まれるとし、任意の元$a$をとる。このとき$xa$も全ての極大右イデアルに含まれる。まず$1-xa$が右可逆なことを示す。もしそうでないなら、$(1-xa)A$$A$の真の右イデアルなので、ある極大右イデアルに含まれる(任意の真の右イデアルはある極大右イデアルに含まれます)。つまり$1-xa$を含む極大右イデアルがあるが、すでに見たように$xa$は任意の極大右イデアルに属するので$1 = (1-xa) + xa$を含む極大右イデアルが存在することとなり、矛盾である。よって$1-xa$は右可逆である。

次に$1-xa$が可逆なことを示す。$1-xa$の右逆元$y$をとると、$(1-xa)y = 1$である。移行すると、
$$ y = 1 + xay = 1 - x (-ay) $$
を得るが、すでに示したことから($a$として$-ay$を取る)、$y$は右可逆である。よって$y$は右可逆かつ左可逆なので可逆元である。ゆえに$1-xa = y^{-1}$も可逆である。

最後に、$J_1:= \bigcap\{ M \, | \, \text{$M$は$A$の極大右イデアル}\}$が両側イデアルであることを示せば、$x \in J_1$なことから任意の元$a,b$に対して$bxa \in J_1$はこの集合に入るので、すでに示したことから$1-bxa$が可逆となる。非自明なのは$J_1$が左側からの作用で閉じることである。
実は、$J_1$は次のような記述を持つ:
$$ J_1 = \{z \in A \, | \, \text{任意の単純右加群$S$に対し$Sz = 0$となる} \} $$
実際、右辺の元$z$を取ろう。すると任意の極大右イデアル$M$について、単純右加群$A/M$を考えれば$(A/M)z=0$より$z \in M$が従う。逆に、左辺から元を取り、任意の単純加群$S$を考える。するとある$A$の極大右イデアル$M$を用いて$S \cong A/M$となるが、$z \in M$なことから$(A/M)z = 0$、よって$Sz = 0$となる。

この記述により、$J_1$が左イデアルなことがすぐに従う。一応やると、$z \in J_1$$c \in A$をとれば、任意の単純右加群$S$について、$Scz = (Sc) z \leq Sz = 0$より$Scz=0$なので、$cz \in J_1$となる。

  1. $\imp$ (3)$\imp$ (3)$_R$:明らか。

(3)$_R$ $\imp$ (1)$_R$:背理法で、$x$を含まない極大右イデアルがあったとする。それを$M$とすると、$xA + M$$M$より真に大きい右イデアルなので$A$に一致する、つまり$xA + M = A$である。右辺の$1$を考えると、ある$a \in A$$m \in M$に対して$xa + m = 1$となるが、移項して$m = 1-xa$となる。しかし(3)$_R$より$m$は右可逆である。このことから$m$の右逆元$n$をとれば、$1 = m n \in M$となり、$M$が真のイデアルなことに矛盾する。

実はこれで証明が終わっている。なぜなら以上で(1)$_L$以外の条件は全て同値だが、(2)の条件は完全に左右対称な条件である。よって各条件の左右を逆にした条件もまた同値であり、とくに(1)$_L$も他のものと同値である(怖い方は、反対環を考えるか、またはもっと直接に、(3)と(3)$_R$をひっくり返した条件を考えれば(1)$_L$もぐるっとまわる)。

上の特徴づけにより、$J$$A$の両側イデアルであり、ゼロでない環$A$に対してJacobson根基$J$は真のイデアルである、つまり$J \neq A$なことが従います。なぜなら、$J=A$なら、$1 \in J$となり、$1- 1 = 0$が可逆元になるからです。よって$A/J$もゼロ環ではありません。このことは以下で何も言わずに用います。

この注意は中山の補題の特別な場合ですがまあそれは今回は置いておきます。

主定理とその証明

ではさっそく主定理を見ていきましょう。

局所環の特徴づけ

ゼロでない環$A$に対して、次は同値(ここで$J$$A$のJacobson根基)である。この同値な条件を満たす環を局所環と呼ぶ。
(1)$_R$ $A$の極大右イデアルは一つしかない。
(1)$_L$ $A$の極大左イデアルは一つしかない。
(2)$_R$ $J$$A$の極大右イデアルである。
(2)$_L$ $J$$A$の極大左イデアルである。
(3) 環$A/J$は可除環(斜体)である。
(3)$_R$$A$加群$A/J$は単純右$A$加群である。
(3)$_L$$A$加群$A/J$は単純左$A$加群である。
(4) $J$$A$の非可逆元全体にちょうど一致している。
(4)$_R$ $J$$A$の右可逆でない元全体にちょうど一致している。
(4)$_L$ $J$$A$の左可逆でない元全体にちょうど一致している。
(5) $A$の非可逆元全体は両側イデアルになる。
(5)$_R$ $A$の右可逆元でない元全体は両側イデアルになる。
(5)$_L$ $A$の左可逆元でない元全体は両側イデアルになる。
(6) $A$の非可逆元全体は加法で閉じている。
(6)$_R$ $A$の右可逆元でない元全体は加法で閉じている。
(6)$_L$ $A$の左可逆元でない元全体は加法で閉じている。
(7) 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n$が可逆元ならば、いずれかの元$a_i$は可逆元である。
(7)$_R$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n$が右可逆元ならば、いずれかの元$a_i$は右可逆元である。
(7)$_L$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n$が左可逆元ならば、いずれかの元$a_i$は左可逆元である。
(8) 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n = 1$ならば、いずれかの元$a_i$は可逆元である。
(8)$_R$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n = 1$ならば、いずれかの元$a_i$は右可逆元である。
(8)$_L$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n = 1$ならば、いずれかの元$a_i$は左可逆元である。
(9) 任意の元$x$に対して、$x$$1-x$のいずれかは可逆元である。
(9)$_R$ 任意の元$x$に対して、$x$$1-x$のいずれかは右可逆である。
(9)$_L$ 任意の元$x$に対して、$x$$1-x$のいずれかは左可逆である。

多分25個あります。長いのでいくつかのブロックに分けてやります。

(1)$_R$から(3)$_L$までが同値なこと

(1)から(3)までは、落ち着けばほとんど可除環の特徴づけや定義からすぐに従います。のでこれらがまとめて同値なことを示します。

(1)$_R$から(3)$_L$まで

(1)$_R$ $\equiv$ (2)$_R$:命題3(Jacobson根基の特徴づけ)により、$J$は極大右イデアルの全ての共通部分である。このことを考えると、その$J$自身が極大右イデアルになることと、$J$が唯一の極大右イデアルになることと、極大右イデアルが一つしかないことは同値であることが落ち着けば分かる。

(2)$_R$ $\equiv$ (3)$_R$:右加群$A$の右イデアル$J$による剰余加群が$A/J$なので、部分加群の対応定理から明らか。

(3)$_R$ $\equiv$ (3):(3)$_R$の条件を考えると、$A/J$を右$A$加群として見ているが、$A/J$加群でもあり、また単純性は$A$加群としてみても$A/J$加群としてみても変わらない。よって(3)$_R$は「環$A/J$は右$A/J$加群として単純加群である」と同値である。よって命題2(可除環の特徴づけ)から(3)$\equiv$(3)$_R$が従う。

ここで(3)は左右対象な条件なので、全て$_L$側でも同値が言える(厳密には反対環を取るか、全く逆の議論をする)。念の為詳しく言うと次の同値が示せたので、(1)$_R$から(3)$_L$の条件は全て同値である:
$$ (1)_R \equiv (2)_R \equiv (3)_R \equiv (3) \equiv (3)_L \equiv (2)_L \equiv (1)_L $$

この証明から、すでに(1)$_R$「極大右イデアルがただ一つしかない」と(1)$_L$「極大左イデアルがただ一つしかない」という、有名な局所環の定義の左右対称性が証明されています。

(3)と(4)の各条件同値性

つぎに(3)と(4)の条件(右と左も込み)を考えます。(3)はざっくり「modulo $J$$A$の元は可逆」であり、(4)の条件は「$A$から$J$を取り除いたとこの元は可逆」で、近い条件です。
議論の見通しをよくするため、いくつかの簡単な補題を準備します。

$A$の真の右イデアル$I$について、次の包含が成り立つ:
$$ I \subseteq \{ \text{$A$の右可逆でない元} \} \subseteq \{\text{$A$の非可逆元}\} $$

$I \neq A$に注意。すると$I$がもし右可逆な元$x$を含んでしまうと、右逆元$a$を取れば、$I$が右イデアルなことから$I \ni xa = 1$が従い、よって$I=A$になって矛盾。よって$I$の元は右可逆元を含まず、最初の包含が成り立つ。次の包含は「可逆元ならば右可逆元」の対偶から従う。

$A$のJacobson根基$J$$x \in A$について、次は同値。
(1) $x$$A$の可逆元。
(2) 剰余環$A/J$の中で$\overline{x}$は可逆元。

  1. $\imp$ (2):明らか。

  2. $\imp$ (1):剰余環$A/J$の中での$\overline{x}$の逆元$\overline{a}$をとると、$\overline{xa} = \overline{1} = \overline{ax}$なことから$1-xa$$1-ax$$J$に入る。よって命題3(Jacobson根基の特徴づけ)から、$1-(1-xa) = xa$$1-(1-ax) = ax$は可逆元です。すると$xa$が右逆元を持つことから$x$は右逆元を持ち、$ax$が左逆元を持つことから$x$は左逆元を持つ。つまり$x$は右可逆かつ左可逆なので補題1により$x$は可逆元。

この準備をすれば(3)と(4)の同値性はすぐです。主定理から必要箇所を抜粋します。

$A$とそのJacobson根基$J$について次は同値。
(3) 環$A/J$は可除環(斜体)である。
(4) $J$$A$の非可逆元全体にちょうど一致している。
(4)$_R$ $J$$A$の右可逆でない元全体にちょうど一致している。
(4)$_L$ $J$$A$の左可逆でない元全体にちょうど一致している。

(3)と(4)の同値性
  1. $\imp$ (4):いま補題5により$J$の元は全て非可逆元である。よって(4)を示すためには、任意の非可逆元が$J$に入ること、すなわち$J$に属さない元は全て可逆元なことを示せばよい。$J$に属さない元$x$をとると、(3)の仮定より$A/J$は可除環で、$x$の剰余類$\overline{x}$$A/J$の非ゼロ元なので可逆元。よって上の補題6により$x$$A$の可逆元である。

  2. $\imp$ (4)$_R$:補題5より直ちに従う。

(4)$_R$ $\imp$ (3):いま(4)$_R$の仮定により、$A \setminus J$の元は全て右可逆である。よって$A/J$のゼロでない元は右可逆となるが、命題2(可除環の特徴づけ)により$A/J$が可除環となる。

(3)や(4)は左右対称な条件なので、これで(3)、(4)、(4)$_R$、(4)$_L$の同値性が分かった。

お疲れさまです。あとちょっとで終わりですのでもう少しお付き合いください。

残りの条件の同値性

今までで(1)から(4)$_L$までの全ての条件は同値です。残りの条件がこれらと同値なことを示します。必要箇所を主定理から抜粋して見やすく並べ替えたのが下です。

$A$とそのJacobson根基$J$について、次は同値。
(4) $J$$A$の非可逆元全体にちょうど一致している。
(5) $A$の非可逆元全体は両側イデアルになる。
(6) $A$の非可逆元全体は加法で閉じている。
(7) 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n$が可逆元ならば、いずれかの元$a_i$は可逆元である。
(8) 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n = 1$ならば、いずれかの元$a_i$は可逆元である。
(9) 任意の元$x$に対して、$x$$1-x$のいずれかは可逆元である。
(4)$_R$ $J$$A$の右可逆でない元全体にちょうど一致している。
(5)$_R$ $A$の右可逆元でない元全体は両側イデアルになる。
(6)$_R$ $A$の右可逆元でない元全体は加法で閉じている。
(7)$_R$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n$が右可逆元ならば、いずれかの元$a_i$は右可逆元である。
(8)$_R$ 任意の有限個の元$a_1, \dots, a_n$について、$a_1 + \dots + a_n = 1$ならば、いずれかの元$a_i$は右可逆元である。
(9)$_R$ 任意の元$x$に対して、$x$$1-x$のいずれかは右可逆である。

たとえば(6)と(6)$_R$は、可逆元と右可逆な元との関係がまだわからないことから、直ちに分かるimplicationはないことに注意してください(実際は右可逆元と可逆元は局所環では一致しますが、それは証明の内部では使えません)。

なんだか多くて大変そうですが、大部分は自明で、非自明な箇所はほんの少しです。

(4)から最後までが同値なこと

(4)と(4)$_R$の同値性はすでに示されていた。よって次を示せば十分である:
$$ (4) \imp (5) \imp (6) \imp (7) \imp (8) \imp (9) \imp (4)_R, $$
$$ (4)_R \imp (5)_R \imp (6)_R \imp (7)_R \imp (8)_R \imp (9)_R \imp (4)_R $$
$_L$については?と思われた方は、(4)などが全部左右対称な条件なので、同様にぐるっと回せます。)

ここで、落ち着いて対偶などを考えれば、非自明な箇所は(9) $\imp$ (4)$_R$(9)$_R$ $\imp$ (4)$_R$の2つのみである!(自明な条件で数を水増ししたな、とか思わないでね、実際間の条件も便利です)

  1. $\imp$ (4)$_R$:補題5により「$A \setminus J$の任意の元は右可逆」を示せばよい。$x \not\in J$なる$x \in A$をとろう。すると命題3(Jacobson根基の特徴づけ)により、ある$a \in A$が存在して、$1 - xa$が非可逆である。よって(9)から$xa$は可逆でなければならない。$xa$の逆元$b$を取れば、これは$xab = 1$を意味し、$x$は右可逆である。

(9)$_R$の方も証明は同様だが、Jacobson根基の特徴づけの違う箇所を使ったことに注意されたい。

(9)$_R$ $\imp$ (4)$_R$:補題5により「$A \setminus J$の任意の元は右可逆」を示せばよい。$x \not\in J$なる$x \in A$をとろう。すると命題3(Jacobson根基の特徴づけ)により、ある$a \in A$が存在して、$1 - xa$右可逆でない。よって(9)$_R$から$xa$可逆でなければならない。$xa$の右逆元$b$を取れば、これは$xab = 1$を意味し、$x$は右可逆である。

お疲れさまでした。

まとめ

証明から、局所環の性質よく使う性質をいくつか取り出そう。

局所環の性質

局所環$A$とそのJacobson根基$J$について、次が成り立つ。

  • $J$$A$の唯一の極大右イデアルであり、かつ唯一の極大左イデアルでもある。
  • 可逆元と左可逆元と右可逆元は同じものである。
  • $A = J \sqcup \{ 可逆元\}$、つまり$J = \{\text{非可逆元}\}$が成り立つ。

証明は様々な特徴づけから直ちに従うので各自確かめられたし。

局所環は何に使うの?

これは可換環の人・代数幾何の人と非可換の人とで答えがはっきり分かれて戦争が起こる問いかけだと思います。自分は非可換環上の加群をやる人ですが、一応よく聞くことをそれぞれの立場から書いておきます。

  • 可換環の人だと「大抵の命題は素イデアルで局所化して局所環の場合に帰着されるので、局所環の場合が大切」とか「完備ネーター局所だとKrull-Schmidtが成り立つのでよい」などだと思います。

  • 代数幾何の人だと「局所環の理論は、代数多様体の局所理論(ある1点の近傍での理論)」なのでそりゃ大切だと思います。

  • 非可換環上の加群論の人(自分)にとっては、局所環はまさに「直既約な加群の自己準同型環」として頻繁に現れます(よいクラスの環では「加群が直既約」と「自己準同型環が局所環」は同値)。
    またクイバー(=有向グラフ)的に言うと、「直既約な環=頂点が一つしかなく、矢がループのみの環」という直感です。ちょっとだけ細くすると、環をクイバー(=有向グラフ)で「生成元と関係式」表示することができますが、そのときに頂点が一つしかいらない(局所的!)なものが局所環に対応します。
    自分のこれまでの記事を見れば、いろいろJacobson根基や直既約性に言及していたと思いますが、そこでも息をするように局所環の性質を使います。

(ごめんなさい可換環と代数幾何は詳しくないので、いろいろ文句や「もっとこういうのがあるよ」とかあると思います)

感想

疲れました。できるだけself-containedに、しかも見たことがある特徴づけを全部一気に証明しようとしたのは多分初めてで、論理を組み立てるのが大変でした。導入に言ったように、ある特徴づけの同値性なら別経路で楽に証明できたりもするので、各自別証明を考えてみるのはいい暇つぶしになると思います。

追記

初めこの記事を書いたとき、局所環の特徴づけの一つに「単純右加群の同型類が一つしかない」を入れていました。これは自分の勘違いで、ウソです。例えば体上の$2\times 2$行列環は体と森田同値なので単純右加群は一つしかありませんが、さまざまな他の特徴づけにより明らかに局所環ではありません。自分の勘違いに気づくいいきっかけになりました……

投稿日:20201114

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

H.E.
H.E.
106
10123
某大ポスドク、詳しくはtwitterまで。自分の分野(環の表現論)でよく使われるfolkloreの解説記事を主に書いています。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中