Sei sulla pagina 1di 3

Josephil C. Saraspe | Jay Wenceslao M.Ed. – Mathematics II Math 210.

1 Modern Algebra

Let 
G  a  b 2  R | a,b  Q 
(a) Prove that G is a group under addition
(b) Prove that nonzero elements of G are a group under multiplication.

(a) G ,

Let a , b, c, d , e, f  Q

then (a  b 2 ), ( c  d 2 ), ( e  f 2) G

G 0: (a  b 2 )  (c  d 2) = a  c  b 2  d 2

= a  c  (b  d ) 2

= ( a  c )  (b  d ) 2

= e  f 2

where e  ac , f  b  d

 Closure property holds true in G


G 1: Let a, b, c, d , e  Q

then (a  b 2 ), ( c  d 2 ), ( e  f 2) G

( a  b 2 )  (c  d 
2 )  (e  f 2 )  ( a  c  e )  (b  d  f ) 2

(a  b 
2 )  (c  d 2 )  (e  f 
2 )  ( a  c  e )  (b  d  f ) 2

 Associative property holds true in G


G 2: Let 0 0 2 G

(a  b 2) 0  a  b 2

0  (a  b 2)  a  b 2

 G has an identity element which is 0


G 3: Let a,b  Q

(a  b 2 )  (c  d 2)  0

(c  d 2 )   (a  b 2)  a  b 2
a b 2 is the inverse of (a  b 2)

 a b 2 G

/ Under addition, G is a group

(b) G ,

Let a , b, c, d , e, f  Q

then (a  b 2 ), ( c  d 2 ), ( e  f 2 )  G \ {0}  G

G 0: (a  b 2 )( e  f 2 )  ac  ad 2  bc 2  2 bd

 ( ac  2 bd )  ( ad 2  bc 2)

 ( ac  2 bd )  ( ad  bc ) 2

 e  f 2

where e  ac  2 bd

f  ad  bc

 Closure property holds true in G

G 1: ( a  b 2 )( c  d 
2 ) (e  f 2 )  ( ac  ad 2  bc 2  2 bd )( e  f 2)

 ace  acf 2  ade 2  2 adf  bce 2  2 bcf  2 bde  2 2 bdf

 ( ace  2 adf  2 bcf  2 bde )  ( acf 2  ade 2  bce 2  2 2 bdf )

 ( ace  2 adf  2 bcf  2 bde )  ( acf  ade  bce  2 bdf ) 2

(a  b 
2 ) (c  d 2 )( e  f 
2 )  (a  b 2 )( ce  cf 2  de 2  2 df )

 ace  acf 2  ade 2  2 adf  bce 2  2 bcf  2 bde  2 2 bdf

 ( ace  2 adf  2 bcf  2 bde )  ( acf 2  ade 2  bce 2  2 2 bdf )

 ( ace  2 adf  2 bcf  2 bde )  ( acf  ade  bce  2 bdf ) 2

 Associative property holds true in G


G 2: Let 1 0 2 G

(a  b 2 )( 1  0 2 )  (a  b 2 )( 1 )  ( a  b 2)

(1  0 2 )( a  b 2 )  (1 )( a  b 2 )  (a  b 2)

 G has an identity element which is 1

G 3: (a  b 2 )( c  d 2) 1

1
(c  d 2) 
a  b 2

 1  a  b 2 
   
 
a  b 2  a  b 2 

a b 2

 2b
2 2
a

a b 2
is the inverse of a  b 2
 2b
2 2
a

 a b 2 
 G
 a 2  2b 2 
 

/ Under multiplication, the nonzero elements of G is a group