k-isomorfisme dalam k-aljabardigilib.uinsby.ac.id/26570/1/fanny dwi lestari_h92214026.pdfaljabar...

62
K-ISOMORFISME DALAM K-ALJABAR SKRIPSI OLEH FANNY DWI LESTARI NIM.H92214026 PROGRAM STUDI MATEMATIKA JURUSAN SAINS FAKULTAS SAINS DAN TEKNOLOGI UNIVERSITAS ISLAM NEGERI SUNAN AMPEL SURABAYA SURABAYA 2018

Upload: others

Post on 26-Nov-2020

13 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

K-ISOMORFISME DALAM K-ALJABAR

SKRIPSI

OLEH

FANNY DWI LESTARI

NIM.H92214026

PROGRAM STUDI MATEMATIKA

JURUSAN SAINS

FAKULTAS SAINS DAN TEKNOLOGI

UNIVERSITAS ISLAM NEGERI SUNAN AMPEL SURABAYA

SURABAYA

2018

Page 2: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi
Page 3: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi
Page 4: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi
Page 5: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

vi

K-ISOMORFISME DALAM K-ALJABAR

ABSTRAK

K-Aljabar (๐บ,โŠ™,โˆ—, ๐‘’) merupakan suatu sistem yang dibangun atas suatu grup

dengan elemen satuan (๐บ,โˆ—) dan operasi biner โŠ™, sehingga untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ

didefinisikan ๐‘ฅ โŠ™ ๐‘ฆ = ๐‘ฅ โˆ— ๐‘ฆโˆ’1 yang memenuhi aksioma-aksioma tertentu. K-

Homomorfisme dalam K-Aljabar merupakan pemetaan ๐œ‘ dari ๐พ1-Aljabar ke ๐พ2-

Aljabar yang memenuhi ๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฆ1) = ๐œ‘(๐‘ฅ1) โŠ™ ๐œ‘(๐‘ฆ1), untuk setiap ๐‘ฅ1, ๐‘ฆ1 โˆˆ ๐พ1.

Berdasarkan analisa yang telah dilakukan, diperoleh definisi dari K-Isomorfisme

dalam K-Aljabar, yaitu K-Homomorfisme ๐œ‘ dari ๐พ1-Aljabar ke ๐พ2-Aljabar disebut

sebagai K-Isomorfisme jika ๐œ‘ merupakan suatu pemetaan bijektif. Dengan

mengadopsi konsep dari isomorfisme grup, terbukti bahwa beberapa konsep seperti

teorema maupun proposisi juga berlaku pada K-Isomorfisme dalam K-Aljabar. Jika

(๐บ,โˆ—,โŠ™, ๐‘’) merupakan K-Aljabar, dan ๐œ‘: ๐บ โ†’ ๐บ K-Isomorfisme, maka ๐œ‘โˆ’1: ๐บ โ†’๐บ merupakan K-Isomorfisme. Lebih lanjut, berlaku ๐œ‘(๐‘’1) = ๐‘’1, dan ๐œ‘(๐‘ฅ๐‘›) =[๐œ‘(๐‘ฅ)]๐‘›, untuk ๐‘ฅ โˆˆ (๐บ,โŠ™) dan ๐‘ฅ โˆˆ โ„ค+. Order dari sebarang elemen dalam K-

Aljabar adalah bilangan bulat genap positif ๐‘›, sedemikian sehingga ๐‘”๐‘› = ๐‘’.

Kata kunci: Grup, K-Aljabar, K-Homomorfisme dalam K-Aljabar, K-Isomorfisme

dalam K-Aljabar.

Page 6: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

vii

K-ISOMORPHISM ON K-ALGEBRA

ABSTRACT

K-Algebra (๐บ,โˆ—,โŠ™, ๐‘’) is a system that built on a group with unit element (๐บ,โˆ—)

and binary operation โŠ™, so that for every ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ defined as ๐‘ฅ โŠ™ ๐‘ฆ = ๐‘ฅ โˆ— ๐‘ฆโˆ’1 and

satisfies certain axioms. K-Homomorphism on K-Algebra that is a mapping ๐œ‘ from

๐พ1-Algebra to ๐พ2-Algebra that satisfies ๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฆ1) = ๐œ‘(๐‘ฅ1) โŠ™ ๐œ‘(๐‘ฆ1), for

every ๐‘ฅ1, ๐‘ฆ1 โˆˆ ๐พ1. Based on the result of analyzing, definition of K-Isomorphism

on K-Algebra is obtained, that is K-Homomorphism ๐œ‘ from ๐พ1-Algebra to ๐พ2-

Algebra is called K-Isomorphism if ๐œ‘ is bijective function. By adopting a concept

of isomorphism group, it has been proven that some of concepts such as theorems

and propositions also apply on K-Ismorphism on K-Algebra. If (๐บ,โˆ—,โŠ™, ๐‘’) is a K-

Algebra, and ๐œ‘: ๐บ โ†’ ๐บ K-Isomorphism, then ๐œ‘โˆ’1: ๐บ โ†’ ๐บ is K-Isomorphism. Then,

apply ๐œ‘(๐‘’1) = ๐‘’1, and ๐œ‘(๐‘ฅ๐‘›) = [๐œ‘(๐‘ฅ)]๐‘› for ๐‘ฅ โˆˆ (๐บ,โŠ™) ann ๐‘ฅ โˆˆ โ„ค+. Order of any

element in K-Algebra is an even positive integer ๐‘›, so that ๐‘”๐‘› = ๐‘’.

Keyword: Group, K-Algebra, K-Homomorphism on K-Algebra, K-Isomorphism

on K-Algebra.

Page 7: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

viii

DAFTAR ISI

COVER ................................................................................................................... i

HALAMAN JUDUL ............................................................................................. ii

HALAMAN KEASLIAN ..................................................................................... iii

HALAMAN PENGESAHAN .............................................................................. iv

LEMBAR PERSETUJUAN PUBLIKASI .......................................................... v

ABSTRAK ............................................................................................................ vi

ABSTRACT ......................................................................................................... vii

DAFTAR ISI ....................................................................................................... viii

DAFTAR TABEL ................................................................................................. x

DAFTAR GAMBAR ............................................................................................ xi

DAFTAR SIMBOL ............................................................................................. xii

BAB I PENDAHULUAN ...................................................................................... 1

A. Latar Belakang ............................................................................................. 1

B. Rumusan Masalah ........................................................................................ 3

C. Tujuan Penelitian ......................................................................................... 3

D. Manfaat Penelitian ....................................................................................... 3

E. Metode Penelitian......................................................................................... 4

F. Sistematika Penulisan .................................................................................. 4

BAB II TINJAUAN PUSTAKA ........................................................................... 6

A. Fungsi ........................................................................................................... 6

B. Operasi Biner ............................................................................................... 9

C. Grup ........................................................................................................... 10

D. Sifat-sifat Grup ........................................................................................... 13

E. Subgrup ...................................................................................................... 16

F. Homomorfisme .......................................................................................... 19

G. K-Aljabar.................................................................................................... 22

H. K-Subaljabar .............................................................................................. 25

I. K-Homomorfisme dalam K-Aljabar .......................................................... 27

J. Integrasi Keilmuan ..................................................................................... 32

1. Kekonsistenan ........................................................................................ 32

2. Fungsi ..................................................................................................... 32

BAB III PEMBAHASAN ................................................................................... 35

A. K-Isomorfisme dalam K-Aljabar ............................................................... 35

1. K-Monomorfisme dalam K-Aljabar ....................................................... 35

Page 8: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

ix

2. K-Epimorfisme dalam K-Aljabar ........................................................... 38

3. K-Isomorfisme dalam K-Aljabar ............................................................ 41

Definisi 3.4..................................................................................................... 42

Definisi 3.5..................................................................................................... 43

B. Sifat-sifat K-Isomorfisme dan K-Aljabar................................................... 43

1. Teorema 3.1 ............................................................................................ 43

2. Proposisi 1 .............................................................................................. 44

3. Teorema 3.2 ............................................................................................ 46

BAB IV PENUTUP ............................................................................................. 48

A. Simpulan .................................................................................................... 48

B. Saran ........................................................................................................... 48

DAFTAR PUSTAKA .......................................................................................... 52

Page 9: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

x

DAFTAR TABEL

Tabel 2.1. Operasi โŠ™ Pada ๐‘ท ............................................................................. 26

Page 10: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

xi

DAFTAR GAMBAR

Gambar 2.1. Diagram fungsi ๐’‡: ๐‘ท โ†’ ๐‘น ................................................................ 7

Page 11: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

xii

DAFTAR SIMBOL

๐‘“, ๐œ‘ : Simbol fungsi

(๐บ,โˆ—) : Grup dengan operasi biner โˆ—

โ„ : Himpunan bilangan real

โ„ค : Himpunan bilangan bulat

โ„š : Himpunan bilangan rasional

โˆˆ : Elemen atau anggota

โˆ— : Operasi biner โˆ—

โŠ™ : Operasi biner โŠ™

๐‘’ : Identitas

(๐บ,โˆ—,โŠ™, ๐‘’) : K-Aljabar

โˆ€ : Untuk setiap

โˆŽ : Akhir pembuktian teorema

Page 12: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

1

BAB I

PENDAHULUAN

A. Latar Belakang

Matematika merupakan suatu ilmu pengetahuan yang telah lama ada. Hal

ini terbukti bahwa pada saat penciptaan alam semesta oleh Allah SWT, dimana

dalam penciptaannya, Allah telah mengukur dengan tepat dan akurat. Kemudian

oleh manusia diubah menjadi rumus-rumus serta persamaan-persamaan yang

merupakan hasil penyimbolan dari fenomena-fenomena yang terjadi pada dunia

nyata.

Di dalam matematika terdapat beberapa subkeilmuan, seperti kalkulus,

aljabar, statistika, dll. Salah satu subkeilmuan dalam matematika yang

mempelajari pembuktian adalah aljabar yang merupakan manipulasi dari

simbol-simbol yang terdapat di dalam matematika. Sebagai salah satu

subkeilmuan dalam matematika, aljabar juga mempunyai subkeilmuan, salah

satu di antaranya yaitu aljabar abstrak.

Aljabar abstrak atau struktur aljabar merupakan suatu himpunan yang

tidak kosong ๐ป dengan operasi biner pada ๐ป (Sadieda, 2014). Beberapa sistem

dalam aljabar yang sering dipelajari dan diketahui antara lain adalah grup, ring,

field, dll. Selain itu masih terdapat banyak sistem dalam struktur aljabar, salah

satunya adalah K-Aljabar.

K-Aljabar diperkenalkan pertama kali oleh Dar dan Akram dalam

tulisannya yang berjudul On a K-Algebra Built on a Group pada tahun 2005.

Page 13: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

2

Dar dan Akram menggali konsep grup dalam aljabar yang jika ditambahkan

dengan operasi biner ternyata menghasilkan suatu konsep baru, yaitu K-Aljabar

yang memuat definisi, sifat-sifat, serta beberapa teorema. K-Aljabar merupakan

struktur aljabar yang dibangun dari suatu grup ๐บ, dengan e adalah elemen

identitas pada ๐บ untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ (Dar & Akram, 2005). Adapun operasi

biner yang digunakan adalah operasi biner โŠ™, yang didefinisikan sebagai ๐‘ฅ โŠ™

๐‘ฆ = ๐‘ฅ โˆ— ๐‘ฆโˆ’1 = ๐‘ฅ๐‘ฆโˆ’1 untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ dan memenuhi aksioma-aksioma

tertentu. Sedangkan menurut Afifah (2013), K-Aljabar merupakan struktur

aljabar yang dibangun dari suatu grup, sehingga sifat-sifat yang berlaku pada

grup juga akan berlaku pada K-Aljabar.

Apabila di dalam grup terdapat konsep Subgrup, Homomorfisme,

Isomorfisme, maka dalam K-Aljabar akan berlaku pula konsep yang ada di grup,

yaitu K-Subaljabar, K-Homomorfisme, dan K-Isomorfisme. Adapun K-

Homomorfime dalam K-Aljabar telah diteliti oleh Iswati & Suryoto (2015)

dalam jurnal berjudul K-Aljabar yang berisi penurunan definisi serta aksioma-

aksioma dalam K-Aljabar yang diturunkan dari konsep grup. Sebagaimana yang

dinyatakan oleh Afifah (2013), bahwa dalam K-Aljabar berlaku pula sifat-sifat

yang terdapat dalam grup. Namun demikian, sampai saat ini, penelitian yang

membahas mengenai K-Aljabar baru sampai pada konsep K-Subaljabar dan K-

Homomorfisme, belum ada pembahasan mengenai konsep K-Isomorfisme.

Sehingga pada penelitian ini akan dikaji dan dibuktikan konsep K-

Isomorfisme dalam K-Aljabar serta beberapa sifat-sifat dan teorema yang

berkaitan untuk melengkapi struktur aljabar atas K-Aljabar. Sehingga peneliti

Page 14: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

3

tertarik untuk mengambil suatu judul yaitu โ€œK-Isomorfisme dalam K-

Aljabarโ€.

B. Rumusan Masalah

Berdasarkan latar belakang masalah dari peneitian ini, maka dapat disusun

rumusan masalah sebagai berikut.

1. Apa yang dimaksud dengan K-Isomorfisme dalam K-Aljabar?

2. Bagaimana sifat-sifat K-Isomorfisme dalam K-Aljabar?

C. Tujuan Penelitian

Sesuai dengan latar belakang yang telah diuraikan, maka tujuan dari

penelitian ini adalah:

1. Mengetahui apa yang dimaksud dengan K-Isomorfisme dalam K-Aljabar,

baik mengenai definisi maupun teorema-teorema yang terkait.

2. Untuk menunjukkan sifat-sifat dari K-Isomorfisme dalam K-Aljabar.

D. Manfaat Penelitian

Hasil dari penelitian mengenai K-Isomorfisme dalam K-Aljabar

diharapkan dapat memberikan manfaat sebagai berikut.

1. Menambah pengetahuan dan keilmuan mengenai konsep-kosep dalam K-

Aljabar khususnya K-Isomorfisme.

2. Melengkapi struktur keilmuan dalam aljabar, khususnya yang berkaitan

dengan K-Isomorfisme dalam K-Aljabar.

Page 15: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

4

E. Metode Penelitian

Penelitian ini tergolong ke dalam jenis penelitian deskriptif kualitatif,

karena penelitian ini menguraikan dan menggambarkan proses penurunan

