代数とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 高等数学 > 代数 > 代数の意味・解説 

だい‐すう【代数】

読み方:だいすう

代数学」の略。

「代数」に似た言葉

代数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2012/08/22 12:16 UTC 版)

代数(だいすう)

  1. 特定のの代わりとして用いられる文字記号などのこと。
  2. 代数学のこと。またそこで扱われる手法・対象などのこと。
  3. 多元環とも呼ばれる代数的構造のこと。

対合環

(代数 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/03/02 07:14 UTC 版)

数学、特に抽象代数学における対合環(ついごうかん、: involutive ring, involutory ring)、-環(スターかん、: ∗-ring[注 1]あるいは対合付き環(ついごうつきかん、: ring with involution)は、構造と両立する対合(共軛演算、随伴)を備える代数系である。可換 -環 R 上の結合多元環 A がそれ自身 -環でもあるとき、二つの -環の -構造が両立するならば、A-環 R 上の 対合多元環(ついごうたげんかん、: involutive algebra; 対合代数)、-多元環(スターたげんかん、: ∗-algebra; -代数)あるいは対合付き多元環(ついごうつきたげんかん、: algebra with involution; 対合つき代数)という。

対合環における対合(-演算)は複素数体における複素共軛を一般化するものであり、また対合多元環における対合は複素行列環における共軛転置あるいはヒルベルト空間上の線型作用素エルミート共軛を一般化するものである。

定義

対合環

単位的環 R とその上の逆転自己同型的英語版対合 I: RR の組 (R, I)対合環あるいは対合付きの環であるとは、対合 IR の乗法半群構造と両立する(乗法半群が対合半群英語版を成す)ときに言う。

より具体的に書けば、写像 I は以下を満たす[1]: x, yR は任意として

  1. 加法律: (x + y)I = xI + yI,
  2. 反乗法律: (xy)I = yIxI,
  3. 単位律: 1I = 1,
  4. 対合律: (xI)I = x.

条件 3. は実は過剰である。実際、条件 2., 4. によれば 1I もまた乗法単位元でなければならないが、乗法単位元の一意性により 3. を得る。

対合 I に対して元 xI を元 x の(I に関する)共軛元あるいは随伴元と呼び、特に xI = x を満たす元 x は(I に関して)自己共軛 (self-conjugate) あるいは自己随伴 (self-adjoint) であると言う[2]

  • 対合環の原型的な例は、複素数体や代数体上で複素共軛をとる操作を対合と見たものである。
  • 任意の対合環 (R, I) 上で(対合 I に関する)半双線型形式が定義できる。
  • イデアル部分環などの代数的対象で、対合 に関して不変であるようなものを考えることにより、-イデアルや -部分環などの概念を考えることができる。

対合多元環

可換対合環 (R, I) 上の多元環 A とその上に定義される対合 J の組 (A, J)対合多元環であるとは、(A, J) はそれ自身対合環であって、なおかつ R の元によるスカラー倍に関して、二つの対合 I, J

(rx)J = rIxJ (∀rR, xA)

を満たすという意味で両立するときにいう[3][注 2]

定義により、対合多元環 A 上の対合 J は、λ, μR, x, yA に対して

(λx + μy)J = λIxJ + μIyJ

を満たす。即ち JA 上の共軛線型写像英語版である。[4]

注意

文脈上紛れの虞が無いならば、対合環 (R, I) やその上の対合多元環 (A, J; R, I) における対合を単に で表す(I, J を記号の上では区別しない)。また単に台集合のみを以って、-環 R, -多元環 A などと呼ぶ場合は、暗黙的にこのような状況のもとであることがしばしばである。

-環の類似概念として、単位的環を非単位的環 (rng) や(マイナスを持たない)半環 (rig) などに変えて -rng, -rig なども考えられる。同様に、しばしば -多元環は結合多元環とは限らない分配多元環であるようなものも考える(係数環は単位的 -環だがその上の -多元環では単位元を仮定しない、というようなこともある)。

  • 自明な -環: 任意の可換環は、恒等写像を自明な対合と見て、-環にすることができる。
  • -環および -多元環の最もよく知られた例として、複素数C 上で複素共軛を対合と見たものが挙げられる。
  • より一般に、適当な元の平方根(たとえば、虚数単位 −1)を添加して得られる拡大体はもとの体(これを自明な -環と見て)の上の -多元環である。添加した平方根の符号反転が主対合を与える。
  • 適当な D に対する二次の整数環英語版 も一つ前の例と同じ方法で対合を定めて可換 -環になる。特に、二次体は適当な二次整数環上の -多元環になる。
  • 四元数体、分解型複素数環、二重数環などを含む様々な超複素数系は、自身のもつ共軛をとる主対合のもとで -環であり、また実数体を自明な -環と見て -多元環である。しかし、ここで上げた三つは何れも複素多元環でないことに注意。
  • フルヴィッツの四元整数環英語版は、四元数の共軛に関して、非可換 -環を成す。
  • 実数体 R 上の n-次全行列環は、行列の転置に関して、実 -多元環を成す。
  • 複素数体 C 上の n-次全行列環は、行列の随伴に関して、複素 -多元環を成す。
  • 多項式環 R[x] は、P *(x) = P (−x) と置くことにより、係数環 R を自明な可換 -環として、-多元環を成す。
  • -環 (A, +, ×, ) が同時に可換環 R 上の多元環であり、かつ (r x) = r (x) (∀rR, xA) を満たすならば、A は自明な -環 R 上の -多元環である。
    • 特に、有理整数環 Z を自明な -環と考えるとき、任意の対合環はこの意味で Z 上の対合多元環と見ることができる。[3]
  • 任意の可換 -環は、自分自身の上の -多元環である(より一般に、自身の任意の-部分環上の -多元環になる)。
  • 任意の可換 -環 R の、任意の -イデアルによるはふたたび R 上の -多元環になる。
    • 例えば、任意の自明な可換 -環は、その二重数環(これは非自明な -環!)の上の -多元環になる。[注 3]
    • 同じことは可換環 K とその上の多項式環 K[x] についても言える(K[x]/(X) = K)。
  • ヘッケ環において、主対合はカジュダン–ルスティック多項式のために重要である。
  • 楕円曲線自己準同型環双対同種英語版をとる操作によって与えられる対合のもと、整数環上の -多元環になる。同様の構成は、アーベル多様体とその偏極化 (polarization) によっても行うことができる。この場合、得られる対合はロサッチ対合英語版と呼ばれる(ミルン英語版講義ノートを参照)。
  • 対合ホップ代数も重要な -多元環である(追加の構造として、余乗法との両立も考える)。
    • よく知られた例として、群ホップ代数は、群環としての構造に加えて群の反転演算 gg−1 から誘導される対合を持つ。

∗-準同型

-環や-多元環の間の準同型としては対合 と可換であるようなものを考えるのが普通である。すなわち、-環 R, S の間の環準同型 f: RS (resp. -多元環 A, B の間の多元環準同型 f: AB) が -準同型 (-homomorphism) であるとは、

f(x) = f(x)

を任意の xR (resp. xA) に対して満たすときに言う[2]

付加構造

行列の転置や随伴に関する多くの性質が一般の -多元環においても満足される:

  • エルミート元の全体はジョルダン代数英語版を成す。
  • 歪エルミート元の全体はリー代数を成す。
  • 係数として考えている -環において 2 が可逆であるとき、対称化作用素 1/2(1 + ∗) および反対称化作用素 1/2(1 − ∗) は互いに直交する冪等作用素である[2]から、問題の -多元環は対称元(エルミート元)全体の成す加群と反対称元(歪エルミート元)全体の成す加群との直和に分解される。(上記の冪等作用素は線型作用素であって問題の多元環の元として実現されるものではないから)これらの加群は一般には結合多元環とはならない。

歪構造

-環において、写像 −∗: x ↦ −x を考える。標数 2 の場合には、これはもとの と恒等的に同じものになるが、それ以外の場合には -構造を定めない。実際、1 ↦ −1 であり、反乗法的でもないが、それ以外の公理(加法性、対合性)は満足するから、xx の定める -多元環と極めてよく似た性質を持つ。

この写像で不変な元 a = −a歪エルミートであると言う。

複素数の全体に複素共軛を考えた -環において、実数の全体はエルミート元の全体と一致し、純虚数の全体は歪エルミート元の全体に一致する。

関連項目

注記

  1. ^ 記法について: 対合 は後置により表される単項演算で、そのグリフはミーンライン付近やや上方に中心がくるように右肩にのせて
    xx*,
    xx (TeX: x^*),
    のように書くが、"x" のように中心がミーンライン上にくるようにはしない(スター記号 * (*) とスター演算記号 ∗ (∗) との混同に注意: アスタリスクの項も参照)。
  2. ^ 即ち(通常の多元環がそうであるように)、RA の中心に埋め込んで考えるとき、R の元によるスカラー倍は A における乗法として実現できる(例えば行列のスカラー倍スカラー行列掛けることと同値)が、R の元が A において中心的(すなわち rR, xA ならば rx = xr)であることに注意すれば、rR, xA について
    (rx)J = xJrJ = rJxJ
    となるから、共軛元によるスカラー倍についても A の内部演算として矛盾なく実現される。
  3. ^ X を環 R 上の不定元とすると、二重数環は R[ε] = R[X]/(X2) と書けて、その無限小 ε = X mod (X2) の生成する単項イデアル (ε) を取れば、R[ε]/(ε) = R になるのであった。

出典

  1. ^ Weisstein, Eric W. "C-Star Algebra". mathworld.wolfram.com (英語).
  2. ^ a b c Octonions” (2015年). 2015年3月25日時点のオリジナルよりアーカイブ。2015年1月27日閲覧。
  3. ^ a b star-algebra in nLab
  4. ^ Weisstein, Eric W. "Involutive Algebra". mathworld.wolfram.com (英語).

参考文献


代数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/17 06:26 UTC 版)

