• 検索結果がありません。

クラスター代数入門

N/A
N/A
Protected

Academic year: 2022

シェア "クラスター代数入門"

Copied!
120
0
0

読み込み中.... (全文を見る)

全文

(1)

京大数理研

2009 年 6 月 12 日

(2)

1 1 1 1

1 ?

1 1 1

1 1 1 1

(3)

1 1 1 1

1 2

1 ?

1 1

1 1 1 1

(4)

1 1 1 1

1 2

1 3

1

1 ?

1 1 1 1

(5)

1 1 1 1

1 2 ?

1 3

1

1 2

1 1 1 1

(6)

1 1 1 1

1 2 2

1 3

1 ?

1 2

1 1 1 1

(7)

1 1 1 1

1 2 2

1 3 ?

1 7

1 2

1 1 1 1

(8)

1 1 1 1

1 2 2

1 3 5

1 7

1 2 ?

1 1 1 1

(9)

1 1 1 1

1 2 2

1 3 5

1 7 ?

1 2 4

1 1 1 1

(10)

1 1 1 1

1 2 2 ?

1 3 5

1 7 3

1 2 4 ?

1 1 1 1

(11)

1 1 1 1

1 2 2 3

1 3 5 ?

1 7 3

1 2 4 1

1 1 1 1

(12)

1 1 1 1

1 2 2 3 ?

1 3 5 2

1 7 3 ?

1 2 4 1

1 1 1 1

(13)

1 1 1 1

1 2 2 3 1

1 3 5 2 ?

1 7 3 1

1 2 4 1

1 1 1 1

(14)

1 1 1 1

1 2 2 3 1

1 3 5 2 1

1 7 3 1

1 2 4 1

1 1 1 1

(15)

. . . .

(16)

1 1

1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(17)

1 1

1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(18)

1

1 ?

1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(19)

1 ?

1 2

1 ?

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(20)

1 9

1 2 ?

1 3

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(21)

1 9 ?

1 2 14

1 3 ?

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(22)

1 9 11

1 2 14 ?

1 3 5

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(23)

1 9 11 ?

1 2 14 4

1 3 5 ?

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(24)

1 9 11 3

1 2 14 4 ?

1 3 5 1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(25)

1 9 11 3 ?

1 2 14 4 1

1 3 5 1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(26)

1 9 11 3 1

1 2 14 4 1

1 3 5 1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(27)

1 9 11 3 1

1 2 14 4 1

1 3 5 1

1 1 1 1

このようにして現れる数は、必ず正の整数になる。

(28)

x 1 x 3 ? x 2

1 1 1

(29)

x 1 x 3 x 2 x 4 ?

1 1 1

x 3 = x

2

+ 1 / x

1

(30)

x 1 x 3 x 2 x 4

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

(31)

x 1 x 3 x 2 x 4

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

(32)

x 1 x 3 x 5 ? x 2 x 4

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

(33)

x 1 x 3 x 5 x 2 x 4

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

(34)

x 1 x 3 x 5 x 2 x 4

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

(35)

x 1 x 3 x 5 x 2 x 4 x 6 ?

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

x 6 = x

5

+ 1 / x

4

(36)

x 1 x 3 x 5 x 2 x 4 x 6 ?

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

= + / = x +1 + · x x

(37)

x 1 x 3 x 5 x 2 x 4 x 6 ?

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

x 6 = x

5

+ 1 / x

4

= ( x

1

x +1

2

+ 1) · x

1

x +x

1

x

22

+ 1 = x 1

(38)

x 1 x 3 x 5 x 7 ? x 2 x 4 x 1

1 1 1

x 3 = x

2

+ 1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

= + / = x +1 + · x x =

(39)

x 1 x 3 x 5 x 7 ? x 2 x 4 x 1

1 1 1

x 3 = x

2

+1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

x 6 = x

5

+ 1 / x

4

= ( x

1

x +1

2

+ 1) · x

1

x +x

1

x

22

+ 1 = x 1

(40)

x 1 x 3 x 5 x 2 x 2 x 4 x 1

1 1 1

x 3 = x

2

+1 / x

1

x 4 = x

3

+ 1 / x

2

= x

1

+x

2

+ 1 / x

1

x

2

x 5 = x

4

+ 1 / x

3

= · · · = x

1

+ 1 / x

2

x = + / = x

1

+1 + · x

1

x

2

= x

(41)

x 3 x 5 ?

1 1 1 1

(42)

x 3 x 5

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

(43)

x 3 x 5 x 8 ?

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

= x

22

+ 2x

2

+ 1 +x

1

x

3

/ x

1

x

2

x

3

, x 7 = x

6

+ 1 / x

4

x 8 = x

6

+ 1 / x

5

(44)

x 3 x 5 x 8

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

= x

22

+ 2x

2

+ 1 +x

1

x

3

/ x

1

x

2

x

3

,

x 7 = x

6

+ 1 / x

4

= · · · = 1 +x