definisi dan sifat-sifat K-Isomorfisme dalam K-Aljabar dari konsep yang

diadopsi dari grup. Dengan kata lain, penelitian ini juga dapat dikategorikan

sebagai penelitian jenis kajian pustaka yang merupakan serangkaian proses yang

berkenaan dengan metode pengumpulan data pustaka, membaca, mencatat serta

mengolah bahan koleksi berupa buku maupun jurnal tanpa riset lapangan

(Mestika, 2004).

Data yang digunakan pada penelitian ini berasal dari jurnal, buku, serta

sumber referensi lain yang dapat mendukung. Selain itu, digunakan digunakan

pula data yang diperoleh dari referensi-referensi mengenai Aljabar, khususnya

konsep yang berkaitan dengan K-Aljabar. Dari berbagai literatur yang telah

dikumpulkan, kemudian dilakukan analisis mengenai K-Aljabar serta

penurunannya, selain itu juga dilakukan analisis terhadap K-Homomorfisme

dalam K-Aljabar sehingga diperoleh penurunan sifat atau teorema yang dapat

diterapkan dalam K-Isomomorfisme dalam K-Aljabar.

F. Sistematika Penulisan

Adapun sistematika penulisan dalam penyusunan skripsi ini adalah

sebagai berikut.

Page 16: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

5

BAB I: PENDAHULUAN

Bab ini memuat latar belakang penelitian, rumusan masalah, tujuan

penelitian, manfaat penelitian, metode penelitian, dan sistematika penulisan

skripsi.

BAB 2: TINJAUAN PUSTAKA

Pada bab ini terdapat penjelasan teori tentang sistem, antara lain teori

fungsi, operasi biner, grup, sifat-sifat dari grup, Subgrup, Homomorfisme dalam

grup, Isomorfisme, K-Aljabar, K-Subaljabar, K-Homomorfisme dalam K-

Aljabar, serta integrasi keilmuan.

BAB III: PEMBAHASAN

Pada bagian ini terdapat penjelasan hasil analisis dari konsep K-

Monomorfisme, K-Epimorfisme, serta K-Isomorfisme dalam K-Aljabar, yang

memuat definisi, contoh, Teorema K-Isomorfisme, serta beberapa sifat dari K-

Isomorfisme dalam K-Aljabar.

BAB IV: PENUTUP

Bab ini memuat simpulan dan saran dari hasil penelitian yang telah

diperoleh.

Page 17: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

6

BAB II

TINJAUAN PUSTAKA

Pada bab ini akan diberikan beberapa teori pendukung yang memuat definisi-

definisi serta teorema-teorema yang sangat menunjang, dan juga sebagai pokok

pembahasan dalam penelitian ini. Teori-teori penunjang dalam penelitian ini antara

lain yaitu teori fungsi, operasi biner, grup, sifat-sifat dari grup, Subgrup,

Homomorfisme grup, Isomorfisme grup, K-Aljabar, K-Subaljabar, K-

Homomorfisme dalam K-Aljabar, serta integrasi keilmuan.

A. Fungsi

Definisi 2.1

Jika terdapat dua himpunan yaitu himpunan ๐‘€ dan ๐‘, maka fungsi atau

pemetaan dari himpunan ๐‘€ ke himpunan ๐‘ adalah himpunan f pada pasangan

terurut di ๐‘€ ร— ๐‘, sedemikian sehingga untuk setiap ๐‘ฅ โˆˆ ๐‘€ terdapat tepat satu

๐‘ฆ โˆˆ ๐‘ dengan (๐‘ฅ, ๐‘ฆ) โˆˆ ๐‘“ (Bartle, 2010).

Fungsi dari himpunan ๐‘€ ke himpunan ๐‘ dinotasikan dengan ๐‘“: ๐‘€ โŸถ ๐‘

yang menunjukkan bahwa f adalah fungsi dari himpunan ๐‘€ ke himpunan ๐‘, atau

pemetaan dari ๐‘€ ke ๐‘. Himpunan ๐‘€ pada anggota pertama di f disebut sebagai

domain (daerah asal) dan dinotasikan dengan ๐ท(๐‘“). Himpunan semua elemen

kedua di f disebut sebagai range (daerah hasil) dan dinotasikan dengan ๐‘…(๐‘“).

Page 18: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

7

Contoh 2.1

Misalkan ๐‘ƒ = {๐‘ฅ, ๐‘ฆ, ๐‘ง} dan ๐‘… = {1,2,3}. Pemetaan ๐‘ƒ ke ๐‘…,๐‘“: ๐‘ƒ โ†’ ๐‘… ditunjukkan

pada diagram fungsi (๐‘“: ๐‘ƒ โ†’ ๐‘…) berikut.

Gambar 2.1. Diagram fungsi (๐’‡: ๐‘ท โ†’ ๐‘น)

Sehingga diperoleh himpunan ๐‘“ = {(๐‘ฅ, 2), (๐‘ฆ, 1), (๐‘ง, 3)} yang merupakan

pemetaan (fungsi) dari ๐‘ƒ ke ๐‘….

Berikut merupakan macam-macam fungsi.

Definisi 2.2

Fungsi ๐‘“ โˆถ ๐‘€ โ†’ ๐‘ dikatakan injektif atau fungsi satu-satu jika dan hanya

jika untuk setiap ๐‘Ž, ๐‘ โˆˆ ๐‘€ dengan ๐‘“(๐‘Ž) = ๐‘“(๐‘) berlaku ๐‘Ž = ๐‘ (Sadieda, 2014).

Contoh 2.2

Diketahui fungsi ๐‘“ โˆถ โ„ โ†’ โ„ dengan ๐‘“(๐‘Ž) = ๐‘Ž3. Fungsi ๐‘“ disebut sebagai

fungsi injektif karena untuk setiap ๐‘Ž, ๐‘ โˆˆ โ„ dengan ๐‘“(๐‘Ž) = ๐‘“(๐‘) maka ๐‘Ž3 = ๐‘3

sehingga berlaku ๐‘Ž = ๐‘. Sedangkan fungsi ๐‘“ โˆถ โ„ โ†’ โ„ dengan ๐‘“(๐‘š) = ๐‘š2

bukan suatu fungsi injektif karena terdapat โˆ’2 , 2 โˆˆ โ„ dan โˆ’2 โ‰  2 tetapi

๐‘“(โˆ’2) = (โˆ’2)2 = 4 = 22 = ๐‘“(2).

x

y

z

1

2

3

P R f

Page 19: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

8

Definisi 2.3

Fungsi ๐‘“ disebut sebagai fungsi surjektif jika dan hanya jika untuk setiap

๐‘ โˆˆ ๐‘ terdapat ๐‘Ž โˆˆ ๐‘€, sedemikian sehingga ๐‘ = ๐‘“(๐‘Ž) (Sadieda, 2014).

Contoh 2.3

Diketahui fungsi ๐‘“ โˆถ โ„ โ†’ โ„ dengan ๐‘“(๐‘Ž) = ๐‘Ž. Fungsi f disebut sebagai fungsi

surjektif, karena untuk setiap ๐‘ โˆˆ โ„ terdapat ๐‘Ž โˆˆ โ„ sehingga berlaku ๐‘“(๐‘Ž) =

๐‘ = ๐‘Ž. Sedangkan pemetaan atau fungsi ๐‘“ โˆถ โ„ โ†’ โ„ dengan definisi pemetaan

๐‘“(๐‘Ž) = ๐‘Ž2 bukan merupakan fungsi surjektif karena untuk โˆ’2 โˆˆ โ„ tidak ada

๐‘Ž โˆˆ โ„ sehingga ๐‘“(๐‘Ž) = ๐‘Ž2 = โˆ’2.

Definisi 2.4

Fungsi f disebut sebagai fungsi bijektif jika f merupakan fungsi injektif

dan f merupakan fungsi surjektif (Sadieda, 2014).

Contoh 2.4

Fungsi ๐‘“ โˆถ โ„ โ†’ โ„ dengan ๐‘“(๐‘Ž) = ๐‘Ž3 merupakan pemetaan atau fungsi bijektif.

Bukti

Untuk membuktikan fungsi ๐‘“ merupakan bijektif, maka harus ditunjukkan

bahwa fungsi ๐‘“ merupakan fungsi injektif dan fungsi surjektif.

1. Dalam contoh 2, telah ditunjukkan bahwa ๐‘“ merupakan fungsi injektif.

2. Selanjutnya akan ditunjukkan bahwa ๐‘“ merupakan fungsi surjektif.

Misal ambil sebarang ๐‘ฆ โˆˆ โ„, terdapat ๐‘ฅ โˆˆ โ„ sedemikian sehingga ๐‘“(๐‘ฅ) = ๐‘ฆ.

Sebagai contoh untuk โˆ’8 โˆˆ โ„, terdapat โˆ’2 โˆˆ โ„, sehingga ๐‘“(โˆ’2) =

(โˆ’2)3 = โˆ’8. Karena memenuhi ๐‘“(๐‘ฅ) = ๐‘ฆ, maka ๐‘“ merupakan fungsi

surjektif.

Page 20: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

9

Karena telah ditunjukkan bahwa ๐‘“ merupakan fungsi injektif dan fungsi

surjektif, maka terbukti bahwa ๐‘“ โˆถ โ„ โ†’ โ„ dengan ๐‘“(๐‘Ž) = ๐‘Ž3 merupakan

fungsi bijektif.

B. Operasi Biner

Operasi biner merupakan suatu operasi yang berlaku dalam konsep grup.

Berikut adalah pengertian dari operasi biner.

Definisi 2.5

Jika terdapat suatu himpunan ๐บ. Operasi biner pada ๐บ adalah pemetaan

atau fungsi yang memetakan setiap pasangan terurut dari elemen ๐บ ke elemen

pada ๐บ (Gallian, 2010).

Selain itu, apabila terdapat ๐บ yaitu himpunan yang tak kosong. Operasi

bintang (โˆ—) pada anggota-anggota ๐บ disebut sebagai operasi biner, jika untuk

setiap dua anggota ๐‘Ž, ๐‘ โˆˆ ๐บ, maka (๐‘Ž โˆ— ๐‘) โˆˆ ๐บ atau dapat dikatakan pula bahwa

operasi โˆ— merupakan pemetaan atau fungsi dari himpunan ๐บ ร— ๐บ ke himpunan

๐บ. Operasi โˆ— pada ๐บ merupakan operasi biner, dapat dikatakan pula bahwa

operasi โˆ— pada ๐บ bersifat tertutup (Sukirman, 2005).

Contoh 2.5

1. Operasi (รท) pada himpunan โ„š โˆ’ {0}, โ„‚ โˆ’ {0}, dan โ„ โˆ’ {0} merupakan

operasi biner, karena setiap anggota dalam himpunan โ„š โˆ’ {0}, โ„‚ โˆ’ {0}, dan

โ„ โˆ’ {0} jika dikenai operasi biner (รท), maka bersifat tertutup, atau

merupakan elemen dari himpunan tersebut pula.

Page 21: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

10

2. Operasi (รท) pada himpunan โ„ค bukan mrupakan operasi biner, karena ketika

diambil sebarang 2 anggota dari โ„ค, misal 2,3 โˆˆ โ„ค, maka ketika dikenai operasi

(รท) bukan merupakan elemen dari โ„ค, yaitu 2

3โˆ‰ โ„ค.

C. Grup

Grup merupakan salah satu sistem yang paling sederhana yang terdapat

dalam aljabar abstrak atau struktur aljabar.

Definisi 2.6

Suatu struktur aljabar (๐บ,โˆ—) yang terdiri dari himpunan tidak kosong ๐บ dan

operasi biner โˆ— yang terdefinisi di dalamnya disebut grup, apabila memenuhi

sifat berikut ini.

1. Tertutup

Untuk setiap ๐‘Ž, ๐‘ โˆˆ ๐บ, berlaku ๐‘Ž โˆ— ๐‘ โˆˆ ๐บ

2. Asosiatif

(๐‘Ž โˆ— ๐‘) โˆ— ๐‘ = ๐‘Ž โˆ— (๐‘ โˆ— ๐‘) untuk setiap ๐‘Ž, ๐‘, ๐‘ โˆˆ ๐บ

3. Identitas

Terdapat suatu elemen ๐‘’ โˆˆ ๐บ sehingga ๐‘’ โˆ— ๐‘ฅ = ๐‘ฅ โˆ— ๐‘’ = ๐‘ฅ untuk setiap ๐‘ฅ โˆˆ ๐บ

4. Invers

Untuk setiap ๐‘Ž โˆˆ ๐บ, terdapat ๐‘Žโˆ’1 โˆˆ ๐บ sehingga ๐‘Ž โˆ— ๐‘Žโˆ’1 = ๐‘Žโˆ’1 โˆ— ๐‘Ž = ๐‘’.

(Raisinghania & Aggarwal, 1980).

Grup terhadap operasi โˆ— biasanya ditulis dengan (๐บ,โˆ—). Tetapi ada juga

buku yang hanya menuliskan ๐บ untuk merepresentasikan grup terhadap operasi

โˆ—.

Page 22: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

11

Berikut beberapa contoh dari himpunan yang merupakan grup dan bukan

grup.

Contoh 2.6

1. Himpunan bilangan bulat (โ„ค), himpunan bilangan real (โ„), dan himpunan

bilangan kompleks (โ„‚), masing-masing adalah grup terhadap operasi

penjumlahan (+).

2. Himpunan bilangan bulat (โ„ค) terhadap operasi perkalian (ร—) bukan

merupakan grup, karena tidak memenuhi satu aksioma yaitu invers,yaitu

untuk setiap ๐‘Ž โˆˆ โ„ค, tidak terdapat 1

๐‘Žโˆˆ โ„ค sebagai invers dari ๐‘Ž sehingga ๐‘Ž ร—

1

๐‘Ž= ๐‘’. Sebagai contoh, 2 โˆˆ โ„ค, akan tetapi

1

2โˆ‰ โ„ค yang berlaku 2 (

1

2) = 1.

3. Jika terdapat himpunan ๐บ yang merupakan himpunan bilangan rasional

dengan

๐บ = {๐‘š + ๐‘›โˆš2 | ๐‘š, ๐‘› โˆˆ โ„š}

Operasi biner pada ๐บ adalah penjumlahan, maka(๐บ, +) merupakan suatu

grup.

Bukti

Diketahui ๐บ = {๐‘š + ๐‘›โˆš2 | ๐‘š, ๐‘› โˆˆ โ„š} dengan operasi penjumlahan, akan

