K-algebra

Z Wikipedii

Masz nowe wiadomości (różnica z poprzednią wersją).

K-algebra – struktura matematyczna.

Spis treści

1 Definicja
2 Przykłady
3 Podalgebry
4 Zobacz też

[edytuj] Definicja

$A$ nazywamy $K$ -algebrą (algebrą nad ciałem $K$ ) jeżeli spełnione są następujące warunki:

$A$ jest pierścieniem,
$A$ jest przestrzenią wektorową nad ciałem $K$ względem dodawania w pierścieniu i mnożenia elementów z $A$ przez elementy ciała $K$ ,
mnożenie wewnętrzne w pierścieniu $A$ i mnożenie wektorów przez skalary z ciała $K$ spełniają następujący warunek:

$\forall_{a\in K}\forall_{x,y\in A}\;a(x\cdot y)=(ax)\cdot y=x\cdot(ay)$ .

Jeśli mnożenie wektorów w $A$ jest przemienne, to algebrę $A$ nazywa się $K$ -algebrą przemienną, jeśli istnieje element neutralny mnożenia to $A$ nazywa się $K$ -algebrą z jednością (algebrą z jedynką).

Niezerową algebrę z jednością nazywamy algebrą z dzieleniem, jeżeli każdy jej niezerowy element jest odwracalny. Jeśli dodatkowo jest to algebra przemienna, to jest to ciało.

Bazą $K$ -algebry $A$ jest baza przestrzeni liniowej $A$ nad ciałem $K$ , a wymiarem $dim_K\,A$ K-algebry $A$ jest wymiar $dim_K\,A$ przestrzeni $A$ .

[edytuj] Przykłady

Każde ciało $K$ można traktować jako jednowymiarową przestrzeń liniową nad tym ciałem, zaś przestrzeń nad $K$ można traktować jako jednowymiarową algebrę przemienną z dzieleniem dla naturalnego dla tego ciała działania mnożenia oraz wyróżnionego elementu zwanego jednością.
Każde rozszerzenie $L$ ciała $K$ może być traktowane jako $K$ -algebra przemienna (z mnożeniem zewnętrznym elementów z $L$ przez elementy z $K$ zdefiniowanym jako ograniczenie mnożenia $\cdot: L\times L\to L$ do $\cdot_K: K\times L\to L$ ).
Zbiór $M n (K)$ wszystkich macierzy kwadratowych stopnia $n$ nad ciałem $K$ z dodawaniem i mnożeniem macierzy oraz działaniem zewnętrznym określonym następująco:

$a\cdot[a_{ij}]:=[aa_{ij}]$ , dla $a\in K$

jest $K$ -algebrą nieprzemienną o wymiarze $dim_K\,M_n(K)=n^2$ .

Zbiór $K [t]$ wszystkich wielomianów o współczynnikach z ciała $K$ z dodawaniem i mnożeniem wielomianów oraz mnożeniem wielomianów przez elementy ciała $K$ jest $K$ -algebrą przemienną.
Zbiór $K (t)$ wszystkich funkcji wymiernych o współczynnikach z ciała $K$ z dodawaniem i mnożeniem funkcji wymiernych oraz mnożeniem funkcji przez elementy ciała $K$ jest $K$ -algebrą przemienną.
Zbiór $End_K\,V$ wszystkich endomorfizmów przestrzeni wektorowej z działaniami dodawania i mnożenia endomorfizmów oraz mnożenia endomorfizmów przez skalary z ciała $K$ jest $K$ -algebrą nieprzemienną, gdy $dim_K\,V>1$ .
Algebra kwaternionów (por. kwaterniony)

[edytuj] Podalgebry

Jeśli $B\subset A$ jest podprzestrzenią przestrzeni $A$ i równocześnie podpierścieniem pierścienia $A$ , to $B$ jest także $K$ -algebrą zwaną podalgebrą $K$ -algebry $A$ .