23.11.2014 Views

Cuaderno III: Estructuras algebraicas.

Cuaderno III: Estructuras algebraicas.

Cuaderno III: Estructuras algebraicas.

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6<br />

mx+nx = (m+n)x m(nx) = (mn)x x m·x n = x m+n (x n ) m = x nm<br />

pues, por ejemplo<br />

(n) (n) (m) (n) (mn)<br />

m(nx) = (x+...+x)+(x+...+x)+ ... +(x+...+x) = x+x+....+x = (mn)x<br />

d) Si A tiene otra l.c.i., ∆, diremos que ∆ es distributiva respecto a • si se verifica<br />

(∀x,y,z∈A) (x∆(y•z) = (x∆y)•(x∆z) ∧ (y•z)∆x = (y∆x)•(z∆x))<br />

que en el caso de ser ∆ conmutativa se reduce a una sola igualdad.<br />

Ejemplo <strong>III</strong>.1.7<br />

En el conjunto R con las l.c.i. + y · se verifica<br />

a(b+c) = ab+ac<br />

por lo que el producto de números reales es distributivo respecto de la suma y sin<br />

embargo la suma no es distributiva respecto al producto ya que, en general<br />

a+(bc) ≠ (a+b)(a+c)<br />

como fácilmente puede comprobarse. En P(E) con las l.c.i. de unión e intersección<br />

tenemos que<br />

una es distributiva respecto de la otra.<br />

A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)<br />

A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)<br />

En una estructura con l.c.i. (A,•) podemos distinguir los siguientes elementos particulares:<br />

a) e∈A es elemento neutro si verifica<br />

(∀x∈A) (e•x = x•e = x)<br />

igualdades que se reducen a una sola si la l.c.i. es conmutativa. El elemento neutro puede<br />

existir o no, pero si existe es único, ya que si hubiera dos e 1 y e 2 tendríamos<br />

e 1 neutro ⇒ e 1 •e 2 = e 2 ⎪<br />

⎪ ⇒ e1 = e 2<br />

e 2 neutro ⇒ e 1 •e 2 = e 1 ⎪<br />

Si se utiliza notación aditiva, el neutro suele designarse por el símbolo 0 y en el caso de<br />

notación multiplicativa por el símbolo 1 y se denomina elemento unidad. Si e∈A verifica<br />

solamente<br />

(∀x∈A) (e•x = x)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!