ditunjukkan (๐บ, +) memenuhi 4 aksioma grup berikut.

Ambil sebarang ๐‘, ๐‘Ÿ, ๐‘  โˆˆ ๐บ dengan

๐‘ = ๐‘Ž + ๐‘โˆš2, dimana ๐‘Ž dan ๐‘ โˆˆ โ„š

๐‘Ÿ = ๐‘ + ๐‘‘โˆš2, dimana ๐‘ dan ๐‘‘ โˆˆ โ„š

๐‘  = ๐‘’ + ๐‘“โˆš2, dimana ๐‘’ dan ๐‘“ โˆˆ โ„š

Page 23: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

12

1. Untuk setiap ๐‘, ๐‘Ÿ โˆˆ ๐บ, maka

๐‘ + ๐‘Ÿ = (๐‘Ž + ๐‘โˆš2) + (๐‘ + ๐‘‘โˆš2)

= (๐‘Ž + ๐‘) + (๐‘ + ๐‘‘)โˆš2

Karena ๐‘Ž, ๐‘, ๐‘, ๐‘‘ โˆˆ โ„š, maka (๐‘Ž + ๐‘) โˆˆ โ„š dan (๐‘ + ๐‘‘) โˆˆ โ„š.

Jadi ๐‘ + ๐‘Ÿ โˆˆ ๐บ, terbukti memenuhi sifat tertutup.

2. Untuk setiap ๐‘, ๐‘Ÿ, ๐‘  โˆˆ ๐บ, berlaku

๐‘ + (๐‘Ÿ + ๐‘ ) = (๐‘Ž + ๐‘โˆš2) + [(๐‘ + ๐‘‘โˆš2) + (๐‘’ + ๐‘“โˆš2)]

= (๐‘Ž + ๐‘โˆš2) + [(๐‘ + ๐‘’) + (๐‘‘โˆš2 + ๐‘“โˆš2)]

= ๐‘Ž + ๐‘โˆš2 + [(๐‘ + ๐‘’) + (๐‘‘ + ๐‘“)โˆš2]

= (๐‘Ž + ๐‘ + ๐‘’) + (๐‘ + ๐‘‘ + ๐‘“)โˆš2

= [(๐‘Ž + ๐‘) + (๐‘ + ๐‘‘)โˆš2] + (๐‘’ + ๐‘“โˆš2)

= [(๐‘Ž + ๐‘โˆš2) + (๐‘ + ๐‘‘โˆš2)] + (๐‘’ + ๐‘“โˆš2)

= (๐‘ + ๐‘Ÿ) + ๐‘ 

Karena terbukti bahwa ๐‘ + (๐‘Ÿ + ๐‘ ) = (๐‘ + ๐‘Ÿ) + ๐‘ , maka terbukti pula

memenuhi sifat asosiatif.

3. Identitas

Untuk setiap ๐‘Ž + ๐‘โˆš2, terdapat ๐‘’ sebagai elemen identitas yaitu 0 = 0 +

0โˆš2 โˆˆ ๐บ dengan 0 โˆˆ โ„š, sedemikian sehingga untuk setiap ๐‘Ž + ๐‘โˆš2,

berlaku:

(๐‘Ž + ๐‘โˆš2) + 0 = (๐‘Ž + ๐‘โˆš2) + (0 + 0โˆš2)

= (๐‘Ž + 0) + (0 + ๐‘โˆš2)

= ๐‘Ž + ๐‘โˆš2

Page 24: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

13

Karena (๐‘Ž + ๐‘โˆš2) + ๐‘’ = (๐‘Ž + ๐‘โˆš2) + 0 = ๐‘Ž + ๐‘โˆš2, maka terbukti

memenuhi sifat identitas.

4. Invers

Untuk setiap ๐‘Ž dan ๐‘ โˆˆ โ„š terdapat โ€“ ๐‘Ž dan โ€“ ๐‘ โˆˆ โ„š. Sehingga untuk setiap

๐‘Ž + ๐‘โˆš2 โˆˆ ๐บ terdapat โˆ’๐‘Ž โˆ’ ๐‘โˆš2 โˆˆ ๐บ sebagai unsur balikan (invers),

sedemikian sehingga

(๐‘Ž + ๐‘โˆš2) + (โˆ’๐‘Ž โˆ’ ๐‘โˆš2) = (โˆ’๐‘Ž โˆ’ ๐‘โˆš2) + (๐‘Ž + ๐‘โˆš2)

= (โˆ’๐‘Ž + ๐‘Ž) + (โˆ’๐‘โˆš2 + ๐‘โˆš2)

= (โˆ’๐‘Ž + ๐‘Ž) + (โˆ’๐‘ + )โˆš2

= 0 + 0โˆš2

Jadi elemen invers dari ๐‘Ž + ๐‘โˆš2 โˆˆ ๐บ adalah โˆ’๐‘Ž โˆ’ ๐‘โˆš2 โˆˆ ๐บ. Dan terbukti

memenuhi invers.

Karena memenuhi 4 aksioma di atas, yaitu tertutup, asosiatif, identitas,

dan invers, maka himpunan ๐บ terhadap operasi penjumlahan (๐บ, +)

merupakan grup.

Setelah mengetahui definisi serta aksioma-aksioma untuk membuktikan

suatu grup, selanjutnya akan dibahas mengenai sifat-sifat yang berlaku dalam

grup. Berikut adalah sifat-sifat yang terdapat dalam teori tentang grup.

D. Sifat-sifat Grup

Sebagai akibat dari definisi grup, jika terdapat persamaan ๐‘’๐‘ฅ = ๐‘, maka

akan mempunyai penyelesaian dalam suatu grup yaitu ๐‘ฅ = ๐‘’๐‘ yang merupakan

salah satu sifat grup yang dinyatakan dalam teorema sebagai berikut.

Page 25: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

14

Teorema 2.1

Jika ๐บ merupakan suatu grup, maka elemen identitasnya tunggal (Gallian,

2010).

Bukti

Andaikan elemen identitas di ๐บ tidak tunggal. Misalkan ๐‘’ dan ๐‘“ menyatakan

elemen identitas di grup ๐บ, maka:

๐‘Ž๐‘’ = ๐‘’๐‘Ž = ๐‘Ž untuk setiap ๐‘Ž โˆˆ ๐บ โ€ฆ(๐‘–)

๐‘Ž๐‘“ = ๐‘“๐‘Ž = ๐‘Ž untuk setiap ๐‘Ž โˆˆ ๐บโ€ฆ(๐‘–๐‘–)

Dari persamaan (๐‘–) dan karena ๐‘“ โˆˆ ๐บmaka ๐‘’๐‘“ = ๐‘“. Sebaliknya, dari persamaan

(๐‘–๐‘–) dan karena ๐‘’ โˆˆ ๐บ maka ๐‘’๐‘“ = ๐‘’. Sehingga diperoleh ๐‘’๐‘“ = ๐‘’ = ๐‘“. Jadi,

terbukti bahwa ๐‘’ = ๐‘“, dengan kata lain elemen identitas di grup ๐บ adalah

tunggal.

Selain itu, masih terdapat beberapa sifat dalam grup yang dinyatakan

dalam teorema berikut.

Teorema 2.2

Pada sebarang grup, berlaku sifat-sifat sebagai berikut.

1. Hukum kanselasi kanan.

Jika ๐‘ฅ๐‘Ž = ๐‘ฆ๐‘Ž, maka ๐‘ฅ = ๐‘ฆ.

2. Hukum kanselasi kiri.

Jika ๐‘Ž๐‘ฅ = ๐‘Ž๐‘ฆ, maka ๐‘ฅ = ๐‘ฆ.

Bukti

Diberikan ๐‘ฅ๐‘Ž = ๐‘ฆ๐‘Ž. Misal ๐‘Žโ€ฒ adalah invers dari ๐‘Ž. Maka perkalian pada sisi

kanan oleh ๐‘Žโ€ฒ menghasilkan

Page 26: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

15

(๐‘ฅ๐‘Ž)๐‘Žโ€ฒ = (๐‘ฆ๐‘Ž)๐‘Žโ€ฒ

๐‘ฅ(๐‘Ž๐‘Žโ€ฒ) = ๐‘ฆ(๐‘Ž๐‘Žโ€ฒ) (Assosiatif)

๐‘ฅ(๐‘’) = ๐‘ฆ(๐‘’) (Invers)

๐‘ฅ = ๐‘ฆ (Identitas)

Jadi terbukti berlaku sifat kanselasi kanan. Dengan cara yang hampir sama, dapat

ditunjukkan pula kebenaran dari hukum kanselasi kiri.

Selanjutnya berlaku sifat ketunggalan invers dan identiras yang

ditunjukkan oleh teorema berikut.

Teorema 2.3

Untuk setiap elemen dalam grup ๐บ, hanya mempunyai invers tunggal di ๐บ.

Bukti

Misalkan ๐‘’ elemen identitas di ๐บ, ambil sebarang ๐‘ โˆˆ ๐บ dengan invers tidak

tunggal yaitu ๐‘ž dan ๐‘Ÿ, maka berlaku ๐‘๐‘ž = ๐‘ž๐‘Ÿ = ๐‘’ dan ๐‘๐‘Ÿ = ๐‘Ÿ๐‘ = ๐‘’.

Sedemikian sehingga

๐‘ž = ๐‘ž๐‘’ = ๐‘ž(๐‘๐‘Ÿ) = (๐‘ž๐‘)๐‘Ÿ = ๐‘’๐‘Ÿ = ๐‘Ÿ

Jadi, ๐‘ž = ๐‘Ÿ. Terbukti bahwa setiap elemen dalam grup ๐บ hanya mempunyai

invers tunggal.

Teorema 2.4

Jika ๐บ suatu grup, maka untuk setiap ๐‘š โˆˆ ๐บ berlaku ๐‘š = (๐‘šโˆ’1)โˆ’1.

Page 27: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

16

Bukti

Ambil sebarang ๐‘š โˆˆ ๐บ dan ๐‘’ sebagai elemen identitas di ๐บ. Karena ๐‘šโˆ’1

merupakan invers dari ๐‘š, maka diperoleh ๐‘š๐‘šโˆ’1 = ๐‘šโˆ’1๐‘š = ๐‘’. Selanjutnya

๐‘š๐‘šโˆ’1 = ๐‘’

(๐‘š๐‘šโˆ’1)(๐‘šโˆ’1)โˆ’1

= ๐‘’(๐‘šโˆ’1)โˆ’1

๐‘š[(๐‘šโˆ’1)(๐‘šโˆ’1)โˆ’1] = (๐‘šโˆ’1)โˆ’1 (Assosiatif, identitas)

๐‘š๐‘’ = (๐‘šโˆ’1)โˆ’1 (Invers)

๐‘š = (๐‘šโˆ’1)โˆ’1 (Identitas)

Jadi terbukti bahwa ๐‘š = (๐‘šโˆ’1)โˆ’1.

Suatu sistem dalam aljabar yang besar dapat mengandung sistem bagian yang

lebih kecil. Seperti halnya pada grup, terdapat sebuah sistem lagi yang menjadi

bagian lebih kecil yaitu subgrup. Berikut definisi dari subgrup.

E. Subgrup

Pada suatu grup (โ„, +) terdapat grup yang lebih kecil, antara lain (โ„š, +)

dan (โ„ค, +). Sebagaimana di dalam grup โ„‚โˆ— = โ„‚ โ€“ { 0 } terdapat โ„โˆ— = โ„ โ€“ { 0}

sebagai subgrup. Beberapa contoh di atas menunjukkan bahwa selain sistem

tertentu juga dipelajari sistem bagian (subsistem) sehingga dalam konsep atau

sistem grup dibahas pula tentang sistem bagiannya yang disebut sebagai

subgroup atau grup bagian.

Definisi 2.7

Misalkan ๐บ adalah suatu grup, maka grup bagian (subgrup) ๐ป dari grup ๐บ

adalah himpunan bagian dari ๐บ yang tidak kosong dan merupakan grup dengan

Page 28: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

17

operasi yang sama dengan grup ๐บ yang dibatasi pada ๐ป. Jika ๐ป adalah subgrup

dari ๐บ, maka dapat ditulis dengan ๐ป โŠ† ๐บ (Gallian, 2010).

Teorema 2.5

๐ป dikatakan subgrup atau grup bagian dari grup ๐บ, jika dan hanya jika

1. Untuk setiap ๐‘Ž, ๐‘ โˆˆ ๐ป, berlaku ๐‘Ž๐‘ โˆˆ ๐ป (sifat tertutup)

2. Untuk setiap ๐‘Ž โˆˆ ๐ป, berlaku ๐‘Žโˆ’1 โˆˆ ๐ป (sifat invers)

Bukti

(โ‡’) Diketahui ๐ป subgrup dari grup ๐บ

Akan ditunjukkan:

1. Untuk setiap ๐‘Ž, ๐‘ โˆˆ ๐ป, berlaku ๐‘Ž๐‘ โˆˆ ๐ป (sifat tertutup)

2. Untuk setiap ๐‘Ž โˆˆ ๐ป, berlaku ๐‘Žโˆ’1 โˆˆ ๐ป (sifat invers)

Karena ๐ป subgrup maka pasti memiliki sifat tertutup, asosiatif, memiliki

elemen identitas dan juga elemen invers.

(โ‡) Diketahui:

1. Untuk setiap ๐‘Ž, ๐‘ โˆˆ ๐ป, berlaku ๐‘Ž๐‘ โˆˆ ๐ป (sifat tertutup)

2. Untuk setiap ๐‘Ž โˆˆ ๐ป,terdapat๐‘Žโˆ’1 โˆˆ ๐ป (sifat invers)

Akan ditunjukkan bahwa ๐ป subgrup dari ๐บ.

a) Dari syarat 1, terbukti bahwa ๐ป memiliki sifat tertutup.

b) Memenuhi sifat asosiatif, karena setiap anggota dalam ๐ป juga merupakan

anggota pada grup ๐บ.

c) Syarat 2 menunjukkan bahwa ๐ป memiliki invers.

d) Untuk setiap ๐‘Ž โˆˆ ๐ป, terdapat ๐‘Žโˆ’1 โˆˆ ๐ป sedemikian sehingga ๐‘Ž๐‘Žโˆ’1 = ๐‘’ โˆˆ

๐ป. Jadi terbukti memiliki elemen identitas.

Page 29: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

18

