Aljabar atas medan

Dalam matematika, **aljabar atas medan** (disebut juga **aljabar**) adalah ruang vektor kelengkapan dengan bilinear hasil kali. Jadi, aljabar adalah struktur aljabar yang terdiri dari himpunan bersama dengan operasi perkalian dan penjumlahan dan perkalian skalar oleh elemen medan dan memenuhi aksioma yang diimplikasikan oleh "ruang vektor" dan "bilinear".

Operasi perkalian dalam aljabar atau mungkin asosiatif, mengarah ke gagasan aljabar asosiatif dan aljabar takasosiatif. Diberikan sebuah bilangan bulat *n*, gelanggang dari matriks persegi rii tingkat *n* adalah contoh aljabar asosiatif pada medan bilangan riil bawah penambahan matriks dan perkalian matriks karena perkalian matriks bersifat asosiatif. Ruang Euklides tiga dimensi dengan perkalian yang diberikan oleh perkalian silang vektor adalah contoh aljabar takasosiatif pada medan bilangan riil karena perkalian vektor takasosiatif, memenuhi identitas Jacobi sebagai gantinya.

Sebuah aljabar dikatakan **unital** atau **uniter** jika memiliki elemen identitas sehubungan dengan perkalian. Gelanggang matriks kuadrat riil urutan *n* dalam bentuk aljabar unital karena matriks identitas tingkat *n* adalah elemen identitas yang berkaitan dengan perkalian matriks. Ini adalah contoh aljabar asosiatif unital, (gelanggang unital) yang juga merupakan ruang vektor.

Banyak penulis menggunakan istilah *aljabar* yang berarti *aljabar asosiatif*, atau *aljabar asosiatif unital*, atau dalam beberapa mata pelajaran seperti geometri aljabar, *aljabar komutatif asosiatif unital*.

Mengganti medan skalar dengan gelanggang komutatif mengarah ke gagasan yang lebih umum tentang aljabar atas gelanggang. Aljabar tidak disamakan dengan ruang vektor kelengkapan dengan bentuk bilinear, seperti darab dalam, karena, untuk ruang seperti itu, hasil darab bukan dalam ruang, melainkan di medan koefisien.

## Definisi dan motivasi
### Contoh motivasi

### Definisi
Misalkan K sebagai medan, dan misalkan A sebagai ruang vektor atas K dilengkapi dengan operasi biner tambahan dari A \times A sebagai *<math>A</math>*, yang dilambangkan dengan \cdot (yaitu jika \mathbf{x} dan \mathbf{y} adalah dua elemen *<math>A</math>*, \mathbf{x} \cdot \mathbf{y} adalah *darab* atau *hasil kali* dari \mathbf{x} dan \mathbf{y}). Maka *<math>A</math>* adalah **aljabar** atas K jika identitas berikut berlaku untuk semua elemen \mathbf{x}, \mathbf{y}, \mathbf{z} \in A, dan semua elemen (disebut juga skalar) a danbdariK:
* Distributif kanan: (\mathbf{x} + \mathbf{y}) \cdot \mathbf{z} = \mathbf{x} \cdot \mathbf{z} + \mathbf{y} \cdot \mathbf{z}
* Distributif kiri: \mathbf{z} \cdot (\mathbf{x} + \mathbf{y}) = \mathbf{z} \cdot \mathbf{x} + \mathbf{z} \cdot \mathbf{y}
* Kompatibilitas dengan skalar: (a\mathbf{x}) \cdot (b\mathbf{y}) = (ab)(\mathbf{x} \cdot \mathbf{y}).

Ketiga aksioma ini adalah cara lain untuk operasi biner adalah bilinear. Aljabar atas K terkadang disebut juga aljabar-K, dan K disebut *medan elementer* dari A. Operasi biner disebut sebagai *perkalian* dalam A. Konvensi adopsi dalam artikel ini adalah bahwa perkalian elemen aljabar belum tentu asosiatif, meskipun beberapa penulis menggunakan istilah *aljabar* untuk merujuk pada aljabar asosiatif.

