バラエティ (普遍代数学) – Wikipedia
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2021年9月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。 英語版記事の機械翻訳されたバージョンを表示します(各言語から日本語へ)。 翻訳の手がかりとして機械翻訳を用いることは有益ですが、翻訳者は機械翻訳をそのままコピー・アンド・ペーストを行うのではなく、必要に応じて誤りを訂正し正確な翻訳にする必要があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Variety_(universal_algebra)}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。 バラエティ(Variety)もしくは等式クラスとは 普遍代数学において定められた恒等式の集合を満足するシグネチャを備えたすべての代数的構造のクラスを指す。例えば群はある代数のバラエティを成し、アーベル群や環、モノイド等もまた同様である。バーコフの定理によれば同一のシグネチャをもつ代数的構造がバラエティであるとは、その構造が同型写像の像、部分代数と直積をとる操作で閉じた系をなしていることである。圏論の文脈では同型写像を備えた代数のバラエティが圏を形成し一般には有限項代数的圏と呼ぶ。 余バラエティとは与えられたシグネチャを備えたすべての余代数的構造が構成するクラスである。 代数のバラエティを多項式系の解集合を表す代数多様体と混同するべきではない。2つは形式的にかなり異なり共通してもつ概念はほとんどない。 代数のバラエティという用語は一般には普遍代数を指し、さらに双線型積を備えたベクトル空間など体上の多元環のような具体的な意味も含んでいる。 この文脈におけるシグネチャは演算と呼ばれる要素を備えた集合であり、各要素はアリティと呼なれる自然数を割り当てられている。あるシグネチャσ{displaystyle sigma }と変数と呼ばれる集合V{displaystyle V}を与えられた時、語とは有限の平面上の根付き木であり、各節は変数か演算でラベル付けされており、根以外の節には分岐がなく演算o{displaystyle o}でラベル付けされた各節は定められたアリティの数だけ分岐をもつ。等式則とはそのような語の組のことを指し、v{displaystyle v}とw{displaystyle w}を含む公理をv=w{displaystyle
Continue reading
Recent Comments