八百屋さん物語

Notation

群

集合 $S$ に対し $S^0:=\{\varnothing \}$ として,
$$S^{\times }:=\underset{n=0}{\overset{\mathrm{\infty }}{⨆}}{S}^n$$
と書き, 有限列のconcatenationによってモノイド構造を入れます (unitは $\varnothing$). さらに $S^{-}$ を $S$ のコピーとして, 全単射 $\vee :S\to S^{-}$ をひとつ固定します. $(S\bigsqcup S^{-}{)}^{\times }$ 上の同値関係 $\sim$ を次のように定めます: $n\ge 1$, $x_1,\dots ,x_n\in S$, $A,B\in (S\bigsqcup S^{-}{)}^{\times }$ に対し
$$A(x_1,\dots ,x_n,\vee x_n,\dots ,\vee x_1)B\sim AB\sim A(\vee x_1,\dots ,\vee x_n,x_n,\dots ,x_1)B.$$ これを用いて $F_S:=(S\bigsqcup S^{-}{)}^{\times }/\sim$ と書きます. これには自然に群構造が入ります (代表元をひとつ固定して逆順に並べ, 成分ごとに $\vee$ を作用させて射影をとったものが逆元としてwell-defined).

群 $G$ の自己準同型環を $\mathrm{End}(G)$ と書きます. commutator subgroupは $[G,G]$ と書き, アーベル化を $G^{\mathrm{ab}}:=G/[G,G]$ で定義しておきます.

よくある八百屋の問題

以下, 八百屋にある商品はりんごもしくはみかんのみから構成されるものとします.

解くだけなら $5\cdot 200+3\cdot 300=2100$ でよいのですが, 今回の主題はそれではありません.

集合 $S:=\{\text{りんご},\text{みかん}\}$ を考えましょう. このとき, まず $S^{\times }$ は「りんごかみかんをいくつか並べたパターンの集合」です. たとえば
$(\text{りんご},\text{みかん},\text{りんご},\text{みかん},\text{みかん})$
が $S^{\times }$ の元になります. これと
$(\text{りんご},\text{みかん},\text{みかん},\text{りんご},\text{みかん})$
はまったく別のものです (並べる順番が違います).

$F_S^{\mathrm{ab}}$ は「りんご・みかんからなるパック商品の集まり」と思うことができます. $S^{\times }$ の演算 (およびそこから誘導される構造) を $+$ で書けば, たとえば $s:=3\text{りんご}+5\text{みかん}\in F_S^{\mathrm{ab}}$ です. $S^{\times }$ の場合と違って順番は考慮していませんし, 果物が負の個数あらわれることもあります.
いちおう文章題ですので便宜上, 太郎くんは大量のフルーツを小脇に抱えていて, $-N$ 個買うというのは「$N$ 個返品する」ということにしておきましょう. 生鮮食品でそんなことするな.
さらに, このようなパック商品はなんであれこの八百屋に売っている, ということにしておきましょう. (つまりこの時点では八百屋 $=F_S^{\mathrm{ab}}$ です).

アーベル群は $\mathbb{Z}$ 加群

さて, 「特定のパック商品を何個か買う」という状況が考えられます. 3つのりんごと5つのみかんからなるパック商品 (先ほどの $s$ です)を4つ買う, という状況のことを形式的に ${\varphi }_4(x)$ と書くことにしましょう.
一方で, これは「りんご12個とみかん20個のパック商品」を一つ買うのともちろん同じことですから, ${\varphi }_4(x)=12\text{りんご}+20\text{みかん}$ が成り立ちます (右辺は).

同じようにして, パック商品 $x$ を $n$ 個買う, という状況を ${\varphi }_n(x)$ と書くことにします. この場合もやはり, $x=a_x\text{りんご}+b_x\text{みかん}$ とすれば
${\varphi }_n(x)=n{a}_x\text{りんご}+n{b}_x\text{みかん}$
とできます. つまり, 商品 $x$ を棚から $n$ 個取り出す手間をわざわざ取らなくても, りんごが $n{a}_x$ 個, みかんが $n{b}_x$ 個入ったパック $nx$ を一つ見つければ同じことだ, と言っているわけです.

さてこれにより, $x$ を決めるごとに, 「$x$ を $n$ 個買うのと同じだけ中身が入ったパック商品」が見つかります. 個数が同じなのですから, これを ${\varphi }_n(x)$ と書いても差し支えないでしょう. さらに $x$ を変えて全部合算したとしても, もちろんフルーツの個数に変わりはありません. こうして自己準同型 ${\varphi }_n\in \mathrm{End}(F_S^{\mathrm{ab}})$ が手に入りました.

八百屋の営業も楽じゃない

店先で野放図に商品を並べておく昔ながらのスタイルではタチの悪いヤツに盗まれる時代になってしまいました.

