2018年9月19日水曜日

学習環境

ラング線形代数学(下)(S.ラング (著)、芹沢 正三 (翻訳)、ちくま学芸文庫)の14章(群)、1(群とその実例)、練習問題3.を取り組んでみる。


  1. 零点

    e i k n = cos k n + i sin k n k = 0 , , n - 1

    群ならば、位数は n。

    e i a n · e i b n e i c n = e i a + b + c n = e i a n e i b n e i c n

    より、結合律は成り立つ。
    単位元は

    e i 0 n = 1

    逆元は、

    e i k n · e i n - k n = 1

    よって群である。

コード(Emacs)

Python 3

#!/usr/bin/env python3
from sympy import symbols, pprint, solve

print('3.')

n = symbols('n', integer=True)
x = symbols('x', imag=True)
f = x ** n - 1
for n0 in range(1, 6):
    f0 = f.subs({n: n0})
    xs = solve(f0)
    pprint(xs)
    for x1 in xs:
        for x2 in xs:
            print(f0.subs({x: x1 * x2}).expand() == 0)
        print()
    print()

入出力結果(Terminal, Jupyter(IPython))

$ ./sample3.py
3.
[1]
True


[-1, 1]
True
True

True
True


⎡     1   √3⋅ⅈ    1   √3⋅ⅈ⎤
⎢1, - ─ - ────, - ─ + ────⎥
⎣     2    2      2    2  ⎦
True
True
True

True
True
True

True
True
True


[-1, 1, -ⅈ, ⅈ]
True
True
True
True

True
True
True
True

True
True
True
True

True
True
True
True


⎡                    ________                   ________                   ___
⎢     1   √5        ╱ √5   5     1   √5        ╱ √5   5     √5   1        ╱   
⎢1, - ─ + ── - ⅈ⋅  ╱  ── + ─ , - ─ + ── + ⅈ⋅  ╱  ── + ─ , - ── - ─ - ⅈ⋅  ╱  - 
⎣     4   4      ╲╱   8    8     4   4      ╲╱   8    8     4    4     ╲╱     

_______                   __________⎤
√5   5     √5   1        ╱   √5   5 ⎥
── + ─ , - ── - ─ + ⅈ⋅  ╱  - ── + ─ ⎥
8    8     4    4     ╲╱     8    8 ⎦
True
True
True
True
True

True
True
True
True
True

True
True
True
True
True

True
True
True
True
True

True
True
True
True
True


$

0 コメント:

コメントを投稿

関連コンテンツ