テンパリー／リーブ圏の生成元
ジョーンズ関係式による定義では、恒等I:1→1、「上に∪、下に∩」であるX:2→2、ループ◇:0→0の3つが生成元になる。
それに対して、恒等I:1→1、Λ:0→2、V:2→0を生成元にする方法もある。X=V;Λ、◇=Λ;V。これを逆に解こうとすると係数が必要になりそう。ん？ どうなっているんだ？？
このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。
今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。
ジョーンズ関係式による定義では、恒等I:1→1、「上に∪、下に∩」であるX:2→2、ループ◇:0→0の3つが生成元になる。
それに対して、恒等I:1→1、Λ:0→2、V:2→0を生成元にする方法もある。X=V;Λ、◇=Λ;V。これを逆に解こうとすると係数が必要になりそう。ん？ どうなっているんだ？？