Jadi terbukti bahwa ๐ป disebut sebagai subgroup atau grup bagian dari grup ๐บ

jika dan hanya jika memenuhi sifat tertutup dan memiliki invers.

Contoh 2.7

Misalkan 2โ„ค = {2๐‘›|๐‘› โˆˆ โ„ค} = {0,2, โˆ’2,4, โˆ’4, โ€ฆ } dengan grup โ„ค bilangan bulat

terhadap operasi penjumlahan (+), maka 2โ„ค merupakan grup bagian (subgrup)

dari โ„ค.

Bukti

Akan ditunjukkan grup (2โ„ค ,+) merupakan subgrup dari โ„ค.

Ambil sebarang ๐‘, ๐‘ž, ๐‘Ÿ โˆˆ 2โ„ค, maka ๐‘ = 2๐‘š dan ๐‘ž = 2๐‘›, untuk ๐‘š, ๐‘› โˆˆ โ„ค.

1. 2โ„ค bukan himpunan kosong. Karena terdapat elemen dalam 2โ„ค, yaitu 0 =

2(0).

2. 2โ„ค โŠ† โ„ค, karena setiap anggota 2โ„ค juga merupakan anggota โ„ค.

3. Tertutup

๐‘ + ๐‘ž = 2๐‘š + 2๐‘› = 2(๐‘š + ๐‘›) โˆˆ 2โ„ค.

Karena ๐‘š, ๐‘› โˆˆ โ„ค, maka (๐‘š + ๐‘›) โˆˆ โ„ค. Jadi ๐‘ + ๐‘ž โˆˆ 2โ„ค, terbukti bersifat

tertutup.

4. Invers

Untuk setiap ๐‘ โˆˆ 2โ„ค dengan ๐‘ = 2๐‘š, terdapat ๐‘ž = 2(โˆ’๐‘š) = โˆ’2๐‘š โˆˆ 2โ„ค,

sehingga berlaku

๐‘ + ๐‘ž = 2๐‘š + (โˆ’2๐‘š) = 2๐‘š โˆ’ 2๐‘š = 0 = ๐‘’

Jadi, terbukti memenuhi sifat invers.

Karena 2โ„ค memenuhi operasi yang sama dengan grup โ„ค, maka dapat

dibuktikan bahwa bilangan genap 2โ„ค merupakan grup bagian (subgroup).

Page 30: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

19

F. Homomorfisme

Kata homomorfisme terdiri dari kata homo yaitu suka, dan morphe yang

memiliki arti bentuk. Homomorfisme merupakan bentuk umum yang asli pada

isomorfisme dan terdapat hubungan yang erat antaragrup-grup faktor pada grup

dan homomorfisme grup. Definisi homomorfisme menurut Gallian (2010)

adalah sebagai berikut.

Definisi 2.8

Misal (๐บ,โˆ—) dan (๐ป,โˆ™) adalah suatu grup. Fungsi atau pemetaan ๐‘“: ๐บ โ†’ ๐ป

disebut homomorfisme grup, jika fungsi ๐‘“ memenuhi operasi ๐‘“(๐‘ฅ โˆ— ๐‘ฆ) = ๐‘“(๐‘ฅ) โˆ™

๐‘“(๐‘ฆ) untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ (Gallian, 2010).

Contoh 2.8

Misalkan terdapat grup bilangan bulat terhadap operasi penjumlahan (โ„ค, +) dan

grup bilangan real taknol terhadap operasi perkalian (โ„ โˆ’ {0},ร—). Diberikan ๐œ‘

yang merupakan pemetaan dari โ„ค ke โ„ โˆ’ {0} atau ๐œ‘: โ„ค โ†’ โ„ โˆ’ {0} dengan

๐œ‘(๐‘š) = 2๐‘š.

Ambil sebarang ๐‘š, ๐‘› โˆˆ โ„ค, sedemikian sehingga

๐œ‘(๐‘š + ๐‘›) = 2๐‘š+๐‘›=2๐‘š2๐‘› = ๐œ‘(๐‘š)๐œ‘(๐‘›)

Karena untuk setiap ๐‘š, ๐‘› โˆˆ โ„ค berlaku ๐œ‘(๐‘š + ๐‘›) = ๐œ‘(๐‘š)๐œ‘(๐‘›), maka terbukti

bahwa pemetaan ๐œ‘ dari โ„ค ke โ„ โˆ’ {0} atau ๐œ‘: โ„ค โ†’ โ„ โˆ’ {0} merupakan

homomorfisme.

Terdapat beberapa definisi pada konsep homomorfisme grup pada fungsi ๐‘“,

yaitu:

a. Jika pemetaan atau fungsi ๐‘“ surjektif (onto), maka homomorfisme ๐‘“ yang

memetakan ๐บ ke ๐ป disebut epimorfisme.

Page 31: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

20

b. Jika pemetaan atau fungsi ๐‘“ injektif (satu-satu), maka homomorfisme ๐‘“ yang

memetakan ๐บ ke ๐ป disebut monomorfisme.

c. Jika pemetaan atau fungsi ๐‘“ surjektif dan injektif, maka homomorfisme ๐‘“

yang memetakan ๐บ ke ๐ป disebut isomorfisme.

Definisi 2.9

Diketahui ๐บ, ๐บโ€ฒ adalah grup, dan ๐œ‘: ๐บ โ†’ ๐บโ€ฒ merupakan

homomorfisme grup. Pemetaan ๐œ‘ disebut monomorfisme grup jika dan

hanya jika ๐œ‘ merupakan fungsi satu-satu dari ๐บ ke ๐บโ€ฒ. Dengan kata lain, jika

๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ) maka ๐‘ฅ = ๐‘ฆ untuk ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ (Redfield, 2001).

Definisi 2.10

Diketahui ๐บ, ๐บโ€ฒ adalah grup, dan fungsi ๐œ‘: ๐บ โ†’ ๐บโ€ฒ merupakan

homomorfisme grup. Fungsi ๐œ‘ disebut epimorfisme grup jika setiap ๐‘” โˆˆ ๐บโ€ฒ

terdapat ๐‘” โˆˆ ๐บ sehingga ๐œ‘(๐‘”) = ๐‘”โ€ฒ. Dengan kata lain, setiap anggota ๐บโ€ฒ

mempunyai kawan anggota ๐บ. Dapat pula dikatakan bahwa homomorfisme

๐œ‘ dari ๐บ ke ๐บโ€ฒ (๐บ onto ๐บโ€ฒ

) atau dapat disingkat homomorfisme ๐œ‘ onto

(Redfield, 2001).

Definisi 2.11

Diberikan grup ๐บ dan ๐บโ€ฒ. Homomorfisme ๐‘“: ๐บ โ†’ ๐บโ€ฒ disebut

isomorfisme jika ๐‘“ bersifat injektif dan surjektif. Lebih khusus, ditulis ๐บ~๐บโ€ฒ,

dikatakan bahwa ๐บ isomorfik dengan ๐บโ€ฒ (Gallian, 2010).

Page 32: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

21

Contoh 2.9

Misal ๐บ grup semua bilangan bulat dengan operasi penjumlahan, dan ๐บโ€ฒ grup

semua bilangan bulat genap dengan operasi penjumlahan. Didefinisikan

fungsi ๐œ‘: ๐บ โ†’ ๐บโ€ฒ dengan ๐œ‘(๐‘) = 2๐‘.

Bukti

a. Akan dibuktikan ๐œ‘ merupakan homomorfisme dari ๐บ ke ๐บโ€ฒ.

Ambil sebarang ๐‘, ๐‘ž โˆˆ ๐บ, maka

๐œ‘(๐‘ + ๐‘ž) = 2(๐‘ + ๐‘ž) = 2๐‘ + 2๐‘ž = ๐œ‘(๐‘) + ๐œ‘(๐‘ž)

Jadi terbukti bahwa ๐œ‘ adalah pemetaan homomorfisme dari ๐บ ke ๐บโ€ฒ.

b. Akan dibuktikan ๐œ‘ merupakan pemetaan injektif.

Ambil sebarang ๐‘, ๐‘ž โˆˆ ๐บ, maka ๐œ‘(๐‘) = 2๐‘ dan ๐œ‘(๐‘ž) = 2๐‘ž. Oleh karena

๐œ‘(๐‘) = ๐œ‘(๐‘ž)

2๐‘ = 2๐‘ž

๐‘ = ๐‘ž

maka terbukti bahwa ๐œ‘ merupakan pemetaan injektif.

c. Akan dibuktikan ๐œ‘ adalah pemetaan surjektif.

Ambil sebarang ๐‘ž โˆˆ ๐บโ€ฒ. Andaikan ๐‘ž = 2๐‘, maka ๐‘ =๐‘ž

2.

Oleh karena untuk ๐‘ž โˆˆ ๐บโ€ฒ maka ๐‘ž

2โˆˆ ๐บโ€ฒ

dengan kata lain ๐‘ โˆˆ ๐บโ€ฒ.

Jadi untuk setiap ๐‘ž โˆˆ ๐บโ€ฒ โˆƒ ๐‘ =๐‘ž

2โˆˆ ๐บโ€ฒ, sedemikian sehingga

๐œ‘(๐‘) = ๐œ‘ (๐‘ž

2) = 2 (

๐‘ž

2) = ๐‘ž

Terbukti bahwa ๐œ‘ merupakan pemetaan surjektif.

Page 33: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

22

Karena ๐œ‘ merupakan pemetaan homomorfisme dari grup ๐บ ke ๐บโ€ฒ dan

pemetaan injektif dan surjektif, maka terbukti bahwa ๐œ‘ merupakan

isomorfisme dari ๐บ ke ๐บโ€ฒ.

G. K-Aljabar

K-Aljabar merupakan suatu struktur aljabar yang dibangun atas suatu

grup, sehingga sifat-sifat yang berlaku pada grup juga akan berlaku pada K-

Aljabar (Iswati & Suryoto, 2010). Berikut ini adalah definisi dari K-Aljabar.

Definisi 2.12

Misalkan (๐บ,โˆ—) suatu grup dan pada grup ๐บ didefinisikan operasi โŠ™

sedemikian sehingga untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ, ๐‘ฅ โŠ™ ๐‘ฆ = ๐‘ฅ โˆ— ๐‘ฆโˆ’1 maka akan

membentuk suatu struktur aljabar baru yaitu (๐บ,โˆ—,โŠ™, ๐‘’). Suatu (๐บ,โˆ—,โŠ™, ๐‘’)

dinamakan K-Aljabar jika ๐บ adalah bukan grup dengan order-2 dan untuk setiap

๐‘ฅ, ๐‘ฆ, ๐‘ง โˆˆ ๐บ berlaku:

1. (๐‘ฅ โŠ™ ๐‘ฆ) โŠ™ (๐‘ฅ โŠ™ ๐‘ง) = {๐‘ฅ โŠ™ [(๐‘’ โŠ™ ๐‘ง) โŠ™ (๐‘’ โŠ™ ๐‘ฆ)]} โŠ™ ๐‘ฅ,

2. ๐‘ฅ โŠ™ (๐‘ฅ โŠ™ ๐‘ฆ) = [๐‘ฅ โŠ™ (๐‘’ โŠ™ ๐‘ฆ)] โŠ™ ๐‘ฅ,

3. ๐‘ฅ โŠ™ ๐‘ฅ = ๐‘’,

4. ๐‘ฅ โŠ™ ๐‘’ = ๐‘ฅ,

5. ๐‘’ โŠ™ ๐‘ฅ = ๐‘ฅโˆ’1,

(Dar & Akram, 2005).

Berikut merupakan contoh dari K-Aljabar.

Page 34: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

23

Contoh 2.10

Misalkan (โ„ค,+) adalah suatu grup dengan identitas ๐‘’ = 0. Didefinisikan operasi

โŠ™ pada grup โ„ค, sehingga untuk setiap ๐‘Ž, ๐‘, ๐‘ โˆˆ โ„ค, maka ๐‘Ž โŠ™ ๐‘ = ๐‘Ž + ๐‘โˆ’1 =

๐‘Ž + (โˆ’๐‘). Akan dibuktikan bahwa (โ„ค, +,โŠ™ ,0) adalah K-Aljabar.

Bukti

Ambil sebarang ๐‘Ž, ๐‘, ๐‘ โˆˆ โ„ค berlaku:

1. (๐‘Ž โŠ™ ๐‘) โŠ™ (๐‘Ž โŠ™ ๐‘) = (๐‘Ž + (โˆ’๐‘)) โŠ™ (๐‘Ž + (โˆ’๐‘))

= [๐‘Ž + (โˆ’๐‘)] + {โˆ’[๐‘Ž + (โˆ’๐‘)]}

= (๐‘Ž โˆ’ ๐‘) + [โˆ’๐‘Ž + ๐‘]

= ๐‘Ž โˆ’ ๐‘ โˆ’ ๐‘Ž + ๐‘

= ๐‘Ž โˆ’ ๐‘ + ๐‘ โˆ’ ๐‘Ž

= ๐‘Ž โˆ’ ๐‘ + ๐‘ + (โˆ’๐‘Ž)

= (๐‘Ž โˆ’ ๐‘ + ๐‘) โŠ™ ๐‘Ž

= {๐‘Ž + [โˆ’(โˆ’๐‘ + ๐‘)]} โŠ™ ๐‘Ž

= [๐‘Ž โŠ™ (โˆ’๐‘ + ๐‘)] โŠ™ ๐‘Ž

= [๐‘Ž โŠ™ (๐‘’ โˆ’ ๐‘’ โˆ’ ๐‘ + ๐‘)] โŠ™ ๐‘Ž

= {๐‘Ž โŠ™ [(๐‘’ โˆ’ ๐‘) + (โˆ’(๐‘’ โˆ’ ๐‘))]} โŠ™ ๐‘Ž

= {๐‘Ž โŠ™ [(๐‘’ + (โˆ’๐‘)) + (โˆ’(๐‘’ + (โˆ’๐‘)))]} โŠ™ ๐‘Ž

= {๐‘Ž โŠ™ [(๐‘’ + (โˆ’๐‘)) โŠ™ (๐‘’ + (โˆ’๐‘))]} โŠ™ ๐‘Ž

= {๐‘Ž โŠ™ [(๐‘’ โŠ™ ๐‘) โŠ™ (๐‘’ โŠ™ ๐‘)]} โŠ™ ๐‘Ž

Jadi terbukti memenuhi aksioma pertama, yaitu (๐‘Ž โŠ™ ๐‘) โŠ™ (๐‘Ž โŠ™ ๐‘) =