2

+x

1

x

3

/ x

2

x

3

,

x 8 = x

6

+ 1 / x

5

= · · · = 1 +x

2

+x

1

x

3

/ x

1

x

2

,

(45)

x 3 x 5 x 8 x 11 ?

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

= x

22

+ 2x

2

+ 1 +x

1

x

3

/ x

1

x

2

x

3

,

x 7 = x

6

+ 1 / x

4

= · · · = 1 +x

2

+x

1

x

3

/ x

2

x

3

,

x 8 = x

6

+ 1 / x

5

= · · · = 1 +x

2

+x

1

x

3

/ x

1

x

2

,

x 9 = x

7

x

8

+ 1 / x

6

= · · · = 1 +x

1

x

3

/ x

2

,

(46)

x 3 x 5 x 8 x 1

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

= x

22

+ 2x

2

+ 1 +x

1

x

3

/ x

1

x

2

x

3

,

x 7 = x

6

+ 1 / x

4

= · · · = 1 +x

2

+x

1

x

3

/ x

2

x

3

,

x 8 = x

6

+ 1 / x

5

= · · · = 1 +x

2

+x

1

x

3

/ x

1

x

2

,

(47)

x 3 x 5 x 8 x 1

1 1 1 1

x 4 = x

2

+1 / x

1

, x 5 = x

2

+1 / x

3

,

x 6 = x

4

x

5

+ 1 / x

2

= x

22

+ 2x

2

+ 1 +x

1

x

3

/ x

1

x

2

x

3

,

x 7 = x

6

+ 1 / x

4

= · · · = 1 +x

2

+x

1

x

3

/ x

2

x

3

,

x 8 = x

6

+ 1 / x

5

= · · · = 1 +x

2

+x

1

x

3

/ x

1

x

2

,

x 9 = x

7

x

8

+ 1 / x

6

= · · · = 1 +x

1

x

3

/ x

2

,

(48)

. . . . . 式で表される。

. .

2

. 最初に与えられた変数を除くと、必ず分数式にな り、また分母に現れる単項式はすべて異なる。

. .

3

. しばらく並べると、上のように再び最初の変数が

折れ線状に並ぶ。

(49)

1 1 1 1

(50)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

,

(51)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

,

x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

,

(52)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

, x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

, x 9 = x

1

x

3

+x

2

x

4

+ 1 / x

2

x

3

,

x 10 = x

22

x

4

+x

2

x

4

+x

2

+x

2

x

3

+ 1 +x

3

+x

1

x

3

+x

1

x

23

/ x

1

x

2

x

3

x

4

,

(53)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

, x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

, x 9 = x

1

x

3

+x

2

x

4

+ 1 / x

2

x

3

,

x 10 = x

22

x

4

+x

2

x

4

+x

2

+x

2

x

3

+ 1 +x

3

+x

1

x

3

+x

1

x

23

/ x

1

x

2

x

3

x

4

, x 11 = x

1

x

23

+x

1

x

2

+x

2

x

4

+x

3

+ 1 / x

2

x

3

x

4

,

= / ,

(54)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

, x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

, x 9 = x

1

x

3

+x

2

x

4

+ 1 / x

2

x

3

,

x 10 = x

22

x

4

+x

2

x

4

+x

2

+x

2

x

3

+ 1 +x

3

+x

1

x

3

+x

1

x

23

/ x

1

x

2

x

3

x

4

,

=

2

+x +x +x + / ,

(55)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

, x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

, x 9 = x

1

x

3

+x

2

x

4

+ 1 / x

2

x

3

,

x 10 = x

22

x

4

+x

2

x

4

+x

2

+x

2

x

3

+ 1 +x

3

+x

1

x

3

+x

1

x

23

/ x

1

x

2

x

3

x

4

, x 11 = x

1

x

23

+x

1

x

2

+x

2

x

4

+x

3

+ 1 / x

2

x

3

x

4

,

= / , = / , = /

(56)

1 1 1 1

x 5 = x

2

+ 1 / x

1

, x 6 = x

2

x

4

+ 1 / x

3

, x 7 = x

22

x

4

+x

2

x

4

+x

2

+x

1

x

3

+ 1 / x

1

x

2

x

3

, x 8 = x

2

x

4

+x

3

+ 1 / x

3

x

4

, x 9 = x

1

x

3

+x

2

x

4

+ 1 / x

2

x

3

,

x 10 = x

22

x

4

+x

2

x

4

+x

2

+x

2

x

3

+ 1 +x

3

+x

1

x

3

+x

1

x

23

/ x

1

x

2

x

3

x

4

,

=

2

+x +x +x + / ,

(57)

x 2 x 4

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

(58)

x 2 x 4

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

,

(59)

x 2 x 4

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

,

x 5 = 1+x

4

/ x

3

(60)

x 2 x 4

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

,

x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

(61)

x 2 x 4 x 6

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

(62)

x 2 x 4 x 6

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