モデリング言語」の記事における「代数」の解説

代数モデリング言語 (AML)は、大規模な数学的計算例えば、大規模最適化問題)のための高度に複雑な問題記述し解決するためのハイレベル・モデリング言語である。AIMMS、AMPL、GAMSLPLMPLOPL 及び OptimJ のような代数モデリング言語 (AML)の一つ特定利点は、最適化問題数学的表記とのその構文類似性である。これは、集合インデックス代数式強力な希薄インデックス任意名を持つ変数定数取扱うデータのような一定の言語要素によってサポートされた、最適化ドメインにおける問題簡潔でかつ読易い定義を可能にする。モデルの代数形式は、どのようにそれを処理するかのどんなヒント含まない

※この「代数」の解説は、「モデリング言語」の解説の一部です。
「代数」を含む「モデリング言語」の記事については、「モデリング言語」の概要を参照ください。

ウィキペディア小見出し辞書の「代数」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

代数

出典:『Wiktionary』 (2021/08/22 12:10 UTC 版)

この単語漢字
だい
第三学年
すう
第二学年
音読み 音読み

名詞

(だいすう)

  1. (教育) 中等教育レベル数学において、代わりに文字使用して方程式解法を学ぶ単元
  2. (数学) 代数学略称

参照


「代数」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。



代数と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「代数」の関連用語

代数のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



代数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの代数 (改訂履歴)、対合環 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのモデリング言語 (改訂履歴)、随伴関手 (改訂履歴)、春風亭柳橋 (6代目) (改訂履歴)、桂文楽 (改訂履歴)、大関 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの代数 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS