Aljabar bebas

Dalam matematika, khususnya dalam cabang aljabar abstrak yang dikenal sebagai teori gelanggang, aljabar bebas merupakan analog tak komutatif dari gelanggang polinomial. Unsur-unsur dalam aljabar bebas dapat dipandang sebagai "polinomial" yang variabel-variabelnya tidak saling komutatif, artinya urutan variabel memengaruhi hasil.

Sebaliknya, gelanggang polinomial biasa dapat dianggap sebagai aljabar bebas komutatif, di mana variabel-variabelnya saling komutatif, sehingga urutan variabel tidak memengaruhi hasil operasi.

 Pengertian 
Dalam aljabar abstrak, aljabar bebas atas suatu gelanggang komutatif R (dengan sifat asosiatif dan memiliki elemen identitas atau unital) pada n simbol tak tentu {X1,...,Xn}, didefinisikan sebagai modul bebas R dengan basis yang terdiri dari semua kata yang dapat dibentuk dari alfabet {X1,...,Xn}. Basis ini mencakup juga kata kosong, yang berfungsi sebagai elemen identitas dalam aljabar tersebut.

Modul bebas ini diperlengkapi dengan struktur aljabar R melalui perkalian yang didefinisikan sebagai penggabungan kata. Perkalian antara dua elemen basis dilakukan dengan menggabungkan kata-kata yang bersesuaian, sebagai berikut:

Untuk dua elemen sebarang dari modul R, hasil kali ditentukan secara unik karena perkalian dalam aljabar R harus bersifat bilinear terhadap R. Aljabar yang dihasilkan dari konstruksi ini dilambangkan dengan: R⟨X1,...,Xn​⟩ Konstruksi ini dapat digeneralisasi untuk himpunan tak tentu sembarang X, bukan hanya yang himpunan berhingga.

 Definisi Umum 
Secara umum, untuk suatu himpunan sembarang , aljabar bebas atas R yang bersifat asosiatif dan unital dilambangkan dengan:

di mana:

 X∗ menyatakan monoide bebas yang dihasilkan oleh X, yaitu semua kata hingga (termasuk kata kosong) yang dibentuk dari simbol dalam X,
 Simbol ⨁ menyatakan jumlah langsung eksternal,
 Rw menyatakan salinan R modul bebas untuk setiap kata w.

Perkalian dalam aljabar ini didefinisikan sebagai penggabungan rangkaian, dan bersifat pemetaan bilinear terhadap R.

 Contoh 
Misalnya, dalam aljabar bebas R⟨X1,X2,X3,X4⟩, untuk skalar α, β, γ, δ ∈ R, suatu contoh konkret dari hasil perkalian dua elemen adalah sebagai berikut:

 Hubungan dengan Gelanggang monoid 
Aljabar bebas tidak komutatif juga dapat dipandang sebagai gelanggang monoid dalam R, di mana monoide yang dimaksud adalah semua kata hingga dari alfabet

X. Aljabar bebas menyediakan suatu cara untuk membentuk gelanggang polinomial tidak komutatif atas himpunan pembangkit sembarang.

 Kontras dengan Gelanggang Polinomial 
Karena kata-kata atas alfabet {X1, ...,Xn} membentuk basis dari aljabar bebas R⟨X1,..., maka setiap elemen dari aljabar tersebut dapat dinyatakan secara unik dalam bentuk:

di mana  merupakan elemen-elemen dari ring R, dan hanya sejumlah terbatas dari elemen tersebut yang bernilai bukan nol.

Bentuk ini menjelaskan mengapa elemen-elemen dalam R⟨X1,...,Xn​⟩ sering kali disebut sebagai polinomial tidak komutatif. Dalam konteks ini, simbol-simbol X1,...,Xn berfungsi sebagai variabel, sedangkan koefisien-koefisien  berasal dari gelanggang komutatif R. Aljabar R⟨X1,...,Xn​⟩ ini disebut sebagai aljabar polinomial tidak komutatif pada R dengan n variabel.

Berbeda dengan gelanggang polinomial biasa, dalam aljabar bebas variabel tidak saling menukar posisi. Sebagai contoh, X1X2 tidak sama dengan X2X1, karena urutan penulisan memengaruhi hasil perkalian.

 Konstruksi Umum 
Secara lebih umum, seseorang dapat membangun aljabar bebas R⟨E⟩ untuk himpunan generator sembarang E. Karena sebuah gelanggang dapat dianggap sebagai aljabar atas Z, maka aljabar bebas atas Z dengan himpunan E dilambangkan dengan Z⟨E⟩.

Jika R adalah sebuah medan, maka aljabar bebas atas n tak tentu dapat dikonstruksi sebagai aljabar tensor dari suatu ruang vektor berdimensi n. Untuk persamaan linear gelanggang yang lebih umum, pendekatan serupa dapat dilakukan dengan menggunakan modul bebas pada R dengan jumlah generator sebanyak elemen E.

 Sifat Universal 
Aljabar bebas memenuhi sifat universal: untuk setiap fungsi, di mana adalah aljabar atas medan, terdapat satu-satunya homomorfisme aljabar yang memperluas. Artinya, adalah "aljabar paling umum" yang mengandung tanpa syarat tambahan.

 Hubungan dengan Teori Kategori 
Dalam Teori bilangan aljabar, aljabar bebas merupakan funktor kiri adjungsi terhadap funktor fogetful dari kategori bilangan aljabar ke aljabar himpunan. Ini berarti bahwa aljabar bebas memberikan struktur aljabar yang "paling bebas" atas suatu himpunan.

 Aplikasi 

 Ilmu komputer: digunakan untuk merepresentasikan ekspresi simbolik, bahasa formal, dan struktur pohon ekspresi.
 Logika matematika: muncul dalam teori bilangan aljabar dan sistem pembuktian otomatis.
 Teori basis data: digunakan dalam manipulasi bahasa kueri.
 Komputasi simbolik: aljabar bebas digunakan untuk merepresentasikan ekspresi yang belum disederhanakan.

 Aljabar Bebas atas Gelanggang Pembagian 
Aljabar bebas atas gelanggang pembagian menghasilkan gelanggang pembagian, yang penting dalam teori gelanggang dan teori representasi.

 Lihat juga 

 Koaljabar Kobebas
 Aljabar Tensor
 Objek bebas
 Gelanggang nonkomutatif
 Deret rasional
 Istilah aljabar

 Referensi 

  Berstel, Jean; Reutenauer, Christophe (2011). Noncommutative rational series with applications. Encyclopedia of Mathematics and Its Applications. Cambridge: Cambridge University Press. p. 137. ISBN 978-0-521-19022-0.
 L.A. Bokut' (2001) [1994], "Free associative algebra", Encyclopedia of Mathematics, EMS Press.

Kategori:Aljabar
Kategori:Struktur aljabar bebas