Ketika operasi biner pada ruang vektor komutatif, distribusi kiri dan distribusi kanan setara, dan, dalam hal ini, hanya satu distribusi yang memerlukan bukti. Secara umum, untuk operasi takkomutatif, distribusi kiri dan distribusi kanan taksetara, dan memerlukan bukti terpisah.

## Konsep dasar

### Homomorfisme aljabar

Diberikan aljabar-K atas A dan B, sebuah aljabar-*K* homomorfisme adalah peta linear-K pada f\colon A \to B sehingga f(\mathbf{xy}) = f(\mathbf{x})f(\mathbf{y}) untuk semua \mathbf{x}, \mathbf{y} di A. Ruang semua homomorfisme aljabar-K di antara A dan B ditulis sebagai
:\mathbf{Hom}_{K\text{-alj}} (A,B).
Aljabar isomorfisme-K adalah bijektif homomorfisme aljabar-K. Untuk semua tujuan praktis, aljabar isomorfik hanya berbeda dalam notasi.

### Subaljabar dan ideal

Sebuah *subaljabar* dari sebuah aljabar atas medan *K* adalah subruang linear yang memiliki sifat bahwa produk dari dua elemen pada subruang. Dengan kata lain, subaljabar dari suatu aljabar adalah himpunan bagian tak kosong dari elemen yang tertutup dalam penjumlahan, perkalian, dan perkalian skalar. Dalam simbol, apabila himpunan bagian *L* dari aljabar-*K* pada *A* adalah subaljabar jika untuk setiap *x*, *y* di *L* dan *c* di *K*, maka memiliki *x* · *y*, *x* + *y*, dan *cx* semua di *L*.

Dalam contoh bilangan kompleks atas yang dilihat sebagai aljabar dua dimensi atas bilangan riil, garis riil satu dimensi adalah subaljabar.

Sebuah *ideal kiri* dari aljabar-*K* adalah subruang linear yang memiliki sifat bahwa setiap elemen dari subruang dikalikan sebelah kiri oleh setiap elemen aljabar menghasilkan elemen subruang. Dalam simbol, apabila himpunan bagian *L* dari aljabar *K* pada *A* adalah ideal kiri jika untuk setiap *x* dan *y* di *L' ', *z* di *A* dan *c* di *K*, maka memiliki tiga pernyataan berikut.
# *x* + *y* di *L* (*L* penutupan bawah penambahan),
# *cx* di *L* (*L* penutupan bawah perkalian skalar),
# *z* · *x* di *L* (*L* penutupan bawah perkalian kiri dengan elemen arbitrer).

Jika (3) diganti dengan *x* · *z* di *L*, maka ini akan menentukan *ideal kanan*. Sebuah *ideal dua sisi* adalah himpunan bagian yang merupakan ideal kiri dan kanan. Istilah "ideal" itu sendiri biasanya diartikan sebagai ideal dua sisi. Tentu saja ketika aljabar komutatif, maka semua gagasan ideal ini adalah setara. Perhatikan bahwa kondisi (1) dan (2) bersama setara dengan *L* sebagai subruang linear dari *A*. Ini mengikuti dari kondisi (3) bahwa setiap ideal kiri atau kanan adalah subaljabar.

Penting untuk diperhatikan bahwa definisi ini berbeda dengan definisi [[ideal (teori gelanggang)|ideal gelanggang]], di sini kita memerlukan kondisi (2). Tentu saja jika aljabar itu unital, maka kondisi (3) mengimplikasikan kondisi (2).

=== Ekstensi skalar ===

