Está en la página 1de 20

1

Estructuras algebraicas aplicadas a la descripcin y estudio de


eventos genticos
por
Stefany Moreno Gmez

Las matemticas son el alfabeto con el cual Dios ha escrito el Universo
Galileo Galillei (1564-1642)

La falta de relacin entre la Matemtica y la Biologa es o una tragedia
o un escndalo o un reto, es difcil decidir cul de las tres
Gian Carlo Rota (1932 - 1999)
















Introduccin:
Histricamente, la relacin entre la Matemtica y la Biologa no ha sido tan estrecha como
debera. Con trabajos de muchos investigadores se ha ido vislumbrando la necesidad de
tender un puente entre estas dos importantes ramas del conocimiento, y en especial
durante el ltimo siglo se han hecho grandes avances en cuanto a este propsito. Para
mantener esta tendencia es necesario conocer cada vez ms la utilidad y las posibilidades
ABSTRACT
En este documento se realiza una descripcin y recopilacin de los principales
modelos matemticos existentes para los procesos de sntesis de protenas y
herencia gentica.
En sntesis de protenas se expone una operacin entre los codones del ARN que
asigna a cada codn un nmero dentro de una estructura matemtica de 64
elementos.
En herencia gentica se presenta el desarrollo de una estructura matemtica
general para describir las probabilidades de expresin de conjuntos de alelos en un
cruce determinado.
Se indican las principales aplicaciones existentes de los modelos presentados en
cuanto a mutaciones en el VIH y por ltimo se disean aplicaciones hacia la
Matemtica al realizar una clasificacin de las lgebras bricas de dimensin 2
sobre Z/(2).
Palabras Clave: ADN, isomorfismo, Z/(4), Z/(64), frecuencias allicas, lgebras
con realizacin gentica, lgebras bricas..
2
que se generan al construir estos vnculos. El objetivo general de este trabajo es
presentar una introduccin a las relaciones que se han venido estudiando entre el lgebra
y la Gentica y, plantear herramientas para la resolucin de algunos problemas
propuestos. Es decir, esta monografa se propone brindar conceptos e ideas que permitan
la continuacin de estudios en cuanto a la relacin entre la Matemtica y la Biologa,
especialmente en el mbito de la Gentica. Los objetivos especficos son: En primera
instancia, realizar una recopilacin de los principales modelos matemticos en sntesis de
protenas y herencia gentica, lo cul es un gran aporte en cuanto a integrar este
conocimiento en un solo documento. Y como un segundo objetivo, construir
contribuciones en el estudio de la interrelacin entre el lgebra y la Gentica, hacia la
Matemtica. ste ltimo es el nico aporte al conocimiento que se realiza en la
monografa ya que el principal objetivo de sta es realizar una introduccin muy completa
que sintetice y extraiga las principales ideas de modelos en varias temticas biolgicas,
que permitan que el lector tenga herramientas precisas con las cules estudiar nuevos
problemas. Por lo anterior, se trata de entender mucho mejor el epgrafe de Rota, al
presentar resultados interesantes y novedosos que muestran todas las ventajas de un
tema como ste.

1. Antecedentes:

Para comenzar, se presentan algunos antecedentes de los anlisis matemticos que se
han hecho referentes a los procesos anteriormente mencionados. En cuanto a la
expresin de la informacin gentica, algunos autores han realizado trabajos extensos
entre los cuales se encuentran Snchez, Morgado y Grau. Sus aportes consisten en
construir una herramienta que permite estudiar las relaciones y propiedades de los
codones, como relaciones y propiedades de nmeros. En este ensayo se buscar
exponer las anteriores ideas para disear posteriormente una aplicacin en la
matemtica, ms especficamente en la Teora de Grupos e Isomorfismos.

Respecto a los modelos en sntesis de protenas, el conjunto de antecedentes se puede
ubicar en una lnea del tiempo desde 1856 hasta nuestros das, en la cual se hacen
explcitas algunas contribuciones hechas por cada investigacin al tema. En especial, se
puede destacar el trabajo realizado por Etherington, quien hizo uno de los aportes ms
importantes al plantear la caracterizacin de la herencia como un lgebra.
3

El estudio matemtico de la herencia comenz en 1856, cuando en un monasterio Gregor
Mendel hizo un estudio sobre la herencia en un tipo de guisantes. Sus resultados
evidenciaron la importancia de introducir las probabilidades para comprender las
diferencias presentes entre genotipos y fenotipos. Investigadores posteriores a Mendel,
como J ennings (1917), Serebrovskij (1934) y Glivenko (1936) aportaron a su trabajo, al
darle un carcter ms matemtico incluyendo casos diferentes a los trabajados por el
monje austriaco. La formulacin algebraica de la herencia se present en 1939, cuando
Etherington plante una estructura ms compleja que en los anteriores casos, conocida
como la estructura de lgebra. Este investigador pas de la bsqueda y anlisis de
algunos elementos matemticos en la herencia a caracterizarla en su totalidad como un
lgebra. Despus del trabajo hecho por este autor, considerado como el padre de las
aplicaciones del lgebra a la gentica, diferentes autores empezaron a estudiar las
caractersticas de la herencia desde las propiedades matemticas de un lgebra. Entre
estos se destacaron Schafer, Gonshor, Haldane, Holgate, Heuch y Wrz Busekros.

