Abstract algebra

What-does-it-mean.org

代数学表示のHopf代数学

opfの代数学の通常の(ベクトル空間の)表示がであるもの確認する。 それはまたモジュール(数学)の構造以上Hopfの代数学を持っている追加構造が付いている代数学のrepsをひっくり返す。 HがHopfの代数学がであるようにしなさい。 Aがプロダクト操作のmuのフィールド上の代数学なら >:otimes Aのightarrow A> そして線形マップの >ho:、a (Hの> ベクトル空間) repであることに加えて、muがH-intertwinerならHのotimes Aのightarrow..

表示のHopf代数学

��学では、Hopfの代数学の表示の概念がある。 私達がunital連想代数学H.を有する発言を許可する。 私達はHの代数学の表示がであるもの確認する。 そのちょうどモジュール(数学)。 しかし公正な発言を一時に私達がそれ水曜日のような知らなかったが、明白な代数学H、どういうわけかか他の1 X Xおよび(AB) (根本的なベクトル空間の) repのすべてのXのためのX A B X (この関係が満足しないことノートは、のためにうそ代数学の発言のrepsを可能にする)お�..

ユニバーサル代数学

��ニバーサル代数学はすべての代数構造に共通考えを調査する数学のフィールドである。..

反対要素

��学では、反対要素の考えは付加に関連して否定の概念の両方を、(付加的にinverseを見なさい)、乗法に関連して相互一般化し。 直観は別のある特定の要素との組合せの効果を取消すことができる要素である。 Sが2進演算を用いるセットがであるようにしなさい。 >eが>一致素子のなら(>S>および>b e aはy>それから>x>の右のinverseが両面inverseとであり、または単に>y>のinverseは、両面inverseの要素invertible呼出されれば要素>Xが>左..

Nearring

��リングかnearringはグループ(数学)からnatually起こる2つの2進演算を用いる抽象的な代数学の代数構造である。 割り当てられる >(G、+)> nonabelianのかもしれないであって下さいM (g) { >f中間fを割り当てなさいグループが:G o Gは> } Gからのf、M >(g)> の >g> そしてマップf+g >付加がM> (g) >で定義することができるGに> すべてのマッピングの >セットした:G o Gは> (f+g) >(x) (x) Gのすべてのxのための>..

リストのブール代数学トピック

��ョージBooleの話:ジョージBoole ブール代数の話:ブール代数 ブール関数話:ブール関数 ブール準同形写像の話:ブール準同形写像 ブール主で理想的な定理の話:ブール主で理想的な定理 ブールsatisfiability問題の話:ブールsatisfiability問題 基準形式(ブール代数)の話:正規形(ブール代数) 小型であることの定理の話:小型であることの定理 コネクティブは論理演算子に会う de Morgansの法律は話す:de Morgansの法律 augustus DeモーガンTalk:augustus..

置換

��の記事は置換について、数学概念ある。 音楽にこの概念のアプリケーションについては置換(音楽)を見なさい。 数学では、置換の概念は顕著である場合もある目的が様々な異なった順序で配列されるかもしれないという考えを表現する。 例えば、2つの一歩前進を踏むことで1つはフィートが第1であるペースを左右にまたはright-left取るかもしれない。 より複雑なアプリケーションは変更鳴ることに発生する。..

グループ理論

��論はことグループ(数学)の調査にかかわっている数学の枝である。 群論全体使用されるタームの定義に関して群論の用語集を参照しなさい。 群論のトピックのリストをまた見なさい。..

Antihomomorphism

��学では、antihomomorphismは乗法の順序を逆転させる乗法のセットでタイプの機能(数学)定義したである。 antiautomorphismは目的からのそれ自身へbijectionであるantihomomorphismである。 群論では、antihomomorphismは乗法の順序を逆転させる2グループ間のマップである。 そうX-Y Fがグループのantihomomorphismなら、F ((y) F (x)すべてのxのためのX-Y) F、X.のy。 xにx1を送るマップはグループのantiautomorphismの例である。 リング理論では、antihomomorphismは付加を維持するが、�..

表現(数学)

��現は番号、オペレータ、および/または変数を結合する。 表現は値へ評価でありそれらの値を表すと言われるかもしれない。 表現の評価は表現の文脈を形作る値の数学オペレータそしてシステムの定義に依存している。 表現で定義されない、文脈から取られて自由な変数がある。 2つの表現は同等同じ値に評価することができればであると言われる。 表現および評価はlambdaの微積分の30年代のAlonzo教会およびスティーブンKleeneによって形式化さ�..