{๐‘Ž โŠ™ [(๐‘’ โŠ™ ๐‘) โŠ™ (๐‘’ โŠ™ ๐‘)]} โŠ™ ๐‘Ž.

Page 35: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

24

2. ๐‘Ž โŠ™ (๐‘Ž โŠ™ ๐‘) = ๐‘Ž โŠ™ [๐‘Ž + (โˆ’๐‘)]

= ๐‘Ž + {โˆ’[๐‘Ž + (โˆ’๐‘)]}

= ๐‘Ž + (โˆ’๐‘Ž + ๐‘)

= ๐‘Ž โˆ’ ๐‘Ž + ๐‘

= ๐‘Ž โˆ’ ๐‘Ž โˆ’ ๐‘’ + ๐‘

= (๐‘Ž โˆ’ ๐‘’ + ๐‘) โˆ’ ๐‘Ž

= (๐‘Ž โˆ’ ๐‘’ + ๐‘) + (โˆ’๐‘Ž)

= (๐‘Ž โˆ’ ๐‘’ + ๐‘) โŠ™ ๐‘Ž

= [๐‘Ž โˆ’ (๐‘’ โˆ’ ๐‘)] โŠ™ ๐‘Ž

= {๐‘Ž + [โˆ’(๐‘’ โˆ’ ๐‘)]} โŠ™ ๐‘Ž

= {๐‘Ž + [โˆ’(๐‘’ + (โˆ’๐‘))]} โŠ™ ๐‘Ž

= {๐‘Ž + [โˆ’(๐‘’ โŠ™ ๐‘)]} โŠ™ ๐‘Ž

= [๐‘Ž โŠ™ (๐‘’ โŠ™ ๐‘)] โŠ™ ๐‘Ž

Jadi terbukti memenuhi aksioma kedua, yaitu ๐‘Ž โŠ™ (๐‘Ž โŠ™ ๐‘) = [๐‘Ž โŠ™

(๐‘’ โŠ™ ๐‘)] โŠ™ ๐‘Ž.

3. ๐‘Ž โŠ™ ๐‘Ž = ๐‘Ž + (โˆ’๐‘Ž)

= ๐‘Ž โˆ’ ๐‘Ž

= 0

Jadi terbukti memenuhi aksioma ketiga, yaitu ๐‘Ž โŠ™ ๐‘Ž = 0.

4. ๐‘Ž โŠ™ 0 = ๐‘Ž + 0

= ๐‘Ž

Jadi terbukti memenuhi aksioma keempat, yaitu ๐‘Ž โŠ™ 0 = ๐‘Ž.

Page 36: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

25

5. 0 โŠ™ ๐‘Ž = 0 + ๐‘Žโˆ’1

= (๐‘Ž)โˆ’1

Jadi terbukti memenuhi aksioma kelima, yaitu 0 โŠ™ ๐‘Ž = (๐‘Ž)โˆ’1.

Karena memenuhi 5 aksioma di atas, maka terbukti bahwa (โ„ค, +,โŠ™ ,0)

adalah K-Aljabar.

H. K-Subaljabar

K-Aljabar merupakan suatu struktur aljabar yang dibangun atas suatu

grup, sehingga semua konsep yang terdapat dalam grup juga terdapat dalam K-

Aljabar, seperti halnya subgrup. Di dalam K-Aljabar juga terdapat K-Subaljabar

sebagai salah satu konsep dari grup. Berikut adalah definisi dari K-Subaljabar.

Definisi 2.13

Suatu himpunan bagian tidak kosong ๐ป dari K-Aljabar(๐บ,โˆ—,โŠ™, ๐‘’) disebut

K-Subaljabar jika:

1. ๐‘’ โˆˆ ๐ป,

2. โ„Ž1 โŠ™ โ„Ž2 โˆˆ ๐ป, untuk setiap โ„Ž1, โ„Ž2 โˆˆ ๐ป

(Dar & Akram, 2006).

Contoh 2.11

Pada Contoh 2.10, diketahui bahwa (โ„ค, +,โŠ™ ,0) merupakan K-Aljabar. Dan

ditinjau himpunan ๐‘ƒ = {๐‘’, ๐‘š, ๐‘›} yang merupakan himpunan bagian dari โ„ค.

Operasi biner โŠ™ pada โ„ค diberikan oleh Tabel 2.1.

Page 37: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

26

Tabel 2.1. Operasi โŠ™ Pada ๐‘ท

โŠ™ 0 ๐‘š ๐‘›

0 0 ๐‘› ๐‘š

๐‘š ๐‘š 0 ๐‘›

๐‘› ๐‘› ๐‘š 0

Sehingga karena dipenuhi:

1. ๐‘ƒ = {0, ๐‘š, ๐‘›} maka 0 โˆˆ ๐‘ƒ

2. Dari tabel di atas, terlihat bahwa ๐‘š โŠ™ ๐‘› โˆˆ ๐‘ƒ, untuk setiap ๐‘š, ๐‘› โˆˆ ๐‘ƒ.

Maka terbukti bahwa (๐‘ƒ, +,โŠ™ ,0) merupakan K-Subaljabar dari (โ„ค, +,โŠ™ ,0).

Contoh 2.12

Misal (๐บ,โˆ—,โŠ™, ๐‘’) adalah suatu K-Aljabar. Diberikan himpunan ๐ป = {๐‘” โŠ™

(๐‘” โŠ™ ๐‘ฅ): ๐‘ฅ โˆˆ ๐บ}, akan ditunjukkan bahwa himpunan ๐ป merupakan K-

Subaljabar dari (๐บ,โˆ—,โŠ™, ๐‘’).

Untuk menunjukkan ๐ป K-Subaljabar, maka harus ditunjukkan memenuhi 2

syarat, yaitu:

1. ๐‘’ โˆˆ ๐ป

Karena ๐ป bukan himpunan kososng, maka di ๐ป terdapat elemen-elemen salah

satunya adalah elemen identitas. Jadi terbukti bahwa di dalam himpunan ๐ป

terdapat elemen identitas atau dapat ditulis ๐‘’ โˆˆ ๐ป.

2. โ„Ž1 โŠ™ โ„Ž2 โˆˆ ๐ป

Ambil sebarang โ„Ž1 = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘š), dan โ„Ž2 = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘›), dengan

๐‘š, ๐‘› โˆˆ ๐บ. Akan ditunjukkan โ„Ž1 โŠ™ โ„Ž2 โˆˆ ๐ป.

โ„Ž1 โŠ™ โ„Ž2 = [๐‘” โŠ™ (๐‘” โŠ™ ๐‘š)] โŠ™ [๐‘” โŠ™ (๐‘” โŠ™ ๐‘›)]

= [๐‘” โŠ™ (๐‘” โŠ™ ๐‘š)] โˆ— [๐‘” โŠ™ (๐‘” โŠ™ ๐‘›)]โˆ’1

= [๐‘” โŠ™ (๐‘” โˆ— ๐‘šโˆ’1)] โˆ— [๐‘” โŠ™ (๐‘” โˆ— ๐‘›โˆ’1)]โˆ’1

Page 38: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

27

= [๐‘” โˆ— (๐‘” โˆ— ๐‘šโˆ’1)โˆ’1

] โˆ— [๐‘” โˆ— (๐‘” โˆ— ๐‘›โˆ’1)โˆ’1

]โˆ’1

= [๐‘” โˆ— ๐‘š โˆ— ๐‘”โˆ’1] โˆ— [๐‘” โˆ— ๐‘› โˆ— ๐‘”โˆ’1]โˆ’1

= ๐‘” โˆ— ๐‘š โˆ— ๐‘”โˆ’1 โˆ— ๐‘” โˆ— ๐‘›โˆ’1 โˆ— ๐‘”โˆ’1

= ๐‘” โˆ— ๐‘š โˆ— ๐‘’ โˆ— ๐‘›โˆ’1 โˆ— ๐‘”โˆ’1

= ๐‘” โˆ— ๐‘š โˆ— ๐‘›โˆ’1 โˆ— ๐‘”โˆ’1

= ๐‘” โˆ— (๐‘” โˆ— ๐‘› โˆ— ๐‘šโˆ’1)โˆ’1

= ๐‘” โŠ™ (๐‘” โˆ— ๐‘› โˆ— ๐‘šโˆ’1)

= ๐‘” โŠ™ (๐‘” โˆ— (๐‘š โˆ— ๐‘›โˆ’1)โˆ’1

)

= ๐‘” โŠ™ (๐‘” โŠ™ (๐‘š โˆ— ๐‘›โˆ’1))

= ๐‘” โŠ™ (๐‘” โŠ™ (๐‘š โŠ™ ๐‘›))

Untuk ๐‘š, ๐‘› โˆˆ ๐บ, maka (๐‘š โŠ™ ๐‘›) โˆˆ ๐บ. Dengan demikian terbukti bahwa โ„Ž1 โŠ™

โ„Ž2 = ๐‘” โŠ™ (๐‘” โŠ™ (๐‘š โŠ™ ๐‘›)) โˆˆ ๐ป,

Karena telah ditunjukkan memenuhi 2 syarat di atas, maka terbukti bahwa

himpunan ๐ป = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ) adalah K-Subaljabar dari K-Aljabar (๐บ,โˆ—,โŠ™, ๐‘’).

I. K-Homomorfisme dalam K-Aljabar

Di dalam K-Aljabar juga berlaku pemetaan antara dua K-Aljabar. Apabila

terdapat ๐พ1 = (๐บ1,โˆ—,โŠ™,๐‘’1) dan ๐พ2 = (๐บ2,โˆ—,โŠ™,๐‘’2) sebagai K-Aljabar, maka dapat

didefinisikan dari ๐พ1 ke ๐พ2. Pemetaan tersebut antara lain adalah K-

Homomorfisme dalam K-Aljabar yang dijelaskan dalam definisi berikut.

Page 39: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

28

Definisi 2.14

Pemetaan ๐œ‘ dari K-Aljabar ๐พ1 ke ๐พ2 disebut sebagai K-Homomorfisme

jika untuk setiap ๐‘ฅ1, ๐‘ฆ1 โˆˆ ๐พ1, ๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฆ1) = ๐œ‘(๐‘ฅ1) โŠ™ ๐œ‘(๐‘ฆ1), dengan

๐œ‘(๐‘ฅ1), ๐œ‘(๐‘ฆ1) โˆˆ ๐พ2 (Dar & Akram, 2007).

Contoh 2.13

Misal (๐บ,โŠ™) suatu K-Aljabar, dibentuk himpunan bagian ๐ป = { ๐‘” โŠ™

(๐‘” โŠ™ ๐‘ฅ): ๐‘ฅ โˆˆ (๐บ,โŠ™)}, dimana ๐ป merupakan K-Subaljabar dari ๐บ. Selanjutnya

didefinisikan pemetaan ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™), dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™

๐‘ฅ) untuk setiap ๐‘ฅ โˆˆ (๐บ,โŠ™). Akan ditunjukkan bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™)

merupakan suatu K-homomorfisme.

Bukti

Ambil sebarang unsur ๐‘ฅ, ๐‘ฆ โˆˆ (๐บ,โŠ™), maka ๐‘ฅ โŠ™ ๐‘ฆ โˆˆ (๐บ,โŠ™) dan

๐œ‘(๐‘ฅ โŠ™ ๐‘ฆ) = ๐‘” โŠ™ (๐‘” โŠ™ (๐‘ฅ โŠ™ ๐‘ฆ ))

= [๐‘” โŠ™ {๐‘’ โŠ™ (๐‘ฅ โŠ™ ๐‘ฆ)}] โŠ™ ๐‘”

= [๐‘” โŠ™ ((๐‘’ โŠ™ ๐‘ฆ) โŠ™ (๐‘’ โŠ™ ๐‘ฅ))] โŠ™ ๐‘”

= (๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ)) โŠ™ (๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฆ))

= ๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘ฆ)

Karena ๐œ‘(๐‘ฅ โŠ™ ๐‘ฆ) = ๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘ฆ), maka ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan suatu

K-Homomorfisme.

Berikut merupakan beberapa sifat dari K-Homomorfisme yang diberikan

oleh proposisi berikut.

Page 40: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

29

Proposisi 2.1

Misal ๐พ1 = (๐บ1,โˆ—,โŠ™, ๐‘’1) dan ๐พ2 = (๐บ2,โˆ—,โŠ™, ๐‘’2) serta ๐œ‘: ๐พ1 โ†’ ๐พ2 suatu K-

Homomorfisme. Jika ๐พ1 suatu K-Aljabar, maka untuk setiap ๐‘ฅ1, ๐‘ฅ2 โˆˆ ๐พ1

berlaku:

1. ๐œ‘(๐‘’1) = ๐‘’2

2. ๐œ‘(๐‘ฅ)โˆ’1 = ๐œ‘(๐‘ฅโˆ’1)

3. ๐œ‘(๐‘’1 โŠ™ ๐‘ฅ1) = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ1)

4. ๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฅ2) = ๐‘’2 jika dan hanya jika ๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ2)

5. Jika ๐ป1 adalah subaljabar dari ๐พ1, maka ๐œ‘(๐ป1) adalah subaljabar dari ๐พ2

(Dar & Akram, 2007).

Bukti:

1. Apabila ๐พ1 ke ๐พ2 merupakan K-Homomorfisme dalam K-Aljabar, dimana ๐‘’1

dan ๐‘’2 menyatakan elemen identitas dari ๐พ1 dan ๐พ2 terhadap operasi biner โŠ™.

Akan ditunjukkan ๐œ‘(๐‘’1) = ๐‘’2.

Ambil sebarang unsur di ๐พ1 yaitu ๐‘ฅ โˆˆ ๐พ1, maka ๐‘ฅ โŠ™ ๐‘’1 = ๐‘ฅ dan

๐œ‘(๐‘ฅ โŠ™ ๐‘’1) = ๐œ‘(๐‘ฅ)

Karena ๐œ‘: ๐พ1 โ†’ ๐พ2 suatu K-Homomorfisme, maka diperoleh

๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘’1) = ๐œ‘(๐‘ฅ)

๐œ‘(๐‘ฅ) โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)

๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ) โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)

[๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)] โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)

Karena ๐œ‘(๐‘ฅ)โˆ’1 dan ๐œ‘(๐‘ฅ) ada di ๐พ2, maka

[๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)] โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

Page 41: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

30

๐‘’2 โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

