语言
没有数据
通知
无通知
を含む多元環として「最も一般」のものである。 テンソル代数はまた二種類の余代数構造を持つ。一つは簡素で双代数を定めないが、もう一つはより複雑なもので双代数を導き、さらに対蹠射を以ってホップ代数へ拡張することができる。 注意 本項において多元環(代数)は単位的かつ結合的なものと仮定する。 V は体 K
K 上の二つの ベクトル空間 V, W のテンソル積 V ⊗K W(基礎の体 K が明らかな時には V ⊗ W とも書く)はふたたびベクトル空間を成す。ベクトル空間のテンソル積を繰り返して得られるテンソル空間は物理的なテンソルを数学的に定式化する。テンソル空間に種々の積
N(のコピー)の拡大としてのある体への埋め込みを提供する。 このようにして K ⊗N L の構造を解析できる: 原理的には 0 でないジャコブソン根基(すべての素イデアルの共通部分)があるかもしれない - そしてそれによる商を取った後 K と L の様々な M への N 上の すべての埋め込みの積について話すことができる。
\mathrm {Ab} } はインプットとして右と左 R-加群を受け付けアーベル群の圏のテンソル積にそれらを割り当てる双関手(英語版)である。 右 R 加群 M を固定することによって関手 M ⊗ R − : R - M o d → A b {\displaystyle M\otimes _{R}-:R{\mbox{-}}\mathrm
(Kn)n から K への交代作用素である。また、V の k 個のベクトルにその楔積となる k-重ベクトルを対応させる写像 w: Vk → ⋀k (V) も交代的である。事実として、この写像は Vk 上定義される交代作用素の中で「もっとも一般」なものである。つまり、交代作用素 f: Vk → X が与えられたとき、線型写像
〖tensor〗
「代数学」の略。
_{i}-\alpha _{j})^{2}} を α の判別式 (discriminant) という。代数的数の判別式は有理数であり、代数的整数の判別式は有理整数である。0 でない代数的数の判別式は 0 ではない。 代数的数 α の共役数を α 1 , α 2 , ⋯ , α n {\displaystyle \alpha