1 Nociones basicas

Definition 1.1.

Un conjunto (denotado con letras mayusculas
A,B,C,A,B,C, etc.) es una coleccion de elementos, usualmente denotados con letras minusculas (a,b,c,etc.). En los conjuntos no importa el orden de los elementos.

Si queremos indicar todos los elementos que pertenecen a un conjunto, los indicaremos entre llaves. Por ejemplo, A={a,b,c}A=\left\{a,b,c\right\}

Para indicar que un elemento xx pertenece a un conjunto AA escribiremos xAx\in A. El conjunto que no contiene ningun elemento se llama conjunto vacio y se escribe \varnothing.

Example 1.2.

\mathbb{N} es el conjunto de los numeros naturales.

\mathbb{Z} es el conjunto de los numeros enteros.

\mathbb{Q} es el conjunto de los numeros racionales.

\mathbb{R} es el conjunto de los numeros reales.

\mathbb{C} es el conjunto de los numeros complejos. ={a+bi:a,b}\mathbb{C}=\left\{a+bi\colon a,b\in\mathbb{R}\right\}.

Definition 1.3.

El producto cartesiano de dos conjuntos AA y BB se denota como A×BA\times B y se define por

A×B={(a,b)aA,bB}A\times B=\left\{(a,b)\mid a\in A,b\in B\right\}

Es decir, es el conjunto de todas las posibles parejas donde el primer numero pertenece al conjunto AA y el segundo pertenece al conjunto BB.

El producto cartesiano A×AA\times A se escribe A2A^{2}. En caso general, se define AnA^{n} como

An={(x1,x2,,xn)x1,x2,,xnA}A^{n}=\left\{(x_{1},x_{2},\ldots,x_{n})\mid x_{1},x_{2},\dots,x_{n}\in A\right\}
Definition 1.4.

Una operacion binaria interna * de un conjunto XX es una aplicacion

:X×X\displaystyle*\colon X\times X
X\displaystyle{}\longrightarrow X
(x,y)\displaystyle(x,y)
xy\displaystyle{}\longmapsto x*y

que a cada elemento (x,y)X×X(x,y)\in X\times X le asigna un unico elemento de XX, denotado por xyx*y. Para indicar que XX tiene una operacion binaria interna * habitualmente escribiremos (X,)(X,*).

Example 1.5.

En el conjunto de los numeros naturales, se pueden definir dos operaciones binarias internas:

+:×,(a,b)a+b+\colon\mathbb{N}\times\mathbb{N}\longrightarrow\mathbb{N},(a,b)\longmapsto a+b
:×\cdot\colon\mathbb{N}\times\mathbb{N}\longrightarrow\mathbb{N}

Decimos que eXe\in X es elemento neutro de (X,)(X,*) si ex=xe=xe*x=x*e=x para todo xXx\in X.

La operación interna en XX es asociativa si x(yz)=(xy)zx,y,zXx*(y*z)=(x*y)*z\;\forall x,y,z\in X. La operación interna * en XX es conmutativa si xy=yxx,yXx*y=y*x\;\forall x,y\in X.

El inverso de un elemento xXx\in X respecto de la operación interna *, si existe, es otro elemento yXy\in X tal que xy=yx=ex*y=y*x=e. El inverso de cada elemento es único cuando * es asociativa.

Proof 1.6.

Supongamos que existe y1,y2y_{1},y_{2} tal que y1x=ey_{1}*x=e y y2x=ey_{2}*x=e, con * asociativa.

y1=ey1=(y2x)y1=y2(xy1)=y2e=y2y_{1}=e*y_{1}=(y_{2}*x)*y_{1}=y_{2}*(x*y_{1})=y_{2}*e=y_{2}

El inverso de xx respecto de * se suele denotar x1x^{-1}.

Caso particular: si la operacion interna en XX es la suma ++, el elemento neutro se denota como 0 y el inverso, si existe, de un elemento xx se suele llamar opuesto y se denota como x-x.

Definition 1.7 (Grupo).

Un conjunto GG con una operacion binaria interna * es un grupo si tiene elemento neutro, si * es asociativa y si todo elemento de GG tiene inverso. Si ademas * es conmutativa, (G,)(G,*) es un grupo conmutativo o abeliano.

Definition 1.8 (Anillo).

Un conjunto AA con dos operaciones internas, denotadas ++ y \cdot, es un anillo si cumple:

  • (A,+)(A,+) es un grupo abeliano.

  • \cdot es asociativa.

  • Distributividad: x(y+z)=xy+xzx,y,zAx\cdot(y+z)=x\cdot y+x\cdot z\quad\forall x,y,z\in A

Si, ademas, existe elemento neutro respecto de la operación \cdot, será un anillo unitario. Si \cdot es conmutativa, AA es un anillo conmutativo.

Definition 1.9 (Cuerpo).

Un cuerpo es un anillo conmutativo unitario (X,+,)(X,+,\cdot) en el que, además, todo elemento distinto del elemento neutro de la suma tiene inverso respecto de \cdot.