Apabila jika memiliki [[ekstensi medan|perluasan medan]] <math>F/K</math>, yaitu medan besar <math>F</math> digunakan <math>K</math>, maka apabila cara alami untuk aljabar atas <math>F</math> dari aljabar atas *K*. Ini adalah konstruksi yang sama yang digunakan untuk membuat ruang vektor atas medan besar, yaitu hasil kali tensor <math> V_F:=V \otimes_K F </math>. Apabila jika *A* adalah aljabar atas *K*, maka <math>A_F</math> adalah aljabar atas *F*.

== Jenis aljabar dan contohnya ==

Aljabar atas medan datang dalam berbagai jenis. Tipe-tipe ini ditentukan dengan menekankan pada beberapa aksioma lebih lanjut, seperti [[komutatifitas]] atau [[asosiatif]] dari operasi perkalian, yang tidak diperlukan dalam definisi luas aljabar. Teori-teori yang sesuai dengan berbagai jenis aljabar sering kali sangat berbeda.

=== Aljabar unital ===

Suatu aljabar adalah *satuan* atau *uniter* jika memiliki [[Satuan (aljabar)|satuan]] atau elemen identitas <math>I</math> dengan <math>Ix = x = xI</math>untuk semua <math>x</math> dalam aljabar*.*

=== Aljabar nol ===


Sebuah aljabar disebut juga sebagai *'aljabar nol** jika <math>uv = 0</math> untuk semua <math>u,v</math> dalam aljabar, jangan bingung dengan aljabar dengan satu elemen. Ini secara inheren takunital (kecuali dalam kasus hanya satu elemen), asosiatif dan komutatif.

Apabila didefinisikan **aljabar nol unital** dengan mengambil [[jumlah modul langsung]] dari suatu medan (atau lebih umum gelanggang) ''<math>K</math>'' dan ruang vektor-''<math>K</math>'' (atau modul) <math>V</math>, dan mendefinisikan produk dari setiap pasangan elemen <math>V</math> sebagai nol. Artinya, jika <math>\lambda, \mu \in K</math> dan <math>u,v \in V</math>, maka <math>(\lambda + u) (\mu + v) = \lambda \mu + (\lambda v + \mu u)</math>. Jika <math>e_1,\dots,e_d</math> adalah basis dari ''<math>V</math>'', aljabar nol unital adalah hasil bagi dari gelanggang polinomial <math>K[E_1,\dots,E_n]</math> oleh [[ideal (teori gelanggang)|ideal]] yang dihasilkan oleh <math>E_i E_j</math> untuk setiap pasangan <math>(i,j)</math>.

Contoh aljabar nol unital adalah aljabar [[bilangan ganda]], aljabar nol unital-<math>\R</math> yang dibangun dari ruang vektor riil satu dimensi.

Aljabar nol unital ini mungkin lebih berguna secara umum, karena memungkinkan untuk mentranslasikan sifat umum aljabar ke sifat ruang vektor atau [[modul (matematika)|modul]]. Sebagai contoh, teori [[basis Gröbner]] diperkenalkan oleh [[Bruno Buchberger]] untuk [[ideal (teori gelanggang)|ideal]] dalam gelanggang polinomial <math>R = K[x_1,\dots,x_n]</math> atas medan. Konstruksi aljabar nol satuan di atas modul <math>R</math> bebas memungkinkan perluasan teori ini sebagai teori dasar Gröbner untuk submodul modul bebas. Ekstensi ini memungkinkan, untuk menghitung basis Gröbner dari submodul, untuk menggunakan, tanpa ada modifikasi, algoritma, dan perangkat lunak untuk menghitung basis ideal Gröbner.

=== Aljabar asosiatif ===


