『代数の魅力（数学書房）』第１版第３刷の情報

ここでは第１版第３刷の情報をお届けしています。

『明解線形代数』（日本評論社）の出版に引き続き、最先端の代数学を専門的に研究してきた筑波大学の教授４名が、長年に亘る教育と研究の経験を生かして、代数の入門的な話題を徹底的に分かり易く書き下ろした作品です。今回も全員で幾度も議論を重ねながら、可能な限り丁寧に解説することに努めました。代数の入門的授業の教科書として大学等で利用して頂けるものと期待しております。また、中学校・高等学校の先生方や生徒さん達にも活用して貰える様にと配慮をしたつもりです。皆様の御期待に十分に沿えるものと信じておりますが、今後のために建設的な御批判を色々と頂戴できれば幸いです。このページに記載されている事柄に関する責任は本書の著者に帰します。

◎ 筑波大学理工学群数学類では、 代数入門と代数学ⅠＡの教科書として、授業で使用しています。この『代数の魅力』は代数学の入門的なテキストとして、十分にその役割を果たしています。今までに殆どないタイプの分かり易い教科書として、受講学生から非常に高い評価を受けています。

◎ 数学書房のページはこちら。
◎ 版元ドットコムのページはこちら。
◎ Amazon の書籍情報はこちら。

◎ 明解線形代数（日本評論社）に関する最新情報はこちら。

まえがき（一部抜粋）

本書は群、環、体等の抽象概念を天下り的に定義してからはじめるのでなく、逆に色々の興味深い例からはじめて、それらを系統的に扱う必要性を読者に十分認識してもらってから、これらの代数系を導入するという、ブルバキとは対極的な行き方を取っている。

第１章は群論の入門である。 雪の結晶や正四面体の対称性から出発して群の公理に進む。章の最後では３枚の黄金長方形を組み合わせて正ニ十面体を作る方法、 正多面体の回転対称群を具体的に知る方法などをわかりやすく述べる。

第２章では整数と多項式の類似性を論ずる。整数と多項式（または整式）の見かけは非常に違うが、その全体（つまり集合）を考えると、素因数分解、 最大公約数、最小公倍数などについて共通の性質を持っている。これらから整数と多項式の単因子論が導かれ、とくに線形代数で学んだジョルダン標準形に対する新しい見方ができる。この章は（可換）環論の入門と考えてよい。

第３章では定木とコンパスによる作図と関連付けながら体の理論をやさしく述べる。いわゆるガロア理論は扱わない。 角の３等分は一般に定木とコンパスでは作図できないが、 T 字型の簡単な道具を使えば可能なことを述べる。

第４章は整数論の楽しい話題である。整数論は非常に長い歴史を持ち、 数学の女王と呼ばれている。歴史が長いだけあって整数論の結果には驚くほど美しい、または不思議なものが数多くある。また今でも未解決の難問も多い。この章では、その中から比較的意味の分かりやすいトピックを選んで楽しい読み物とした。証明の易しいものは証明をつけている。

変更箇所一覧（２刷から３刷へ）

誤植を訂正しました。

暫定正誤表

第１版第３刷（2014年9月1日発行)

章	頁	行・場所	誤（修正前）		正（修正後）
1	32	8	(1,2)(2,3)	⇒	(1,2)(3,4)
1	32	12	(1,2)(2,3)	⇒	(1,2)(3,4)
3	135	-2	{\mathbb{F}_2}^n	⇒	\mathbb{F}_2^n [注：TeX コマンド, n の前の空白をツメル]
3	143	-7	であり,	⇒	である.
3	158	1, 2 [注：2箇所]	;	⇒	:
3	158	8-9	は代数学の基本定理 3.42 と 3.43 により，解が n 個ある．	⇒	は解を n 個もつ（代数学の基本定理 3.42 と定理 3.43 を参照）．
3	167	-11	解を持つ．	⇒	根を持つ．
3	168	-10, -8 [注：2箇所]	解を持つ	⇒	根を持つ
3	172	10	例題 3.9	⇒	例題 3.30

(注) 行の欄で -m とあるのは下から m 行目という意味。
(注) [注：・・・] は修正についてのコメント。

読者への追加（サポート）情報

＜用語・記号・対訳英語の追加＞