(๐œ‘(๐‘’1)โˆ’1)โˆ’1 = (๐‘’2)โˆ’1

๐œ‘(๐‘’1) = (๐‘’2)โˆ’1

๐œ‘(๐‘’1) = ๐‘’2

Jadi terbukti bahwa ๐œ‘(๐‘’1) = ๐‘’2.

2. Misalkan ๐‘’1menyatakan unsur identitas dari ๐พ1. Akan ditunjukkan bahwa

๐œ‘(๐‘ฅ)โˆ’1 = ๐œ‘(๐‘ฅโˆ’1).

Ambil sebarang unsur di ๐พ1 yaitu ๐‘ฅ โˆˆ ๐พ1, maka ๐‘’1 โŠ™ ๐‘ฅ = ๐‘ฅโˆ’1.

Karena ๐‘’ โŠ™ ๐‘ฅ = ๐‘ฅโˆ’1 โˆˆ ๐พ1 dan ๐œ‘ suatu K-Homomorfisme, maka diperoleh

๐œ‘(๐‘’1 โŠ™ ๐‘ฅ) = ๐œ‘(๐‘ฅโˆ’1)

๐œ‘(๐‘’1) โŠ™ ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฅโˆ’1)

Selanjutnya, karena ๐œ‘(๐‘’1) = ๐‘’2, maka

๐‘’2 โŠ™ ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฅโˆ’1)

๐‘’2 โˆ— ๐œ‘(๐‘ฅ)โˆ’1 = ๐œ‘(๐‘ฅโˆ’1)

๐œ‘(๐‘ฅ)โˆ’1 = ๐œ‘(๐‘ฅโˆ’1)

Jadi terbukti bahwa ๐œ‘(๐‘ฅ)โˆ’1 = ๐œ‘(๐‘ฅโˆ’1).

3. Misal ๐‘’1 adalah suatu anggota identitas dari ๐พ1. Akan ditunjukkan bahwa

๐œ‘(๐‘’1 โŠ™ ๐‘ฅ1) = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ1)

Ambil sebarang unsur ๐‘’1 โˆˆ ๐พ1 maka ๐‘’1 โŠ™ ๐‘ฅ โˆˆ ๐พ1 dan berlaku

๐œ‘(๐‘’1 โŠ™ ๐‘ฅ1) = ๐œ‘(๐‘’1) โŠ™ ๐œ‘(๐‘ฅ1)

Karena ๐œ‘ merupakan K-Homomorfisme, maka

Page 42: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

31

๐œ‘(๐‘’1 โŠ™ ๐‘ฅ1) = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ1)

Jadi terbukti bahwa ๐œ‘(๐‘’1 โŠ™ ๐‘ฅ1) = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ1).

4. Jika diketahui ๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฅ2) = ๐‘’2. Akan ditunjukkan ๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ2).

Diambil sebarang unsur ๐‘ฅ1,๐‘ฅ2 โˆˆ ๐พ1 maka ๐‘ฅ1 โŠ™ ๐‘ฅ2 โˆˆ ๐พ1. Dan berlaku

๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฅ2) = ๐‘’2

๐œ‘(๐‘ฅ1 โŠ™ ๐‘ฅ2) โŠ™ ๐œ‘(๐‘ฅ2โˆ’1) = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ2

โˆ’1)

๐œ‘[(๐‘ฅ1 โŠ™ ๐‘ฅ2) โŠ™ ๐‘ฅ2โˆ’1] = ๐‘’2 โŠ™ ๐œ‘(๐‘ฅ2

โˆ’1)

๐œ‘[(๐‘ฅ1 โˆ— ๐‘ฅ2โˆ’1) โˆ— ๐‘ฅ2] = [๐œ‘(๐‘ฅ2

โˆ’1)]โˆ’1

๐œ‘[๐‘ฅ1 โˆ— (๐‘ฅ2โˆ’1 โˆ— ๐‘ฅ2)] = [๐œ‘(๐‘ฅ2

โˆ’1)]โˆ’1

๐œ‘[๐‘ฅ1 โˆ— ๐‘’1] = [๐œ‘(๐‘ฅ2โˆ’1)]โˆ’1

๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ2)

Jadi terbukti bahwa ๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ2).

5. Misal ๐ป1 adalah subaljabar dari ๐พ1. Akan ditunjukkan bahwa ๐œ‘(๐ป1) adalah

subaljabar dari ๐พ2.

a. ๐ป1 โ‰  โˆ… karena dalam ๐ป1 terdapat anggota identitas yaitu ๐‘’1 โˆˆ ๐ป1 maka

๐œ‘(๐‘’1) = ๐‘’2 โˆˆ ๐œ‘(๐ป1). Dengan kata lain ๐œ‘(๐ป1) โ‰  โˆ….

b. Diambil sebarang unsur ๐‘ฆ1,๐‘ฆ2 โˆˆ ๐œ‘(๐ป1), maka terdapat ๐‘ฅ1,๐‘ฅ2 โˆˆ ๐ป1

sedemikian sehingga ๐œ‘(๐‘ฅ1) = ๐‘ฆ1, ๐œ‘(๐‘ฅ2) = ๐‘ฆ2 dan

๐‘ฆ1โจ€๐‘ฆ2 = ๐œ‘(๐‘ฅ1)โจ€๐œ‘(๐‘ฅ2)

= ๐œ‘(๐‘ฅ1โจ€๐‘ฅ2) โˆˆ ๐œ‘(๐ป1)

Karena ๐‘ฅ1, ๐‘ฅ2 โˆˆ ๐ป1, maka ๐‘ฅ1โจ€ ๐‘ฅ2 โˆˆ ๐ป1, sehingga ๐œ‘(๐‘ฅ1โจ€๐‘ฅ2) โˆˆ ๐œ‘(๐ป1).

Jadi terbukti bahwa ๐œ‘(๐ป1) adalah subaljabar dari ๐พ2.

Page 43: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

32

J. Integrasi Keilmuan

1. Kekonsistenan

Matematika merupakan ilmu yang sangat luas, yang tidak selalu

berhubungan dengan perhitungan saja. Hal ini dikarenakan di dalam

matematika juga terdapat pembuktian-pembuktian yang menggunakan

logika, seperti pembuktian rumus, ataupun teorema-teorema. Dalam

membuktikan suatu teorema, dibutuhkan keuletan serta kekonsistenan agar

diperoleh hasil yang sesuai. Sebagaimana ditelaah dalam ajaran agama Islam,

sifat konsisten atau yang disebut dengan istiqomah adalah suatu sikap

konsisten dalam suatu prinsip. Allah SWT berfirman dalam QS. Fussilat Ayat

31, yang menunjukkan keutamaan dari sikap istiqomah.

Jika direlasikan dengan matematika, telah dikatakan sebelumnya bahwa

dalam proses pembuktian membutuhkan keistiqomahan atau kekonsistenan.

Karena pembuktian merupakan proses yang cukup panjang dan

membutuhkan ketelitian, maka dengan sikap konsisten kemungkinan besar

akan dicapai hasil yang tepat. Akan tetapi jika terjadi keputusasaan di

sebagian proses, maka tidak akan diperoleh hasil akhir yang diharapkan.

Sebagaimana firman Allah SWT dalam QS. Al-Hijr Ayat 56, bahwa sikap

putus asa itu sangat dilarang dalam ajaran agama Islam, dan tidak ada orang

yang berputus asa kecuali orang-orang orang-orang yang sesat.

2. Fungsi

Dalam struktur aljabar terdapat beberapa materi antara lain grup, ring,

field, dll. selain itu ada juga konsep yang dikembangkan dari grup, yaitu K-

Page 44: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

33

Aljabar. Salah satu konsep yang mendasari yaitu fungsi atau pemetaan yang

mempunyai definisi sebagai berikut. Jika terdapat dua himpunan yaitu

himpunan ๐ด dan ๐ต, maka fungsi dari ๐ด ke ๐ต adalah himpunan f pada pasangan

terurut di ๐ด ร— ๐ต, sedemikian sehingga untuk setiap ๐‘Ž โˆˆ ๐ด terdapat tepat satu

๐‘ โˆˆ ๐ต dengan (๐‘Ž, ๐‘) โˆˆ ๐‘“. Dengan kata lain, jika (๐‘Ž, ๐‘) โˆˆ ๐‘“ dan (๐‘Ž, ๐‘โ€ฒ) โˆˆ ๐‘“,

maka ๐‘ = ๐‘โ€ฒ (Bartle, 2010).

Konsep fungsi tidak terlepas dari himpunan, karena dari pengertiannya

sendiri fungsi merupakan pengaitan dari himpunan satu ke himpunan lainnya.

Konsep mengenai fungsi dapat dijumpai dalam Al-Qurโ€™an tentang hubungan

atau interakasi sosial antara makhluk Allah, baik dengan benda mati, maupun

dengan benda hidup. Contohnya seperti manusia dengan partikel penyusun

lingkungan sekitarnya, baik tumbuhan, hewan, maupun dengan benda mati

lainnya. Selain itu, hubungan antar manusia juga dapat diartikan sebagai

hubungan antar golongan satu dengan golongan lainnya, maupun hubungan

antar bangsa dan antar suku yang dijelaskan dalam QS. Al-Hujurat Ayat 13

yaitu

ุฑ ุฃ ู… ูƒูƒ ู‚ุฑ ุฃู„ู„ู‡ู† ุฃูƒ ูƒ ุฏ ู† ุฃ ุฑ ู… ูƒ ูƒ ุฑ ุฃูˆูƒู‚ู‚ูƒุจูƒ ุฃูƒุฆู†ู„ูƒ ุฃู„ู†ุชู‚ูƒุนูƒูƒุฑูƒูู…ูˆู„ ุฃุฅู†ู†ู‡ ุฃ ุฃูƒ ุฑ ุฃุดู…ุนู…ูˆุจุง ู… ู…ู†ุซูƒู‰ ุฃูˆูƒุฌูƒุนูƒู„ุฑุฏูƒูƒ ุฃูˆูƒ ู†ู† ุฃุฐูƒูƒ ู… ุฃ ุฏูƒูƒ ุฑ ุฃุฎูƒู„ูƒ ุฃุฅู†ู†ู‡ ุฃูƒูŠู‚ู‡ูƒูƒ ุฃู„ู„ุฏู‡ูƒุณู… ูŠูƒ

ุฃุฎูƒุจู†ูŠ ุฃ ุฃ๏ดฟูกูฃ๏ดพ ูƒู„ู†ูŠ ุฃุฅู†ู†ู‡ ุฃู„ู„ู‡ูƒ ุฃ

Artinya:

โ€œHai manusia, sesungguhnya Kami menciptakan kamu dari seorang

laki-laki dan seorang perempuan dan menjadikan kamu berbangsa-bangsa

dan bersuku-suku supaya kamu saling mengenal. Sesungguhnya orang yang

paling mulia diantara kamu di sisi Allah ialah orang yang paling takwa

diantara kamu. Sesungguhnya Allah Maha Mengetahui lahi Maha

Mengenal.โ€ (QS. Al-Hujurat:13)

Page 45: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

34

Jika dikaitkan dengan konsep fungsi atau pemetaan, dalam ayat tersebut

menjelaskan beberapa golongan yaitu bangsa-bangsa dan suku-suku yang

merupakan kumpulan atau himpunan dari manusia yang memiliki kriteria

tertentu. Jika diperhatikan, dalam hal ini terdapat penerapan konsep fungsi

yaitu pengaitan antara himpunan bangsa satu dengan bangsa lainnya, serta

antar suku yang dihubungkan dengan saling mengenal satu sama lain. Selain

itu, sesuai dengan hukum alam yang berlaku, bahwa manusia merupakan

makhluk sosial, yang saling membutuhkan antara satu dengan yang lainnya,

seperti halnya saling membantu dalam hal tolong menolong yang termuat

dalam QS. Al-Maidah Ayat 2.

Page 46: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

35

BAB III

PEMBAHASAN

Pembahasan mengenai K-Isomorfisme dalam K-Aljabar tidak dapat

dipisahkan dengan konsep K-Homomorfisme yang merupakan salah satu konsep

paling dasar untuk dikaji. Selain itu terdapat pula beberapa konsep yang berkaitan,

yaitu K-Monomorfisme dan K-Epimorfisme, termasuk di dalamnya adalah fungsi

injektif, fungsi surjektif, serta fungsi bijektif yang dapat digunakan dalam

membangun suatu konsep K-Isomorfisme dalam K-Aljabar.

A. K-Isomorfisme dalam K-Aljabar

Konsep awal yang harus dikaji adalah konsep K-Monomorfisme K-

Epimorfisme, konsep tersebut berkaitan dengan fungsi injektif dan surjektif,

berikut diberikan definisi dari K-Monomorfisme dan K-Epimorfisme dalam K-

Aljabar.

1. K-Monomorfisme dalam K-Aljabar

Definisi 3.1

K-Homomorfisme ๐œ‘ dari K-Aljabar ๐พ1 ke ๐พ2 disebut sebagai K-

Monomorfisme jika ๐œ‘ merupakan suatu pemetaan injektif.

Contoh 3.1

Misal (๐บ,โˆ—,โŠ™, ๐‘’) suatu K-Aljabar. Diberikan himpunan ๐ป = { ๐‘” โŠ™ (๐‘” โŠ™

๐‘ฅ): ๐‘ฅ โˆˆ ๐บ}, dimana ๐ป merupakan K-Subaljabar dari ๐บ. Pemetaan yang

didefinisikan oleh ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™), dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk

setiap ๐‘ฅ โˆˆ ๐บ merupakan suatu K-Monomorfisme dalam K-Aljabar.

Page 47: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

36

Pada Contoh 2.12, telah ditunjukkan bahwa pemetaan ๐œ‘: (๐บ,โŠ™) โ†’

(๐ป,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk setiap ๐‘ฅ โˆˆ ๐บ merupakan suatu

K-Homomorfisme. Selanjutnya harus ditunjukkan bahwa ๐œ‘ merupakan

pemetaan injektif, yaitu untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ dengan ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ) berlaku

๐‘ฅ = ๐‘ฆ.

๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ)

๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฆ)

Dengan memperhatikan definisi K-Aljabar, operasi biner pada K-Aljabar, dan

dengan mengoperasikan ๐‘” dengan operasi biner โˆ— dari sebelah kanan ๐‘”โˆ’1 dari

kiri, diperoleh

๐‘’ โˆ— ๐‘ฅ = ๐‘’ โˆ— ๐‘ฆ

