Algebra asocjacyjna

W matematyce An asocjacyjny Algebra (w przemiennej pierścienia A ) jest jednym z algebraicznych konstrukcji stosowanych w ogólnym Algebra . Jest to pierścień (lub po prostu pseudo-pierścień ) B z dodatkową strukturą modułu na A i taką, że prawo mnożenia pierścienia B wynosi A - bilinear . Jest to zatem szczególny przypadek algebry na pierścieniu .

Definicja formalna

Niech A będzie pierścieniem przemiennym. Mówimy, że ( B , +,., ×) jest asocjacyjną A -algebrą, gdy:

1. ( B , + ,. ) Jest modułem A ,
2. ( B , +, ×) to pseudo-pierścień ,
3. ∀λ∈W, ∀x,y∈b,λ⋅(x×y)=x×(λ⋅y)=(λ⋅x)×y .{\ displaystyle \ forall \ lambda \ in A, ~ \ forall x, y \ in B, \ qquad \ lambda \ cdot (x \ razy y) = x \ razy (\ lambda \ cdot y) = (\ lambda \ cdot x) \ razy y ~.}

Elementy A nazywane są skalarami .

W szczególnym przypadku, gdy pierścień A jest ciałem, mówimy wtedy o algebrze asocjacyjnej nad ciałem .

Mówimy o algebrze unitarnej (lub zunifikowanej), gdy B ma neutralny dla mnożenia.

Przykłady

• Każdy pierścień ( M +, x) (a nawet dowolny pseudo-ring) jest również asocjacyjny -algebra do prawa zewnętrzna określonego przez: dla każdej liczby całkowitej i każdy element z M , Z{\ displaystyle \ mathbb {Z}} nie{\ displaystyle n}x{\ displaystyle x}{gdyby nie>0 więc nie⋅x=x+x+...+x⏟nie faojas ,gdyby nie<0 więc nie⋅x=-x-x-...-x⏟|nie| faojas ,gdyby nie=0 więc nie⋅x=0 .{\ Displaystyle \ lewo \ {{\ rozpocząć {matrix} {\ tekst {si}} n> 0 {\ tekst {wtedy}} & n \ cdot x = \ underbrace {x + x + \ ldots + x} _ { n \ \ mathrm {razy}} ~, \\ {\ text {si}} n <0 {\ text {then}} & n \ cdot x = \ underbrace {-xx- \ ldots -x} _ {| n | \ \ mathrm {razy}} ~, \\ {\ text {si}} n = 0 {\ text {then}} & n \ cdot x = 0 ~. \ end {matrix}} \ right.}
• Każdy pierścień jest algebrą asocjacyjną w swoim centrum , a zatem na każdym podpierścieniu A tego centrum.
• Niech A będzie pierścieniem przemiennym.
  • Algebra z monoid L na A jest asocjacyjny i uniferous -algebra. To jest szczególny przypadek poprzedniego przykładu. (Jeśli monoid L jest , algebra ta jest algebrą wielomianów w k nieokreślonym nad A. ) (NIE,+)k{\ Displaystyle (\ mathbb {N}, +) ^ {k}}
  • Zestaw endomorfizm od An A -module jest asocjacyjne -algebra.

Równoważna definicja

Istnieje równoważna definicja, kiedy algebra B jest jedyna:

Niech być przemienne pierścień B pierścienia i morfizmem pierścieni , tak że F ( ) w centrum z B . Następnie możemy zdefiniować zewnętrzne prawo, które nadaje B strukturę algebry zespolonej A (i zunifikowanej). fa:W→b{\ displaystyle f \ ,: \, A \ do B}(w,b)↦fa(w)b{\ displaystyle (a, b) \ mapsto f (a) b}

I odwrotnie, jeśli B jest asocjacyjną i zunifikowaną A -algebrą, jest morfizmem pierścieniowym takim, że fa:w↦w.1b{\ displaystyle f \ ,: \, a \ mapsto a.1_ {B}}

(w.1b)×x=1b×(w.x)=(w.x)×1b=x×(w.1b) w związku z tym fa(w)×x=x×fa(w) ;{\ Displaystyle (a.1_ {B}) \ razy x = 1_ {B} \ razy (topór) = (topór) \ razy 1_ {B} = x \ razy (a.1_ {B}) ~ {\ tekst {tak}} ~ f (a) \ razy x = x \ razy f (a) ~;}

Obraz zawarty jest w centrum B .

Zobacz też

• Algebra Clifforda
• Algebra geometryczna
• Teoria reprezentacji

Ocena i odniesienie

1. Definicja używana na przykład w Serge Lang , Algebre [ szczegóły wydań ]