Contoh aljabar asosiatif, sebagai berikut:
* aljabar semua <math>n</math>-oleh-<math>n</math> [[matriks (matematika)|matriks]] atas medan (atau gelanggang komutatif) <math>K</math>. Ini perkalian biasa yaitu [[perkalian matriks]].
* [[gelanggang grup|aljabar grup]], di mana [[grup (matematika)|grup]] sebagai basis dari ruang vektor dan perkalian aljabar untuk memperluas perkalian grup.
* aljabar komutatif <math>K[x]</math> dari semua [[polinomial]] atas <math>K</math> (lihat [[gelanggang polinomial]]).
* aljabar [[fungsi (matematika)|fungsi]], sebagai aljabar <math>\R</math> dari semua fungsi [[fungsi kontinu|kontinu]] nilai riil yang didefinisikan pada [[interval (matematika)|interval]] <math>[0,1]</math>, atau aljabar-**C** dari semua [[fungsi holomorfik]] yang didefinisikan pada beberapa himpunan terbuka tetap dalam [[medan kompleks]]. Ini juga disebut komutatif.
* [[aljabar insiden]] dibangun atas [[himpunan terurut sebagian]] tertentu.
* aljabar [[operator linear]], misalnya pada [[ruang Hilbert]]. Ini perkalian aljabar diberikan oleh [[komposisi fungsional|komposisi]] dari operator. Aljabar ini juga memuat [[ruang topologi|topologi]]; yang didefinisikan pada [[ruang Banach]], dengan mengubahkannya sebagai [[Aljabar Banach]]. Involusi yang diberikan oleh [[aljabar-B*]] dan [[aljabar-C*]]. Ini dipelajari dalam [[analisis fungsional]].

=== Aljabar takasosiatif ===



Sebuah ''aljabar takasosiatif'' (atau ''aljabar distributif'') pada medan <math>K</math> adalah ruang vektor-<math>K</math> dengan <math>A</math> dilengkapi dengan [[peta bilinear]]-<math>K</math> oleh <math>A \times A \rightarrow A</math>. Penggunaan "takasosiatif" ini dimaksudkan untuk menyampaikan bahwa asosiatif tidak diasumsikan, tetapi bukan berarti dilarang. Artinya, itu berarti "belum tentu asosiatif".

Contoh rinci dalam artikel utama, sebagai berikut:
* [[Ruang Eullides]] <math>\R^3</math> dengan perkalian yang diberikan oleh [[perkalian silang vektor]]
* [[Oktonion]]
* [[Aljabar Lie]]
* [[Aljabar Jordan]]
* [[Aljabar alternatif]]
* [[Aljabar fleksibel]]
* [[Aljabar asosiatif pangkat]]

== Aljabar dan gelanggang ==
Definisi asosiatif aljabar-<math>K</math> dengan unital yang diberikan dengan cara alternatif. Dalam hal ini, aljabar atas medan <math>K</math> adalah [[gelanggang (matematika)|gelanggang]] <math>A</math> bersama dengan [[homomorfisme gelanggang]]

:<math>\eta\colon K\to Z(A),</math>

di mana <math>Z(A)</math> adalah [[pusat (teori gelanggang)|pusat]] dari <math>A</math>. Karena <math>\eta</math> adalah homomorfisme gelanggang, apabila jika memiliki salah satu dari <math>A</math> adalah gelanggang [[Gelanggang nol|nol]], atau bahwa <math>\eta</math> adalah [[fungsi injektif|injektif]]. Definisi ini dengan setara definisi di atas, dengan perkalian skalar
:<math>K\times A \to A</math>
diberikan oleh
:<math>(k,a) \mapsto \eta(k) a</math>.
Diberikan dua unital asosiatif seperti aljabar-<math>K</math> pada <math>A</math> dan <math>B</math>, sebuah homomorfisme aljabar-<math>K</math> dari <math>f\colon A \to B</math> adalah homomorfisme gelanggang dengan perkalian skalar yang didefinisikan oleh <math>\eta</math>, apabila ditulis sebagai
:<math>f(ka)=kf(a)</math>
untuk <math>k\in K</math> dan <math>a \in A</math>. Dengan kata lain, diagram berikut ini adalah:
:<math>\begin{matrix}
&& K &&   \\
& \eta_A \swarrow & \, & \eta_B \searrow & \\
A &&  \begin{matrix} f \\ \longrightarrow \end{matrix}  && B
\end{matrix}</math>