2. Un grupo de codones.

A continuacin se plantean las formulaciones que permiten construir una estructura de
grupo para los codones, dentro del primer proceso referenciado en la introduccin: la
sntesis de protenas. Para esto se realizar la construccin de un grupo de bases
nitrogenadas que permita disear el grupo de codones. Posteriormente, se buscar
generalizar la operacin del grupo de codones que como se ver ms adelante es
isomorfo a Z/(64).

2.1. Construccin de un grupo de bases nitrogenadas

Debido a que el conjunto de bases nitrogenadas en el ARN
1
tiene 4 elementos (A, C, G,
U), se buscar, en primera instancia, una estructura matemtica de 4 elementos que
permita dotarlo de una operacin. Ms especficamente, un grupo abeliano de 4
elementos. Aunque existen dos grupos abelianos de 4 elementos, en este ensayo se

1
Se trabajar con ARN porque el objetivo es analizar los codones los cuales se presentan dentro de la
sntesis de protenas cuando ya ha sido trascrito el ADN.
4
trabajar con Z/(4). As surge un primer problema para el lector acerca de los resultados
que se obtienen al trabajar con el grupo de Klein (V
4
). Segn lo anterior y al definir una
biyeccin en la cual se reemplaza 0 por A, 1 por C, 2 por G y 3 por U, se consigue la
estructura de suma para el conjunto de bases nitrogenadas expuesta en la Tabla 1.

Notando el grupo definido por la estructura de la Tabla 1 como B
4
y su operacin como - ,
se tiene que (B
4
, - ) es un grupo abeliano, ya que el procedimiento para construir este
grupo consisti en copiar Z/(4). Existe otra posible biyeccin en la cual se reemplaza 0
por U, 1 por G, 2 por C y 3 por A y se puede ver que sta va a generar otro grupo de
codones.

Tabla 1. Grupo de bases nitrogenadas copiado de Z/(4).
G C A U U
C A U G G
A U G C C
U G C A A
U G C A B
4


2.2. Construccin de un grupo de codones

Todos los posibles codones del ARN son 64. Teniendo en cuenta que anteriormente se
copi la estructura para las 4 bases nitrogenadas, a continuacin se procurar hacer lo
mismo para el conjunto de codones notado como C
g
. De esta forma, si se us el grupo de
residuos mdulo 4 para construir un grupo de bases nitrogenadas, se buscar construir
una biyeccin entre el grupo de residuos mdulo 64 y C
g
, para as llegar a la estructura de
grupo que se desea en el caso de los codones. Se presenta una biyeccin muy
interesante que tiene resultados muy tiles y que cumple con las condiciones
anteriormente mencionadas. Esta biyeccin est descrita en la Tabla 2.

Como se ve ms adelante, esta biyeccin proporciona resultados muy interesantes. De
aqu que sea inmediato el interrogante acerca del sentido de estas asociaciones, es decir,
la razn por la cual cada codn est asociado a un nmero determinado.
5

Para profundizar acerca de esta asociacin, se buscar construir una operacin entre
codones que se denomina suma de codones y que est notada por , de tal manera que
(C
g
, ) sea isomorfo a (Z/(64),+). Si se logra construir dicha operacin, el isomorfismo
encontrado determinar una biyeccin entre elementos de los dos conjuntos que permita
comprender mejor la Tabla 2.

Tabla 2. Biyeccin entre los elementos de C
g
y Z/(64).
2

* corresponde al aminocido codificado por ese codn.
A C G U

No
Codn * No Codn No Codn No Codn
A
0 AAA K 16 ACA T 32 AGA R 48 AUA I A
1 AAC N 17 ACC T 33 AGC S 49 AUC I C
2 AAG K 18 ACG T 34 AGG R 50 AUG M G
3 AAU N 19 ACU T 35 AGU S 51 AUU I U
C
4 CAA Q 20 CCA P 36 CGA R 52 CUA L A
5 CAC H 21 CCC P 37 CGC R 53 CUC L C
6 CAG Q 22 CCG P 38 CGG R 54 CUG L G
7 CAU H 23 CCU P 39 CGU R 55 CUU L U
G
8 GAA E 24 GCA A 40 GGA G 56 GUA V A
9 GAC D 25 GCC A 41 GGC G 57 GUC V C
10 GAG E 26 GCG A 42 GGG G 58 GUG V G
11 GAU D 27 GCU A 43 GGU G 59 GUU V U
U
12 UAA Y 28 UCA S 44 UGA - 60 UUA L A
13 UAC - 29 UCC S 45 UGC C 61 UUC F C
14 UAG Y 30 UCG S 46 UGG W 62 UUG L G
15 UAU - 31 UCU S 47 UGU C 63 UUU F U