Lebih lanjut, dengan memperhatikan definisi dari identitas pada grup

didapatkan

๐‘ฅ = ๐‘ฆ

Karena dapat ditunjukkan untuk setiap ๐‘ฅ, ๐‘ฆ โˆˆ ๐บ dengan ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ) berlaku

๐‘ฅ = ๐‘ฆ, maka terbukti bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan fungsi injektif.

Uraian secara detail dari pembuktian ๐œ‘ dapat dilihat pada Lampiran 1.

Berdasarkan Definisi 15, pemetaan ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) adalah K-

Monomorfisme dalam K-Aljabar, karena memenuhi dua syarat, yaitu K-

Homomorfisme dalam K-Aljabar dan pemetaan ๐œ‘ adalah pemetaan injektif.

Page 48: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

37

Contoh 3.2

Misalkan (โ„,ร—,โŠ™, ๐‘’) merupakan suatu K-Aljabar. Pemetaan ๐œ‘: (โ„,โŠ™) โ†’

(โ„,โŠ™) yang didefinisikan oleh ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ untuk setiap ๐‘ฅ โˆˆ (โ„,โŠ™) bukan

merupakan K-Monomorfisme.

Untuk membuktikan bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) yang didefinisikan

oleh ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ merupakan K-Monomorfisme, maka harus ditunjukkan

bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) merupakan K-Homomorfisme, dan ๐œ‘ merupakan

fungsi injektif. Akan tetapi, apabila akan menunjukkan bahwa ๐œ‘ bukan K-

Monomorfisme, maka harus ditunjukkan bahwa ๐œ‘ merupakan K-

Homomorfisme, dan ๐œ‘ bukan fungsi injektif.

Pertama akan ditunjukkan bahwa ๐œ‘ merupakan K-Homomorfisme.

Ambil sebarang unsur ๐‘ฅ, ๐‘ฆ โˆˆ (โ„,โŠ™), maka ๐‘ฅ โŠ™ ๐‘ฆ โˆˆ (โ„,โŠ™), akan

ditunjukkan

๐œ‘(๐‘ฅ โŠ™ ๐‘ฆ) = ๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘ฆ)

Perhatikan bahwa

๐œ‘(๐‘ฅ โŠ™ ๐‘ฆ) = (๐‘ฅ โŠ™ ๐‘ฆ) โŠ™ (๐‘ฅ โŠ™ ๐‘ฆ)

= (๐‘ฅ ร— ๐‘ฆโˆ’1) โŠ™ (๐‘ฅ ร— ๐‘ฆโˆ’1)

= (๐‘ฅ ร— ๐‘ฆโˆ’1) ร— (๐‘ฅ ร— ๐‘ฆโˆ’1 )โˆ’1

= (๐‘ฅ ร— ๐‘ฆโˆ’1) ร— (๐‘ฆ ร— ๐‘ฅโˆ’1)

= ๐‘ฅ ร— ๐‘ฅโˆ’1 ร— ๐‘ฆ ร— ๐‘ฆโˆ’1

= (๐‘ฅ ร— ๐‘ฅโˆ’1) ร— (๐‘ฆ ร— ๐‘ฆโˆ’1)

= (๐‘ฅ ร— ๐‘ฅโˆ’1) โŠ™ (๐‘ฆ ร— ๐‘ฆโˆ’1 )โˆ’1

= (๐‘ฅ ร— ๐‘ฅโˆ’1) โŠ™ (๐‘ฆ ร— ๐‘ฆโˆ’1 )

Page 49: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

38

= (๐‘ฅ โŠ™ ๐‘ฅ) โŠ™ (๐‘ฆ โŠ™ ๐‘ฆ)

= ๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘ฆ)

Dengan demikian diperoleh ๐œ‘(๐‘ฅ โŠ™ ๐‘ฆ) = ๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘ฆ), maka terbukti

๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ adalah K-Homomorfisme.

Selanjutnya

๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ)

๐‘ฅ โŠ™ ๐‘ฅ = ๐‘ฆ โŠ™ ๐‘ฆ

๐‘’ = ๐‘’

Misal untuk ๐‘ฅ = โˆ’2, dan ๐‘ฆ = 2. Diperhatikan

๐œ‘(๐‘ฅ) = ๐œ‘(โˆ’2) = (โˆ’2) โŠ™ (โˆ’2) = ๐‘’ = (2) โŠ™ (2) = ๐œ‘(2) = ๐œ‘(๐‘ฆ)

Diperoleh ๐œ‘(โˆ’2) = ๐œ‘(2), akan tetapi โˆ’2 โ‰  2.

Jadi, terdapat ๐‘ฅ, ๐‘ฆ โˆˆ (โ„,โŠ™) sedemikian sehingga ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฆ), akan tetapi

๐‘ฅ โ‰  ๐‘ฆ. Maka jelas bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) bukan merupakan fungsi

injektif. Dengan demikian pemetaan ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) yang didefinisikan

oleh ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ bukan merupakan K-Monomorfisme.

2. K-Epimorfisme dalam K-Aljabar

Definisi 3.2

K-Homomorfisme ๐œ‘ dari K-Aljabar ๐พ1 ke ๐พ2 disebut sebagai K-

Epimorfisme jika ๐œ‘ merupakan suatu pemetaan surjektif.

Contoh 3.3

Misal (๐บ,โˆ—,โŠ™, ๐‘’) suatu K-Aljabar. Dibentuk himpunan bagian ๐ป = { ๐‘” โŠ™

(๐‘” โŠ™ ๐‘ฅ): ๐‘ฅ โˆˆ ๐บ}, dimana ๐ป merupakan K-Subaljabar dari ๐บ. Selanjutnya

didefinisikan pemetaan ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™), dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™

Page 50: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

39

๐‘ฅ), untuk setiap ๐‘ฅ โˆˆ ๐บ. Akan ditunjukkan pemetaan ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™)

merupakan suatu K-Epimorfisme.

Pada Contoh 3.1, telah ditunjukkan bahwa pemetaan ๐œ‘: (๐บ,โŠ™) โ†’

(๐ป,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk setiap ๐‘ฅ โˆˆ ๐บ merupakan suatu

K-Homomorfisme, dan ๐œ‘ merupakan fungsi injektif atau dapat disebut

sebagai K-Monomorfisme. Selanjutnya untuk menunjukkan bahwa pemetaan

๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan suatu K-Epimorfisme, maka harus

ditunjukkan ๐œ‘ merupakan fungsi (pemetaan) surjektif.

Ambil sebarang unsur ๐‘ฆ โˆˆ ๐ป. Akan ditunjukkan untuk setiap ๐‘ฆ โˆˆ (๐ป,โŠ™),

terdapat ๐‘ฅ โˆˆ (๐บ,โŠ™) sedemikian sehingga ๐œ‘(๐‘ฅ) = ๐‘ฆ.

๐œ‘(๐‘ฅ) = ๐‘ฆ

๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ) = ๐‘ฆ

Dengan menggunakan definisi K-Aljabar diperoleh

(๐‘” โˆ— ๐‘ฅ) โˆ— ๐‘”โˆ’1 = ๐‘ฆ

Selanjutnya operasikan ๐‘” dengan operasi biner โˆ— dari kanan dan ๐‘”โˆ’1 dari kiri

sedemikian sehingga

๐‘’ โˆ— ๐‘ฅ = ๐‘”โˆ’1 โˆ— (๐‘ฆ โˆ— ๐‘”)

Kemudian dengan menggunakan definisi dari K-Aljabar diperoleh hasil

sebagai berikut.

๐‘ฅ = ๐‘”โˆ’1 โŠ™ (๐‘”โˆ’1 โˆ— ๐‘ฆโˆ’1)

๐‘ฅ = ๐‘”โˆ’1 โŠ™ (๐‘”โˆ’1 โŠ™ ๐‘ฆ)

Karena ๐ป merupakan K-Subaljabar dari (๐บ,โŠ™), maka

๐‘ฅ = ๐‘”โˆ’1 โŠ™ (๐‘”โˆ’1 โŠ™ ๐‘ฆ) merupakan elemen dari ๐ป. Oleh karenanya, ๐œ‘

Page 51: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

40

merupakan K-Epimorfisme. Uraian pembuktian yang lebih detail dapat

dilihat pada Lampiran 2.

Contoh 3.4

Misalkan (โ„,ร—,โŠ™, ๐‘’) merupakan suatu K-Aljabar. Pemetaan ๐œ‘: (โ„,โŠ™) โ†’

(โ„,โŠ™) yang didefinisikan oleh ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ untuk setiap ๐‘ฅ โˆˆ (โ„,โŠ™) bukan

merupakan K-Epimorfisme.

Pada Contoh 3.2 telah ditunjukkan ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) merupakan K-

Homomorfisme. Selanjutnya untuk membuktikan bukan K-Epimorfisme,

maka harus ditunjukkan bahwa ๐œ‘ bukan merupakan fungsi surjektif.

๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ = ๐‘’ = ๐‘ฆ

Misal diambil ๐‘ฆ = 2, untuk setiap ๐‘ฅ โˆˆ (โ„,โŠ™)

๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ = ๐‘’ โ‰  ๐‘ฆ

Karena Terdapat ๐‘ฆ โˆˆ (โ„,โŠ™), untuk setiap ๐‘ฅ โˆˆ (โ„,โŠ™) sedemikian sehingga

๐œ‘(๐‘ฅ) โ‰  ๐‘ฆ. Sehingga ๐œ‘ bukan fungsi surjektif. Dengan demikian terbukti

bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) bukan K-Epimorfisme, karena pemetaan (โ„,โŠ™)

ke (โ„,โŠ™) bukan pemetaan surjektif.

Page 52: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

41

3. K-Isomorfisme dalam K-Aljabar

Definisi 3.3

K-Homomorfisme ๐œ‘ dari K-Aljabar ๐พ1 ke ๐พ2 disebut sebagai K-

Isomorfisme jika ๐œ‘ merupakan suatu pemetaan bijektif (injektif dan

surjektif).

Contoh 3.5

Misal (๐บ,โŠ™) suatu K-Aljabar. Diberikan himpunan ๐ป = { ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ): ๐‘ฅ โˆˆ

๐บ}, dimana H merupakan K-Subaljabar dari ๐บ. Selanjutnya didefinisikan

pemetaan ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™), dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk

setiap ๐‘ฅ โˆˆ ๐บ. Akan ditunjukkan bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan suatu

K-Isomorfisme.

Untuk menunjukkan bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™)merupakan suatu K-

Isomorfisme, maka berdasarkan Definisi 3.3 harus ditunjukkan terlebih

dahulu bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan suatu K-Homomorfisme, dan

๐œ‘ merupakan pemetaan bijektif (injektif dan surjektif).

Pada Contoh 3.1, telah ditunjukkan bahwa pemetaan ๐œ‘: (๐บ,โŠ™) โ†’

(๐ป,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk setiap ๐‘ฅ โˆˆ (๐บ,โŠ™) merupakan

suatu K-Homomorfisme, dan ๐œ‘ merupakan fungsi injektif. Selanjutnya pada

Contoh 3.3 telah ditunjukkan pula bahwa pemetaan ๐œ‘ merupakan suatu fungsi

surjektif. Karena telah terbukti bahwa ๐œ‘: (๐บ,โŠ™) โ†’ (๐ป,โŠ™) merupakan suatu

K-Homomorfisme, dan ๐œ‘ merupakan fungsi bijektif, maka terbukti bahwa

๐œ‘: (๐บ,โˆ—,โŠ™, ๐‘’) โ†’ (๐ป,โˆ—,โŠ™, ๐‘’) dengan ๐œ‘(๐‘ฅ) = ๐‘” โŠ™ (๐‘” โŠ™ ๐‘ฅ), untuk setiap ๐‘ฅ โˆˆ

(๐บ,โŠ™) merupakan suatu K-Isomorfisme.

Page 53: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

42

Contoh 3.6

Misalkan (โ„,ร—,โŠ™, ๐‘’) merupakan suatu K-Aljabar. Tunjukkan bahwa

pemetaan ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) yang didefinisikan oleh ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ bukan

merupakan K-Isomorfisme.

Untuk menunjukkan bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) merupakan suatu K-

Isomorfisme, maka berdasarkan Definisi 3.3 harus ditunjukkan terlebih

dahulu bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) merupakan suatu K-Homomorfisme, dan

๐œ‘ merupakan pemetaan bijektif (injektif dan surjektif).

Pada Contoh 3.2 dan 3.4, telah ditunjukkan bahwa pemetaan

๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ merupakan suatu K-

Homomorfisme, dan ๐œ‘ bukan merupakan fungsi injektif. Akan tetapi, untuk

mengetahui jika ๐œ‘ bukan K-Isomorfisme, maka harus ditunjukkan bahwa ๐œ‘

bukan pemetaan bijektif. Selanjutnya pada Contoh 3.4 telah ditunjukkan pula

bahwa pemetaan ๐œ‘ bukan merupakan suatu fungsi surjektif. Karena telah

terbukti bahwa ๐œ‘: (โ„,โŠ™) โ†’ (โ„,โŠ™) merupakan suatu K-Homomorfisme,

dan ๐œ‘ bukan merupakan fungsi bijektif, maka terbukti bahwa ๐œ‘: (โ„,โŠ™) โ†’

(โ„,โŠ™) dengan ๐œ‘(๐‘ฅ) = ๐‘ฅ โŠ™ ๐‘ฅ bukan merupakan K-Isomorfisme.

Definisi 3.4

Misal ๐‘› adalah bilangan bulat positif, ๐‘” pangkat ๐‘› ditulis ๐‘”๐‘› didefinisikan

sebagai ๐‘”๐‘› = ๐‘” โŠ™ ๐‘” โŠ™ โ€ฆ โŠ™ ๐‘”.

Page 54: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

43

Definisi 3.5

Diberikan K-Aljabar (๐บ,โˆ—,โŠ™, ๐‘’). Order dari elemen ๐‘” โˆˆ (๐บ,โŠ™), adalah bilangan

bulat positif terkecil ๐‘›, sedemikian sehingga ๐‘”๐‘› = ๐‘’, dengan ๐‘”๐‘› = ๐‘” โŠ™ ๐‘” โŠ™

โ€ฆ โŠ™ ๐‘”.

B. Sifat-sifat K-Isomorfisme dan K-Aljabar

Di dalam K-Isomorfisme terdapat beberapa teorema dan sifat yang

diturunkan dari konsep Isomorfisme dalam Grup. Berikut adalah teorema serta

