Abstract: Misalkan D=K[d1,d2,d3,…dn] operator diferensial linier dengan koefisien di K, yang memenuhi a K ; dia = adi + ia. D adalah ring operator diferensial linier dengan sifat antara lain: D tidak memuat pembagi nol, tidak komutatif, dan untuk setiap d d D i j , , i, j 1,, n dan untuk setiap a, b K berlaku i j i j i j ad (bd ) abd d a( b)d . Misalkan M adalah suatu modul atas D yang dibentuk dari suatu sistem linier diferensial biasa (OD) time-varying atau sistem linier diferensial parsial (PD) terkendali. Menunjukkan M suatu modul projektif atau suatu modul bebas digunakan suatu tes formal. Tes formal yang digunakan sangat bergantung pada karakteristik dari modul tersebut, yaitu Untuk modul projektif, tes formal yang digunakan tergantung pada kesurjektifan dari operator tersebut. Sedangkan untuk modul bebas harus atas suatu daerah ideal utama. Kata Kunci: Modul Atas Operator Diferensial, Integrabilitas Formal, Teori Kendali
Penulis: Na'imah Hijriati
Kode Jurnal: jpmatematikadd110006
comment 0 komentar
more_vert