行列　A = (a_ij)　(matrix)
行列式　det(A)　(determinant)
m×n 行列全体　M_m,n　(m×n matrices)
n×n 行列全体　M_n　(n×n matrices)
アーベル群　(abelian group)
巡回群　C_n ,　Z_n ,　Z/nZ　(cyclic group)
二面体群　D_2n　(dihedral group)
対称群　S_n　(symmetric group)
交代群　A_n　(alternating group)
一般線形群　GL_n　(general linear group)
特殊線形群　SL_n　(special linear group)
直交群　O_n　(orthogonal group)
特殊直交群　SO_n　(special orthogonal group)
核　Ker　(kernel)

(注) A_n ⊂ S_n ,　 SL_n ⊂ GL_n ⊂ M_n ,　 SO_n ⊂ O_n ⊂ GL_n ,　 SO_n = SL_n ∩ O_n
(注) det : M_n ---> M₁ ,　 det(A) = ∑_{σ ∈ A_n} a_1σ(1)…a_nσ(n) - ∑_{σ ∈ S_n - A_n} a_1σ(1)…a_nσ(n)
(注) det(AB) = det(A) det(B)
(注) SL_n = det^-1(1) = Ker [ det|_{GL_n} : GL_n ---> GL₁ ]

定理 3.42 の証明の改良 p.168 下から 6 行目以降 [注：TeX コマンドを使用]

t > 0 を十分大きくとって，g(x) を考えることで，元々 1,　|a_1|,　...　,　|a_{n-1}|　<　|a_n|/2n と仮定してよい．このとき，r \leq 1 の範囲においては， |f(z)-a_n| = |z^n + a_1z^{n-1} + \cdots + a_{n-1}z| \leq r^n + |a_1|r^{n-1} + \cdots + |a_{n-1}|r \leq \frac{|a_n|}{2n} \times n = \frac{|a_n|}{2} なので， z \in C_r の像 f(z) は a_n から |a_n|/2 以下しか離れておらず， f(C_r) は内部に原点を含まない閉じた曲線となっている．一方，N を 1, 2n|a_1|, ... , 2n|a_n| のすべてより大きい実数とする．このとき，r \geq N とすると， |f(z)-z^n| = |a_1z^{n-1} + \cdots + a_n| \leq |a_1|r^{n-1} + \cdots + |a_n| \leq n \times \frac{N}{2n} r^{n-1} \leq \frac{r^n}{2} なので，原点から見て， z \in C_r の像 f(z) は常に半径 r^n の円の円周上の点 z^n から円の半径の半分以下の距離しか離れていない点として， z^n と一緒になって動いている．それゆえ，原点から見ると f(z) と z^n はほぼ同じ方向で動いており， \{ f(z) | z \in C_r \} は z^n による像と同様に、原点の周りを n 周している曲線となっている． r \leq 1 と r \geq N の両方の場合の考察から，半径 r を N から 1 以下まで連続的に変化させた場合，その像 f(C_r) は，原点の周りを n 周していた閉じた曲線が原点の周りを全く回っていない閉じた曲線に変形することになる．それゆえ，中間値の定理と同じように，少なくとも途中 (1 \leq r \leq N) で f(C_r) は原点を通ることになり， f(z) = 0 となる複素数 z が存在する．

第３章・章末問題の追加 p.174

１０．例題 3.30 および定理 3.47 の主張を証明せよ．

第３章・文中問題（問題の略解を追加） p.218