(63)

x 2 x 4 x 6

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

x 7 = 1 +x

6

/ x

5

(64)

x 2 x 4 x 6

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

x 7 = 1 +x

6

/ x

5

= · · · = x 1 ,

(65)

x 2 x 4 x 6 x 8

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

x 7 = 1 +x

6

/ x

5

= · · · = x 1 , x 8 = 1 +x

72

/ x

6

(66)

x 2 x 4 x 6 x 2

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

32

/ x

2

= · · · = x

12

+ x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1+x

4

/ x

3

= · · · = x

2

+1+x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

x 7 = 1 +x

6

/ x

5

= · · · = x 1 , x 8 = 1 +x

72

/ x

6

= x 2

(67)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 +x

32

/ x

2

= · · · = x

12

+x

22

+ 2 x

2

+ 1 / x

12

x

2

, x 5 = 1 +x

4

/ x

3

= · · · = x

2

+ 1 +x

12

/ x

1

x

2

,

x 6 = 1 +x

52

/ x

4

= · · · = 1 +x

12

/ x

2

,

x 7 = 1 +x

6

/ x

5

= · · · = x 1 , x 8 = 1 +x

72

/ x

6

= x 2

となって元に戻ります。

(68)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

(69)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

,

(70)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

,

x 5 = 1 + x

4

/ x

3

(71)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

,

x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

(72)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

(73)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3x

22

+3 x

2

/ x

22

x

31

,

(74)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3x

22

+3 x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

(75)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3x

22

+3 x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

,

(76)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3x

22

+3 x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

, x 8 = 1 +x

73

/ x

6

(77)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3 x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3 x

22

+3x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

, x 8 = 1 +x

73

/ x

6

= x

31

+ 1 / x

2

,

(78)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3 x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3 x

22

+3x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

, x 8 = 1 +x

73

/ x

6

= x

31

+ 1 / x

2

,

x 9 = 1 +x

8

/ x

7

(79)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3 x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3 x

22

+3x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

, x 8 = 1 +x

73

/ x

6

= x

31

+ 1 / x

2

,

x 9 = 1 +x

8

/ x

7

= x 1 ,

(80)

x 3 = x

2

+ 1 / x

1

, x 4 = 1 + x

33

/ x

2

= · · · = x

31

+ x

32

+ 3x

22

+ 3 x

2

+ 1 / x

31

x

2

, x 5 = 1 + x

4

/ x

3

= · · · = x

22

+ 2x

2

+ x

31

+ 1 / x

21

x

2

,

x 6 = 1+x

53

/ x

4

= · · · = x

61

+2x

31

+3x

2

x

31

+1+x

32

+3 x

22

+3x

2

/ x

22

x

31

,

x 7 = 1 +x

6

/ x

5

= · · · = x

31

+x

2

+ 1 / x

1

x

2

, x 8 = 1 +x

73

/ x

6

= x

31

+ 1 / x

2

,

x 9 = 1 +x

8

/ x

7

= x 1 , x 10 = 1 +x

93

/ x

8

参照

関連したドキュメント

MathLibre の Bootable DVD を DVD ドライブに入れ て再起動するだけで Linux が起動し, Octave や Maxima

しかし,現在は高校数学で行列を扱わないため,自由に行列のアイデアを運用できるための計算練習の

S,◦Sをマグマとする。恒等写像 idS :S→S はマグマ準同型である。このマグマ準同型をS上の恒等射identity morphismと呼ぶ。 T,◦Tもマグマとする。マグマ準同型f :S→T とg:T →Sであって g◦f = idS, f◦g= idT となるものがあるとき、gをf の、fをgの逆射という。逆射を持つような準同型を可逆射、

上の合同関係は、同値関係であることを示せ。 x∈Zとm∈Nに対し、 x=mq+r, 0≤r < m となるような整数qとrが唯一つ存在する。qを xをmで割った商quotient、rを余り residue という。 問題 1.24.. 上の状況で、 x≡y modm⇔x∼rm y ∼fに対しては例1.3.11を参照のこと)。

X,◦Xをマグマとし、∼をX 上の ◦X とコンパチブルな同値関係とする。 X/∼,¯◦で商マグマを表す。q:X →X/∼を商準同型とし、任意のマグマY,◦Yと任意の マグマ準同型f :X→Y を考える。 fが∼Xとコンパチブルである、すなわち任意のx, x0∈Xに対し x∼X x0 ⇒fx =fx0

S,◦Sをマグマとする。恒等写像 idS :S→S はマグマ準同型である。このマグマ準同型をS上の恒等射identity morphismと呼ぶ。 T,◦Tもマグマとする。マグマ準同型f :S→T とg:T →Sであって g◦f = idS, f◦g= idT となるものがあるとき、gをfの逆射inverse morphism、fをgの逆射という。逆射を 持つ

[r]

Laurent expansions in cluster alge- bras via quiver representations. Discrete integrable systems, positivity and continued