EVAS - TTI - Structuri algebrice pentru teoria codurilor

Structuri algebrice

( M,)

semi-grup ( este asociativ)

element neutru
la stga
la dreapta

(M1 M,)

( M,)

sub-semi-grup
( este i comutativ)

semi-grup comutativ
element neutru bilateral

(G ,)

grup = semi-grup cu simetrie

fa de elementul neutru e

sim( x ) : G G & x sim( x ) e

n

compoziie n secven finit

x1 x 2 x n x i
i 1

x x
x x n compoziie n secven finit repetitiv;

nN

x (n ) sim ( x ) n

x1 x 2 x n x i
i 1

xi

i 1

(G , )

nZ

; x0 e

compoziie n secven infinit numrabil

compoziie n secven cel mult numrabil

e 0 & sim ( x ) x

grup (n notaie de tip) aditiv

n

x1 x 2 x n x i

adunare n secven finit

i 1

x x
x x n adunarea n secven finit repetitiv
n

x ( n ) ( x ) n

x1 x 2 x n x i
i 1

nN

nZ

; x0 0

adunare n secven infinit numrabil

x i adunare n secven cel mult numrabil

i 1

(G ,)

grup (n notaie de tip) multiplicativ e 1 &

n

x1 x 2 x n x i produs n secven finit

i 1

EVAS

sim ( x ) x 1

EVAS - TTI - Structuri algebrice pentru teoria codurilor

x x x x n
produs n secven finit repetitiv
n

nZ

x n ( x 1 ) n ; x 0 1

x1 x 2 x n x i

nN

produs n secven infinit numrabil

i 1

x i produs n secven cel mult numrabil

i 1

[(G ,), ]

grup cu operator
(G ,)

( x ) : G M

= gup &

operator distributiv
( x y ) ( x ) ( y )

(G ,)

G (G )

operator necooperant

G (G )

operator cooperant
(G ) G

operator cooperant focalizant

G (G )

operator cooperant defocalizant

(G ) G

operator cooperant reproductor

G {x n | x e & n N}

&

grup monogen

(G , )

&

G {x n | x e & n N}

(G ,)

&

G {x n | x e & n N}

grup aditiv monogen

grup comutativ (abelian !) ( este i comutativ)

(G ,)

(G ,)

&

card(G )

(G ,)

&

card(G ) r

grup finit
&

G {x n | x e & n 0, r 1

grup finit monogen = grup ciclic

(G ,)

&

card(G ) r

&

G {x | x e & n 0, r 1

grup multiplicativ finit = grup multiplicativ ciclic

sg

(G1 G ,)

EVAS

grup multiplicativ monogen

sub-grup
2

EVAS - TTI - Structuri algebrice pentru teoria codurilor

criteriul subgrupului:
( I,,)

inel

( I, )

sg

( x G1 & y G1 ) x sim( y) G1

(G1 G ,)

grup aditiv comutativ &

( I,)

distributiv fa de

(I, )

inel comutativ ?
inel cu unitate ?
Inel cu divizori ai lui zero:

0 elementul neutru la
0 a div 0

a x a y a ( x y) 0
xy0

OBS 1:

xy0

b 0

& ab 0

deoarece putem avea n afar de

x y b 0;

dac

daca nu exist divizori ai lui zero atunci ( a 0 & a x a y ) x y

OBS 2:

Domeniu de integritate (inel de ntregi): inel

comutativ
cu unitate
fr divizori ai lui zero

ntr-un domeniu de integritate:

ab 0 a 0 b 0
an 0

si

( I1 I,,)

& nN a 0

sub-inel

criteriul subinelului:
id

sg

( I1 I,,)

( x I1 & y I1 ) ( x y) I1 & x y I1

( J I,,)

ideal ntr-un inel ?

( K ,,)

corp ?

F = cmp (corp comutativ !)

,1
} {0,1}
n particular F := GF(2) = { 0
mulimea polinoamelor cu coeficieni ntr-un cmp
F[x] =

j
{ f(x) a j x
j0

a j a j =

grad f ( x )

| N,

a j F

clas de resturi numerice mod 2

g ( x ) g j x j F[ x ] grad g ( x ) m
j0

Partiionare n clase de resturi polinomiale la mprirea cu g(x), clase de

echivalen mod g(x)
(x)}
F[x] / mod g(x) {c

EVAS

EVAS - TTI - Structuri algebrice pentru teoria codurilor

f(x) m-1 j
c(x) f(x) F[x] rest c(x) c j x , c j F
g(x) j0

m-1

f(x) F[x] f(x) c(x) c j x |mod g(x), c j F

j 0
T - Pentru g ( x ) F[ x ], grad g ( x ) m , ireductibil, mulimea F[x] / mod g(x)
are de asemenea structura algebrica de cmp (corp comutativ).
n demonstrarea acestui fapt esenial este inversabilirtatea elementelort nenule:

Fie F[x] / mod g(x); 0 deci g( x ) | mod g( x ) i deoarece g(x) este ireductibil
avem pentru cmmdc (, g ) 1 deci exist , astfek nct g 1 deci
1 g 1 | mod g de unde rezult c exist 1
Dac F=GF(2) atunci se noteaz F[x] / mod g(x) GF(2m ) i se numete cmp
Galois extins (avnd n vedere c are 2m elemente).
T - GF(2m ) \ {0} are structur de grup multiplicativ ciclic cu n 2 m 1 elemente.
T - Fie

n 2m 1; p(x ) x n 1, GF(2m ) \ {0} . Atunci

T Pentru

EVAS

g ( x ) g j x j ; g j GF( 2)
j 0

dac

g ( ) 0

p ( ) 0

atunci

g ( 2 ) 0; N