== Koefisien struktur ==

Untuk aljabar atas medan, perkalian bilinear dari <math>A \times A</math> ke <math>A</math> adalah apabila perkalian [[basis (aljabar linear)|basis]] oleh elemen <math>A</math>. Sebaliknya, setelah basis untuk <math>A</math> dipilih dari semua produk elemen basis dapat secara sembarang, dan kemudian diperluas dengan unik ke operator bilinear pada <math>A</math>, yaitu, perkalian yang memenuhi hasil hukum aljabar.

Jadi, dalam medan <math>K</math>, setiap aljabar dimensi-hingga apabila ditentukan [[hingga]] [[isomorfisme]] dengan memberikan [[dimensi (aljabar linear)|dimensi]] (maka <math>n</math>), dan menentukan <math>n^3</math> ''koefisien struktur'' <math>c_{i,j,k}</math>, yang merupakan [[skalar (matematika)|skalar]]. Koefisien struktur ini menentukan perkalian dalam <math>A</math> melalui kaidah berikut:
: <math>\mathbf{e}_{i} \mathbf{e}_{j} = \sum_{k=1}^n c_{i,j,k} \mathbf{e}_{k}</math>
di mana <math>\mathbf{e}_1 \, \dots \mathbf{e}_n</math> sebagai bentuk dasar dari <math>A</math>.

Namun perlu diperhatikan bahwa beberapa himpunan koefisien struktur berbeda yang ditimbulkan aljabar isomorfik.

Dalam [[fisika matematika]], koefisien struktur umumnya ditulis dengan indeks atas dan bawah, untuk membedakan sifat transformasi bawah transformasi koordinat. Secara khusus, indeks yang lebih rendah adalah indeks [[kovarian dan kontradiksi vektor|kovarian]], dan diubah melalui [[mundur (geometri diferensial)|menarik kembali]], sedangkan indeks atas adalah [[kovariansi dan kontradiksi vektor|kontravarian]], yang berubah bawah [[Dorong (diferensial)|dorong depan]]. Jadi, koefisien struktur ditulis juga sebagai <math>c_{i,j}^k</math>, dan kaidah pendefinisiannya ditulis menggunakan [[notasi Einstein]] sebagai
: <math>\mathbf{e}_i \mathbf{e_j} = c_{i,j}^k e_k</math>.
Jika Anda menerapkan ini pada vektor yang ditulis dalam [[notasi indeks]], maka akan menjadi
: <math>(\mathbf{xy})^k = c_{i,j}^k x^i y^i</math>.

Jika ''K'' hanyalah gelanggang komutatif dan bukan medan, maka proses yang sama akan bekerja jika <math>A</math> adalah [[modul bebas]] atas <math>K</math>. Jika bukan, maka perkalian masih sepenuhnya ditentukan oleh tindakan pada himpunan yang mencakup <math>A</math>; Namun, konstanta struktur tidak dapat ditentukan secara sembarang dalam kasus ini, dan hanya mengetahui konstanta struktur yang bukan menentukan aljabar hingga isomorfisme.

== Klasifikasi aljabar asosiatif unital berdimensi rendah atas bilangan kompleks ==

Aljabar asosiatif unital dua dimensi, tiga dimensi dan empat dimensi atas medan bilangan kompleks sepenuhnya diklasifikasikan hingga isomorfisme oleh [[Eduard Study]].

Ada dua aljabar dua dimensi. Setiap aljabar terdiri dari kombinasi linear (dengan koefisien kompleks) dari dua elemen basis, 1 (elemen identitas) dan <math>a</math>. Menurut definisi elemen identitas,
:<math>\textstyle 1 \cdot 1 = 1 \, , \quad 1 \cdot a = a \, , \quad a \cdot 1 = a \, . </math>
Maka dari itu, tetap untuk menentukan
:<math>\textstyle a a = 1 </math> &nbsp; untuk aljabar pertama,
:<math>\textstyle a a = 0 </math> &nbsp; untuk aljabar kedua.