ということで, 店頭には代わりに各商品のカードを並べることにして, それを買いたいだけレジに持っていくことでスタッフがバックヤードから商品を持ってきてくれる, という仕組みにリニューアルしました. 返品も同様で, マイナスいくつとか書いてあるカードが並ぶようになりました.

せっかくリニューアルしたのならと, ついでに「大人買いカード」も別の棚に並べることにしたようです.
「パック4個分」とか書いてあるカードがあって, パック商品 $x$ とパック $n$ 個分カードをレジに持っていったら $x$ が $n$ 個手に入る, という寸法です.
先ほど述べたように, ちょうどこの $n$ 個大人買いカードが ${\varphi }_n$ そのものだと思うことができます.

先ほどは ${\varphi }_n$ が自己準同型としか言っていませんでしたが, 適当なパック商品 $x$ に対して, $x$ の $m$ 個大人買いと $n$ 個大人買いを合わせてすれば, これは $m+n$ 個の大人買いをするのと同じです. また, 「$x$ の $m$ 個大人買い」を $n$ 個大人買いすれば, これは $nm$ 個の大人買いと同じことです. 言い換えると, 大人買いカードの取り換えは $\mathbb{Z}$ の環構造をうまく反映しており, これはとりもなおさず $\mathbb{Z}\to \mathrm{End}(F_S^{\mathrm{ab}})$: $n\mapsto {\varphi }_n$ が環準同型であって, つまり $F_S^{\mathrm{ab}}$ が $\mathbb{Z}$ 加群ということです.

ここまで来ると問題1をリライトすることができます.
$\mathrm{ev}:S\to \mathbb{Z}$ を $\mathrm{ev}(\text{りんご})=200$, $\mathrm{ev}(\text{みかん})=300$ と定めて, $\mathbb{Z}$ 加群の射として延長したものを ${\mathrm{ev}}^{\prime }:F_S^{\mathrm{ab}}\to \mathbb{Z}$ と書きます. ${\mathrm{ev}}^{\prime }(s)$ が求める価格です.
この視点を用いれば, 値段に一括変更があっても $\mathrm{ev}$ をそれに応じて変更すれば同じ手続きで値段が得られます.

線型代数

八百屋さんの近代化は止まりません. 「割引カード」なるものを導入したようです.
このカードには「5/4倍」とか「-8/27倍」とか書いてあって, このカードと商品を持っていけば最後に応じた割合を掛けてくれる, というシステムです.
割引といいつつここはめちゃくちゃな八百屋なので値段が5倍に跳ね上がったり0倍で虚無にしたりというカードが普通に置いてあります.
あと, 店主はこの仕組みをえらく気に入っているらしく, レジに割引カードを持ってこないとブチ切れられるようになりました. そのままの値段で買いたいんなら $1$ 倍カードを持ってこい, ということだそうです.

さて, $a$ 倍カードと $n$ 個大人買いカードを両方持って商品 $x$ を買ったとしましょう. これは $a$ 倍カードだけ持って ${\varphi }_n(x)$ を買うのとも同じです.
もっというと, $an$ 倍カードを持って $x$ を買うのともまた同じことです.

同じように, $a$ 倍カードを持ってふたつの商品 $x,y$ を買うのは, $x$ と $y$ を別の会計にして, それぞれで $a$ 倍カードを使うのとも同じです.

今度は大人買いをせずに, $a$ 倍カードと $b$ 倍カードを持って $x$ を買いにいくとします.
店主は気難しくて, カードを同時に出すと $a+b$ 倍で精算します. $a$ 倍を出してから $b$ 倍を出すと $ab$ 倍で勘定してくれます.
そうすると, 同時に出したときと, 「$x$ を $a$ 倍カードで買ったのと $b$ 倍カードで買ったときの合算」は同じ値段です.

さて思い出してみると, もともとこの店にはりんごとみかんの個数がそれぞれ書いてある商品カード, 何個分かをまとめて買える大人買いカード, そして謎の割引カードで商売をやっているのでした.
そしてレジに持っていく際には商品はもちろんのこと割引カードを常に持っていかねばなりませんでした.

ここで店主のおじさんは気づきます.
「パック売りをしなくても, りんごカードとみかんカードの二種類だけを置いておけば, あとは大人買いと割引カードで全部実現できるじゃないか」と.
そりゃそうです.

太郎くんは「何をいまさら」と思いましたが, 短気なおじさんのことですからこんなことをいうとまた拳骨を喰らってしまいます. 黙っていることにしました.

そこでおじさんの奥さんが店の裏から出てきて, こう言いました.
「大人買い $n$ 個分も割引 $a$ 倍を使ったら結局割引 $an$ 倍と同じなんだから, 大人買いカードもやめていいんじゃないかい」と.
店主さんはずっとお客さんに背を向けてうなだれていました.

次の日, 太郎くんはいつものように八百屋にやってきました.
そこにはりんごカードとみかんカード, そしておびただしい数の割引カードだけがありました.

おわり