翻訳と辞書
Words near each other
・ 形式ローラン級数
・ 形式主義
・ 形式主義 (数学)
・ 形式主義 (音楽)
・ 形式仕様
・ 形式仕様記述
・ 形式体系
・ 形式冪級数
・ 形式冪級数環
・ 形式名詞
形式和
・ 形式差
・ 形式張る
・ 形式意味論
・ 形式手法
・ 形式文法
・ 形式犯
・ 形式理論
・ 形式的
・ 形式的な性


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

形式和 : ミニ英和和英辞書
形式和[けいしき]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

: [けい, かたち, ぎょう]
  1. (suf) shape 2. form 3. type
形式 : [けいしき]
 【名詞】 1. (1) form 2. formality 3. format 4. (2) appearance 5. mode 6. (3) math expression 
: [しき]
  1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style 
: [わ]
 【名詞】 1. (1) sum 2. (2) harmony 3. peace 

形式和 ( リダイレクト:自由アーベル群#整数値関数と形式和 ) : ウィキペディア日本語版
自由アーベル群[じゆうあーべるぐん]
抽象代数学において、自由アーベル群 (free abelian group) あるいは自由 Z-加群 (free Z-module) とは基底をもったアーベル群である。つまり、それは結合的可換、可逆な二項演算をもった集合であって、その基底はその元であって群のすべての元が有限個が 0 でない整数係数の基底の元の線型結合としてちょうど1通りの方法で書けるようなものからなる部分集合である。よく知られた例には整数全体(群の演算は加法であり基底は単元集合 )や integer lattices がある。基底 ''B'' をもった自由アーベル群の元はまた ''B'' 上の形式和 (formal sum) とも呼ばれる。インフォーマルには、形式和は ''B'' の元からなる符号付き多重集合と見ることができる。自由アーベル群と形式和は代数トポロジー代数幾何学に応用をもつ。それらは前者ではを定義するために使われ、後者では因子を定義するのに使われる。
すべての集合 ''B'' は ''B'' を基底としてもつ自由アーベル群をただ1つもつ。この群は整数のなす加法群のコピーの直和として ''B'' の元1つに対し1つのコピーとして構成できる。その元は ''B'' から整数への、0 でない値を有限個とる関数と解釈することができ、その群演算はこれらの関数の :en:pointwise な加法である。あるいは、基底 ''B'' をもった自由アーベル群は ''B'' の元を生成元とし元の対の交換子を関係とする表現によっても記述できる。
自由アーベル群はベクトル空間と似た性質をもっていて一般のアーベル群を自由アーベル群の「関係」によるとして理解できる。すべての自由アーベル群は基底の濃度として定義されるランクをもっている。ランクは群を同型を除いて決定し、そのような群の元は基底の元の有限形式和として書くことができる。自由アーベル群のすべての部分群はそれ自身自由アーベル群であり、一般のアーベル群を自由アーベル群の間の単射準同型余核として記述することができる。
== 例と構成 ==

=== 整数と格子 ===
整数全体は、加法演算のもとで、基底 をもつ自由アーベル群をなす。すべての整数 ''n'' は整数係数の基底の元の線型結合である。すなわち ''n'' = ''n'' × 1 であり、係数は ''n'' である。
整数のカルテシアン座標をもつ平面上の点からなる2次元はのもとで基底 をもつ自由アーベル群をなす〔.〕。\ e_1 = (1,0) および \ e_2 = (0,1) とすれば、元 (4,3) は次のように書ける。
:\ (4,3) = 4 e_1 + 3 e_2 ただし'積'は \ 4 e_1 := e_1 + e_1 + e_1 + e_1 であるように定義される。
この基底において、(4,3) を書く他の方法は存在しないが、 のような別の基底をとれば、\ f_1 = (1,0), \ f_2 = (1,1) とおくと、次のように書ける。
:\ (4,3) = f_1 + 3 f_2.
より一般に、すべての格子有限生成自由アーベル群をなす〔.〕。''d'' 次元の整数格子は ''d'' 個の単位ベクトルからなる自然な基底をもつが、他の基底もたくさんもつ。''M'' が ''d'' × ''d'' 整数行列で行列式が ±1 であれば、''M'' の列は基底をなし、逆に整数格子のすべての基底はこの形である〔.〕。2次元の場合についてより詳しくは、:en:fundamental pair of periods を見よ。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「自由アーベル群」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.