問題 3.32（定理3.45にある代数閉体の存在を仮定しない別解） [拡大体の構成] 体 K 上の既約多項式 f(X) ∈ K[X] （既約多項式の定義は２章にあるものと同様である）に対して， g(Y) = f(Y) ∈ K[Y], L = K[Y]/I(g(Y)) とおけば， L は K の拡大体となる．ここで， a = Y + I(g(Y)) ∈ L，とおけば， f(a) = 0, L = K(a), [L:K] = deg f(X) となる． [最小分解体の構成] 体 K 上のモニック多項式 f(X) ∈ K[X]， deg f(X) = m に対して， K の拡大体 L で以下の２条件 (1)，(2) を満たすものが，同型を除いて一意的に存在する：
　　 (1) f(X) = (X-a₁)・・・(X-a_m) ∈ L[X]， ∃a_i ∈ L； (2) L = K(a₁, ... ,a_m)．
証明は， f(X) の既約多項式への分解と上で述べられている拡大体の構成を用いながら， m に関する帰納法で与えられる．この L を f(X) の K 上の最小分解体と呼ぶ．厳密には，「K と K' の同型が，対応する最小分解体 L と L' の同型に拡張される」という形で進める方が，帰納法で示し易い．（実際，同型 σ : K --> K' と f(X) = ∑ a_iXⁱ ∈ K[X] に対して， f^σ(X) = ∑ σ(a_i)Xⁱ とおき， f(X) = f₁(X)・・・f_r(X) ∈ K[X] を既約多項式への分解とするとき， f^σ(X) = f₁^σ(X)・・・f_r^σ(X) ∈ K'[X] も対応する既約多項式への分解となる．このとき， K, K' のそれぞれの拡大体 M, M ' であって，M = K(a), f₁(a) = 0, M ' = K'(a'), f₁^σ(a') = 0 となるものが存在し，写像 τ : M --> K[X]/I(f₁(X)) --> K'[X]/I(f₁^σ(X)) --> M ' は σ の拡張で τ(a) = a' を満たす体の同型を与える．ここで，g(X) = f(X)/(X - a) ∈ M[X] とおけば， g^τ(X) = f^σ(X)/(X - a') ∈ M '[X] であり， deg g(X) = m - 1 < deg f(X) なので帰納法の仮定より， L = M(b₂,...,b_m), g(X) = (X-b₂)・・・(X-b_m), L' = M '(b'₂,...,b'_m), g^τ(X) = (X-b'₂)・・・(X-b'_m) をみたす M, M ' のそれぞれの拡大体 L, L' が存在し，さらに τ の拡張としての体の同型 ρ : L --> L' であって，適当に番号を付け替えれば， &rho(b_i) = b'_i を満たすものが得られる．） [有限体の構成] K = F_p および f(X) = X^pⁿ-X とするとき， f(X) の K 上の最小分解体を L とすれば，これが求める F_pⁿ であり，同型を除いて一意的に定まる．実際，K = F_p = { 0, 1, 2, ... , p-1 } ⊂ L = F_pⁿ = { a₁, a₂, ... , a_pⁿ } かつ f(X) = (X - a₁)(X - a₂)・・・(X - a_pⁿ) となる．

問題 3.33 例えば，以下の方法が知られている． x 軸上に３点 1, 0, -1 が与えられているものとしてよい．それぞれ，A, O, B と呼ぶ． O を中心とした半径 1 の円 C を描く． O を通り x 軸に垂直な直線を引き，それが円 C と交わる交点の一方を D とする． OD 上に OD = 4 OE となる点 E をとる． OA 上に ∠OEA = 4 ∠OEF となる点 F をとる． OB 上に ∠FEG = π/4 となる点 G をとる． AG を直径とする円 H を描く．円 H と OB との交点を J とする． F を中心とした半径 FJ の円 K を描く．円 K が OA と交わる点を L, OB と交わる点を M とする． L, M を通り x 軸に垂直な２直線が点 B の側で円 C と交わる点をそれぞれ N, P とする． ∠NOP の２等分線が点 B の側で円 C と交わる点を Q とする． ∠POQ = 2π/17 である．よって，定木とコンパスによる正１７角形の作図を具体的に実行することが可能である．（実際，
　　　cos(2π/17) = (\sqrt{17} - 1 + \sqrt{34 - 2\sqrt{17}})/16 + \sqrt{17 + 3\sqrt{17} - \sqrt{170 + 38\sqrt{17}}}/8
とかけることからも， cos(2π/17) の作図可能性を納得することができる．自分のノート上で実行すると，定木とコンパスを何回も用いるので，手書きの誤差がその度に積み重なり，最後に円周を１７等分しようとすると，その誤差で辻褄が合わずに，うまく描けないことも十分に想定される．その場合には，コンピュータで図形を描くソフト等を使用するのも一案であろう．各自で作図方法を色々と工夫してみられたい．）

第３章・章末問題（追加問題への略解） p.219
10. [準備] ξ = ξ_n とするとき， F_n(X) = ∏_{1≤i≤n,GCD(i,n)=1} (X - ξⁱ) なので，deg F_n(X) = \varphi(n) であることは明らか．（ここに，\varphi(n) はオイラー関数を表す．）また， P_n(X) = Xⁿ - 1 = ∏_1≤i≤n (X-ξ_nⁱ) と置けば， P_n(X) = ∏_{1≤c≤n,c|n} (∏_{1≤i≤n,GCD(i,n)=c} (X-ξ_nⁱ)) であり， ∏_{1≤i≤n,GCD(i,n)=c} (X-ξ_nⁱ) = ∏_{1≤i'≤n/c,GCD(i',n/c)=1} (X-ξ_n/c^i') = F_n/c(X) なので， P_n(X) = ∏_{1≤c≤n,c|n} F_n/c(X) = ∏_{1≤d≤n,d|n} F_d(X) を得る．従って，４章で議論されるメビウスの反転公式により F_n(X) = ∏_{1≤d≤n,d|n} (X^n/d - 1)^μ(d) が成り立つ．さらに， P_n(X) = F_n(X) (∏_{1≤d≤n-1,d|n} F_d(X)) を用いて， F_n(X) ∈ Z[X] であることが（n に関する帰納法で）示される． [例題 3.30] F_n(X) が既約でないと仮定する．このとき， F_n(X) = f₁(X) … f_r(X) と r (≥ 2) 個の既約多項式の積に分解される（定理 2.22 を参照）．必要があれば番号を付け替えて f₁(ξ) = 0 としてよい．補題 2.27 より， f₁(X) = c_f₁ f₁^*(X), g(X) = f₂(X) … f_r(X) = c_gg^*(X) と書ける．ただし， c_f₁, c_g ∈ Q^× であり， f₁^*(X),g^*(X) ∈ Z[X] は原始的とする．このとき， 2 ≤ m ≤ n-1 なる m で， GCD(m,n) = 1, f₁(ξ^m) ≠ 0, g(ξ^m) = 0 をみたすものが選べる．この素因数分解を m = q₁ … q_s とする（q₁,…,q_s には同じものが重複して出て来てもよい）．これより，番号 t で f₁(ξ^q₁…q_t-1) = 0, f₁(ξ^q₁…q_t) ≠ 0, g(ξ^q₁…q_t-1) ≠ 0, g(ξ^q₁…q_t) = 0 をみたすものが存在する． p = q_t とおけば GCD(p,n) = 1 であり，また ζ = ξ^q₁…q_t-1 とおけば， f₁(ζ) = 0, f₁(ζ^p) ≠ 0, g(ζ) ≠ 0, g(ζ^p) = 0 が成り立つ．そこで， G(X) = g^*(X^p) ∈ Z[X] とおけば，今までのことより， G(ζ) = 0, f₁^*(ζ) = 0 を得る．定理 2.18 より， I(G(X),f₁(X)) = I(R(X)) ⊂ Q[X] と表すことができ，このとき R(X)|f₁(X) であり，さらに我々の仮定より f₁(X) が既約なので， R(X) = c または R(X) = c f₁(X) をみたす c ∈ Q^× が存在する．しかし，R(ζ) = 0 より R(X) = c f₁(X) とならざるを得ない．よって， G(X) = f₁(X) H(X) をみたす H(X) ∈ Q[X] が存在する．ここでも， H(X) = c_H H^*(X) と分解しておくと（c_H ∈ Q^× かつ H^*(X) ∈ Z[X] は原始的），補題 2.26 と補題 2.27 より G(X) = f₁^*(X) H^*(X) が成立している．さて，ここで得られた式（の係数）を mod p で考えたものに ^† を付記することにより， F_p[X] = Z/pZ[X] ∋ (g^*(X)^†)^p = g^*(X^p)^† = G(X)^† = f₁^*(X)^† H^*(X)^† が導かれる．（ここで， F_p[X] において (u + v)^p = u^p + v^p が， F_p において w^p = w が，それぞれ成り立つことを用いた．定理 2.15, 2.16 を参照．）従って， F_p[X] における因数分解の一意性（２章の章末追加問題８）より， deg q(X)^† ≥ 1, q(X)^†|f₁^*(X)^†, q(X)^†|g^*(X)^† をみたす多項式 q(X)^† ∈ F_p[X] = Z/pZ[X] が存在する．しかるに，F_p[X] = Z/pZ[X] = I(1) = I((Xⁿ-1)^†,(nX^n-1)^†) = I(P_n(X)^†, DP_n(X)^†) ⊂ I(f₁^*(X)^†,g^*(X)^†) ⊂ I(q(X)^†) となるので矛盾である．（ただし， D は２章の章末追加問題８で導入された F_p[X] の微分作用素である．）以上より，F_n(X) の既約性が示された． [定理 3.47:必要条件] 上での議論と同様にして I(F_n(X)) = { f(X) ∈ Q[X] | f(ξ) = 0 } が示されるので，同型 Q[X]/I(F_n(X)) → Q(ξ) = Q[ξ] が X + I(F_n(X)) → ξ なる対応により得られる（２章の章末問題２（１）を参照）．ゆえに， [Q(ξ):Q] = dim_Q Q(ξ) = dim_Q Q[X]/I(F_n(X)) = deg F_n(X) = \varphi(n) が成り立つ．正 n 角形が定木とコンパスで作図可能であるならば， n = 2^e p₁^m₁…p_r^m_r と素因数分解したとき， \varphi(n) = 2^e-1p₁^m₁-1(p₁-1)…p_r^m_r-1(p_r-1) = [Q(ξ):Q] が２のベキでなければならず（3.5.2 節を参照）， m₁ = ... = m_r = 1 かつ p₁ - 1 = 2^l₁, ... , p_r - 1 = 2^l_r が示される． [定理 3.47:十分条件] p = 2^m+1 をフェルマ素数とし， ξ = ξ_p とおく．まず， F_p(X) = X^p-1 + X^p-2 + … + X + 1 = (X^p - 1)/(X - 1) であることに注意する．ここで，各 1 ≤ i ≤ p - 1 に対して， Q(ξ) の場合と同じ理由で Q[X]/I(F_p(X)) → Q(ξⁱ) が同型なので，Q(ξ) の自己同型 σ_i : Q(ξ) → Q[X]/I(F_p(X)) → Q(ξⁱ) = Q(ξ) を σ_i(ξ) = ξⁱ により定めることができる．このとき，σ_iσ_j = σ_{ij (mod p)} であるので， { σ₁, ... ,σ_p-1 } は F_p^× = (Z/pZ)^× = { 1, ... ,p-1 } と同型な群となる．ここで，３章の章末問題７より，F_p^× は巡回群であるから，その生成元 s を選ぶ．σ = σ_s と置けば, σの位数は 2^m であり，ここでさらに K = Q, L = Q(ξ), K_k = { x ∈ L | σ^{2^k}(x) = x } (1 ≤ k ≤ m) とおく．明らかに K_m = L であり，またσは Q(ξ) の基底 ξ,ξ², ... ,ξ^p-1 を適当な順序で全てを巡回的に置換していることに注意すれば， F_p(X) の形から K₀ = K となることも容易に言える．もしも，K_k+1 ≠ K_k とすれば， σ^{2^k}(u_k+1) ≠ u_k+1 なる u_k+1 ∈ K_k+1 が存在し， v_k+1 = u_k+1 - σ^{2^k}(u_k+1) ≠ 0 とおけば， σ^{2^k}(v_k+1) = - v_k+1 が成り立つ．このとき， K_k+1 ∋ v = (v + σ^{2^k}(v))/2 + (v - σ^{2^k}(v))/2 なので， K_k+1 = K_k ⊕ K_k v_k+1 と（σ^{2^k} に対する固有値 ±1 の固有空間の直和に）書き表すことができ，[K_k+1:K_k] = 2 を得る．（さらに，[L:K] = 2^m であることと，中間体の列 K = K₀ ⊂ K₁ ⊂ ... ⊂ K_m = L が [K_k+1:K_k] ≤ 2 を満たしていることに注意すれば，定理 3.26 により，全ての段階で [K_k+1:K_k] = 2 となっていることも示される．）これにより，適当な a_k ∈ K_k によって， K_k+1 = K_k(\sqrt{a_k}) と表すことができる（例題 3.21 を参照）．従って，K = Q から出発して，次々と作図を続けて，最終的に ξ = ξ_p を作図することができる．すなわち，正 p 角形を作図することができる．ここで，正 n₁ 角形と正 n₂ 角形が作図可能であり GCD(n₁,n₂) = 1 ならば正 n₁n₂ 角形も作図可能であることに注意しておく（なぜなら， I(1) = I(n₁²,n₂²) = I(n₁(n₁-n₂)+n₁n₂,-n₂(n₁-n₂)+n₁n₂) ⊂ I(n₁-n₂,n₁n₂) なので GCD(n₁-n₂,n₁n₂) = 1 が成り立ち，ここで a(n₁-n₂) + b(n₁n₂) = 1 と書いておけば， a(2π/n₂-2π/n₁) + 2bπ = 2π/n₁n₂ となり， 2π/n₁n₂ が作図できる）．また，角の２等分の作図は何回でも続けて実行可能である．従って， n = 2^ep₁…p_r (p₁, ... , p_r は相異なるフェルマ素数) と表されているときには，定木とコンパスにより正 n 角形を作図することが可能である． [補足] フェルマ素数は 3, 5, 17, 257, 65537 の５個しか知られていない．これら以外では，十分に大きな値まで調べても 2^m + 1 の形で素数になるものは見つかっていない．無限個あるのか，もしくは有限個しかないのかさえも解明できていない．（本文中でも注意してあるように，m が奇数の約数 m' > 0 をもてば，例えば (X + 1)|(X^m' + 1) という事実をみても， 2^m + 1 が分解してしまうことが分かる．従って， 2^m + 1 が素数であるためには， m は少なくとも 2 ベキでなければならない．実際， 3 = 2^2⁰ + 1； 5 = 2^2¹ + 1； 17 = 2^2² + 1； 257 = 2^2³ + 1； 65537 = 2^2⁴ + 1 であり，これらは素数となる．フェルマは m が 2 ベキならば 2^m + 1 は常に素数になるであろうと予想したが，オイラーが 4294967297 = 2^2⁵ + 1 = 641 × 6700417 となることを示した．これ以降も（最近ではコンピュータを用いて）計算は試みられているが，どんなに十分に大きな r > 5 に対しても 2^{2^r} + 1 は分解してしまい，新しいフェルマ素数は見つからずに現在に至っている．フェルマ素数の名前はこの予想に由来している．）

筑波大学数学類の代数関係授業の情報

数学類では、分かりやすい教科書を提供しながら基礎教育の充実に努めるとともに、そこから更に発展した形で高度な現代数学教育を行っています。『明解線形代数』（日本評論社）と合わせて、この『代数の魅力』（数学書房）も、代数学の基礎の修得に大いに役立つものと期待しています。

数学類における代数関係授業の一例：
平成２５年度から、筑波大学が「春学期（１５週）・秋学期（１５週）」制度に移行したため、カリキュラムの時間数や単位数が年次進行で新しくなり、従来とは若干異なる場合があります。現在、過渡期です。

１年次
線形代数Ⅰ（３単位）：標準教科書『明解線形代数』
　　２次行列、数ベクトルと行列、連立１次方程式と行列
　　行列式、行列式の発展、数ベクトル空間と線形写像
線形代数Ⅱ（1.5単位）：標準教科書『明解線形代数』
　　数ベクトル空間と線形写像、ベクトル空間と線形写像、固有値と固有ベクトル

２年次
線形代数続論（1.5単位）：標準教科書『明解線形代数』
　　固有値と固有ベクトル、幾何学的応用、ジョルダン標準形

代数入門（1.5単位）：標準教科書『代数の魅力』
　　群の入門、ラグランジュの定理、フェルマの小定理
　　環の入門、中国剰余定理、アイゼンシュタインの判定条件

３年次
代数学ⅠＡ（３単位）：標準教科書『代数の魅力』
　　単因子論、有限生成アーベル群の基本定理、ジョルダン標準形再論
　　体の入門、３次・４次方程式の解法、定木・コンパスによる作図
　　角の３等分問題、立方体倍積問題、円積問題、正多角形の作図可能条件

代数学ⅠＢ（３単位）：群と環の一般論
　　環論、イデアル論、非可換環、単純環、加群
　　群論、シローの定理、対称群、単純群、可解群

４年次
代数学Ⅱ（1.5単位）：体の一般論
　　ガロア理論、ガロア拡大、ガロア群
　　代数方程式のガロア群と可解性
　　５次以上の一般代数方程式の非可解性

代数学Ⅲ（1.5単位）隔年開講予定
　　リー代数の講義

代数学Ⅳ（1.5単位）隔年開講予定
　　環と加群の講義

著者の情報

木村達雄/竹内光弘/宮本雅彦/森田純　(50音順)
筑波大学数理物質系・教授（名誉教授も含む）

主な専門分野
木村（概均質ベクトル空間・数論・代数幾何学など）
竹内（量子群・ホップ代数・組紐カテゴリーなど）
宮本（有限群・代数的組合せ論・頂点作用素代数など）
森田（代数群・リー代数・準結晶数学など）

代数の魅力ホームページへ戻る
数学域のホームページへ戻る