1 Capı́tulo uno: preliminares relacionados con la

teorı́a de gráficas, teorı́a de grupos y teorı́a de

números
1.1 Teorı́a de gráficas
La teorı́a de gráficas es una rama de las matemáticas que tienen un origen
antiguo que se remonta desde la época de Leonhard Euler, sin embargo sus
resultados son una herramienta importante para el tratamiento de muchas
aplicaciones dentro de muchas áreas de investigación como la quı́mica, sis-
temas dinámicos, investigación de operaciones, entre otras.
Sus resultados estan relacionados con otras ramas de las matemáticas como son
Topologı́a, álgebra lineal y combinatoria .En este capı́tulo iniciaremos presen-
tando los conseptos fundamentales y resultados importantes que nos servirán
para el desarrollo de los capitulos siguientes.

En 1736, le plantearon a Leonard Euler el ”Problema de los puentes de Konigs-

berg”, ciudad formada por las riberas y por dos de las islas del Rı́o Pregel.
Ambas islas estaban comunicadas entre sı́ mediante siete puentes, como se
muestra en la figure 1. El problema consiste en encontrar un paseo que inicie
y termine en el mismo sitio, atravesando todos los puentes de la ciudad sin
pasar dos veces por ninguno de ellos.

Figure 1: Los puentes de Konisberg

1
 Euler bosquejó el problema, representando a las ciudades mediante puntos
y a los puentes simbolizándolos mediante lı́neas, obteniendo la figure 2.

Figure 2: Gráfica de los puentes de konisberg

A esta estructura se le llamó posteriormente ”gráfica”, nombre intro-

ducido en 1887, por el matemático ingles James Sylvester.
Con ello introducimos y definimos una gráfica como sigue:
Definición:
Una gráfica G=(V,E,f) es una terna que consta de:
• Un conjunto finito V=V(G) cuyos elementos se llaman vértices o
nodos de G.

• Un conjunto finito E=E(G) cuyos elementos se llaman aristas o

ramas de G.

• Una función f : V (G) −→ V (G) denominada la función de inci-

dencia para G, donde V (G)xV (G) es un conjunto de parejas no
ordenadas, no necesariamente distintas.

Una gráfica G que consta de un sólo vértice, se llamará gráfica triv-

ial, en caso contrario G se llamará gráfica no trivial.

En algunos casos se requerirá señalar o asignarle un sentido a las aristas,

a este tipo de esquemas les llamaremos Digráficas.

2
Ejemplo: Sea G=(V(G),E(G),f) dado por V(G)=1,2,3,4 y E(G)=A,B,C,D,E,F,G
y la función de incidencia f definida mediante: f(A)=(2,3), f(B)=(3,2),
f(C)=(1,2), f(D)=(2,1), f(E)=(2,4), f(F)=(3,4), f(G)=(1,4).Tenemos que
su gráfica correspondiente a G se bosqueja en la Figure 3.

Figure 3: Ejemplo de una gráfica

Un ejemplo de digráfica es el que se muestra en la Figure 4.

Figure 4: Ejemplo de una digráfica

En las siguientes definiciones se destacan la clasificación que se les suele

dar a las aristas de una gráfica:
Definición: Si e es una arista de G y f(e)=(u,v), se tendrán que u y v
son los extremos de a. Si e es tal que f(e)=(u,u), entonces e es un lazo
y, si para e 6= e0 f (e) = f (e0 ),entonces e y e’ se dicen aristas paralelas

3
o múltiples.

Un ejemplo de una gráfica con lazo se muestra en la Figure 5:

Figure 5: Gráfica con lazo en el vértice 1

Una gráfica con aristas paralelas viene ejemplificado en la Figure 6:

Figure 6: Gráfica con aristas paralelas

Definición: Dos vértices se dicen adyacentes si existe una arista que

los tiene por extremos. Se denota u adyG v. Dos aristas son adyacentes
si tienen un extremo en común y, una arista y un vértice inciden si éste
último es un extremo de la arista.
Ejemplo: en la Figure 7 son vértices adyacentes a y c, a y d, a y e.

4
 Figure 7: Vértices adyacentes

A continuación introducimos la definición de subgráfica:

Definición: Sean G =(V,A) y G’=(V’,A’) dos gráficas. Diremos que

G’ es subgráfica de G, denotada por G’ si: V 0 ⊆ V , A0 ⊆ A y f(G’) es
la restricción de f(G) a A(G’).

Si G0 ⊆ G pero G0 6= G, G’ se dice subgráfica propia de G. Las subgráficas

pueden clasificarse en distintas categorı́as dados por:
• G’ es Generadora de G, cuando V’=V.

• G’ es inducida por V’ si su conjunto de vértices es V’ y sus aristas

las de G que tienen sus dos extremos en V’. Se denota por < V >.

• G’ es inducida por A’ si su conjunto de aristas es A’ y cuyos vértices

son los extremos de las mismas. Se denota < A0 >.

• G-V’ es la subgráfica inducida por V-V’.

• G-A’ es la subgráfica cuyas aristas son A-A’, y cuyos vértices son

los extremos de las mismas

Ejemplo: En la Figure 8 se muestra una gráfica y sus respectivas

subgráficas.

Ahora introduciremos la noción de grado de un vértice:

Definición: Sea vV (G), se define el el grado o valencia de v como

5
 Figure 8: Subgráficas

el número de aristas que inciden en dicho vértice. Se denota por