Una primera opcin, un poco intuitiva, para definir la suma de codones es componente a
componente. Esta operacin ser notada como
1
. Es decir, para XYZ y ABC codones
dentro de C
g
, XYZ
1
ABC =(X - A)(Y - B)(Z - C) donde las sumas entre bases estn
dadas por (B
4
, - ). Teniendo en cuenta que (B
4
, - ) es isomorfo a (Z/(4),+), se tiene que el
grupo de codones definido con este algoritmo de suma se puede expresar como
)} 4 /( ), 4 /( ), 4 /( | ) , , {( ) 4 /( ) 4 /( ) 4 /( Z c Z b Z a c b a Z Z Z e e e = con la suma habitual
componente a componente.


2
(Tomada de Snchez et al, 2004).
6
Dentro del lgebra, es bien conocido un teorema que dice que
1 ) , ( ) /( ) /( ) /( = n m sii mn Z a isomorfo es n Z m Z , en donde ) /(mn Z es un grupo con
la operacin habitual para grupos de residuos y ) /( ) /( n Z m Z es un grupo con la
operacin componente a componente. Se puede aplicar este teorema a la operacin
definida anteriormente para el conjunto de los codones como sigue: teniendo en cuenta
que 4 no es primo relativo con 4 se tiene que ) 4 /( ) 4 /( ) 4 /( Z Z Z con la suma
componente a componente no es isomorfo a Z/(64) y por tanto, con este procedimiento de
suma no se llega al isomorfismo requerido.

Lo anterior implica que es necesario plantear una nueva operacin de suma de codones
para C
g
. Esta operacin estar notada por
2
y se define mediante el siguiente algoritmo
(planteado por Snchez et al, 2004):

1. Las bases correspondientes a la tercera posicin se suman de acuerdo a la tabla
de suma.
2. Si la base resultante est antes (una base si est antes que s misma) que las
bases sumadas (segn el orden A, C, G, U de B
4
), se lleva C para la suma de las
primeras componentes.
3. Luego se suman las primeras componentes (de acuerdo a la tabla) y si se cumple
(2) se lleva C para la suma de las segundas componentes.

Por ejemplo ACG +UUG
1. G +G =A.
2. Como A est antes que G se lleva C para la suma de las primeras componentes.
Por tanto A +U +C =U +C =A.
3. Como A est antes que A y que U se lleva C para la suma de las segundas
componentes. Por tanto C +U +C =A +C =C.
Entonces ACG +UUG =ACA.
Es importante resaltar que (C
g
,
1
) no es isomorfo a (Z/(64),+) entre otras razones porque
C
g
con la operacin componente a componente no forma un grupo cclico. Esto se puede
ver fcilmente si se hacen los anlisis para cada base al sumarla consigo misma, es decir,
al suponer que existe un generador y analizar las bases de las cules estara compuesto.

7
Segn lo anterior, el propsito es ver que (C
g
,
2
) es un grupo y que adems es cclico.
Entonces, si se logra corresponder el generador de este nuevo grupo con el de (Z/(64),+)
ya se tendra el isomorfismo. Para probar que es un grupo se necesitan mostrar tres
propiedades, a continuacin se mostrarn slo dos y se dejar como ejercicio la
asociatividad.

Modulativa. Se toma
g
C XYZ e con X, Y, Z bases nitrogenadas.
AAA
2
XYZ =XYZ.
Como A es el mdulo en B
4
, la suma de las terceras componentes es Z. Adems, como Z
no est antes que A, no se lleva C. Lo mismo sucede para la suma de las otras
componentes.

Invertiva. Se toma
g
C XYZ e .
Se necesita que para XYZ exista MNO tal que
XYZ
2
MNO =AAA
La base O existe ya que Z tiene inverso porque pertenece a B
4
. Como la base A est
antes que cualquier otra se lleva C para la suma de las primeras componentes.
4
B C X e - y por tanto tiene inverso, lo que implica que M existe. Como el resultado en la
suma de las primeras componentes es A se lleva C para la suma de las segundas. Puesto
que
4
B C Y e - su inverso existe, es decir N existe. Entonces el codn MNO existe.

Se puede ver que la propiedad conmutativa se cumple, ya que B
4
es un grupo abeliano.

Acerca del carcter cclico de (C
g
,
2
), se dir que AAC es el generador del grupo: Se
puede ver que al sumar AAC consigo mismo en la tercera componente se repite el ciclo
G, U, A, C. Como las dos bases que se encuentran antes de C son A y C la primera
posicin se mantiene constante hasta que se llegue a un codn cuya tercera posicin sea
U, donde se lleva C y cambia la primera posicin. Como se aprecia a medida que se dan
estos ciclos y van cambiando las bases de todas las posiciones, se logra generar todos
los codones.

8
Al corresponder AAC con 1, el generador de Z/(64), es claro que cada codn va estar
asociado a un nmero diferente en Z/(64). Esta asociacin fue planteada en la tabla 1.
Adems, el resultado no slo es una biyeccin, tambin es un homomorfismo. La
condicin del homomorfismo es importante ya que sta era otra forma de descartar la
operacin componente a componente.

Al analizar el sentido biolgico de estas asociaciones, se pueden encontrar algunas
regularidades. Entre las ms importantes se presentan las siguientes: El Codn de inicio
(AUG, metionina) es inverso a uno de los codones de parada. Concretamente para la
primera biyeccin la cual se expone en la tabla 1, AUG es inverso de UAG. Para la
segunda biyeccin posible AUG es inverso de UAA.

Cuando slo dos codones codifican para el mismo aminocido tienen la misma paridad.
Esto ser muy importante para entender la estabilidad y los mecanismos para disminuir
los errores presentes en el cdigo gentico: si cuando un codn muta cambia a otro que
codifica para el mismo aminocido, la mutacin no tendr ninguna incidencia. Por lo tanto,
si en el cdigo gentico la mayora de los errores preservan la paridad del codn, se
aumenta la probabilidad, tras una mutacin, de llegar a un codn que codifica para el
mismo aminocido.

Respecto a la operacin diseada para construir el isomorfismo del grupo de codones con
(Z/(64),+), tambin se puede ver que se obtuvo un algoritmo matemtico que parti de la
necesidad de construir un grupo cclico para los codones. Este algoritmo de suma se
puede generalizar para lograr que ) /( ... ) /( ) /(
2 1 n
m Z m Z m Z con
n
m m m ,..., ,
2 1

nmeros que no son primos relativos sea isomorfo a [ =
=
n
i
i
m W con W Z
1
) /( . Es claro que
la suma original de ) /( ... ) /( ) /(
2 1 n
m Z m Z m Z es componente a componente. Con
este procedimiento se toma el mismo conjunto, pero para trabajarlo con una operacin
distinta y por lo tanto el resultado es un grupo diferente a ) /( ... ) /( ) /(
2 1 n
m Z m Z m Z
con la suma cartesiana.

2.3. Aplicaciones: resistencia a inhibidores del VIH

9
Una mutacin dentro del material gentico de un organismo se puede apreciar como un
cambio de codones. Teniendo en cuenta que se construy una biyeccin en la cual cada
codn se encuentra asociado a un nmero, las mutaciones se pueden analizar como
cambios de nmeros. Para el caso del VIH, se sabe que hay dos enzimas que en
particular contribuyen a que este virus infecte una clula: la retrotranscriptasa, cuya
funcin es pasar la informacin de ARN a ADN, y la proteasa, cuya funcin es cortar el
material gentico de la clula husped para poder introducir el material vrico. Hasta el
momento se ha buscado disear inhibidores de estas enzimas para evitar la replicacin
del virus, aunque la alta tasa de mutaciones que presenta el VIH hace que se seleccionen
virus con mutaciones que les confieren resistencia a dichos inhibidores. Al entender la
mutacin matemticamente se presentan las siguientes regularidades que surgen de
analizar la cepa HBX2 en la cual para el 90% de los casos sucede que (Snchez et al.,
2004): si el codn resultante de la mutacin disminuye o mantiene el orden del codn
inicial o si el codn resultante de la mutacin mantiene la paridad (ambos pares o ambos
impares) respecto al codn inicial, la mutacin genera resistencia al inhibidor.

3. Un lgebra para la herencia gentica

A continuacin se hace un anlisis de las lgebras que se pueden trabajar para el caso de
la herencia. Como se plante en los antecedentes, el objetivo es construir estas
estructuras con base en las probabilidades que tiene cada alelo de expresarse.

3.1. Construccin de las lgebras con realizacin gentica.

3.1.1. lgebras gamticas

Se toman dos alelos } {
2 1
,a a . Partiendo de que stos tienen la misma probabilidad de
expresarse, se tienen los siguientes resultados frente a los fenotipos:

10






Este es un caso particular en el cual la probabilidad de expresin es la misma, pero en
general se pueden determinar estructuras ms generales con coeficientes de probabilidad
distintos para cada alelo. Estas estructuras sern denominadas como lgebras con
realizacin gentica.

3.1.2. lgebras con realizacin gentica

Supongamos que A es un lgebra sobre R de dimensin n. Se toma } {
n
a a ,...,
1
una base
de A que se identifica con el conjunto de alelos de un gen especfico y se define una
operacin en A dada por la siguiente expresin:

=
=
n
k
k ijk j i
a c a a
1

Con
n k j i
c
c
n
k
ijk
ijk
,..., 1 , ,
1
1 0
1
=
=
s s

=


La anterior estructura muestra que para el cruce de dos alelos, todos los alelos restantes
tienen cierta probabilidad de expresarse, la cual se encuentra entre 0 y 1. Ntese que esta
estructura es vlida para expresar la distribucin allica en una poblacin determinada.
Para posteriores estudios, se utilizar esta caracterstica para describir poblaciones.
Concretamente, en problemas planteados en cuanto a Autofertilizacin.

Es evidente que si hay una herencia simple, sin mutaciones ni recombinacin de la
informacin, al tener alelos
i
a y
j
a la probabilidad de expresin de cualquier otro alelo
.
1
a
2
a
1
a
1
a
) (
2
1
2 1
a a +
2
a
) (
2
1
2 1
a a + 2
a
11
diferente a stos ser 0, ya que en el genotipo del organismo slo se encuentra
i
a y
j
a .Para expresar matemticamente este caso, se introducir un coeficiente conocido
como la delta de Kronecker, que est dado por la siguiente frmula:

=
=
=
b a si
b a si
d
ab
1
0


Entonces en un lgebra con realizacin gentica, los productos entre alelos estn dados
por:

=
=
n
k
k ijk j i
a c a a
1

donde
) (
jk ik k ijk
d d c + =o
.
De aqu que
ijk
c
slo tendr valor cuando k =i o k =j. Es decir para
i
a y
j
a .
Por lo tanto

j j i i j i
a a a a o o + =

n j i ,..., 2 ,. 1 , =


donde los coeficientes de
i
a y
j
a son sus respectivas probabilidades de expresin.

El siguiente caso a considerar es herencia mendeliana simple con mutacin.
En este caso se definir
ik
o
como la probabilidad de que
i
a
mute en el alelo
k
a . Por ser
una probabilidad se tiene que 1 0 s s
ik
o y adems que

=
=
n
k
ik
1
1 o
.
Para analizar el cambio que se efecta en la definicin del lgebra, se debe calcular la
probabilidad de obtener un alelo
k
a del cruce de dos alelos
i
a y
j
a , la cual est dada
por:
12
) (
) (
1
1
jk ik s
sk js is
n
s
s
n
s
sk ijs
d d
c
o o o
o o
o
+ =
+ =

=
=


Para llegar a este resultado se aplica el mismo razonamiento que se haba trabajado
anteriormente, con el cual, usando la definicin de la delta de Kronecker, se reduce la
sumatoria a una expresin ms sencilla.

Entonces, para la herencia mendeliana simple con mutacin se tiene que los productos
estn dados por

=
=
n
k
k ijk j i
a c a a
1

donde
) (
jk ik k ijk
c o o o + =
.
Estos resultados son muy tiles ya que slo es necesario establecer las probabilidades de
mutacin de un alelo en otro, para organizar y comprender mucho mejor la informacin
acerca de las probabilidades fenotpicas de un organismo determinado.

Mediante la definicin de coeficientes, as como de estructuras algebraicas, se puede
analizar cualquier caso de herencia gentica con caractersticas especficas, aunque
acerca de lo anterior hay que tener cuidado en la manera de convertir informacin o
fenmenos especiales dentro de la gentica a coeficientes o trminos con sentido
matemtico.

Las lgebras con realizacin gentica dan lugar a estructuras muy interesantes dentro de
la matemtica denominadas lgebras bricas: Se dice que un lgebra A sobre un campo
K es brica si se puede construir un homomorfismo no trivial K A : e . Este
homomorfismo es conocido como funcin de peso u homomorfismo de peso.
Para mostrar que un lgebra con realizacin gentica es brica hay que considerar el
homomorfismo definido por n i con a
i
,..., 2 , 1 1 ) ( = = e .
13

A continuacin, como un aporte original de este trabajo, se presenta un proceso de
clasificacin de las lgebras bricas de dimensin 2 sobre Z/(2). Como se podr observar
a continuacin, todas las lgebras que surgen de la clasificacin son lgebras con
realizacin gentica.

Para empezar se plantearan todos las posibles lgebras bricas de dimensin 2 sobre
Z/(2) con sus respectivos homomorfismos de peso. Si se toman los elementos
1
e y
2
e con
la operacin se tiene que todas las posibles combinaciones que se pueden realizar son:
2 2 1 2 2 1 1 1
, , e e y e e e e e e . Por tanto, al hacer el producto de las posibilidades
que se tienen para definir cada operacin, se tiene que el total de posibles lgebras
bricas de dimensin 2 sobre Z/(2) es 16 (2
4
). Estas son expuestas en la Tabla 3. Ntese
que las anteriores son lgebras con realizacin gentica ya que los coeficientes de
1
e y
2
e en los resultados de las operaciones estn entre 0 y 1 (de hecho son 0 o 1) y su suma
es 1.

Tabla 3. lgebras Bricas de dimensin 2 sobre Z/(2)
1 1 1 2 2 2 1 2 2 2 2 1 1 1 2 1 2 2
1 1 2 1 2 1 2 2 2 2 1 2 1 2 1 1 1 2
1 2 1 1 1 2 2 2 2 1 2 2 2 1 1 1 2 1
2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1
16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e
e e e e e e e e e e e e e e e e e e

u u u u u u u u u u u u u u u u

Debido a que la caracterstica principal de las lgebras bricas es la existencia de un
homomorfismo no trivial en el campo, las posibles funciones de peso que pueden tener
las anteriores lgebras en Z/(2) son:

1.
1 ) (
1 ) (
2
1
=
=
e
e
e
e

2.
0 ) (
1 ) (
2
1
=
=
e
e
t
t

14
3.
1 ) (
0 ) (
2
1
=
=
e
e



Ser muy importante para prximas pruebas tener presente que tanto t como son
funciones en las cuales la imagen de elementos diferentes es distinta.
Al estudiar este tipo de lgebras bricas se concluye que la funcin e se comporta como
homomorfismo de peso para cualquier lgebra
3
:

{ } y x z con e
e e e e
z
y x y x
, 1 1 ) (
) ( ) ( ) (
e - =
- =
e
e e e

Se puede observar que este resultado es vlido en cualquiera de las 16 lgebras
expuestas anteriormente ya que sin importar la operacin siempre se mantendr la
igualdad necesaria para que se tenga un homomorfismo.

Respecto a los otros homomorfismos posibles es necesario establecer ciertas condiciones
dentro de la estructura de lgebra a analizar. La primera condicin es que los dos
elementos del lgebra deben ser idempotentes. Es decir, para
x
e en un lgebra A es
necesario que
x x x
e e e = . Esto se muestra a continuacin:

) ( ) ( ) (
) ( ) (
) ( ) (
) ( ) ( ) (
) ( ) ( ) (
) ( , . lg
2
x x x x
x y
x y
x x y
x x x x
x
y x
e e e e Entonces
e e que tiene se de definicin Por
e e si solo y si igualdad esta tiene se Z En
e e e
e e e e
A de peso de funcin una fuera si
entonces e idempotent es no e que Supongamos
y x A e e ebra un A
t t t
t t t
t t
t t t
t t t
t
- =
=
=
- =
- =
= e


Esta prueba se puede construir anlogamente para
y
e y para la funcin .


3
La operacin - es el producto usual de Z/(2).
15
Otra condicin que se tiene para que una de las 16 estructuras presentadas anteriormente
tenga entre sus homomorfismos de peso a t o a es que sea conmutativa. La prueba
se presenta a continuacin:

a conmutativ sea no A que con contradice se que Lo
e e e e
A de peso de funcin una es Como
e e e e
que tiene se Z en a conmutativ es Como
e e e e
entonces A de peso
de funcin una es que y a conmutativ es no A que Supongamos
e e e e que
deduce se donde de e e e e entonces a conmutativ es no Si
) ( ) (
) ( ) ( ) (
) ( ) ( ) (
) ( ) (
1 2 2 1
1 2 2 1
2
2 1 2 1
1 2 2 1
1 2 2 1



t t
t
t t t
t t t
t
t t
=
- =
-
- =
=
=

Esta prueba se puede construir anlogamente para la funcin .

Por tanto para que un lgebra brica de dimensin 2 sobre Z/(2) tenga entre sus
homomorfismos de peso a t o a es necesario que en sta sus dos elementos sean
idempotentes y adems sea conmutativa. Las nicas lgebras que satisfacen estas
condiciones son
8 2
u u y . Al hacer las operaciones es claro que los homomorfismos de
peso de
2
u son e y y que los homomorfismos de peso de
8
u son e y t .

Se ha construido una caracterizacin de las 16 lgebras anteriores con respecto a su
carcter brico. De lo anterior se ha concluido que a excepcin de
8 2
u u y todas las
lgebras bricas de dimensin 2 sobre Z/(2) tienen a e como su nica funcin de peso.

Para continuar con la clasificacin es necesario determinar cules lgebras son isomorfas
para tener un nmero exacto de lgebras bricas de dimensin 2 sobre Z/(2). Los dos
isomorfismos posibles son
2 2 1 2
) ( , ) ( e e e e = = y
1 2 2 1
) ( , ) ( e e e e = = . El primer
isomorfismo es trivial ya que implicara que la definicin de la operacin sea la misma
para las dos lgebras, es decir, que sean la misma estructura. Por tanto la nica funcin a
considerar ser .
16
Es necesario recordar que si dos lgebras son isomorfas, tienen las mismas propiedades.
Las caractersticas que se tendrn en cuenta son la conmutatividad y el nmero de
elementos idempotentes. Por tanto, se pueden construir conjuntos de lgebras con las
mismas propiedades que permiten analizar mejor cuales sern isomorfas entre s:

lgebras conmutativas con 2 idempotentes:
8 2
u u y .
lgebras conmutativas con 1 idempotente:
13 9 5 1
, , u u u u y .
lgebras conmutativas sin idempotentes:
16 10
u u y .
lgebras no conmutativas con 2 idempotentes:
7 6
u u y
lgebras no conmutativas con 1 idempotente:
12 11 4 3
, , u u u u y .
lgebras no conmutativas sin idempotentes:
15 14
u u y .

Debido a que en cada conjunto las lgebras tienen las mismas propiedades es ms fcil
determinar los isomorfismos ya que por la propiedad recordada anteriormente slo se
pueden presentar entre lgebras del mismo conjunto.

Realizando los anlisis con en cada uno de los conjuntos se obtiene que las siguientes
lgebras son isomorfas:

11 4 13 5
16 10 9 1
12 3 8 2
u ~ u u ~ u
u ~ u u ~ u
u ~ u u ~ u


Y que las siguientes no lo son:
15 14
7 6
u ~
/
u
u ~
/
u


En general se pueden estudiar lgebras con mayor dimensin y sobre campos ms
complejos que Z/(2) pero es necesario definir mtodos ms eficientes para encontrar los
isomorfismos entre lgebras. Por ejemplo para lgebras bricas de dimensin 3 sobre
Z/(2) las posibilidades ascienden de 2
4
a 3
9
.
17

Conclusiones y Recomendaciones

Se mostr a lo largo de este trabajo que existe una gran interrelacin y comunicacin
temtica entre la Biologa y la Matemtica, la cul le permite a la primera contar con
herramientas rigurosas y robustas para enfrentar su estudio. As mismo, la segunda se
nutre de estructuras matemticas novedosas que amplan su rea de aplicacin y
conocimiento, a la vez que posibilita el carcter de prediccin cientfica de la primera.

En cuanto a los modelos construidos para la sntesis de protenas se concluye que el
estudio de las mutaciones puede realizarse mediante la bsqueda de regularidades y
propiedades numricas. As mismo, respecto al trabajo realizado en herencia gentica, se
obtiene que es posible la construccin algebraica de estructuras estocsticas que
describan y organicen la informacin relativa a las frecuencias allicas de una poblacin
determinada. Estas estructuras permiten concluir que la herencia gentica no es
asociativa, lo cul puede ser apreciado en la siguiente construccin:

1 0
1 0 0
1 0 0
1 0 0 1 0 0
4
1
4
3
4
1
4
1
2
1
)
2
1
2
1
(
2
1
2
1
)
2
1
2
1
( ) (
a a
a a a
a a a
a a a a a a
+ =
+ + =
+ + =
+ =

1 0
1 0 1 0 0
2
1
2
1
) (
a a
a a a a a
+ =
=


En general, para un conjunto de poblaciones determinado se concluye que el orden de
cruce entre stas incide en el componente gentico de la poblacin resultante.

Por ltimo, a partir del proceso de clasificacin de lgebras bricas se concluye que las
lgebras de dimensin 2 sobre Z/(2) son 11 y corresponden a las siguientes:
15 14 10 8 7 6 5 4 3 2 1
, , , , , , , , , u u u u u u u u u u u y . Cabe aclarar que se incluye
8
u ya
que a pesar de que es isomorfa con
2
u no comparte los mismos homomorfismos de
peso y por tanto no corresponde a la misma lgebra brica.

18
El trabajo desarrollado en esta monografa sugiere que es absolutamente indispensable la
continuacin de estudios como ste en los cules se analice a fondo la relacin entre la
Biologa y la Matemtica. Con el nimo de orientar este proceso se presentan a
continuacin algunos posibles lineamientos y problemas para futuras investigaciones: En
primera instancia, dentro de la Teora matemtica de los Cdigos se encuentra un tema
muy interesante que aborda la problemtica de los mecanismos de correccin que posee
el cdigo gentico para disminuir la incidencia de errores en la informacin gentica. El
objetivo sera encontrar las palabras y los mecanismos de transmisin presentes en el
cdigo gentico que permiten la expresin del ADN. Una segunda posibilidad es la
continuacin de estudios en mutaciones de virus, bacterias o protenas, a partir del
mtodo numrico diseado en la seccin de sntesis de protenas. Es decir, mediante la
asociacin planteada entre un codn y un nmero buscar regularidades en mutaciones de
distinta naturaleza y con distintos efectos. De otro lado, como un tercer problema, se tiene
que en el campo de la herencia, hay una conjetura acerca de la autofertilizacin y su
posible interpretacin matemtica. La conjetura dice que si se realiza el proceso de
autofertilizacin continuamente con una poblacin P, los heterocigotos tendern a
desaparecer. Con las lgebras definidas anteriormente, se tiene un avance en el sentido
que una poblacin se puede definir como coeficientes de distribucin de todos los
genotipos posibles para un gen determinado. Por ejemplo para un gen con alelos A y a
se puede partir de que aa Aa AA P | o + + = . El objetivo sera mostrar que | tiende a 0
a medida que el nmero de generaciones aumenta. Un cuarto problema para futuros
estudios, consiste en plantear nuevas biyecciones entre el conjunto de bases y Z/(4) . Es
decir, plantear asociaciones diferentes entre las bases y los nmeros para as disear
nuevas estructuras de suma para los codones. Ntese que no se presento una razn
biolgica concreta que determinara ese tipo de asociaciones. Por ltimo, se tiene que otro
problema posible es generalizar la clasificacin de las lgebras bricas. Es decir, analizar
estructuras ms complejas y con mayor dimensin que permitan obtener una regularidad
general para la clasificacin.

Las anteriores estructuras, conjeturas y conclusiones son una pequea introduccin al
universo de posibilidades que tienen las relaciones entre la matemtica y la biologa, que
llama cada vez ms a la siempre til interdisciplinariedad de las ciencias.


19
REFERENCIAS:


1. AUBRY, G. (2001). Algebraic Approach to Population Genetics. cole
Polytechnique Fdrale de Lausanne.

2. BRITTON, N. (2003). Essential Mathematical Biology. Springer Verlag. Centre for
Mathematical Biology, Londres.

3. CAICEDO, F. (2004). Teora de Grupos. Universidad Nacional de Colombia. Pro-
Offset Editorial Ltda. Bogot.

4. CUMMINGS, M., KLUG, W. (1999). Conceptos de Gentica. Prentice Hall. Quinta
edicin. Madrid.

5. ETHERINGTON I. M. H. (1939). Genetic Algebras. Proc. Roy. Soc. Edinburg 59
242 258.

6. GONSHOR H. (1965). Special Train Algebras arising in Genetics. Proc. Edinburg
Math. Soc. (2) 14 333 338.

7. HOLGATE, P. (1978). Selfing in Genetic algebras. J ournal of Mathematical
Biology. Pgs. 197 206.

8. LAM, T.Y. (1991) A first course in Nonconmutative Rings. Springer Verlag. Nueva
York.

9. LANG, S. (1965) Algebra. Addison Wesley Publishing Company. Columbia
University. Nueva York.

10. LYUBICH, Y.I. (1992) Mathematical structures in Population Genetics. Springer
Verlag. Nueva York.

20
11. PAUL TIAN, J . Algebraic Structure of non-Mendelian inheritance. Mathematical
Biosciences Institute. The Ohio State University, Colombus OH 43210.

12. ______________, LI, B. (2004) Coalgebraic structure of genetic inheritance.
Mathematical biosciences and engineering. Volumen 1, Nmero 3.

13. REED, M. (1997) Algebraic structures in genetic inheritance. American
Mathematical Society. Volumen 34, Nmero 2. Pg. 107-130.

14. SNCHEZ, R.; MORGADO, E.; GRAU, R. (2004) Gene Algebra from a Genetic
Code Algebraic Structure. Research Institute of Tropical Roots, Tuber Crops and
Banana (INIVIT). Biotechnology Group. Santo Domingo. Villa Clara. Cuba.

15. SCHAFER, R. D. (1947) Structure of genetic algebras. The Institute of Advanced
study.

16. WRZ BUSEKROS, A (1974). The zygotic algebra for sex linkage. J ournal of
Mathematical Biology. Pg. 359 371.

17. _______________ (1980). Algebras in Genetics. Springer Verlag. Lecture Notes
in Biomathematics, 36. Berlin.






Este artculo se desprende del trabajo de grado realizado por la autora, bajo la
orientacin y asesora del profesor J ess Hernando Prez de la Universidad
Sergio Arboleda, como requisito acadmico para obtener el ttulo de bachiller en el
Instituto Alberto Merani, el cul le fue otorgado en diciembre de 2006.

También podría gustarte