!

" "
"
 ! "

#
$ "
∀ ∈ ∃ %
∈ # %
& %
# &

$ !

"

# "
% '
(
# ∈
 !
( ∈
# # & # #
) !
( ∈
# & # &
* ! $
( ∈
% %
# & # &

( & + % %,
' -
! "

#
" " $% & ' ( ) & *

% %

% %

)% - & + % %,
"
a. '
!
% %∈
% %& %
%∈
b. !
!
& % & % & %∈
& % % %&% %&%
&% % % &% %&%
& &%

c. ! &%
!
• %∈
% & % & %
• %∈
% & %& %

d. ! $
• ! %∈ %∈
%
% % & %& % & %
• ! %∈ %∈
%
% %& %& % &%
$
. & + % %,
( & + % %, !
/
! "

#
" " $% & ' ( ) & +*

1 2 )
3 & + % %, + 0 ,
+ 0 ,
& + % %, & + % %,

& +% %, # (
) & +*

( & +0 % ) * 4, 56
' - /
! "

#
" " $ %,& & & & -& .' ( ) & +*

/ , - .

0 0 % ) * 4

% % ) * 4 0

) * 4 0 %

) ) * 4 0 %

* * 4 0 % )

4 4 0 % ) *

)) - & +0 % ) * 4,
/ "
a. '
!
0 % ) * 4∈
%/ &)
%/)&*
%/*&4
%/4&0
 0 ) * 4 ∈
b. !
!
& &* & 4∈
/ / & /* /4&0/4&4
/ / & / */4 & /)&4
"
/ / & / / &4

c. ! &0
!
• 0∈
0/ & /0& 0
• %∈
%/ & /%& %
• ∈
/ & / &
• )∈
)/ & /)& )
• *∈
*/ & /*& *
• 4∈
4/ & /4& 4

d. ! $
• ! 0∈ 0∈
%
0/0& 0& 0 &0
• ! %∈ 4∈
%
%/4& 0& % &4
 • ! ∈ *∈
%
/*& 0& &*
• ! )∈ )∈
%
)/)& 0& ) &)
• ! *∈ ∈
%
*/ & 0& * &
• ! 4∈ %∈
%
4/%& 0& 4 &%
$
. & +0 % ) * 4, /

Assosiatif SEMIGRUP

∃ Identitas

Tertutup Assosiatif
GRUPOID ∃ Identitas MONOID

∃ Invers

Assosiatif
∃ Identitas
∃ Invers GRUP

)%
1
1 # & #
7 ! !
"

# 7 !
"
% '
(
# ∈
!
( ∈
# # & # #
) !
( ∈
# & # &
* ! $
( ∈
% %
# & # &
4 7
( ∈
# & #

-
)% - & + % %, 7
8 !
! "
)% - & + % %,
! "
% %∈ *%
% %& %
% % & %
% %&% % & %
7
7 !

.
)) - & +0 % ) * 4,
7 8 ! /
! "
)) - & +0 % ) * 4,
/

! % 4∈ *)
%/4 &0
4/%&0
%/4&4/%&0
7
7 ! /

!
"
( "
. ∈ % %
&
. ∈ %
& % %

/
% %
& &
%
-
% %
&
% % % % % % % %
& & & & &
"
% % % % % % % %
& & & & &
% % %
&
/
"

( / "
. ∈ &
. ∈ / & /

)0 ! *
( 9∈ "
. 9 &9 &
. 9& 9 &
/
( 9 &9
"
9% 9 & 9% 9
9 %9 & 9 %9
 &
"
&
( 9& 9
"
9 9%& 9 9%
9 %9 & 9 %9
&
"
&

/ *)
"

- )0 ! *
( / 9∈ "
% . 9/ &9/ &
. /9& /9 &

!
"
 .
( # : ⊆ :#
# :#
#

-
- :# #
"
% : - :⊆
: - :#

1
)% - : & +%,
& + % %,
! "
: & +%, & + % %, :⊆
)% : & +%,
"
a. '
%∈: % %&%
%∈: :
b. !
&% &% & %∈ :
& % % %&% %&%
&% % % &% %&%
& &% :
c. ! &%
!
• %∈
 % & %& %

d. ! $
• ! %∈ %∈
%
% %& %& % &%
$
. : & +%, :

2
)) - : & +0 *,
& +0 % ) * 4, /
! "
: & +0 *, & +0 % ) * 4,
:⊆
)) : & +0 *,
"
a. '
! :
0 *∈:
0/0&0
0/ &
0/*&*
/ &*
/*&0
*/*&
0 * ∈:
:
b. !
! :
& & & *∈ :
/ / & / /*&*/*&
/ / & / /* & /0&
"
/ / & / / &
:
c. ! &0
!
• 0∈
0/ & /0& 0
• ∈
/ & / &
• *∈
*/ & /*& *

d. ! $
• ! 0∈ 0∈
%
0/0& 0& 0 &0
• ! ∈ *∈
%
/*& 0& &*
• ! *∈ ∈
%
*/ & 0& * &
$
e. !
! :
*∈:
*/ & */0&*
 /*&0/*&*
"
*/ & /*&*
:
f. ! $
! : *∈:
*/ * &*;*&0&
* /*& */*&0&
"
*/ * & * /*&0&
: $
. : & +0 *, : /
/

3
)) - : & +% ),
& +0 % ) * 4, /
! "
: & +% ), & +0 % ) * 4,
:⊆
! : & +% ), "
! :
)∈:
*) " /)&4

4∈ 4 ∉: 4 : /
( : & +% ), & +0 % ) * 4,
 4
& + % %, 5
5 / 5 & + % %,

5 (

( ∈
<

1
( # 1 #
# = = #
= =
= =

2
3 #
& &%
& &0
1

,
3 5 / 5
3 & +0 % ) * 4, 6
: & +0 *, )

' 5* /

! "
5* & +0 % ), =5*= & *
5* "
( &0 % ) : &+ ∈ 5*
&0
:0 & +0,
=:0= & %
&%
:% & +% ) 0,
=:%= & *
&
: &+ 0,
=: = &
&)
:) & +) % 0,
=:)= & *
 - 6

% # "
'
!
!
! $

7 !
7

) :# #
"
: - :⊆
: - :#
# :⊆ :#
# :#
#

* ( # 1
# # = = #
= =
= =

4 3 #
& & %
& &0 1
 . 7

% ( & +9 ∈ 5/,
# & / / ∈
' #
# !

( >/
ab
# & ∈ >/ 1
3
!

) ( 9 "

  0 1 1 0 0 i  i 0 
G = ± , ±0 1, ± i 0, ±0 −1
 − 1 0      
1 !

* ( /
1 "
& ∀ ∈
/ & / ∀ ∈

4 ( / 9∈
1 "
. 9/ &9/ &
. /9& /9 &
6 ( : ⊆ : ≠ 0 :
1 - : :

? ' 5@ /

♠♣♥♣♠