Ada lima aljabar tiga dimensi. Setiap aljabar terdiri dari kombinasi linear dari tiga elemen basis, 1 (elemen identitas), <math>a</math> dan <math>b</math>. Dengan mempertimbangkan definisi elemen identitas, tentu itu sudah cukup untuk menentukan
:<math>\textstyle a a = a \, , \quad b b = b \, , \quad a b = b a = 0 </math> &nbsp; untuk aljabar pertama,
:<math>\textstyle a a = a \, , \quad b b = 0 \, , \quad a b = b a = 0 </math> &nbsp; untuk aljabar kedua,
:<math>\textstyle a a = b \, , \quad b b = 0 \, , \quad a b = b a = 0 </math> &nbsp; untuk aljabar ketiga,
:<math>\textstyle a a = 1 \, , \quad b b = 0 \, , \quad a b = - b a = b </math> &nbsp; untuk aljabar keempat,
:<math>\textstyle a a = 0 \, , \quad b b = 0 \, , \quad a b = b a = 0 </math> &nbsp; untuk aljabar kelima.
Aljabar keempat adalah takkomutatif, dan yang lainnya adalah komutatif.

== Generalisasi ==

Dalam beberapa bidang matematika, seperti [[aljabar komutatif]], adalah umum untuk mempertimbangkan konsep yang lebih umum dari **aljabar atas gelanggang*', di mana gelanggang unital komutatif-<math>R</math> menggantikan medan-<math>K</math>. Satu-satunya bagian dari definisi yang berubah adalah bahwa *A* diasumsikan sebagai [[Modul (matematika)|modul-]]<math>R</math> (bukan ruang vektor atas <math>K</math>).

=== Aljabar asosiatif di atas gelanggang ===


Sebuah [[gelanggang (matematika)|gelanggang]] *A* merupakan aljabar asosiatif atas [[Pusat (teori gelanggang)|pusat]], dan atas [[bilangan bulat]]. Contoh klasik dari aljabar atas pusatn, adalah [[membagi-bikuaternion|membagi-bikuaternion aljabar]], yang isomorfik untuk <math>\mathbb{H} \times \mathbb{H}</math>, produk langsung dari dua [[kuaternion|aljabar kuaternion]]. Pusat gelanggang ini adalah <math>\mathbb{R} \times \mathbb{R}</math>, dan karena memiliki struktur aljabar atas pusat, yang bukan medan. Perhatikan bahwa aljabar biquaternion split juga secara alami merupakan aljabar-<math>\mathbb{R}</math>.

Dalam aljabar komutatif, jika *A* adalah [[gelanggang komutatif]], maka setiap homomorfisme gelanggang unital <math>R \to A</math> didefinisikan struktur modul <math>R</math> pada <math>A</math>, dan inilah yang dikenal sebagai struktur aljabar <math>R</math>. Jadi sebuah gelanggang dengan struktur modul <math>\mathbb{Z}</math> alami, karena homomorfisme tunggal <math>\mathbb{Z} \to A</math>. Di sisi lain, tidak semua gelanggang diberikan struktur aljabar atas medan (misalnya bilangan bulat). Lihat *Medan dengan satu elemen'' untuk deskripsi upaya untuk memberikan setiap gelanggang struktur yang dijelaskan seperti aljabar atas medan.

## Lihat pula

* Aljabar atas operad
* Aljabar alternatif
* Aljabar Clifford
* Aljabar diferensial
* Aljabar bebas
* Aljabar geometris
* Aljabar maks-plus 
* Mutasi (aljabar)
* Aljabar operator
* Lemma Zariski

## Catatan

## Referensi
*