Professional Documents
Culture Documents
البنيات الجبرية
البنيات الجبرية
: (I
( f .g )( x ) = f ( x ) .g ( x )
. F ( X , )
: 1
. E
E 9 )
A ( E , E ) .8 E
.
E
.
E f :E ×E → E :
E
E f
: A ( E , E ) ! : ο (a,b ) → a *b
( ∀x ∈ E ) ( f ο g )( x ) = f ( g ( x ) )
( a, b ) ! f ( a, b )
:
. A ( E , E )
a ⊥b ; aΤb ; a * b " # $
9
H 0
.;
$&
Τ .9 ()
( E ,*) '
E
* %&
$ 27 4 9
R0
. O <$ . *
) "
$ E
. R0 وH و0 Τ
" o " . O : E
* : !"
:+ a = b
ΤuοΤv = Τu + v ( ∀ ( a, b , c , d ) ∈ E )
4
⇒ a *c = b * d
c = d
h( O , R )ο h(′O , R ′) = h( O , RR′) :+
R( o ,α )ο R( o , β ) = R( o ,α + β ) a = b
⇒ ( a , c ) = ( b , d ) ⇒ f ( a , c ) = f (b , d )
: ! : *
) .10 c = d
( ∀ ( a, b ) ∈ ) a * b = a
2 4
+ a 3 − 3a 2b ⇒ a *c = b * d
.
: (*
a =b ⇒a c =b c
E = {1, 2,3, 6}
.11 ( ∀ (a, b , c ) ∈ E ) a = b ⇒ c * a = c *b
3
( i ∧ j ) ∧ j = h ∧ j = −i ←
( ∀ ( z, z ′) ∈ U ) : zz ′ ∈ U 2
:%&
i ∧( j ∧ j) = i ∧0 = 0
( , ×) ) 5$ U %&
(i ∧ j ) ∧ j ≠ i ∧ ( j ∧ j ) %& : !"
. V3
2 ( 4 ) "∧ " #
* '
( E , *) ) 5$ S %&
:#) . S
%& )
%& E
*
) &
) (2
: .
:< ) z وyوx ( ∀ ( a, b ) ∈ E ) 2
a *b = b * a
(x * y )* z = x *( y * z ) : !"
: :'
*
) %&
( x * y ) * z = ( x + y + xy ) * z a * (b * c ) = a * b * c
= x + y + xy + z + ( x + y + xy ) z : (b
= x + y + xy + z + xz + yz + xyz (1)
6(
< ( (9)
(7) ,(6) ,(3) ,(1)
)
:
.( I ")7 )
4
x * ( y * z ) = x * ( y + z + yz )
: (9)
(7) ! .
= x + y + z + yz + x ( y + z + yz )
: F ( X , )
0 (
= x + y + z + yz + xy + xz + xyz ( 2)
:( . F ( X , ) h وg وf
: * '
(1)
(2) (
f + ( g + h) = ( f + g ) + h
(∀ ( x , y , z ) ∈ ) ( x * y ) * z = x * ( y * z )
3
:( ( ∀x ∈ X ) ( f + ( g + h ) ) ( x ) = f ( x ) + ( g + h )( x ) :
.
) 8 * %& ( ∀ ( a, b ) ∈ ) a * b = a
*2 b
:-
(
3 ( ∀a ∈ ) a *1 = a
* 1
= a (1) :
: (a 1* a = 1a = 1 :
) * ( D7 . E
* . 2 1 %&
. e . ! 1 &
) (1) ) #(
%& )
%& * @6 ) E x &
) :
:F E x′
%& )
%& ( E , *)
! e &
) ←
x * x ′ = x ′*x = e
( ∀x ∈ E ) x * e = x
: !" )
%& ( E , *)
! e &
) ←
.
;' 7 *
) %&
( ∀x ∈ E ) e * x = x %&
: (b
!
! E %& )
%& e
←
x ( , + ) , ( , + ) , ( , + ) , ( , + )
←
.
. − x
< @6 )
< @6 ) x ( , ×) ; ( , ×) ; ( * , ×)
←
* * :!
(
! (c
:
1 *
) %& . E
*
.
x .
#'
1 1
x. = .x = 1 :+ :*
x x
e′وe ) * ( D7
e * e ′ = e ′ :%& e′ ∈ E
e .
. E
E 9@ )
B ( E , E ) ←
3
4 x − 15 4 x − 15 G B ( E , E )
" o "
< @6 ) x #
x′ = :'
⇒ e *x = e * y . B ( E , E ) g وf
⇒x =y
. g −1
< g 6
f −1
< f 6
x *a = y *a ⇒ x = y :( ) 27
. g −1of −1
< fog 6
.C? a %&
( fog )
< fog 6 ( C
−1
:-0
(III
( fog )
−1
= g −1of −1 :%&
: 1
:
: (a
: ! : *
)
. E
* x * y = xy − 4x − 4 y + 20
. F
Τ
.
< 5 @
f : E → F ( F , Τ )
( E , *) > .@6 ) .
: ) x ∈
. ( ∀ ( x , y ) ∈ E 2 ) : f ( x * y ) = f ( x ) Τf ( y ) .@6 ) x < )
.(
) ) x * x ′ = 5 F x′ F
x * x ′ = 5 ⇔ xx ′ − 4x − 4x ′ + 20 = 5 :
⇔ x′ ( x − 4 ) = 4 x − 15
x ≠ 4 %& ←
4
f ( z ) . f ( z ′ ) = ( a, b ) . ( a ′, b′ ) : (b
= ( aa ′ − bb′, ab′ + a ′b ) f : ( , + ) → ( , + ) : .1
f ( z. z ′ ) = f ( z ) . f ( z ′ )
%& x → ax
( ,×)
( ,×) > f #
2 . > f (
:2 ( ∀ ( x, y ) ∈ 2 ) f ( x + y ) = f ( x ) + f ( y ) :
f ( x + y ) = a ( x + y ) = ax + ay
A = {f (a ,b ) : x → ax + b / (a,b ) ∈ IR 2
}
: .
= f ( x) + f ( y)
T
) IR 2 ! :
:%&
(a,b ) Τ (a′,b ′ ) = (aa′ , ab ′ + b ) ( ∀ ( x, y ) ∈ ) f ( x + y ) = f ( x ) + f ( y )
2
ϕ : ( A , ) → (IR , T )
. ( , + )
( , + ) > f %&
f (a ,b ) → (a , b )
f : → .2
> ϕ (
( a ∈ + ) 0
*
r → ar
: %& )
%& ( , Τ )
( A, o ) > ϕ
2
( ,×)
( , + ) > f (
(∀ ( f )∈ A ):
( a , b ) , f ( a ′, b ′ )
2
. r ′
r .
f ( r + r ′ ) = f ( r ) × f ( r ′ ) :(
(
ϕ f ( a ,b ) of ( a′,b′ ) ) = ϕ ( f ( ) ) Τϕ ( f (
a ,b )) a ′, b ′
:
f ( r + r ′) = a r + r′ = a r × ar′ = f ( r ) × f ( r ′)
( ∀x ∈ ) ( f( a ,b) of( a′,b′) ) ( x ) = (
f ( a , b ) f ( a ′, b ′ ) ( x ) )
(V ( r , r ′) ∈ ) f ( r + r ′) = f ( r ) . f ( r ′)
2
:%&
= f (a ,b ) ( a ′x + b ′ )
. ( ,× )
( , + ) > f #
= a ( a′x + b ′ ) + b
:#)
= aa ′x + ab ′ + b
:%& :1
( )
ϕ f (a ,b )of (a′,b ′) = ( aa′, ab ′ + b )
:
$ 5
$ 0 2
:
( x, y ) + ( x′, y ′ ) = ( x + x′, y + y ′ )
= (a, b )T (a ',b ')
( x, y ) . ( x′, y ′ ) = ( xx′ − yy ′, xy ′ + x′y )
= ϕ (f (a ,b ) )T ϕ (f (a′,b ′) )
f : → 2
> ϕ :#
z = a + ib → ( a, b )
:'(
2
( , + )
( , + ) > f (
2
1(
( ,×)
( ,×) > f (
2
( F , Τ )
( E ,*) > f
. ( , + )
( , + ) > f ( ←
2
. ( F , Τ ) ) 5$ f ( E )
z ′ = a ′ + ib ′ et z = a + ib
:*
f ( z + z ′) = f ( z ) + f ( z′) :(
. > f : ( E , *) → ( F , Τ )
:
( F , Τ ) ) f ( E ) (
z + z ′ = ( a + ib ) + ( a ′ + ib′ )
f ( E ) ⊂ F (*
= ( a + a ′ ) + i ( b + b′ )
. x′Τy ′ ∈ f ( E ) :( . f ( E ) y ′ وx ′ (*
f ( z + z ′ ) = ( a + a ′, b + b′ )
:F E y وx
%& . f ( E ) y ′ وx ′ :%&
= ( a, b ) + ( a ′, b′ ) = f ( z ) + f ( z ′ )
x′ = f ( x ) وy ′ =f y( ) . ( 2 , + )
( , + ) > f %&
:%&
x ′Τy ′ = f ( x ) Τf ( y ) = f ( x * y ) . ( 2 , + )
( , + ) > f ( ←
x * y ∈ E
f ( z.z ′ ) = f ( z ) . f ( z ′ ) :(
z = a + ib
x′Τy ′ ∈ f ( E ) : f ( x * y ) ∈ f ( E ) %& z ′ = a ′ + ib′
. ( F , Τ ) ) f ( E ) %& :
z.z ′ = ( a + ib ) . ( a ′ + ib′ ) = ( aa ′ − bb′ ) + i ( ab′ + a ′b )
: !"
:%&
Τ '
( F , Τ )
( E , *) > f %&
f ( z.z ′ ) = ( aa ′ − bb′, ab′ + a ′b )
. f ( E )
:
5
Groupe :"$ (IV :(2) (
: 1 .@ > f : ( E , *) → ( F , Τ )
"$ (G , *) &
) *
) "
$
G
. f ( E )
Τ '
E
* %& (*
:
> 9)) %& )
%& . f ( E )
Τ '
E
* %& (*
G
" * " ← @6 ) Τ '
E
e * %& (*
. ) " * " ←
. ( f ( x ) )′ = f ( x′ ) : f ( x′ )
< ( f ( E ) , Τ )
:(1) (
. f ( E )
< f ( e ) %&
f ( x ′ ) ( . ( E , *)
x 6
< x′ ( D7 ←
: ."$ (G , *)
. ( f ( E ) , Τ )
f ( x ) 6
<
←
. " * "
. ) " * "← f ( x ) Τf ( x ′ ) = f ( x′ ) Τf ( x ) = f ( e ) :
. G
x′ @6 ) G x ← :
.( @6 ) #+ ) C? G a ← f ( x ) Τf ( x ′ ) = f ( x * x ′ ) = f (e )
( ∀ ( a , x, y ) ∈ G ) 3
a* x = a* y ⇔ x = y ← f ( x ′ ) Τf ( x ) = f ( x ′ * x ) = f (e )
x*a = y*a ⇔ x = y . ( f ( E ) , Τ )
f ( x ) 6
< f ( x′ ) %&
.
>
"$
$8 :
) G%< K
: !"
9 ) f '
@ > . f : ( E ,*) → ( F , Τ ) %& (1
. f ( E )
Τ !& E
*
:(2) (
9 ) f
f ( E ) = F '
> f %&
. G bوa
."$ (G , *)
. F
Τ !& E
*
@ ) x * a = b ( 2 )
a * x = b (1) : >
%& )
%& > F وE
&
) (2
. G
. F
E
>
%& )
%& ) > F وE &
)
.
. F
E )
6
:*
:* (1) ⇔ a * x = b
. C/ 4+ H ≠ ∅ (* ⇔ a′ * a * x = a′ * b
: H
< e ( (*
. H
e′
⇔ e * x = a′ * b
: e = e′ ( ⇔ x = a′ * b
x ∈ H a′ * b
< G
@ ) (1) %&
(1) x * e′ = x :%& . H
< e′ b * a′ : G
@ ) (2) ( ) 27 .
%& G
< e
. x ∈ G %& H ⊂ G
:.$
. ( 2) x * e = x . a ∈ G ."$ (G , *)
x′ ∈ H : ( ∀ ( x, y ) ∈ H 2 ) : x * y ′ ∈ H ←
( ∀x ∈ H ) : x′ ∈ H %& . G
y 6 y′ F
7
1 . G
x 6
< x′ F
= z1 × =1
z2 H y وx .3
. y′ ∈ H ( M @
z1 = 1 +
z2 = 1
x * ( y′ )′ ∈ H : (II)
( x, y′ ) ∈ H 2 %&
z1 × z2−1 ∈ U :%& x * y ∈ H :
:%& . Z ( G ) bوa .
: ) f a ( (*
f a ( x ) = y :F G x F . y ∈ G a. y = y.a (1)
f a ( x ) = y ⇔ a.x.a −1 = y : b. y = y.b ( 2 )
−1 −1 −1
⇔ a .a.x.a = a . y.a
: ) ) 27
⇔ e.x.a −1.a = a −1. y.a
⇔ x.a −1.a = a −1. y.a
( a.b ) . y = y.( a.b )
−1 −1
:
⇔ x = a −1. y.a ∈ G
x = a −1. y.a
) G y %&
( ∀y ∈ G ) : ( a.b ) . y = y.( a.b )
−1 −1
. a.b ∈ Z ( G ) %&
−1
. ) f a %&
. ( G ,.)
( G ,.) ) > f a #
. ( G ,.) L$ "$ Z ( G ) #
. F
" o " ( (a (2 :3 -0 5
f a of b ∈ F ( . F f b وf a :(
: f a of b ( x ) . x ∈ G
. Τ
) "
$
E ."$ ( G,*)
f a of b ( x ) = f a ( f b ( x ) ) . > f : ( G ,*) → ( E , Τ )
= f a ( b.x.b −1 ) :
."$ ( f (G ) , Τ) (*
= a.b.x.b −1.a −1 = a.b.x. ( a.b ) = f ab ( x )
−1
. "$ ( f (G ) , Τ) '
"$ ( G ,*) 9 %& (*
( ∀x ∈ G ) : f a ofb ( x ) f ab ( x ) :%&
."$ ( E , Τ ) :%& f ( G ) = E :'
H
> > f %& (*
."$ !& "$
> &
)
9
:#! (2 f a of b = f ab :%&
: a ∈ G
a.b ∈ G %& :
&
) Τ
" )
* و$
A
b ∈ G
:
> 9)) %& )
%& ) ( A,*, Τ ) f ab ∈ F %&
. "$ ( A,*) (* ( ∀ ( f , f ) ∈ F ) : f of
2
∈F
a b a b
. Τ (* . F
" o " %&
* $
Τ (*
. ( F , o )
( G ,.)
> > h ( (* (b
:' !" h ( a.b ) = h ( a ) oh ( b ) :( . G bوa ←
. A ) &
) . Τ
) %& (*
h ( a.b ) = f ab = f a of b = h ( a ) oh ( b ) :
.
A ) &
) H Τ
) %& (*
G%<
$
" × " Τ
)
" + " *
) " $ (* . > h %&
$
.) 7 !
0 A
( 0 * a + ! # F f a +
> h
←
. 1A
( 1 Τ . G
. ( F , o )
( G ,.)
> > h #
: (3
) ( , +, × ) , ( , +, × ) , ( , +, × ) , ( , +, × ) .1 ."$ ( F , o ) ( (*
.
."$ ( G ,.) .
(
.
) F ( X , ) , +, × .2 ) . ( F , o )
( G ,.)
> > h
.
:'(
(4 ."$ ( F , o ) %&
:(1) (
:#!
(V
e <7 ) ( A,*, Τ )
.
4 $ (1
. ( ∀a ∈ A ) : aΤe = eΤa = e :
:
: !" . Τ * و4
) "
$
E
:N ( A, +, ×) ( A,*, Τ ) $ %& : %& )
%& * $
Τ &
)
( ∀a ∈ A) : a × 0 = 0 × a = 0
:* ( ∀ ( x, y, z ) ∈ E ) xΤ ( y * z ) = ( xΤy ) * ( xΤz ) (1)
3
:*
( aΤb )′ = aΤb′ :(
.( * + ) ( aΤb ) * ( aΤb′ ) = e :
10
( ∀x ∈ ) f .g = θ :%& : .
f ≠ θ , g ≠ θ , f .g = θ %&
( aΤb ) * ( aΤb′) = aΤ ( b * b′)
. ( F ( , ) , +,.) )
7 g وf &
)
= aΤe
:(1) =e
: !" :(
. 0 A <7 ( A, +, ×) ) . ε 4
) ( A,*, Τ )
: %&
%& ( A,*, Τ )
.2 :*
. ε ∈ U + U ≠ ∅ .
x ≠ 0
( ∀ ( x, y ) ∈ A2 ) y ≠ 0A ⇒ x. y ≠ 0A . U
Τ ( .
A
( xΤy ) ∈ U .( U y وx
:
. ( A, Τ )
y′′وx ′′ 6 @) %& U y وx
x = 0
( ∀ ( x, y ) ∈ A ) x. y = 0 A ⇒ y = 0A
(
2
. y ′′Τx′′
< 6 # xΤy %&
A
xΤy ∈ U %&
:
. U
Τ #
) ( , +, × ) ; ( , +, × ) ; ( , +, × ) ; ( , +, × ) .1 . U
%& . A
Τ .
.
( ∀a ∈ U ) : εΤa = aΤε = a : .
(
. ) F ( , ) , +, × .2 ) ε ∈U
:* #! (7 . U
< ε %&
:
'56(
#! (a . (U , Τ )
x′′ @6 ) #( x ∈ U .
:2
'56(
#! ← . ( A, Τ )
x′′ @6 ) %& x ∈ U
: x′′ ∈ U %& x
< @6 ) x′′
:> !
)) 9@ 2
7 . (U , Τ )
x′′
< @6 ) x %&
a c
. d , c, b, a F ."$ (U , Τ )
b d
:#! 5 6(
/$
(6
M 2 ( ) 9
7 G%<
$
:-
: /
0 M 2 ( ) ! : . θ :x→0 ( )
: <7 F ( , ) , +, × )
a c a ′ b′ a + a ′ b + b′ f : x → x − x :
+ = (←
b d c ′ d ′ c + c′ d + d ′ g : x → x + x :
a b a′ b′ aa′ + cb′ ac′ + cd ′ :
. = (← ( ∀x ∈ ) : ( f .g )( x ) = f ( x ) .g ( x )
c d c′ d ′ ba′ + db′ bc′ + dd ′
= ( x − x )( x + x )
= x − x2
2
= x2 − x2 = 0 = θ ( x )
11
: n #!
(b :(
: n
/
0
(
(
.
) M 2 ( ) , +, × )
x + y = x+ y 0 0
0= :
7 <7
x . y = x. y 0 0
:(
1 0
.
I = :"
7 4
. 1 4
0 <7
) ( n , +, × ) 0 1
: !" :3
'56(
#! ←
: ( n , +, × ) (* :
2.3 = 0 :> !
)) 9@ 3
7
2≠0 و3≠0 a11 a12 a13
.7 3 و2 %& aij ∈ F a21 a22 a23
a
. ) ( n , +, × ) %& 31 a32 a33
.
( n F ( n , +, × ) (* M 3 ( ) 9
7 G%<
$
: M 3 ( )
/
0 : .
( ∀x , y ∈ n )
a11 a12 a13 b11 b12 b13 a11 + b11 a12 + b12 a13 + b13
x . y = 0 ⇒ x. y = 0
a21 a22 a23 + b21 b22 b23 = a21 + b21 a22 + b22 a23 + b23
⇒ xy ≡ 0 [ n ] a
31 a32 a33 b31 b32 b33 a31 + b31 a32 + b32 a33 + b33
⇒ n xy
a11 a12 a13 b11 b12 b13 a11b11 + a12 b21 + a13b31
⇒ n x أو n y
a21 a22 a23 . b21 b22 b23 =
⇒ x ≡ 0 [ n ] أوy ≡ 0 [ n ] a a32 a33 b31 b32 b33
31
⇒ x = 0 أو y=0 : /
0 : ( $
:
7
. ) ( n , +, × ) %&
B = ( bij )1≤i ≤3 ; A = ( aij )1≤i ≤3
.
( n F ( n , +, × ) ) (* 1≤ j ≤3 1≤ j ≤ 3
. n1
C ) n %& S = ( Sij )1≤i ≤3
7 < A + B (*
1≤ j ≤3
n = n1 + n2 :
Sij = aij + bij :
.
C n2 %&
C n1
n1 ≡/ 0 [ n ] n × n1 %& 1 < n1 < n C = ( Cij )1≤i ≤3
7 < A .B
(*
1≤ j ≤3
n2 ≡/ 0 [ n ]
n × n2
1 < n2 < n
3
Cij = ∑ aik b jk F
n2 ≠ 0 وn 1 ≠ 0 : k =1
: 6
n1.n2 = n :
1 1 2 −1 1 −2 2 7 −1
n1.n2 = n :
n1.n2 = 0 : 2 −1 1 . 1 2 −1 = −2 2 −2
−1 1 1 1 2 1 3 3 2
.7 n2 وn %&
1
:(
. ) ( n , +, × ) :#
:(
7 <7
H ) M 3 ( ) , +, × ( )
.
( n %& )
%& ( n , +, × ) ) 1 0 0 0 0 0
I = 0 1 0 4
0 = 0 0 0 :
: 0 0 1 0 0 0
n∈ H ( n , +, × ) )
*
12
1 1 : .
A=
7 . ( 6 x ) ⇔ ( ∃x′ ∈ n ) : x .x′ = 1
1 1
.
) ) A < ) ⇔ ( ∃x′ ∈ ) : x.x′ ≡ 1[ n ]
a c ⇔ ( ∃x′, k ∈ ) : xx′ = 1 + nk
A. A′ = A′. A = I :F A′ = F
b d ⇔ ( ∃x′, k ∈ ) : xx′ − nk = 1
:
⇔ x ∧ n =1
:<
) )
%&
1 1 a c 1 0
A. A′ = I ⇔ . = U = { x ∈ n / x ∧ n = 1}
1 1 b d 0 1
: !"
a + b c + d 1 0 . "$ (U , × )
⇔ =
a +b c + d 0 1 Corps :/$&
(VI
a +b =1 : (1
c + d = 0 . Τ
*
) "
$
k
⇔
a + b = 0 : ) %& )
%& C ( K ,*, Τ ) &
)
c + d = 0 .
) ( K ,*, Τ ) (*
. %<
. Τ @6 ) ) 7 : (*
. A′
) ) 8 A %&
(
. 2 M 2 ( ) , +, × #
) : !"
( )
. 2 M 3 ( ) , +, × ( 27
. K C &
) Τ
) %& .1
:'(
(3 : %& )
%& ( K ,*, Τ )
.2
. ( K , +, × ) (
."$ K − {0 k } , Τ ) (*
. ( K , +, × ) x ≠ 0 .
: p × x x ≡/ 0 [ p ]
p ∧ x = 1 '
( p (
( ∀ ( x, y ) ∈ K ) : x. y = 0
2
k ⇒ x = 0k أو y = 0k :F V وU
Bezout %&
. )
< C :O pu + xv = 1
p.u + x .v = 1 :
:(3) (
. ( K , +, × )
(0 = p) x .v = 1 :
. v
< @6 ) x %&
a × x = b
.
) ) x ≠ 0 %&
−1
. x = a b
@ ) '
a ≠ 0 k %& (*
.C ( p , +, × ) #
. 4 2 '
b ≠ 0 k
a = 0 k %& (*
:(
S = K '
b = 0k
a = 0k %& (*
. C ( p , +, × ) '
( p %&
. x × a = b 5> 27
( M ( ) , +, ×) ) .3
2
.
) ( M ( ) , +, × ) .
2
13
:#)
:(1)
f : →
L= a :
x → ax / a ∈
. C ( L, +, ο ) :(
:(2)
a b
E = M ( a ,b ) = / a, b ∈
−b a + b
. C ( E , +, × ) (
Amine Attaiki