この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "自由群"
自由群(じゆうぐん、free group)とは、公理から来る自明なもの以外に元の間の等式がない群のことである。ただし、二つの元を取り出したとき、同じ元であるかどうか、および一方が他方の逆元であるかどうかは判定できる。 文字の集合 X = {xλ} λ∈Λ に対し、新たに文字の集合 X-1 = {xλ-1} λ∈Λ をつくり、Ω = X ∪ X-1 とおく。Ω に含まれる文字からなる長さ有限な文字列を、文字集合 Ω 上の語(ご、word)と呼ぶ。 Ω の二つの語 a = (a1, a2, ..., an), b = (b1, b2, ..., bm) の積 ab をab = (a1, a2, ..., an, b1, b2, ..., bm) と定めると Ω の語の全体 W(Ω) は、空の語 () を単位元とするモノイドになる(自由モノイドあるいは空の語を特に考えないものは自由半群)。ある語 a の中に x ∈ X と x-1 ∈ X-1 が隣り合っている部分があるとき、この二つを取り除いて新たな語 b を作ることを a を簡約(かんやく、reduce, cancel)して b にするという。簡約できない語は既約(きやく、irreducible)であるという。語 a を簡約して得られる既約な語を a の簡約表示と呼び、ここでは I(a) と表すことにする。W(Ω) における二項関係 ~ を簡約表示が一致すること、すなわちa ~ b ⇔ I(a) = I(b) で定めると、この関係 ~ は同値関係となる。語 a の属する同値類を [a] で表すことにする。 上の記法のもとで、W(Ω) の同値類の集合 F(X) = W(Ω)/~ は、積を [a][b] = [ab] により定義することによりX で生成される群になる。この群 F(X) を文字集合 X 上の自由群という。 文字集合 X 上の自由群は自由群の普遍性 (universal property) と呼ばれる、以下の性質によって特徴付けられる。G を任意の群とし、f: X → G を任意の写像とすると、群の準同型 f ~ : F ( X ) → G {\displaystyle {\tilde {f}}:F(X)\to G} で、その X への制限写像について f ~ ( a ) = f ( a ) {\displaystyle {\tilde {f}}(\mathbf {a} )=f(\mathbf {a} )} が任意の a ∈ X に対して成立するようなものがただ一つ存在する。 自由群は、より一般の概念として圏論における自由対象 (free object) の一例である。多くの普遍的構造と同じく、それは一組の随伴関手を定める。 任意の群はある自由群の剰余群になり、生成元と基本関係式で表示できる。
構成
定義
普遍性
群の表示
関連項目
群の表示
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}
表示
編集