DegG v
Tenemos que si DegG v = 0, diremos que v es un vértice aislado.
Definición: Sea aV (G), se denota por:
• indeg(a): número de aristas dirigidas que entran al vértice a.
• outdeg(a): número de aristas dirigidas que salen del vértice a.
Definición: Se llamará camino a una sucesión alternada de vértices
(no necesariamente distintos) que parten de un vértice u y concluyen en
un vértice v, denotada por: w = (u = v0 , v1 , ..., vk = v) tal que vr y vr+1
forman una arista r 0, 1, ..., k, con u,vV (G). Un camino se dice cerrado
o ciclo, si el vértice inicial y el final coinciden.

Definición: Un camino en el que no se repiten aristas se llamará

paseo.
Un paseo en el que no se repiten vértices se llamará trayectoria.

6
Definición: Un camino con vértice inicial u y vértice final v se llamará
uv-camino y su longitud es el número de aristas que lo conforman.

Definición: Se llamará punto f ijo a un ciclo de longitud 1.

Definición: Una gráfica G es conexa si y solo si para cualquier par

de vértices de G existe una trayectoria que los une.

Definición: Las componentes conexas de una gráfica G, son las subgráficas

de G que son que son maáximas con respecto a la propiedad de ser
conexas.

Definición: Sea D una digráfica,Se llamará :

• Digráfica regular: si el grado de entrada para cada vértice es 1.

• Digráfica semirregular: si existe un número positivo d tal que cada

vértice, o tiene grado d ó tiene grado 0.
A continuación introduciremos un tipo de gráficas muy utilizadas en
muchos esquemas matemáticos: Los árboles, cuya particularidad radica
en el hecho de que son gráficas mı́nimas con respecto a la propiedad de
ser conexas.

Definición: Un árbol es una gráfica conexa sin ciclos no triviales.

Figure 9: Ejemplo de árbol

7
1.2 Teorı́a de grupos
La teorı́a de Grupos, es una diciplina que se encarga de estudiar las
estructuras algebraicas denominados ”grupos”, su trabajo consiste en
describir su clasificación, ası́ de sus propiedades y aplicaciones. Dicho lo
anterior, las raı́ces históricas de la teorı́a de grupos se fundamenta en la
teorı́a de las ecuaciones algebraicas, ası́ como de la geometrı́a y la teorı́a
de números. Por consiguiente, Evariste Galois(1811-1846, matemático
francés) es reconocido como el primer matemático quién relacionó la
teorı́a de grupos con la teorı́a de Cuerpos; de tal forma que dan orı́gen a
la famosa ”teorı́a de Galois”. Con ello es en esta parte donde Galois in-
troduce la palabra ”grupo”[14]. Hay que destacar que otros importantes
matemáticos que contribuyen a la estructuración de la teorı́a de grupos
son: Cayley, Emil Artin, Emily Noether, Peter Ludwing, Mejdell Sylow,
A.G Kurosch, entre tantos más. Asi mismo, Walter Dick es quién en 1882
da la definición moderna de grupo y es el primero en definir ”el grupo
libre”, el cual es engendrado por un número finito de generadores.

Definición: Dado un conjunto no vacı́o G, una operación binaria sobre

G es una aplicación de GxG en G.

Definición: Un grupo viene definido por un conjunto G y una op-

eración binaria(representada por *)

GxG −→ G

(g1, g2) 7−→ g1 ∗ g2

verificando las siguientes propiedades:

• propiedad asociativa: ∀g1, g2, g3G,

g1 ∗ (g2 ∗ g3) = (g1 ∗ g2) ∗ g3

8
 • propiedad del elemento neutro: Existe un elemento eG tal que para
todo gG,

g∗e=e∗g =g

• propiedad del inverso: Para todo gG, existe hG tal que:

g∗h=h∗g =e

Al elemento h se le denomina un inverso de g.

Ahora, si ocurre que g ∗ h = h ∗ G para cualesquiera g, hG, entonces el
grupo se dice que es conmutativo o abeliano.
Observaciones:
*El elemento e es único.
*Cada elemento de un grupo tiene un único inverso.

Ejemplos:

• El grupo trivial:
Todo conjunto formado por un único elemento e esun grupo bajo
la operación definida por e · e = e.Este grupo es claramente conmu-
tativo, la asociatividad es trivial, e es la identidad y además es su
propio inverso. Un grupo de esta forma diremos que es un grupo
trivial.

• El conjunto de los números enteros Z tiene estructura de grupo con

respecto a la suma usual.

• El conjunto {[a]Zm |mcd{a, m} = 1}, es un grupo con respecto del

producto de clases llamado el grupo de las unidades de Zm

9
1.3 Teorı́a de números
La Teorı́a de Números se inicia con el matemático griego Diofanto de
Alejandrı́a en el siglo III d.C. Diofanto escribió trece libros dedicados
a la resolución de ecuaciones algebraicas. En dichos libros intentaba
dar métodos de resolución de ecuaciones algebraicas buscando encontrar
soluciones enteras o racionales. Uno de sus problemas más famosos es el
siguiente:

¿Qué números son la suma de dos números al cuadrado?

En 1621 C. G. Bachet elabora la traducción al latı́n de seis de los

primeros libros de Diofanto con el nombre de “Aritmética”. A saber, la
traducción fué la fuente de inspiración para quien después se le conocerı́a
como el padre de la Teorı́a de Números: Pierre de Fermat (1601-1665) [3].

10