Aljabar bebas

Struktur aljabar → Teori gelanggang Teori gelanggang

Konsep dasar Gelanggang • Subgelanggang • Ideal • Gelanggang hasil bagi • Ideal pecahan • Gelanggang hasil bagi total • Gelanggang produk • Produk bebas dari aljabar asosiatif • Produk tensor gelanggang Gelanggang homomorfisme • Kernel • Keautomorfan dalam • Endomorfisme Frobenius Struktur aljabar • Modul • Aljabar asosiatif • Gelanggang bergradasi • Gelanggang involutif • Kategori gelanggang • Gelanggang initial Z {\displaystyle \mathbb {Z} } $\mathbb {Z}$ • Gelanggang terminal 0 = Z 1 {\displaystyle 0=\mathbb {Z} _{1}} $0=\mathbb {Z} _{1}$ Struktur terkait • Medan • Medan hingga • Gelanggang non-asosiatif • Gelanggang Lie • Gelanggang Jordan • Semigelanggang • Semimedan
Aljabar komutatif Gelanggang komutatif • Ranah integral • Ranah tertutup secara integral • Ranah GCD • Ranah faktorisasi unik • Ranah ideal utama • Ranah Euklides • Medan • Medan hingga • Gelanggang komposisi • Gelanggang polinomial • Gelanggang deret kuasa/pangkat formal Teori bilangan aljabar • Medan bilangan aljabar • Gelanggang bilangan bulat • Kebebasan aljabar • Teori bilangan transendental • Derajat transendensi Teori bilangan dan desimal p-adik • Limit langsung/Limit invers • Gelanggang nol Z 1 {\displaystyle \mathbb {Z} _{1}} $\mathbb {Z} _{1}$ • Bilangan modulo pⁿ Z / p n Z {\displaystyle \mathbb {Z} /p^{n}\mathbb {Z} } $\mathbb {Z} /p^{n}\mathbb {Z}$ • Prüfer gelanggang-p Z ( p ∞ ) {\displaystyle \mathbb {Z} (p^{\infty })} $\mathbb {Z} (p^{\infty })$ • Base-p gelanggang lingkaran T {\displaystyle \mathbb {T} } $\mathbb {T}$ • Base-p bilangan bulat Z {\displaystyle \mathbb {Z} } $\mathbb {Z}$ • Rasional p-adik Z [ 1 / p ] {\displaystyle \mathbb {Z} [1/p]} $\mathbb {Z} [1/p]$ • Base-p bilangan real R {\displaystyle \mathbb {R} } $\mathbb {R}$ • Bilangan bulatp-adik Z p {\displaystyle \mathbb {Z} _{p}} $\mathbb {Z} _{p}$ • Bilangan p-adik Q p {\displaystyle \mathbb {Q} _{p}} $\mathbb {Q} _{p}$ • Salenoid p-adik T p {\displaystyle \mathbb {T} _{p}} $\mathbb {T} _{p}$ Geometri aljabar • Variasi Afin
Aljabar nonkomutatif Gelanggang nonkomutatif • Gelanggang pembagian • Gelanggang semiprimitif • Gelanggang sederhana • Komutator Geometri aljabar nonkomutatif Aljabar bebas Aljabar Clifford • Aljabar geometris Operasi aljabar
l b s

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 {X₁,...,X_n}, didefinisikan sebagai modul bebas R dengan basis yang terdiri dari semua kata yang dapat dibentuk dari alfabet {X₁,...,X_n}. 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:

( X i 1 X i 2 ⋯ X i l ) ⋅ ( X j 1 X j 2 ⋯ X j m ) = X i 1 X i 2 ⋯ X i l X j 1 X j 2 ⋯ X j m , {\displaystyle \left(X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}\right)\cdot \left(X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}}\right)=X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}},} $\left(X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}\right)\cdot \left(X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}}\right)=X_{i_{1}}X_{i_{2}}\cdots X_{i_{l}}X_{j_{1}}X_{j_{2}}\cdots X_{j_{m}},$

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⟨X₁,...,X_n⟩ Konstruksi ini dapat digeneralisasi untuk himpunan tak tentu sembarang X, bukan hanya yang himpunan berhingga.

Definisi Umum

Secara umum, untuk suatu himpunan sembarang X = { X i ; i ∈ I } {\displaystyle X=\{X_{i}\,;\;i\in I\}} $X=\{X_{i}\,;\;i\in I\}$ , aljabar bebas atas R yang bersifat asosiatif dan unital dilambangkan dengan:

R ⟨ X ⟩ := ⨁ w ∈ X ∗ R w {\displaystyle R\langle X\rangle :=\bigoplus _{w\in X^{\ast }}Rw} $R\langle X\rangle :=\bigoplus _{w\in X^{\ast }}Rw$

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⟨X₁,X₂,X₃,X₄⟩, 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 {X₁, ...,X_n} membentuk basis dari aljabar bebas R⟨X₁,..., maka setiap elemen dari aljabar tersebut dapat dinyatakan secara unik dalam bentuk:

∑ k = 0 ∞ ∑ i 1 , i 2 , ⋯ , i k ∈ { 1 , 2 , ⋯ , n } a i 1 , i 2 , ⋯ , i k X i 1 X i 2 ⋯ X i k , {\displaystyle \sum \limits _{k=0}^{\infty }\,\,\,\sum \limits _{i_{1},i_{2},\cdots ,i_{k}\in \left\lbrace 1,2,\cdots ,n\right\rbrace }a_{i_{1},i_{2},\cdots ,i_{k}}X_{i_{1}}X_{i_{2}}\cdots X_{i_{k}},} $\sum \limits _{k=0}^{\infty }\,\,\,\sum \limits _{i_{1},i_{2},\cdots ,i_{k}\in \left\lbrace 1,2,\cdots ,n\right\rbrace }a_{i_{1},i_{2},\cdots ,i_{k}}X_{i_{1}}X_{i_{2}}\cdots X_{i_{k}},$

di mana a i 1 , i 2 , . . . , i k {\displaystyle a_{i_{1},i_{2},...,i_{k}}} $a_{i_{1},i_{2},...,i_{k}}$ 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⟨X₁,...,Xn⟩ sering kali disebut sebagai polinomial tidak komutatif. Dalam konteks ini, simbol-simbol X₁,...,Xn berfungsi sebagai variabel, sedangkan koefisien-koefisien a i 1 , i 2 , . . . , i k {\displaystyle a_{i_{1},i_{2},...,i_{k}}} $a_{i_{1},i_{2},...,i_{k}}$ berasal dari gelanggang komutatif R. Aljabar R⟨X₁,...,X_n⟩ 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, X₁X₂ tidak sama dengan X₂X₁, 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.