sifat K-Isomorfisme dalam K-Aljabar.

1. Teorema 3.1

Diberikan suatu K-Aljabar ๐พ1 = (๐บ1,โˆ—,โŠ™, ๐‘’1) dan ๐พ2 = (๐บ2,โˆ—,โŠ™, ๐‘’2) suatu

K-Aljabar, jika ๐œ‘: ๐พ1 โ†’ ๐พ2 K-Isomorfisme, maka ๐œ‘โˆ’1: ๐พ2 โ†’ ๐พ1 juga

merupakan K-Isomorfisme.

Bukti

Diketahui ๐œ‘: ๐พ1 โ†’ ๐พ2 merupakan K-Isomorfisme, sedemikian

sehingga ๐œ‘ merupakan fungsi bijektif, demikian juga halnya dengan ๐œ‘โˆ’1

yang merupakan fungsi bijektif. Selanjutnya, karena ๐œ‘ merupakan K-

Isomorfisme maka harus ditunjukkan bahwa ๐œ‘โˆ’1 merupakan K-

Homomorfisme.

Karena ๐œ‘: ๐พ1 โ†’ ๐พ2 merupakan fungsi bijektif, jika diambil sebarang

๐‘ข, ๐‘ฃ โˆˆ ๐พ2, maka terdapat ๐‘Ž, ๐‘ โˆˆ ๐พ1, sedemikian sehingga ๐œ‘(๐‘Ž) = ๐‘ข dan

๐œ‘(๐‘) = ๐‘ฃ. Akibatnya untuk ๐œ‘โˆ’1: ๐พ2 โ†’ ๐พ1, diperoleh ๐œ‘โˆ’1(๐‘ข) = ๐‘Ž dan

๐œ‘โˆ’1(๐‘ฃ) = ๐‘.

Page 55: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

44

Akan ditunjukkan bahwa ๐œ‘โˆ’1 merupakan K-Homomorfisme, untuk

setiap ๐‘ข, ๐‘ฃ โˆˆ ๐พ2, maka ๐œ‘โˆ’1(๐‘ข โŠ™ ๐‘ฃ) = ๐œ‘โˆ’1(๐‘ข) โŠ™ ๐œ‘โˆ’1(๐‘ฃ)

Perhatikan bahwa

๐‘ข โŠ™ ๐‘ฃ = ๐‘ข โˆ— ๐‘ฃโˆ’1

= ๐œ‘(๐‘Ž) โˆ— [๐œ‘(๐‘)]โˆ’1

= ๐œ‘(๐‘Ž) โŠ™ ๐œ‘(๐‘)

= ๐œ‘(๐‘Ž โŠ™ ๐‘)

Karena ๐œ‘(๐‘Ž โŠ™ ๐‘) = ๐‘ข โŠ™ ๐‘ฃ, maka berakibat pada ๐œ‘โˆ’1(๐‘ข โŠ™ ๐‘ฃ) = ๐‘Ž โŠ™ ๐‘.

Selanjutnya perhatikan bahwa

๐œ‘โˆ’1(๐‘ข โŠ™ ๐‘ฃ) = ๐‘Ž โŠ™ ๐‘

= ๐œ‘โˆ’1(๐‘ข) โŠ™ ๐œ‘โˆ’1(๐‘ฃ)

Karena telah ditunjukkan bahwa ๐œ‘โˆ’1 pemetaan bijektif dan ๐œ‘โˆ’1: ๐พ2 โ†’ ๐พ1

merupakan K-Homomorfisme, maka terbukti bahwa ๐œ‘โˆ’1 K-Isomorfisme.โˆŽ

2. Proposisi 1

Misalkan ๐พ1 = (๐บ1,โˆ—,โŠ™, ๐‘’1) dan ๐พ2 = (๐บ2,โˆ—,โŠ™, ๐‘’2) merupakan K-Aljabar.

Jika ๐œ‘: ๐พ1 โ†’ ๐พ2 suatu K-Isomorfisme, maka:

1. ๐œ‘(๐‘’1) = ๐‘’2

2. ๐œ‘(๐‘ฅ๐‘›) = (๐œ‘(๐‘ฅ))๐‘›, untuk ๐‘› bilangan bulat positif.

Bukti

1. Diketahui pemetaan ๐œ‘: ๐พ1 โ†’ ๐พ2 merupakan K-Isomorfisme sedemikian

sehingga ๐œ‘ K-Homomorfisme dalam K-Aljabar. Misalkan ๐‘’1 dan ๐‘’2

berturut-turut menyatakan unsur identitas dari ๐พ1 dan ๐พ2 terhadap operasi

biner โŠ™. Akan ditunjukkan ๐œ‘(๐‘’1) = ๐‘’2.

Page 56: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

45

Ambil sebarang ๐‘ฅ โˆˆ ๐พ1. Karena telah diketahui bahwa ๐œ‘ merupakan K-

Isomorfisme, maka sebagai akibatnya ๐œ‘ merupakan suatu pemetaan

injektif dan surjektif. Karena ๐œ‘ merupakan pemetaan surjektif, akibatnya

untuk setiap ๐‘ฆ โˆˆ ๐พ2 berlaku

๐œ‘(๐‘ฅ) = ๐‘ฆ

Diperhatikan bahwa ๐‘ฅ โŠ™ ๐‘’1 = ๐‘ฅ dan

๐œ‘(๐‘ฅ โŠ™ ๐‘’1) = ๐‘ฆ

Karena ๐œ‘: ๐พ1 โ†’ ๐พ2 suatu K-Homomorfisme, maka diperoleh

๐œ‘(๐‘ฅ) โŠ™ ๐œ‘(๐‘’1) = ๐œ‘(๐‘ฅ)

๐œ‘(๐‘ฅ) โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)

๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ) โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)

[๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)] โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)

Karena ๐œ‘(๐‘ฅ)โˆ’1 dan ๐œ‘(๐‘ฅ) ada di ๐พ2, maka

[๐œ‘(๐‘ฅ)โˆ’1 โˆ— ๐œ‘(๐‘ฅ)] โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

๐‘’2 โˆ— ๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

๐œ‘(๐‘’1)โˆ’1 = ๐‘’2

(๐œ‘(๐‘’1)โˆ’1)โˆ’1 = (๐‘’2)โˆ’1

๐œ‘(๐‘’1) = (๐‘’2)โˆ’1

๐œ‘(๐‘’1) = ๐‘’2

Jadi terbukti bahwa ๐œ‘(๐‘’1) = ๐‘’2.

2. Akan dibuktikan ๐œ‘(๐‘ฅ๐‘›) = ๐œ‘(๐‘ฅ)๐‘› dengan menggunakan induksi

matematika.

Page 57: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

46

Untuk ๐‘› = 1, pernyataan tersebut benar, karena

๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ)

๐œ‘(๐‘ฅ)1 = ๐œ‘(๐‘ฅ)

Jadi ๐œ‘(๐‘ฅ1) = ๐œ‘(๐‘ฅ)1 atau ๐œ‘(๐‘ฅ) = ๐œ‘(๐‘ฅ).

Misal benar untuk ๐‘› = ๐‘˜, yaitu

๐œ‘(๐‘ฅ๐‘˜) = ๐œ‘(๐‘ฅ)๐‘˜

Akan ditunjukkan benar untuk ๐‘› = ๐‘˜ + 1, yaitu

๐œ‘(๐‘ฅ๐‘˜+1) = ๐œ‘(๐‘ฅ๐‘˜ โŠ™ ๐‘ฅ) (Definisi 3.4)

= ๐œ‘(๐‘ฅ๐‘˜) โŠ™ ๐œ‘(๐‘ฅ) (K-Homomorfisme)

= ๐œ‘(๐‘ฅ)๐‘˜ โŠ™ ๐œ‘(๐‘ฅ) (Proposisi 1)

= ๐œ‘(๐‘ฅ)๐‘˜+1 (Definisi 3.4)

Jadi, terbukti ๐œ‘(๐‘ฅ๐‘›) = (๐œ‘(๐‘ฅ))๐‘›. โˆŽ

3. Teorema 3.2

Diberikan K-Aljabar (๐บ,โˆ—,โŠ™, ๐‘’). Untuk sebarang ๐‘” โˆˆ (๐บ,โŠ™), order ๐‘” adalah

bilangan bulat genap positif ๐‘›, sedemikian sehingga ๐‘”๐‘› = ๐‘’.

Bukti

Misal ๐‘› bilangan bulat genap positif, maka dapat dituliskan dengan ๐‘› = 2๐‘˜

dengan ๐‘˜ โˆˆ โ„ค. Ambil sebarang ๐‘” โˆˆ (๐บ,โŠ™), akan digunakan induksi

matematika untuk menunjukkan bahwa order dari ๐‘” adalah bilangan bulat

genap positif ๐‘›, sedemikian sehingga ๐‘”๐‘› = ๐‘’.

(i) Untuk ๐‘˜ = 1, maka ๐‘› = 2๐‘˜ = 2, benar karena

๐‘”๐‘› = ๐‘”2 = ๐‘’

Page 58: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

47

(ii) Misal benar untuk ๐‘˜, maka ๐‘› = 2๐‘˜, yaitu

๐‘”๐‘› = ๐‘”2๐‘˜ = ๐‘’

(iii) Akan ditunjukkan benar untuk ๐‘˜ = ๐‘˜ + 1, maka ๐‘› = 2(๐‘˜ + 1),

perhatikan bahwa

๐‘”๐‘› = ๐‘”2(๐‘˜+1)

= ๐‘”2๐‘˜ โŠ™ ๐‘”2

= ๐‘’ โŠ™ ๐‘’ (Dari (i), (ii))

= ๐‘’ โˆŽ

Page 59: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

48

BAB IV

PENUTUP

A. Simpulan

Berdasarkan penjelasan pada pembahasan dapat disimpulkan bahwa K-

Homomorfisme ๐œ‘ dari K-Aljabar ๐พ1 ke ๐พ2 disebut sebagai K-Isomorfisme jika

๐œ‘ merupakan suatu pemetaan bijektif. Suatu K-Aljabar ๐พ1 = (๐บ1,โˆ—,โŠ™, ๐‘’1) dan

๐พ2 = (๐บ2,โˆ—,โŠ™, ๐‘’2) suatu K-Aljabar, jika ๐œ‘: ๐พ1 โ†’ ๐พ2 K-Isomorfisme, maka

๐œ‘โˆ’1: ๐พ2 โ†’ ๐พ1 juga merupakan K-Isomorfisme.

K-Isomorfisme juga mempunyai sifat-sifat, yaitu misalkan ๐พ1 = (๐บ1,โˆ—,โŠ™

, ๐‘’1) dan ๐พ2 = (๐บ2,โˆ—,โŠ™, ๐‘’2) merupakan K-Aljabar. Jika ๐œ‘: ๐พ1 โ†’ ๐พ2 suatu K-

Isomorfisme, maka untuk setiap ๐‘ฅ โˆˆ ๐พ1 berlaku:(1.) ๐œ‘(๐‘’1) = ๐‘’2; (2.) ๐œ‘(๐‘ฅ๐‘›) =

(๐œ‘(๐‘ฅ))๐‘›.

Sebagai akibat dari Proposisi 1, terdapat teorema order dalam K-

Isomorfisme, yang berbunyi diberikan K-Aljabar (๐บ,โˆ—,โŠ™, ๐‘’). Untuk sebarang

๐‘” โˆˆ (๐บ,โŠ™), order ๐‘” adalah bilangan bulat positif ๐‘›, sedemikian sehingga ๐‘”๐‘› =

๐‘’.

B. Saran

Setelah dilakukan penurunan terhadap K-Isomorfisme dalam K-aljabar,

perlu dilakukan penelitian lanjutan untuk membuktikan beberapa sifat yang

mungkin berkaitan dengan konsep K-Isomorfisme dalam K-Aljabar, serta

Page 60: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

49

membangkitkan konsep generator dalam K-Isomorfisme. Hal ini dikarenakan

sifat-sifat isomorfisme dalam grup berkaitan dengan generator grup.

Page 61: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

52

DAFTAR PUSTAKA

Afifah, A. (2013). K-Homomorfisme Pada Q-Aljabar. Malang: UIN Maulana Malik

Ibrahim.

Bartle, R. G. (2010). Introduction to Real Analysis, Fourth Edition. New York:

John Wiley & Sons, Inc.

Dar, K., & Akram, M. (2005). On a K-Algebra Built on a Group. Southeast Asean

Bulletin of Mathematics, 29, 41-49.

Dar, K., & Akram, M. (2006). On Subclasses OF K(G)-Algebras. Annuals of

University of Crainova, 33, 235-240.

Dar, K., & Akram, M. (2007). On K-Homomorphisms of K-Algebras. International

Mathematical Forum, 2(46), 2283-2293.

Gallian, J. A. (2010). Contemporary Abstract Algebra. Canada: Nelson Education,

Ltd.

Iswati, & Suryoto. (2010). K-Aljabar. Jurnal Matematika, 13, 20-33.

Luck, W., Reich, H., Rognes, J., & Varisco, M. (2017). Algebraic K-theory of

Group Rings and The Cyclotomic Trace Map. Advances in Mathematics,

304, 930-1020.

Mestika, Z. (2004). Metode Penelitian Kepustakaan. Jakarta: Yayasan Bogor

Indonesia.

Raisinghania, M., & Aggarwal, K. (1980). Modern Algebra. New Delhi: S. Chand

& Company LTD.

Redfield, R. H. (2001). Abstract Algebra A Concrete Introduction. United State of

America: Addison Wesley Longman, Inc.

Sadieda, L. U. (2014). Struktur Aljabar 1. Surabaya: UIN Sunan Ampel Press.

Setiawan, A. (2011). Aljabar Abstrak (Teori Grup dan Teori Ring). Salatiga:

UKSW Press.

Sudira, P. (2009). Grounded Theory. Yogyakarta: PPS UNY Press.

Sugiyono. (2010). Metode Penelitian Pendidikan: Pendekatan Kuantitatif,

Kualitatif, dan R&D. Bandung: Alfabet.

Page 62: K-ISOMORFISME DALAM K-ALJABARdigilib.uinsby.ac.id/26570/1/Fanny Dwi Lestari_H92214026.pdfAljabar abstrak atau struktur aljabar merupakan suatu himpunan yang tidak kosong dengan operasi

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id digilib.uinsby.ac.id

53

Sukirman. (2005). Pengantar Struktur Aljabar. Malang: Universitas Negeri

Malang.