Resúmenes Álgebra y Lógica

Libro de Resúmenes — XX CCM (2015)
Encontrará en este Tomo los resúmenes de las

charlas, en las áreas de Álgebra, Combinatoria y
Teoría de Números, y Lógica, presentadas en el
marco del XX Congreso Colombiano de
Matemáticas.
Evento organizado por la Sociedad Colombiana de

Matemáticas y la Facultad de Ciencias Exactas y
Naturales de la Universidad Nacional de Colombia –
Sede Manizales y llevado a cabo en el Campus La
Nubia de dicha Universidad entre el 21 y el 24 de
Julio de 2015.
Julio de 2015
Comité Organizador
Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

ÁLGEBRA, COMBINATORIA Y TEORÍA DE

NÚMEROS

Libro de Resúmenes — XX CCM (2015) — Pág. 1–1
Facultad de Ciencias
Exactas y Naturales
XX Congreso Colombiano de Matemáticas
Pointed Hopf algebras with finite Gelfand-Kirillov dimension

Nicolás Andruskiewitsch1 , Iván Ezequiel Angiono1 , István Heckenberger2
1
Facultad de Matemática, Astronomı́a y Fı́sica, Universidad Nacional de Córdoba, Córdoba, Argentina, Colom-
bia, e-mail: andrus@famaf.unc.edu.ar, angiono@famaf.unc.edu.ar
2
Philipps Universität Marburg, Marburg, Alemania, email: heckenberger@mathematik.uni-marburg.de
Keywords: Hopf algebras, Gelfand-Kirillov di-

mension.
Abstract:
This is a report on work in progress on the classifi-
cation of pointed Hopf algebras with finite Gelfand-
Kirillov dimension and abelian group.
References
[1] N. Andruskiewitsch; I. Angiono; I. Heck-
enberger, On pointed Hopf algebras with finite
Gelfand-Kirillov dimension, in preparation.

Exactas y Naturales
Some Contributions to the Theory of Transformation Monoids

A. Ballester-Bolinches1 , E. Cosme-Llópez1 , P. Jiménez-Seral2
1
Departament d’Àlgebra, Universitat de València; Dr. Moliner, 50; E-46100 Burjassot (València), Spain, email:
Adolfo.Ballester@uv.es, Enric.Cosme@uv.es
2
Edificio de Matemáticas, Universidad de Zaragoza; Pedro Cerbuna, 12; E-50009 Zaragoza, Spain, email:
Paz@unizar.es
Keywords: Monoids, transitive monoid actions, orems of the classical theory of permutation groups
faithful monoid actions, primitive monoid actions. but also contains substantial information about the
algebraic structure of the transformation monoids
which helps us to better understand these algebraic
objects. Open questions naturally arising from the
Abstract: substantial paper of Steinberg [A theory of trans-
formation monoids: combinatorics and representa-
The principal objects of interest in the present talk
tion theory. Electron. J. Combin. 17 (2010), no.
are finite nonempty sets and finite monoids acting
1, Research Paper 164, 56 pp] have been answered.
on them. An action or act of a monoid M on a
Our results could be also considered as further de-
nonempty set Ω is a monoid homomorphism from
velopments in the hunt for a solution of the Černý
M to the transformation monoid TΩ of Ω. The
conjecture.
action is faithful if the corresponding morphism is
injective. In such case, we say that the pair (Ω, M )
is a transformation monoid. The idea of having References
monoids acting on sets is quite natural, and turns
out to be a useful tool to study monoids. From an [1] J. Almeida, S. Margolis, B. Steinberg,
algebraic point of view, a monoid action can be seen and M. Volkov. Representation theory of fi-
as a generalisation of group action in group theory. nite semigroups, semigroup radicals and for-
From the computer science perspective, monoid ac- mal language theory. Trans. Amer. Math. Soc.,
tions are closely related to automata; the set mod- 361:1429–1461, 2009.
els the state space of the automaton and the ac-
tion models transformations of states in response [2] A. Ballester-Bolinches and L. M. Ez-
to inputs. The aim of this talk is to present some querro. Classes of Finite Groups. Volume 584
contributions to the theory of finite transformation of Mathematics and its Applications. Springer,
monoids. The dominating influence that permu- New York, 2006.
tation groups have on transformation monoids is [3] J. Černý. A remark on homogeneous experi-
used to describe and characterise transitive trans- ments with finite automata. Mat.-Fyz. Časopis
formation monoids and primitive transitive trans- Sloven. Akad. Vied, 14:208–216, 1964.
formation monoids. We develop a theory that not
only includes the analogs of several important the-

Libro de Resúmenes — XX CCM (2015) — Pág. 3
[4] A. H. Clifford and G. B. Preston. The

algebraic theory of semigroups, vol. I. Amer.
Math. Soc., Providence, RI, USA, 1961.
[5] O. Ganyushkin, V. Mazorchuck, and B.
Steinberg. On the irreducible representations
of a finite semigroup. Proc. Amer. Math. Soc.,
137:3585–3592, 2009.
[6] O. Ganyushkin, V. Mazorchuck. Classi-
cal Finite Transformation Semigroups: An In-
troduction. Algebra and Applications. Springer,
2008.
[7] J.-É. Pin. On two combinatorial problems aris-
ing from automata theory. Annals of Discrete
Mathematics, 17:535–548, 1983.
[8] J. Rhodes and B. Steinberg. The q-theory

of finite semigroups. Springer Monographs in
Mathematics. Springer, New York, 2009.
[9] B. Steinberg. A theory of transformation
monoids: combinatorics and representation
theory. Electron. J. Combin, 17(1):Research Pa-
per 164, 56 pp., 2010.

Exactas y Naturales
Igusa-Todorov functions: summary of results obtained in various

works with diversity of co-authors S. Fernandes, F. Huard, E. N.
Marcos, G. Mata, O. Mendoza, etc.
Marcelo Lanzilotta
Centro de Matemática, Universidad de la República, Uruguay, e-mail: marclan@cmat.edu.uy
Keywords: Artin algebras, homological mea- dimension, we show that the finiteness of the Φ-
sure, Igusa-Todorov functions. dimension of an Artin algebra is invariant under
derived equivalences. As an application of this re-
sult, we generalise the classical Bongartz’s result as
follows: for an Artin algebra A, a tilting A-module
Abstract: T and the endomorphism algebra B = EndA (T )op ,
we have that Φ.dim(A)− pd(T ) ≤ Φ.dim(B) ≤
During the late 1950s Rosenberg and Zelinsky con-
1 Φ.dim(A)+ pd(T ). Also we study the behaviour
jectured that the finitistic dimension of any finite
of the Igusa-Todorov functions for radical square
dimensional algebra is finite, and it still remains as
zero algebras. We give some bounds for the Φ and
an open problem. K. Igusa and G. Todorov defined
the Ψ-dimensions and we show that the left and the
their functions in “On the finitistic global dimen-
right Φ-dimensions coincide, in this case.
sion conjecture for Artin algebras. Representations
of algebras and related topics., Fields Inst. Com-
mun., 45, Amer. Math. Soc., 2005, getting a very
powerful result: the Finitistic conjecture is in fact
true for a very large family (rep.dim ≤ 3) of Artin
algebras.
Since this work we promote Igua-Todorov function(s)
(Φ, Ψ) as a new homological measure, with very
nice properties. This tool, generalises the concept
of projective dimension (or injective dimension) and
refine the finitistic and global dimensions (in fact:
f in.dim(A) ≤ Φ.dim(A) ≤ Ψ.dim(A) ≤ gl.dim(A),
for any Artin algebra A).
We characterise the Φ.dimension of an Artin al-
gebra A in terms of bifunctors ExtiA (−, −). Fur-
thermore, by using this characterisation of the Φ-
1 Finitistic dimension: supremum of the projective dimen-
sion of finite projective dimension modules.

Exactas y Naturales
Una prueba elemental de la equivalencia entre enlaces racionales

y enlaces de 2-puentes
Margarita Toro
Escuela de Matemáticas, Universidad Nacional de Colombia, Sede Medellı́n, Colombia, e-mail:
mmtoro@unal.edu.co
Palabras Clave: Enlace racional, enlace de dos grama de Conway C de un enlace racional asociado
puentes, fracción continua, tangle. a la fracción continua [a1 , a2 , . . . , am ], con ai ∈ N+ ,
en el diagrama S de un enlace de dos puentes de
tipo p/q, donde p/q es el número racional dado por
la fracción continua [a1 , a2 , . . . , am ]. La notación de
Resumen: Conway para un diagrama de un enlace racional,
describe el diagrama del enlace mediante una suce-
Daremos prueba nueva y simple de la equivalen-
sión de tangles triviales, uno por cada uno de los
cia entre el enlace racional asociado a la fracción
enteros aj que están presentes en la fracción con-
continua [a1 , a2 , . . . , am ] , ai ∈ N, y el enlace de 2-
tinua. El proceso de transformación se hace me-
puentes de tipo p/q, donde p/q es el número racio-
diante una sucesión de pasos, uno por cada uno de
nal dado por la fracción continua [a1 , a2 , . . . , am ].
los tangles que conforman el enlace racional. Para
Los enlaces de 2-puentes fueron introducidos y cla-
cada paso describimos una serie de modificaciones
sificados por Schubert en [3]. Por su lado, los enla-
del enlace, de forma tal que todos los cruces queden
ces racionales fueron introducidos por Conway en
debajo de 2 puentes. En cada paso vamos a poder
[1]. Hasta ahora la equivalencia entre enlaces racio-
identificar 3 hilos que forman el tangle, cada uno de
nales y enlaces de 2-puentes se hacı́a usando como
los cuales juega un papel diferente. Para contar el
herramientas la teorı́a de cubiertas dobles ramifica-
número de cruces debajo de cada puente, debemos
das sobre un enlace y la clasificación de los espacios
preservar la información de los hilos que forman ca-
lenticulares. Estas técnicas requieren conocimientos
da uno de los cruces y contar el número de veces
importantes de 3-variedades. La equivalencia entre
que el hilo r cruza debajo del hilo t, 1 ≤ r, t ≤ 3.
estas dos familias de enlaces es uno de los ejemplos
Esta información es almacenada en una matriz de
de la bella relación entre la teorı́a de nudos y otras t=1,2,3
datos Dn = [drt (n)]r=1,2,3 , donde drt (n) represen-
ramas de la matemática, en este caso, la teorı́a de
ta las veces que el hilo r cruza debajo del hilo t.
números. El papel de la teorı́a de nudos como he-
En cada paso mostramos como transformar la ma-
rramienta didáctica, no sólo en cursos de pregrado,
triz Dn en la Dn+1 y una relación de recurrencia.
sino también como tópico para desarrollar intuición
Para probar que al final del proceso llegamos al
matemática entre los estudiantes de bachillerato y
diagrama del enlace de 2-puentes de tipo p/q, usa-
el público en general, requiere hacer esfuerzos pa-
mos las propiedades de los convergentes pn /qn de
ra presentar la teorı́a a un nivel elemental. En esta
la fracción continua [a1 , a2 , · · · , am ], de los que se
conferencia mostraremos como transformar el dia-
sabe que las sucesiones pn y qn están unı́vocamente

definidas por la relación de recurrencia
pn+1 = an+1 pn + pn−1 , qn+1 = an+1 qn + qn−1, (1)
donde n ≥ 1, p0 = 1, p1 = a1 , q0 = 0, q1 = 1. Noso-
tros definimos dos sucesiones de enteros asociadas
a las matrices Dn y probamos que estas sucesiones
definen la relación de recurrencia dada en (1), por
lo tanto, sus cocientes corresponde a los convergen-
tes de la fracción continua.
Referencias
[1] J. Conway, An enumeration of knots and links
and some of their related properties, Compu-
tational Problems in Abstract Algebra, Proc.
Conf. Oxford, 329–358, 1967.
[2] L. Kauffman and S. Lambropoulou, On

the Classification of Rational Knots, L’ Enseign.
Math. 49 (3-4), 357–410, 2003.
[3] H. Schubert, Knoten mit zwei Brücken,
(Math. Z.) 65: 133–170, 1956.
[4] M. Toro, Equivalence Of Rational Links
And 2-Bridge Links Revisited, Journal of Knot
Theory and its Ramificatios, 24(3): 1–17, 2015.

Exactas y Naturales
Some problems on skew PBW extensions arising in noncommu-

tative algebraic geometry
Oswaldo Lezama
Departamento de Matemáticas Universidad Nacional de Colombia, Sede Bogotá, e-mail: jolezamas@unal.edu.co
Seminario de Álgebra Constructiva - SAC2 , e-mail: sites.google.com/a/unal.edu.co/sac2
Keywords: Noncommutative rings and algebras, graded rings and skew PBW extensions. For this
finitely graded algebras, skew PBW extensions, non- new type of noncommutative rings, we will discuss
commutative algebraic geometry, point modules, the problems above.
noncommutative projective schemes.
2010 Mathematics Subject Classification. Primary: References

16S38, 14A22. Secondary: 16S80, 16S36.
[1] M. Artin and J. J. Zhang,Noncommutative
projective schemes. Adv. Mah. 109 (2), 1994,
228-287.
Abstract: [2] D. Rogalski,An introduction to noncommu-
In this talk we will discuss some problems on non- tative projective algebraic geometry. arXiv:
commutative algebraic geometry for skew PBW ex- 1403.3065v1.
tensions. The problems to be considered arise in
the study of a beautiful paper by Daniel Rogalski ti-
tled An introduction to noncommutative projective
algebraic geometry (arXiv: 1403.3065v1 [math.RA]),
and also from a classical paper by M. Artin and J. J.
Zhang, Noncommutative projective schemes, Adv.
Mah. 109 (2), 1994, 228-287. The problems to be
discussed are around the following topics:
1. Finitely graded algebras
2. Artin-Schelter regular algebras and Calabi-
Yau algebras
3. Geometry via point modules
4. Geometry via noncommutative projective schemes
At the end of the conference we will introduce the
semi-graded rings, which are a generalization of

Exactas y Naturales
Poincaré and Hilbert series of a graded quotient of a path algebra

Eduardo do Nascimento Marcos, Andrea Solotar, Roland Berger
Keywords: Poincaré Series, Hilbert Series, 3- [3] Berger, R.; Solotar,A. A criterion for
Calabi-Yau Algebras. homogeneous potentials to be 3-Calabi-Yau.
arXiv:1203.3029
[4] Green, Edward L.; Marcos, Eduardo N.,
Abstract: δ-Koszul algebras. Comm. Algebra 33 (2005),
no. 6, 1753-1764.
This talk in on a joint work in progress, with R.
Berger and A. Solotar. We generalize some of the
results of R. Froberg, on the Poincaré and Hilbert
Series to the setting of quiver algebras and we apply
our result to give a characterisation of 3-Calabi-Yau
algebras, when the algebra A defined by the poten-
tial w is N -Koszul of global dimension 3. We have
a necessary and sufficient condition for a homoge-
neous potentials w of degree N + 1 in n variables
produces a 3-Calabi-Yau algebra. As an applica-
tion, we study skew polynomial algebras over non-
commutative quadrics and we recover some families
of 3-Calabi-Yau potentials which have recently ap-
peared in the literature.
References
[1] Fröberg, R. Koszul algebras, Advances in
commutative ring theory (Fez, 1997), 337?350,
Lecture Notes in Pure and Appl. Math., 205,
Dekker, New York, 1999.
[2] Auslander, Maurice; Reiten, Idun;
Smalø, Sverre O. Representation theory of
Artin algebras. Corrected reprint of the 1995
original. Cambridge Studies in Advanced Math-
ematics, 36. Cambridge University Press, Cam-
bridge, 1997.

Exactas y Naturales
On the Classification of G-Graded Twisted Algebras over Finite

Abelian Groups
Juan P. Hernandez1 , J. D. Vélez1 , Luis A. Wills-Toro1
1
jphr81@gmail.com, jdvelez@unal.edu.co, lawillst@unal.edu.co
Keywords: Álgebras no Asociativas, Cohomologı́a ory Academia, Volume 4, Issue 1, February

de Grupos, Álgebras Twisted Graduadas. 2014, Pages 1-20.
[2] Wills, L. A. (2008). Finite group graded lie al-
gebraic extensions and trefoil symmetric rela-
Abstract: tivity, standard model, yang mills and gravity
theories (Doctoral dissertation).
G-Graded Twisted Algebras were introduced in [2]
as natural objects that appear in physics (see also [3] Wills-Toro, L. A. (2001). Trefoil symmetries
[3], [4], [5], [6], and [7]). I. Clover extensions beyond Coleman-Mandula
Let G be a group and let W be an algebra over theorem. Journal of Mathematical Physics, 42,
a field K. We will say that W is a G-graded twisted 3915-3934.
algebra if W can be written as W = ⊕g∈G Wg [4] Wills-Toro, L. A., Sanchez, L. A., Osorio, J.
with Wa Wb ⊂ Wab , and where each Wg is a one M., Jaramillo, D. E. (2001). Trefoil symmetry
dimensional K-vector space. It is also assumed II. Another clover extension. Journal of Math-
that W has no monomial which is a zero divisor ematical Physics, 42, 3935-3946.
which means that for each pair of nonzero elements
wa ∈ Wa , wb ∈ Wb , wa · wb 6= 0. We also demand [5] Wills-Toro, L. A. (2001). Trefoil symmetry III.
that W has a multiplicative identity element. The full clover extension. Journal of Mathemat-
In this talk we will focus in the case where G ical Physics, 42(8), 3947-3964.
is a finite abelian group and K = C or K = R. [6] Wills-Toro, L. A., Sanchez, L. A., Leleu, X.
By generalizing some of the arguments developed (2003). Trefoil symmetry IV: Basic enhanced
in [1] we present a recently obtained classification superspace for the minimal vector clover ex-
of all G-graded twisted algebras that satisfy certain tension. International Journal of Theoretical
symmetry condition. Physics, 42(1), 57-72.
[7] Wills-Toro, L. A., Sanchez, L. A., Bleecker, D.
References (2003). Trefoil Symmetry V: Class Representa-
tions for the Minimal Clover Extension. Inter-
[1] Vélez Juan D. Wills-Toro and Agudelo Natalia, national Journal of Theoretical Physics, 42(1),
On the classification of G-Graded Twisted Al- 73-83.
gebras, Journal for Algebra and Number The-

Exactas y Naturales
Categorificación de sucesiones enteras

Pedro Fernández
Departamento de Matemáticas, Universidad Nacional de Colombia, Bogotá, Colombia, e-mail:
pffernandeze@unal.edu.co. En colaboración con: Agustı́n Moreno Cañadas-Universidad Nacional de Co-
lombia
Palabras Clave: Poset, Quiver, partición, núme- tiation of Posets, Journal of Algebra, Number
ros de Fibonacci, vector dimensión, números figu- Theory and Applications, Volume 32, 2014.
rados.
[2] A.M. Cañadas, H. Giraldo and P.F.
Fernández Espinosa, Categorification of So-
me Integer Sequences, Far East Journal of Mat-
Resumen: hematical Sciences(FJMS), Volume 92, 2014.
La teorı́a de representaciones de Poset ha sido un [3] C. M . Ringel and P. Fahr, Categorifica-

campo de investigación estudiado ampliamente des- tion of the Fibonacci Numbers Using Represen-
de 1972 cuando Nazarova y Roiter introdujeron la tations of Quivers, arXiv.org, 2011.
representación para poset ordinarios. En la actua-
[4] C. M . Ringel and P. Fahr, A Partition For-
lidad el mayor impacto de la teorı́a de represen-
mula for Fibonacci Numbers, Journal of Integer
taciones de poset se evidencia en su relación con
Sequences, volume 11, 2008.
otras áreas como la teorı́a de particiones y crip-
tografı́a visual. Recientemente los profesores Claus
M. Ringel y Philipp Fahr en sus artı́culos [3] y [4]
presentan una estrecha relación entre la teorı́a de
representaciones de quivers y las particiones de al-
gunos números de Fibonacci. En esta charla comen-
taremos esta relación y presentaremos en detalle los
resultados obtenidos en [1] y [2] donde se relaciona
la teorı́a de representación de poset y particiones
de números figurados.
Referencias
[1] A.M. Cañadas, P.F. Fernández Espinosa
and V. Cifuentes Vargas, On Sums of Figu-
rate numbers by Using Algorithms of Differen-

Exactas y Naturales
Algunos resultados y problemas abiertos sobre reglas Golomb

Daza D. Enit C.1 , Carlos A. Martos O.2 , Carlos A. Trujillo S.3
1
Joven Investigador Colcienias 2014, Universidad del Cauca, Cali, Colombia, e-mail:
econsdad87@unicauca.edu.co
2
Joven Investigador Colcienias 2013, Universidad del Cauca - Universidad del Valle, Cali, Colombia, e-mail:
carlos.martos@correounivalle.edu.co
3
Departamento de Matemáticas, Universidad del Cauca, Popayán, Colombia, e-mail:
trujillo@unicauca.edu.co
Palabras Clave: Regla Golomb, Diferencias Po- de rayos X, códigos auto ortogonales y astronomı́a.
sitivas, Óptimamente Cortas. Históricamente, la investigación sobre reglas Go-
lomb se ha centrado principalmente en la búsqueda
de respuestas a las siguientes dos preguntas de opti-
mización: 1). Reglas Golomb Óptimamente Cortas.
Resumen: ¿Cuál es la longitud de la regla Golomb más cor-
ta con m marcas? 2). Reglas Golomb Óptimamente
Un conjunto de enteros no negativos A se llama
Densas. ¿Cuál es el máximo número de marcas que
una regla Golomb si todas las diferencias positivas
puede tener una regla Golomb cuya longitud es me-
de dos elementos de A son distintas. Los elementos
nor que n? Por ejemplo, después de intensa compu-
de la regla se llaman marcas, el número de mar-
tación, hoy sabemos que el ejemplo dado antes es
cas es el orden de la regla, y la máxima diferen-
la regla Golomb más corta con 27 marcas. En esta
cia entre dos de sus marcas se llama su longitud.
conferencia presentamos el estado actual del arte
El conjunto cuyos elementos son: 0, 3, 15, 41, 66,
sobre la búsqueda de respuestas a estos interrogan-
95, 97, 106, 142, 152, 220, 221, 225, 242, 295, 330,
tes, algunas generalizaciones del concepto de regla
338, 354, 382, 388, 402, 415, 486, 504, 523, 546,
Golomb, y algunos problemas abiertos que han apa-
553, es una regla Golomb de orden 27 y longitud
recido tanto en el contexto de las aplicaciones como
553. El lector puede verificar que todas las 351 dife-
el de la propia matemática.
rencias positivas (longitudes) posibles entre dos de
sus marcas son distintas. Los orı́genes de las reglas
Golomb provienen de aplicaciones matemáticas a Referencias
comunicaciones. A principios de los 1950, Babcock
requirió del concepto cuando investigaba sobre in- [1] R. C. Bose,An afine analogue of Singer’s theo-
termodulación de radio frecuencias. Su nombre pro- rem, J. Indian Math. Soc. (N.S.) 6 (1942), 1-
viene del profesor Solomon Golomb, quien las in- 15.
vestigó en el contexto de combinatoria, teorı́a de d
grafos y teorı́a matemática de las comunicaciones. [2] J. Cilleruelo,Sidon sets in0 N . J. Combin.
Ellas han encontrado aplicaciones en diversos cam- Theory Set. A 117 (2010), N 7, 857-871.
pos tales como: radio comunicaciones, cristalografı́a

[3] A. Dimitromanolakis, Analysis of the Go-

lomb Ruler and the Sidon set Problems, and De-
termination of Large, near-optimal Golomb ru-
lers. Master’s thesis, Departement of Electronic
and Cumputer Engineering, Techical University
of Crete, June 2002.
[4] P. Erdös y P. Turánç, On a problem of
Sidon in additive number theory and on some
related problems, Journal of the London
Mathematical Society.(2) 16 (1941) 857-
871. MR 3, 270e.
[5] R.J.F. Fang and W.A. Sandrin, Carrier
frequency assignment for non-linear repearters,
Comsat Tech. Rev., vol 7, N 0 1, pp. 227-245,
1977.
[6] Terence Tao, Van Vu, Additive Combinatorics.

Cambrige Studies in Advance Mathematics 105.
2006.
[7] J. Gómez,Construcción de conjuntos Bh [g],
Tesis de Maestrı́a en Ciencias Matemáticas,
Universidad del Valle, 2011.
[8] C. Alexis Gómez R., C. Alberto Truji-
llo S.,Una nueva construcción de Conjuntos
Bh modulares. Matemáticas Enseñanza Univer-
sitaria (ERM), Vol. XIX, N 0 1, Junio 2011,
53-62.
[9] B. Lindström,An inequality for B2 -sequences,
J. Combinatorial Theory 6 (1969), 211-212.
[10] T. Tao and V.H. Vu, Additive Combina-
torics. Cambridge University Press, New York
(2006).
[11] C. A. Trujillo, G. Garcı́a, J. M.
Velásquez,B2− [g] Finite Sets, JP Jour. Alge-
bra, Number Theory & Appl. 4(3) (2004), 593-
604.
[12] I. Ruzsa, Solving a linear equation in a set of

integers I. Acta Arith. 65 (1993), N 0 3, 259-
282.

Exactas y Naturales
Algunos contraejemplos al teorema principal de Wedderburn en

superalgebras de Jordan de dimensión finita
Faber Gómez
Instituto de Matemáticas, Universidad de Antioquia, Medellı́n, Colombia, e-mail: faber.gomez@udea.edu.co,
CODI 2014-1032
Palabras Clave: Superalgebras, Jordan, Wed- contraejemplos hace interesante el estudio del se-
derburn, descomposición. gundo grupo de cohomologia para algunos tipos de
superálgebras de Jordan, con ciertas restricciones
en los módulos. En esta conferencia pretendemos
mostrar algunos ejemplos de superalgebras de Jor-
Resumen: dan que no admiten extensión.
Decimos que un álgebra A es una superálgebra
si esta admite una Z2 -graduación, es decir, A = Referencias
A0 u A1 donde A es suma directa de espacios vec-
toriales y además se verifica Ai Aj ⊆ Ai+j (mod 2) . [1] Gómez González F., Jordan Superalgebra of
Una superalgebra de Jordan es una superalgebra type Mn|m (F(+) and the Wedderburn Principal
que verifica la superidentidad de Jordan y además Theorem, Accept. Comm. Alg (15/5/15).
es superconmutativa. Los contraejemplos al WPT
para el caso de superálgebras alternativas encon- [2] Gómez González F., Wedderburn Principal
trados por Pisarenko, motivaron el trabajo de C. Theorem for Jordan Superalgebras I, Submited
Lopez quien estudio el segundo grupo de cohomo- to J. Alg (2014).
logia de superálgebras alternativas de dimensión fi- [3] Gómez González F & Velásquez R. The
nita en campos de caracterı́stica 3. En el caso de Ortosymplectyc Jordan superalgebra and the
superálgebras de Jordan, resultados recientes ob- Wedderburn Principal Theorem, Preprint
tenidos por el autor, muestran que en general un
análogo a WPT para superálgebras de Jordan de [4] V.G. Kac, Classification of simple Z-graded
dimensión finita solo es valido cuando algunas res- Lie superalgebras and simple Jordan superalge-
tricciones son impuestas a los subbimódulos con- bras; Comm. Algebra 5(13)(1977)1375-1400.
tenidos en las imagenes homomorficas del radical
N cuando este es considerado como J/N -bimódu- [5] C. Martı́nez and E.I. Zelmanov ,Represen-
lo, siendo J una superálgebra de Jordan simple y tation theory of Jordan superalgebras I ; Trans.
de dimensión finita. Que las restricciones impues- Amer. Math. Soc. 362(2)(2010)815-846.
tas son necesarias es mostrado con algunos contra-
ejemplos. Como en el caso de superálgebras alter-
nativas, la existencia de tales restricciones y de los

Exactas y Naturales
Morfismos en categorı́as de representaciones de posets equipados

Jhonatan Mora
Departamento de Matemáticas, Universidad Nacional de Colombia, Sede Bogotá, Colombia, e-mail:
jsmoraro@unal.edu.co
Palabras Clave: Algoritmo de diferenciación, Car- algebra, number theory and applications 25
caj de Auslander-Reiten, Carcaj de Gabriel, cate- (2012), no.1, 91-176.
gorı́a de representaciones, morfismo, morfismo irre-
ducible, Poset, Poset equipado, representación, re- [2] A.M. Cañadas and A.G. Zavadskij, Cate-
presentación indescomponible. gorical description of some differentiation algo-
rithms, Journal of Algebra and its Applications,
5 (2006), no. 5, 629-652.
[3] L.A. Nazarova and A.G. Zavadskij, Par-
Resumen: tially ordered sets of tame type, Akad. Nauk
El propósito de este trabajo es describir los car- Ukrain. SSI Inst. Mat. (Kiev), 1977, 122-143
cajes de Auslander-Reiten y Gabriel de algunas ca- (Russian).
tegorı́as de Representaciones de Conjuntos Parcial-
[4] L.A. Nazarova and A.G. Zavadskij, Par-
mente Ordenados Equipados (Posets Equipados).
tially ordered sets of finite growth, Functional.
En primer lugar, se introducirá los principales con-
Anal. i Prilozhen. 16 (1982), no. 2, 72-73 (Rus-
ceptos y notación que serán usados a lo largo del
sian); English Transl., Functional Anal. Appl.,
trabajo. Luego, se describirán algunos resultados
16 (1982), 135-137.
que conciernen a la Categorı́a de Representaciones
de Posets Equipados enfatizando en las propiedades [5] C. Rodrı́guez and A.G. Zavadskij, On core-
categóricas del Algoritmo de Diferenciación VII, in- presentations of equipped posets and their diffe-
troducido por A.G. Zavadskij para clasificar posets rentation, Revista Colombiana de Matemáticas
equipados de tipo representación manso y de creci- 39 (2006).
miento finito. Finalmente, se describirán los carca-
jes de Auslander-Reiten y Gabriel de la Categorı́a [6] A.V. Zabarilo and A.G. Zavadskij, One-
de Representaciones de la cadena completamente parameter equipped posets and their representa-
débil y el poset equipado F15 de tipo representations, Functional. Anal. i Prilozhen. 34 (2000),
ción finito. no. 2, 72-75 (Russian); English Transl., Functio-
nal Anal. Appl., 34 (2000), no. 2, 138-140.
Referencias [7] A.G. Zavadskij, The Auslander-Reiten quiver

for posets of finite growth, Topics in Algebras,
[1] A.M. Cañadas, Morphisms in categories of Banach Center Publ. 26 (1990), Part 1, 587-
representations of equipped posets, Journal of 596.

[8] A.G. Zavadskij, Tame equipped posets, Linear

Algebra Appl 365 (2003), 389-465.
[9] A.G. Zavadskij, Equipped posets of finite
growth, Representations of Algebras and Rela-
ted topics, AMS, Fields Inst. Comm. Ser. 45
(2005).
[10] A.G. Zavadskij, On two point differentia-
tion and its generalization, Algebraic Structu-
res and their Representations, AMS, Contem-
porary Math. Ser.376 (2005).
[11] A.G. Zavadskij and V.V. Kiriĉenco, Se-

mimaximal rings of finite type, Mat Sbornik
103 (1977), 323-345 (in Russian).

Exactas y Naturales
Una introducción a la teoria de esquemas no conmutativos

Edward Latorre
eolatorrea@unal.edu.co
Palabras Clave: Noncommutative schemes, non- Referencias

commutative algebraic geometry, graded rings, skew
PBW extensions. [1] M. Artin, and W. Schelter, Graded algebas
of global dimension 3, Adv. in Math. 66: 171–
2010 Mathematics Subject Classification. Primary: 216, 1987.
14A22, 16S38, 16P90, 16W70 Secondary: 16W50,
[2] M. Artin, J. Tate, and M. Van den Bergh,
16E65, 16P40.
Some algebras associated to automophisms of
elliptic curves, Teh Grothendieck Festschrift,
vol 1, Birkhäuser, 33–85, 1990.
Resumen: [3] M. Artin, J.J. Zhang, Noncommutative
projective schemas, Adv. Math. 109: 228–287,
En los últimos 20 años el estudio del álgebra no
1994.
conmutativa a tomado diversos rumbos, pero un
tema que permanece común a su fundamentación [4] C. Gallego, and O. Lezama, Gröbner bases
es la inclusión de métodos algebro-geométricos que for ideals of sigma-PBW extensions, Communi-
definan una geometrı́a algebraica no conmutativa. cations in Algebra, 39 (1): 50–75, 2011.
Una construcción básica de esta área es la noción
de esquema no conmutativo, por tanto, la búsque- [5] D. Rogalski, An introduction to noncom-
da de estructuras desde las cuales sea adecuado en- mutative projective algebraic geometry, Ar-
tender, definir y caracterizar tales objetos ha sido Xiv:1403.3065, 53 pg, 2014.
un problema reciente de numerosos avances por sus
implicaciones directas en campos como la fı́sica, la
teorı́a de anillos no conmutativos y la teorı́a de gru-
pos cuánticos. El ánimo de esta charla es presentar
su construcción siguiendo los trabajos de M. Artin
y J.J. Zhang [3], ampliada con los trabajos [1],[2]
y más recientemente por D. Rogalski [5] y A. Ka-
nazawa. Lo anterior es una busqueda de algunas
condiciones básicas para desarrollar una teorı́a de
esquemas en extensiones PBW torcidas [4].

Exactas y Naturales
Algunos grupos de Baumslag-Solitar corresponden a grupos de

nudos virtuales de 2 puentes
John Jader Mira, José Gregorio Rodrı́guez1 , Olga Patricia Salazar
1
Escuela de Matemáticas, Unversidad Nacional de Colombia, Sede Medellı́n, Colombia, e-mail:
jgrodrig@unal.edu.co
Palabras Clave: Grupos de nudos virtuales, grupo de un nudo virtual. Aunque tales condiciones no
pos de nudos, presentaciones de grupos, grupos de son útiles para los todos los casos, resultan ser su-
Baumslag Solitar, grupos residualmente finitos, gru- ficientes para clasificar, completamente, los grupos
pos Hopfian. de Baumslag-Solitar como grupos de nudos virtua-
les, no clásicos.
Resumen: Referencias
El grupo de un nudo virtual fue introducido por L. [1] G. Baumslag, D. Solitar, Some two genera-
Kauffman como una generalización de la presenta- tor one-relator non-Hopfian groups Bull. Amer.
ción de Wirtinger del grupo fundamental del com- Math. Soc. , Vol 689, 199-201 (1962).
plemento de un nudo en el espacio tridimensional.
[2] Kauffman, L, Virtual Knot theory, Europ. J.
Un interrogante importante en dicha categorı́a es:
Combinatorics,Vol. 20 (1999), 663-691.
cuándo un grupo G es el grupo de un nudo virtual?.
Muchas condiciones se han dado en la literatura, [3] Mira, J. J., Rodrı́guez, J. G. and Sala-
pero todas ellas dependen de la habilidad de encon- zar, O. P., Some Solitar groups are the group
trar una presentación de Wirtinger de deficiencia 0 of 2-bridges virtual knots, preprint (2015).
o 1. Por otro lado, los grupos de Baumslag-Solitar
[4] Riley R., Nonabelian representations of 2-
forman una vasta familia de contraejemplos en la
bridge knot groups, Quart. J. Math. Oxford Ser.
teorı́a combinatoria de grupos; ellos están dados
(2) 35 (1984), no. 138, 191–208.
por la siguiente presentación:
[5] Rodrı́guez, J. and Toro, M., Virtual Knot
BS(m, n) = hx, y : xy m x−1 = y n i Groups and Combinatorial Knots, São Paulo
Journal of Mathematical Sciences 3, 1 (2009),
Los grupos anteriores fueron dados por Baumslag
297–314.
y Solitar para mostrar la existencia de grupos, con
dos generadores y una relación, que no son Hopfian. [6] Silver D. S. and Williams S. G., Virtual
También se han dado condiciones para saber cua- knot groups, Knots in Hellas 98, Proc. Int.
les de ellos son residualmente finitos o no. En esta Conf. Knot Theory Ramifications, eds. C. McA.
charla daremos condiciones necesarias sobre grupos Gordon (World Scientific, Singapore, 2000) pp.
con dos generadores y una relación para ser el gru- 440–451.

Exactas y Naturales
El funtor de distributivización para retı́culos

Lorenzo Acosta
lmacostag@unal.edu.co
Palabras Clave: Retı́culo, retı́culo distributivo, [4] S. Mac Lane, Categories for the working mat-
ideal primo, espectro primo, topologı́a de Zariski. hematician. 2nd ed., Springer, 1998.
Resumen:
Se mostrará que todo retı́culo tiene asociado, de
manera óptima, un retı́culo distributivo (su distri-
butivización), que resulta ser un cociente del retı́cu-
lo original. Escogiendo los morfismos adecuados, es-
te mecanismo tiene una propiedad universal y por
consiguiente se puede extender a un funtor (adjun-
to a izquierda) de una categorı́a cuyos objetos son
todos los retı́culos en una categorı́a cuyos objetos
son todos los retı́culos distributivos. El espectro pri-
mo de un retı́culo es siempre homeomorfo al espec-
tro primo de su distributivización, lo que permite
concluir que ciertas propiedades algebraicas que se
establecen en la literatura para retı́culos distribu-
tivos, son también válidas para retı́culos generales.
Referencias
[1] L. Acosta, Tópicos de Teorı́a de Retı́culos.
Preprint, Universidad Nacional de Colombia,
2015
[2] R. Balbes and P. Dwinger, Distributive
Lattices. University of Missouri Press, 1974.
[3] G. Birkhoff, Lattice theory. American Mat-

hematical Society, 1940.

Exactas y Naturales
Conjuntos de Sidon obtenidos a partir de los grupos de un campo

finito
Nidia Yadira Caicedo B.1 , Carlos Alberto Trujillo S.2
1
Departamento de Matemáticas y Estadı́stica, Universidad del Tolima, Ibagué, Colombia, e-mail:
nycaicedob@ut.edu.co
2
Departamento de Matemáticas, Universidad del Cauca, Popayán, Colombia, e-mail:
Palabras Clave: Conjuntos de Sidon, conjuntos De esta función no es mucho lo que se conoce, en al-
B2 . gunos grupos particulares se conoce el valor exacto
de dicha función. Para el caso de grupos finitos se
conocen algunas estimaciones, las cotas superiores
se obtienen mediante métodos de conteo y las cotas
Resumen: inferiores mediante construcciones de conjuntos B2 .
En este trabajo presentamos algunas construccio-
Un conjunto de enteros positivos A se llama con-
nes de conjuntos B2 en los grupos producto que se
junto B2 o conjunto de Sidon si todas las sumas de
pueden formar con los dos grupos que se tienen en
dos elementos son distintas, salvo permutaciones de
un campo arbitrario (F, +, ·). En particular, presen-
los sumandos. Este tipo de conjuntos aparecen en
tamos construcciones de conjuntos B2 en los grupos
el año 1932, cuando S. Sidon le propone a P. Erdös
(Zp ×Zp , +), (Zp , +)×(Z∗p , ·) y (Z∗p ×Z∗p , ·), donde p
el problema de encontrar conjuntos B2 maximales
es un número primo y Z∗p = Zp \ {0}. Además, pre-
dentro de los primeros n enteros positivos. El pro-
sentamos algunas propiedades que satisfacen dichos
blema más adelante es extendido a cualquier grupo
conjuntos.
G e incluso varias dimensiones. En general, se defi-
ne un conjunto B2 de la siguiente manera.
DEFINICIÓN: Sea (G, ∗) un grupo abeliano. Referencias
El conjunto, A = {a1 , . . . , an } ⊂ G es un con-
[1] Y. Caicedo, C. Trujillo, Construcción de
junto B2 , si para todo x ∈ G y todo ai , aj ∈ A
Conjuntos de Sidon en Grupos Finitos de di-
con 1 ≤ i ≤ j ≤ n, el número de soluciones de la
mensión dos. Preprint.
ecuación x = ai ∗ aj es a lo más una. El problema
d
de conjuntos B2 maximales de enteros también es [2] J. Cilleruelo, Sidon sets in N . J. Combin.
posible generalizarlo para conjuntos B en grupos Theory Ser. A 117 (2010), N. 7, 857-871.
2
abelianos arbitrarios. Para ello se busca determinar [3] P. Erdös, On a problem of Sidon in additive
el comportamiento de la función: number theory and on some related problems,
Addendum. J. London Math. Soc. (2) 19 (1944),
f2 (G) := máx{|A| : A ⊆ G es un conjunto B2 }. 208.

Exactas y Naturales
Algebraic approach to homological Dehn functions

Richard Gaelan Hanlon, Eduardo Martı́nez Pedroza1
1
Department of Mathematics and Statistics, Memorial University, St. John’s, Canada, e-mail:
emartinezped@mun.ca
Keywords: Homological Dehn functions, isoperi-

metric inequalities, finiteness properties of groups.
Abstract:
An isoperimetric function of a simply-connected
space is a function A = f (P ) providing an upper
bound for the area required to fill any closed curve
of length at most P . For example, the isoperimetric
function of the Euclidean plane is a quadratic func-
tion. The nth homological and homotopical filling
functions of a space are generalized isoperimetric
functions describing the minimal volume required
to fill an n–cycle or n–sphere with an (n + 1)–chain
or (n + 1)–ball. These functions have been widely
studied in Riemannian Geometry and Geometric
Group Theory and they can be used to define in-
variants of finitely presented groups. In this talk, I
will describe an algebraic approach to homological
Dehn functions, and then illustrate the use of these
techniques to investigate relations between the ho-
mological filling functions of groups and their sub-
groups.
References
[1] Richard Gaelan Hanlon and Eduardo
Martı́nez-Pedroza, A subgroup theorem for
homological filling functions. Groups Geom.
Dyn, 2015 (To appear).

Exactas y Naturales
Ideales y derivaciones en álgebras de Leibniz

Olga Patricia Salazar Dı́az1 , Raúl Velásquez2 , Luis Alberto Wills Toro1
1
opsalazard@unal.edu.co, lawillst@unal.edu.co
2
Instituto de Matemáticas, Universidad de Antioquia, Colombia, e-mail: raul.velasquez@udea.edu.co
Palabras Clave: Álgebras de Leibniz, ideales, de- [3] Salazar-Dı́az O.P., Velásquez R., Wills-
rivaciones. Toro L.A., Construction of dialgebras through
bimodules over algebras. Sometido a Journal of
pure and applied algebra.
Resumen: [4] Velásquez R. and Felipe, R., Split dialge-

bras, split quasi-Jordan algebras and regular ele-
En el estudio de una variedad de álgebras es impor- ments . J. Algebra Appl. 8 (2009), No. 2, 191-
tante conocer los ideales generados por anuladores, 218.
los cuales permiten obtener resultados de estructu-
ra para la variedad. En este contexto, exhibimos los
ideales canónicos en álgebras de Leibniz, algunos de
los cuales no han sido considerados en la literatu-
ra hasta ahora, presentamos resultados asociados a
las relaciones entre estos ideales y estudiamos las
álgebras cocientes que se obtienen. Además, esta-
blecemos resultados sobre las relaciones functoria-
les entre la variedad de álgebras de Leibniz y la
variedad de álgebras de Lie; y probamos algunas
propiedades sobre derivaciones y antiderivaciones.
Referencias
[1] Kolesnikov P., Varieties of dialgebras and
conformal algebras. Sib. Math. J. 49 (2008), pp.
36-50.
[2] Loday J.L., Dialgebras and related operads.
Lectures Notes in Mathematics, vol. 1763,
Springer Verlag, 2001, pp. 7-66.

Exactas y Naturales
Some constructions of subspaces cyclic and quasi-cyclic codes

Ismael Gutierrez Garcia1 , Iván Molina Naizir2
1
Departamento de Matemáticas y Estadı́stica, Universidad del Norte, Puerto Colombia, Colombia, e-mail:
isgutier@uninorte.edu.co
2
Departamento de Ingenierı́a de Sistemas, Universidad del Norte, Puerto Colombia, Colombia, e-mail:
inaizir@uninorte.edu.co
Keywords: Subspaces codes, subspaces cyclic the smallest distance between any two different ele-
and quasi-cyclic codes, finite fields. ments of C. A constant dimension code C is just
a non empty subset of Gq (k, n). If C ⊆ Gq (k, n)
have minimum distance d, then we say that C is
a [n, k, |C|, d]-code over Fq and its parameters are
Abstract: given by [n, k, |C|, d].
Let Aq (n, d, k) denote the maximum number of
We present some new results on cyclic subspace
codewords in an [n, k, |C|, d]-code in Gq (k, n). Due
codes, specially the construction of an optimal code
the minimum distance for a constant dimension
over the finite field F210 . Further we present a new
code is always an even number, it suffices to con-
definition and an some q-analogous outcomes about
sider Aq (n, d, k) for d = 2δ. T. Etzion and A. Vardy
the m-quasi-cyclic subspace code over finite fields.
[2] established the following bound:
Network coding is a new research area in infor-
mation theory that may have interesting applica-
n n−k+δ

tions in practical networking systems. [3]. Aq (n, 2δ + 2, k) ≤ Frac . (1)
k q δ q
Let Fnq be the n-dimensional vector space over
the finite field, with q elements, Fq (where q is a Let α be a primitive element of F2n . T. Etzion
prime power). We denote with ¶q (n) the projec- and A. Vardy [2] have defined a q-version of cyclic
tive space of order n, that is, the set of all sub- code. A subspace code C ⊆ ¶2 (n) is called cyclic,
spaces of Fnq , including the null space and Fnq itself. if it has the following property:
For a fixed natural number k ≤ n we denote with
Gq (k, n) the set of all subspaces of Fnq of dimension {0, αi1 , αi2 , . . . , αik } ∈ C
k and we call it the k-Grassmannian. R. Kötter
and F. R. Kschischang [4] have proven that the set ⇒ {0, αi1 +1 , αi2 +1 , . . . , αik +1 } ∈ C.
¶q (n) endowed with the distance d defined by Example. Let α be a primitive root of x10 +
d(U, V ) = dim(U + V ) − dim(U ∩ V ), x6 + x5 + x3 + x2 + x + 1 and use this polynomial
to generate the field F210 . Let C be the code in
is a metric space. The distance d is called the sub-
space distance. A subspace code C is a non empty
subset of ¶q (n). The minimum distance d(C) of a
subspace code C is defined as usually, that is, as

G2 (10, 5) which consists of all cyclic shifts of
{α0 , α33 , α66 , α99 , α132 , α165 , α198 , α231 , α264

α297 , α330 , α363 , α396 , α429 , α462 , α495 , α528 , α561 ,
α594 , α627 , α660 , α693 , α726 , α759 , α792 , α825 , α858 ,
α891 , α924 , α957 , α990 }.
C is an [10, 5, 33, 10]-code and since it is the

unique cyclic code in G2 (10, 5) with minimum dis-
tance 10. Due to the bound established in (1) we
have that
A2 (10, 10, 5) ≤ 33,
and therefore C is an optimal code.
Let α be a primitive element of F2n and m a
natural number with m | (q n − 1). A subspace
code C ⊆ ¶2 (n) is called m-quasi-cyclic, if holds
the following property:
{0, αi1 , αi2 , . . . , αik } ∈ C
⇒ {0, αi1 +m , αi2 +m , . . . , αik +m } ∈ C.

In this talk we present a non-trivial example of
this codes.
References
[1] E. Ben-Sasson, T. Etzion, A. Gabizon
and N. Raviv. Subspace Polynomials and
Cyclic Subspace Codes. arXiv:1404.7739, 2015.
[2] T. Etzion and A. Vardy. Error-Correcting

Codes in Projective Space. IEEE Transactions
on Information Theory, Volume 57 (2), pages
1165-1173, 2011.
[3] Christina Fragouli, Jean-Yves Le
Boudec and Jörg Widmer. Network Cod-
ing: An Instant Primer. ACM SIGCOMM
Computer Communication Review. Volume 36
(1), pages 63-68, 2006.
[4] R. Koetter and F. R. Kschischang. Cod-
ing for Errors and Erasures in Random Net-
work Coding. IEEE Transactions on Informa-
tion Theory, Volume 54, 2008.

Exactas y Naturales
Positroides y la Grassmanniana no negativa

Felipe Rincón
Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia. E-mail:
ef.rincon@uniandes.edu.co
Palabras Clave: Matroides, positroides, Grass-

manniana no negativa, matroides orientadas, par-
ticiones sin cruces.
Resumen:
Las positroides son objetos combinatorios que fue-
ron introducidos hace pocos años para investigar
la parte no negativa de la variedad de Grassmann.
En esta charla daré una introducción a todos estos
objetos, y hablaré de trabajo reciente con Federi-
co Ardila y Lauren Williams en el que estudiamos
el papel que juegan las particiones sin cruces en el
estudio de las positroides. También mostraré cómo
se pueden usar estas ideas para probar una conje-
tura de Da Silva de 1987 sobre la realizabilidad de
matroides orientadas positivamente.
Referencias
[1] Federico Ardila, Felipe Rincón, and
Lauren Williams, Positroids and non-
crossing partitions. Transactions of the
American Mathematical Society, to appear.
arXiv:1308.2698.
[2] Federico Ardila, Felipe Rincón, and
Lauren Williams, Positively oriented ma-
troids are realizable. Journal of the Eu-
ropean Mathematical Society, to appear.
arXiv:1310.4159.

Exactas y Naturales
Sobre la conjetura de Hilbert–Polya

Alejandro Cardenas-Avendaño
Programa de Matemática, Fundación Universitaria Konrad Lorenz, Bogotá, Colombia, e-mail:
alejandro.cardenasa@konradlorenz.edu.co
Palabras Clave: Fı́sica matemática, función Ze- [2] H. Edwards, “Riemann’s Zeta Function”, Do-
ta de Riemann, espectro cuántico, ceros. ver Publications, New York, 1974.
[3] I. Iliev, “Riemann Zeta Function and Hydro-
gen Spectrum”, Electronic Journal of Theoreti-
Resumen: cal Physics, 10 No. 28, 2013.
La función zeta de Riemann es de interés para los [4] H. Montgomery,The pair correlation of zeros
matemáticos debido a su conexión con los núme- of the zeta function, Analytic number theory,
ros primos, pero también ha demostrado ser una Proc. Sympos. Pure Math. XXIV, 1973.
importante herramienta en sistemas fı́sicos, ya que
[5] A. Odlyzko, On the distribution of spacings
algunos cálculos que implican su uso reflejan re-
between zeros of the zeta function, Mathema-
sultados fundamentales asociados a valores propios
tics of Computation (American Mathematical
del operador energı́a de los sistemas fı́sicos. Desde
Society) 48 (177): 273–308, 1987.
la popularización de la conjetura de Hilbert-Pólya
por Montgomery en 1973, se han realizado trabajos [6] D. Schumayer, D. Hutchinson, “Collo-
analı́ticos y numéricos que evidencian una posible quium: Physics of the Riemann hypothesis”,
conexión entre la función zeta de Riemann y el es- Rev. Mod. Phys. 83, 307, 2011.
pectro cuántico de energı́a.
En esta ponencia se realiza una breve revisión [7] E. Titchmarsh, D Heath-Brown, The
de los orı́genes de la función zeta de Riemann y Theory of the Riemann Zeta-function, Oxford
su posible relación con sistemas fı́sicos, con un en- University Press, 2nd edition, 2003.
foque fundamentalmente didáctico centrado en la
contextualización de su conexión con conceptos de
energı́a en mecánica cuántica.
Referencias
[1] A. Cardenas-Avendano, “La conjetura
Hilbert-Pólya”, Lecturas Matematicas, 35 No.
2, 2014.

Exactas y Naturales
Una generalización de un teorema de Erdos-Turan sobre conjun-

tos de Sidon
Carlos A. Martos O.1 , Carlos A. Trujllo S.2
1
Universidad del Valle, Cali, Colombia, Universidad del Cauca, Popayán, Colombia, e-mail:
carlosmartos88@gmail.com
2
Universidad del Cauca, Popayán, Colombia, e-mail: trujillo@unicauca.edu.co
Palabras Clave: Conjunto de Sidon, conjunto este resultado fue generalizado por Trujillo, Garcia
B2− [g]. Y Velasquez mostrando que:
F2− (g, n) √
lı́m √ = g. (2)
n→∞ n
Resumen: En esta ponencia realizamos una prueba diferen-
te de este resultado, utilizando energı́a aditiva con
Sea A un conjunto de enteros positivos y g ≥ 2
sus propiedades básicas, para acotar el lı́mite supe-
un entero, el número de representaciones de x ∈ Z
rior del cociente en (2) y construcción de conjuntos
como diferencia de dos elemento de A es:
B2− [g] a partir de conjuntos B2 vı́a homomorfismos
RA−A (x) := | {(a, b) ∈ A × A, x = a − b} | de grupos, para acotar el lı́mite inferior del cociente
= | A ∩ (A + x) | . en (2).
A se llama un conjunto B2− [g], escrito A ∈ B2− [g], Referencias

si RA−A (x) ≤ g, para todo x 6= 0. El problema fini-
to fundamental asociado con estos conjuntos, con- [1] R. C. Bose,An afine analogue of Singer’s theo-
siste en determinar el máximo cardinal de un con- rem, J. Indian Math. Soc. (N.S.) 6 (1942), 1-
junto B2− [g] seleccionado de los primeros n enteros 15.
positivos, es decir se trata de investigar el compor-
tamiento asintótico de la función : [2] J. Cilleruelo,Sidon sets in Nd . J. Combin.
Theory Set. A 117 (2010), N 0 7, 857-871.
− −

F2 (g, n) = máx |A| : A ⊂ [1, n] , A ∈ B2 [g] .
[3] J. Gómez,Construcción de conjuntos Bh [g],
− Tesis de Maestrı́a en Ciencias Matemáticas,
Cuando g = 1, los conjuntos B2 [1] fueron llamados
Universidad del Valle, 2011.
conjuntos B2 por Simon Sidon y conjuntos de Sidon
por Paul Erdos. Paul Erdos y Paul Turan probaron [4] C. Alexis Gómez R., C. Alberto Truji-
que: llo S.,Una nueva construcción de Conjuntos
B h modulares. Matemáticas Enseñanza Univer-
F2− (1, n) sitaria (ERM), Vol. XIX, N 0 1, Junio 2011,
lı́m √ = 1, (1)
n→∞ n 53-62.

[5] P. Erdös y P. Turánç, On a problem of

Sidon in additive number theory and on some
related problems, Journal of the London
Mathematical Society.(2) 16 (1941) 857-
871. MR 3, 270e.
[6] R.J.F. Fang and W.A. Sandrin, Carrier

frequency assignment for non-linear repearters,
Comsat Tech. Rev., vol 7, N 0 1, pp. 227-245,
1977.
[7] B. Lindström,An inequality for B2 -sequences,
J. Combinatorial Theory 6 (1969), 211-212.
[8] I. Ruzsa, Solving a linear equation in a set of
integers I. Acta Arith. 65 (1993), N 0 3, 259-
282.
[9] T. Tao and V.H. Vu, Additive Combinato-

rics. Cambridge University Press, New York
(2006).
[10] C. A. Trujillo, G. Garcı́a, J. M.
Velásquez,B2− [g] Finite Sets, JP Jour. Alge-
bra, Number Theory & Appl. 4(3) (2004), 593-
604.

Exactas y Naturales
Sobre el anillo fijo parcial

Jesús Ávila
Departamento de Matemáticas y Estadı́stica, Unversidad del Tolima, Ibagué, Colombia, e-mail:
javila@ut.edu.co. Trabajo realizado en colaboración con Miguel Ferrero (UFRGS) y João Lazzarin (UFSM).
Palabras Clave: Acción global y parcial, Anillo mun. Algebra, 38: 2079-2091, 2010.
fijo global y parcial, radical, condiciones de cadena.
[2] M. Dokuchaev and R. Exel, Associativity
of crossed products by partial actions, envelo-
ping actions and partial representations. Trans.
Resumen: Amer. Math. Society, 357:1931-1952, 2005.
Éste trabajo busca socializar algunos resultados [3] M. Dokuchaev, M. Ferrero and A. Pa-
publicados por el autor y algunos colaboradores en ques, Partial Galois theory of commutative
el año 2010, relacionados con anillos fijos parciales. rings. J. Pure Appl. Algebra, 208: 77-87, 2007.
Se considera una acción parcial α del grupo fini-
[4] M. Ferrero and J. Lazzarin, Partial ac-
to G sobre el anillo R, la cual posee envolvente T .
tions and partial skew group rings. J. Algebra,
Se estudia la relación entre el anillo fijo parcial Rα
319:5247-5264, 2008.
y el anillo fijo T G probando que estos anillos son
isomorfos. Este resultado permite describir, bajo [5] T. Y. Lam, A first course on noncommutati-
ciertas condiciones, el radical primo, el radical de ve rings. Graduate text in Math. 131, Springer,
Jacobson y el nilradical superior de Rα . También se New York, 2001.
obtienen algunas propiedades del trazo parcial y se
presentan condiciones suficientes para que el ani- [6] J. C. McConnel and J. C. Robson, Non-
llo Rα sea semisimple. Finalmente, se define ade- commutative Noetherian rings. Series Pure and
cuadamente un idempotente e en el skew anillo de Applied Math., John Wiley & Sons, Chichester,
grupo parcial S = R ?α G, el cual permite probar 1988.
que eSe = eRα = Rα e y que los anillos eRα y
[7] S. Montgomery, Fixed rings of finite auto-
Rα son isomorfos. Estos resultados son usados pa-
morphism groups of associative rings. Lect. No-
ra trasladar propiedades del anillo S al anillo Rα
tes in Math. 818, Springer, Berlin, 1980.
como semisimplicidad, noetherianidad y artiniani-
dad, entre otras. [8] D. S. Passman, Infinite crossed products. Aca-
demic Press Inc., San Diego, 1989.
Referencias
[1] J. Ávila, M. Ferrero and J. Lazzarin,
Partial actions and partial fixed rings. Com-

Exactas y Naturales
Matrix computations on projective modules using noncommuta-

tive Gröbner bases
Claudia Gallego
cmgallegoj@unal.edu.co
Keywords: Noncommutative Gröbner bases the- [3] Gallego, C. and Lezama, O., Matrix ap-
ory, Syzygies, free resolutions, projective, stably proach to noncommutative stably free modules
free and free modules. and Hermite rings, Algebra and Discrete Math-
2010 Mathematics Subject Classification. Primary: ematics, 18 (1), 2014, 110-139.
16D40. Secondary: 13P10.
[4] Gallego, C. and Lezama, O., d-
Hermite rings and skew PBW extensions,
arXiv:1408.2240 [math.RA]. In revision.
Abstract: [5] Gallego, C., Gröbner bases for bijective skew
In previous articles, we developed the Gröbner P BW extensions, Preprint.
bases theory for a class of noncommutative rings:
[6] Quadrat, A., Robertz, D., Computation of
the skew P BW extensions (see [2] and [5]). Using
bases of free modules over the Weyl algebras, J.
this theory, we will present some algorithms that
Symb. Comp., 42, 2007, 1113-1141.
allow us to test whether a left module defined on
one of such rings is stably free, projective or free.
Furthermore, we will show how to calculate a free
resolution and the projective dimension of a left
module, a basis for a free module and we well make
some computations on Hermite rings.
References
[1] Gago-Vargas, J., Bases for projective mod-
ules in An (k), J. Symb. Comp., 36, 2003, 845-
853.
[2] Gallego, C. and Lezama, O., Gröbner bases
for ideals of skew P BW extensions, Communi-
cations in Algebra, 39, 2011, 50-75.

Exactas y Naturales
Propiedades de la palabra de Fibonacci y de sus factores

Rodrigo de Castro Korgi1 , Juan Gabriel Triana Laverde1
1
rdecastrok@unal.edu.co, jtrianal@unal.edu.co
Palabras Clave: Palabra de Fibonacci, palabras [2] P. Balzi, Various properties of sturmian
de Sturm, factores de una palabra. words, Acta polytechica 45 (5) (2005) 19-23.
[3] A. De Luca, A combinatorial property of the
Fibonacci words, Information processing letters
Resumen: 12 (4) (1981) 193-195.
La n-ésima palabra de Fibonacci se define recursi- [4] F. De Luca, Aldo. Mignosi, Some combina-
vamente como fn = fn−1 fn−2 , con f0 = 0, f1 = 01, torial properties of sturmian words, Theoretical
de este modo se define la palabra infinita de Fibo- computer science 136 (2) (1994) 361-385.
nacci, también denominada palabra de Fibonacci,
como F = lı́m fn . La palabra de Fibonacci es muy [5] G. Droubay, Xavier. Pirillo, Palindro-
n→∞ mes and sturmian words, Theoretical Computer
conocida debido a importantes e interesantes pro-
Science 223 (3-4) (1999) 73-85.
piedades combinatorias que posee, en particular por
ser una palabra de Sturm, lo que significa que posee [6] M. Lothaire, Algebraic combinatorics on
n+1 subpalabras, o factores, diferentes de longitud words, Cambridge Press, 2001.
n para todo entero n ≥ 0.
[7] P. Sbold, Fibonacci morphism and sturmian
En esta charla se presentan algunas propiedades words, Theoretical Computer Science 88.
de la palabra de Fibonacci, y se demuestran algunas
propiedades de sus factores, como resultado princi-
pal se demuestra que para n ≥ 4 la palabra finita de
Fibonacci fn tiene los mismos factores de longitud
n que la palabra infinita de Fibonacci, además se
propone un algoritmo que permite obtener dichos
factores.
Referencias
[1] D. Berstel, Jean. Perrin, The origins of com-
binatorics on words, European Journal of com-
binatorics 28.

Exactas y Naturales
Propiedades aritméticas de sucesiones k−Fibonacci

Eric Bravo
Universidad del Cauca, Popayán, Colombia, e-mail: fbravo@unicauca.edu.co
Palabras Clave: Números generalizados de Fibo- efecto se usan cotas inferiores para formas lineales
nacci y Lucas, cotas inferiores para formas lineales en logaritmos de números algebraicos y una versión
en logaritmos de números algebraicos, método de del método de reducción de Baker–Davenport. Tra-
reducción. bajo conjunto con Jhon J. Bravo y Florian Luca.
Referencias
Resumen:
[1] J. J. Bravo, E. F. Bravo and F. Luca, Coin-
Para un entero k ≥ 2, considere la sucesión lineal cidences in generalized Lucas sequences, Fibo-
(k)
recurrente G(k) := (Gn )n≥2−k definida por nacci Quart, 52 (2014), no. 4, 296–306.
(k) (k) (k) [2] J. J. Bravo and E. F. Bravo, Powers of two as

G(k)
n = Gn−1 + Gn−2 + · · · + Gn−k , n ≥ 2,
sums of three Fibonacci numbers. Por aparecer
(k) (k) en Lithuanian Mathematical Journal.
con condiciones iniciales G−(k−2) = G−(k−3) = · · · =
(k) (k) (k)
G−1 = 0, G0 = a y G1 = b.
Cuando a = 0 y b = 1, entonces G(k) es la su-
(k)
cesión k−Fibonacci F (k) := (Fn )n≥2−k . En este
caso, si k = 2 se obtiene la clásica sucesión de Fi-
bonacci (Fn )n≥0 . Por otro lado, si a = 2 y b = 1,
entonces G(k) se conoce como la sucesión k−Lucas
(k)
L(k) := (Ln )n≥2−k . En esta ponencia se presen-
tan diferentes propiedades aritméticas de la ante-
rior familia de sucesiones. En particular, se investi-
gan que potencias de dos se pueden expresar como
suma de tres números de Fibonacci, i.e., se mues-
tran todas las soluciones de la ecuación Diofántica
Fn + Fm + F` = 2a en enteros no negativos n, m, `
y a con n ≥ m ≥ `. También, se estudian todas las
coincidencias que ocurren en la familia de sucesio-
nes generalizadas de Lucas, i.e., se exhiben todas
(k) (`)
las soluciones de la ecuación Diofántica Ln = Lm
en enteros positivos n, k, m, ` con k, ` ≥ 2. Para tal

Exactas y Naturales
Perfect domination and cube-sphere tilings of Zn

Carlos A. Araujo1 , Italo J. Dejter2 , Luis R. Fuentes2
1
Departamento de Matemáticas, Universidad del Atlántico, Barranquilla, Colombia, e-mail:
carlosaraujo@mail.uniatlantico.edu.co
2
Departamento de Matemáticas, Universidad de Puerto Rico, Campus Rı́o Piedras, San Juan, Puerto Rico,
e-mail: italo.dejter@upr.edu, luis.fuentes3@upr.edu
Keywords: Tilings, cube-spheres, generalized Lee (21 April 2012), doi:10.1007/s10623-012-9666-

spheres, perfect dominating sets. 6.
[2] C. Araujo and I. J. Dejter, Lattice-like
total perfect codes , Discussiones Mathemat-
Abstract: icae Graph Theory, volume 34(2014), 57–74,
doi:10.7151/dmgt.1715.
We ask whether there exist lattice-like tilings of
the n-dimensional integer lattice Λn by generalized [3] T. Etzion, Tilings with generalized Lee
Lee spheres around cubes of at least two differ- spheres, in: J.-S. No et al., eds., Mathematical
ent dimensions. This is known for n = 2. For Properties of Sequences and other Combinato-
n = 3, a perfect dominating set is constructed rial Structures, Springer 726(2003) 181–198.
whose induced components are squares Q2 and iso-
[4] S. W. Golomb and K. Welch, Perfect codes
lated vertices. In generalizing this, an extension
in Lee metric and the packing of polyominoes,
of the notion of generalized Lee sphere in a graph-
SIAM J. Appl. Math. 18(1970) 302–317.
theoretical context is given to one of “cube-sphere”.
A lattice-like cube-sphere tiling of Λn by the con-
nected union T of two generalized Lee spheres of ra-
dius 1 around (n−1)-cubes and two “cube-spheres”
of radius n − 2 around isolated vertices. In showing
this, an additive-group epimorphisms Zn → G is
used that becomes bijective over T , a lattice fun-
damental region.
References
[1] C. Araujo, I. J. Dejter and P. Horak, A
generalization of Lee codes, Designs, Codes and
Cryptography, 70(2014), 77–90, online version,

Exactas y Naturales
Non-p-soluble length of finite groups which has one p-Sylow sub-

group with properties in their commutators
Yerko Contreras Rojas
Instituto de Ciências Exatas, Departamento de Matemática, Universidad de Brası́lia (UNB), Brası́lia, Brasil,
e-mail: Yerkocr@mat.unb.br
Supported by: CNPq-Brazil
Keywords: Non-soluble length, Non-p-soluble [2] E.I. Khukhro and P. Shumyatsky , Nonsol-
length, Group varieties, Multilinear commutators. uble and non-p-soluble length of finite groups,
arXiv:1310.2434v2 [math.GR] 16 Jan 2014.
[3] Unsolved Problems in Group Theory. The

Abstract: Kourovka Notebook, no. 17, Institute of Mathe-
matics, Novosibirsk, 2010.
Let p be a prime. Every finite group G has a
normal series each of whose quotients either is p- [4] P. Shumyatsky, Verbal subgroups in residually
soluble or is a direct product of nonabelian simple finite groups, Q.J. Math. 51 (2000) 523–528.
groups of orders divisible by p. The non-p-soluble
[5] P. Shumyatsky, Commutators in residually fi-
length λp (G) was defined as the minimal number
nite groups, Israel J. Math. 182 (2011), 149–
of non-p-soluble factors in a series of this kind. We
156.
deal with the question whether, for a given prime
p and a given proper group variety V, the non- [6] J. Wilson, On the structure of compact torsion
p-soluble length λp (G) of a finite group G whose groups, Monatsh. Math., 96, 57–66.
Sylow p-subgroups belong to V is bounded. Let
the word w be a multilinear commutator. In the
present work we answer the question in the affir-
mative in the case where p is odd and the variety is
χ(w, m), what is the variety of all groups in which
w-values have orders dividing m.
References
[1] Y. Contreras-Rojas and P. Shumyatsky,
Nonsoluble length of finite groups with commu-
tators of small order To appear in Math. Proc.
Camb. Phil. Soc.

Exactas y Naturales
Dibujando el conjunto de Horton en mallas enteras de tamaño

mı́nimo
Luis Barba1 , Frank Duque2 , Ruy Fabila-Monroy, Carlos Hidalgo-Toscano
1
Boursier FRIA du FNRS, Departement d’Informatique, ULB, Belgium, School of Computer Science, Carleton
University, Canada
2
Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del Instituto Politécnico
Nacional CINVESTAV-IPN, México D.F., México, e-mail: frankrodrigo@gmail.com
Partially supported by: Conacyt of Mexico, Grant 153984.
Palabras Clave: Computational geometry, order teger Grid of Minimum Size, ArXiv
type, Horton set, k-hole. http://adsabs.harvard.edu/abs/2015arXiv150605505B.
Resumen:
En 1978 Erdös preguntó si todo conjunto de pun-
tos (en posición general) lo suficientemente grande
contiene un k-agono vacı́o; es decir, un subconjunto
de k puntos en posición convexa sin otros puntos del
conjunto en su interior. Poco tiempo después, Hor-
ton encontró un conjunto de puntos arbitrariamen-
te grande, sin heptágonos vacı́os. Este conjunto es
conocido como el conjunto de Horton y ha sido uti-
lizado como ejemplo extremal de varios problemas
combinatorios sobre conjuntos de puntos. En esta
charla hablaremos sobre el espacio requerido para
representar en coordenadas enteras, el conjunto de
Horton o conjuntos combinatoriamente equivalen-
tes.
Referencias
[1] Barba, L. and Duque, F. and Fabila-
Monroy, R. and Hidalgo-Toscano,
C., Drawing the Horton Set in an In-

Exactas y Naturales
Códigos con la métrica del rango: peso rango generalizado, dua-

lidad y cota de Griesmer
Rafael Ordoñez
Departamento de Ciencias Básicas, Fundación Universitaria del Área Andina, Sede Valledupar, Colombia, e-mail:
rafaelordonez01@gmail.com
Palabras Clave: Códigos con la métrica del ran- lin codes. Por enviar a Finite Fields and Their
go, peso rango generalizado, cota de Griesmer, dua- Applications.
lidad.
[4] Ducoat Jérôme,Generalized rank weights:
duality and Griesmer bound. Preprint avai- la-
ble at htp://arxiv.org/pdf/1306.3899v1.pdf.
Resumen: [5] Gabidulin,Rank metric codes and applica-
Éste trabajo se fundamenta en el estudio de los tions. Moscow Institute of Physics and Tech-
códigos con la métrica del rango, centrandonos más nology (State University).
que todo en el estudio de estos en su representación
[6] Kurihara, J. and Matsumoto, R. and
vectorial, es decir los denominados códigos linea-
Uyematsu, T.,Relative generalized rank
les de Gabidulin. Concretamente presentamos una
weight of linear codes and its aplications
descripción completa de peso rango generalizado,
to network coding. Preprint available at
el teorema de la dualidad y la cota de Griesmer
htp://arxiv.org/pdf/1301.5482v1.pdf.
generalizada, haciendo una dualización de algunos
resultados importantes de la teorı́a clásica de códi- [7] Oggier, F. and Sboui, A.,On the existence
gos. of genrealized rank weights.in Proc. 2012 Int.
Symp. Information Theory and Its Applica-
tions, Honolulu, Hawaii, USA, Oct. 2012.
Referencias
[1] Alberto Ravagnani,Rank-metric codes and
their macwilliams identities. Preprint available
at htp://arxiv.org/pdf/1410.1333v2.pdf.
[2] Delsarte, P.,Bilinear forms over finiete field,

with applications to coding theory. J. of Comb.
Theory. Series A. 25:1978.
[3] De La Cruz, E. Gorla, H. Lopez, and
A. Ravagnani,Rank distribution of Gabi- du-

Exactas y Naturales
Forma de los triángulos de Auslander-Reiten

Sonia Fernandes1 , Hernán Giraldo2 , Edson Ribeiro Álvares3
1
Departamento de Matemáticas, Universidade Federal de Viçosa, Viçosa, Minas Gerais, Brazil, e-mail:
somarifernandes@gmail.com
2
Instituto de Matemáticas, Universidad de Antioquia, Medellı́n, Colombia, e-mail: hernan.giraldo@udea.edu.co
3
Departamento de Matematicas, Universidade Federal do Paraná, Curitiba, Brazil, e-mail: rolo@mat.ufpr.br
Palabras Clave: Representaciones de álgebras,

categorı́as derivadas y triángulos de Auslander-Reiten.
Resumen:
Describiremos la forma de los triángulos de Auslander-
Reiten en la categorı́a de homotopı́a de los com-
plejos de proyectivos de módulos sobre un álgebra
de Artin. Decimos como son sus morfismos irredu-
cibles, en términos de la descripción dada por H.
Giraldo y H. Merklen en [1].
Referencias
[1] H. Giraldo and H. Merklen, Irreducible
morphisms of categories of complexes. Journal
of Algebra 321, 10 : 2716–2736, 2009.

Exactas y Naturales
Álgebras finitas sobre un cuerpo

Claudia Granados Pinzón
Escuela de Matemáticas, Universidad Industrial de Santander, Bucaramanga, Colombia, e-mail: cigra-
nad@uis.edu.co
Palabras Clave: K-Álgebra, K-Álgebra de di- [2] C. Granados, Tesis doctoral: Álgebras finitas
mensión finita como K-espacio vectorial. sobre un cuerpo. La recta proyectiva. Director:
J. M. Aroca, Universidad de Valladolid, Espaa,
2015.
Resumen:
En ésta charla presentamos un estudio sistemático
de las K-Álgebras finitas. Una K-Álgebra finita es
una K-Álgebra conmutativa con uno y de dimen-
sión finita como K-espacio vectorial. Todas ellas son
suma directa de K-Álgebras locales finitas y por
tanto identificando éstas las conocemos todas. De
esta forma se clasifica las Álgebras locales finitas de
dimensión real menor que seis ya que mostraremos
que hay infinitas reales de dimensión seis. Poonen,
ver [1], clasifica las Álgebras complejas locales fi-
nitas hasta dimensión siete, y encuentra que es en
ésta dimensión donde hay infinitos modelos, nues-
tro ejemplo vale también en dimensión seis com-
pleja, por lo cual, en nuestra opinión, el trabajo de
Poonen contiene un error en este caso.
Referencias
[1] B. Poonen, Isomorphism types of commutati-
ve algebras of finite rank over an algebraically
closed field. In Computational Arithmetic Geo-
metry: AMS Special Session on computational
Arithmetic Geometry. April 29-30, 2006, San
Francisco State University, 2006. Ed. K. E. Lau-
ter and K. Ribert. Springer 2008.

Exactas y Naturales
Conjeturas sobre los valores múltiples de la función zeta

Germán Combariza
Departamento de Matemáticas, Pontificia Universidad Javeriana, Bogotá, Colombia, e-mail:
germancombariza@javeriana.edu.co
Palabras Clave: Función Zeta de Riemann. Shuf-

fle álgebras. Conjetura de Zagier. Palabras Lyndon.
Resumen:
Los valores múltiples de la función Zeta, MZV por
sus siglas en inglés Multiple Zeta Values, forman un
conjunto de número reales con estructura de álge-
bra sobre los número racionales. En esta charla se
presentarán algunas de las conjeturas mas impor-
tantes en el tema y como se aborda un problema
tan dificil usando computadores.
Referencias
[1] M. Kaneko, M. Noro, AND K. Tsuruma-
ki, On a conjecture for the dimension of the
space of the multiple zeta values, Software for
Algebraic Geometry, IMA 148 (2008), 4758.
[2] H.N. Minh, M. Petitot, Lyndon words, poly-
logarithms and the Riemann ζ function, Dis-
crete Mathematics, Volume 217, Number 1, 28
April 2000 , pp. 273-292(20).
[3] M. Waldschmidt, Valeurs zeta multiples: une
introduction, J. Th or. Nombres Bordeaux 12:2
(2000), 581595.
[4] W. Zudilin, Algebraic relations for multiple zeta
values, Russian Mathematical Surveys Volume
58, Number 1.

Exactas y Naturales
Enumeración de Trayectorias n-Dimensionales por medio de

Autómatas Ponderados Infinitos
José Ramı́rez
Departamento de Matemáticas, Universidad Sergio Arboleda, Bogotá, Colombia, e-mail: jolura1@gmail.com
Palabras Clave: Trayectorias en el plano, fun- [3] R. De Castro, J. Ramı́rez, Enumeration of

ciones generatrices, trayectorias de Motzkin. k-Fibonacci paths using infinite weighted auto-
mata. Int. J. Math. Comb., 2(2014), 20–35.
[4] R. De Castro, J. Ramı́rez, Enumerating n-
Resumen: dimensional lattice paths using infinite weigh-
ted automata. Preprint, 2015.
En la charla mostraremos una generalización de
un problema propuesto por Deutsch sobre el con- [5] E. Deutsch, Three-dimensional lattice walks
teo de trayectorias reticulares tridimensionales de in the upper half-space. Amer. Math. Monthly,
longitud n que inician en el origen y nunca pa- 107(2000).
san por debajo del plano xy [1, 5] . En particu-
[6] P. Flajolet, Combinatorial aspects of conti-
lar, generalizaremos estas trayectorias para el caso
nued fractions. Discrete Math. 32(1980), 125–
n-dimensional y estudiaremos cuatro condiciones,
161.
una de ellas es que la trayectoria finalice en cual-
quier punto del plano. Luego realizaremos el conteo [7] J. Rutten, Coinductive counting with weigh-
de estas estructuras combinatorias de acuerdo a su ted automata. J. Autom. Lang. Comb.,
longitud. En particular mostraremos las funciones 8(2)(2003), 319–352.
generatrices asociadas y sus fórmulas exactas. Es-
tos resultados se obtendrán por medio de autóma-
tas ponderados infinitos [2, 3].
Referencias
[1] J. Brawner, Three-dimensional lattice walks
in the upper half-space. Amer. Math. Monthly
108(10)(2001), 980.
[2] R. De Castro, A. Ramı́rez, J. Ramı́rez,
Applications in enumerative combinatorics of
infinite weighted automata and graphs. Sci.
Ann. Comput. Sci.,24(1)(2014), 137–171.

Exactas y Naturales
Aplicaciones de algunos algoritmos de diferenciación en el análi-

sis de tácticas de guerra
Gabriel Bravo
Departamento de Matemáticas, Universidad Nacional de Colombia, Bogotá, Colombia, e-mail:
gbravor@unal.edu.co En colaboración con: Agustı́n Moreno Cañadas-Universidad Nacional de Colom-
bia.
Palabras Clave: Poset, indescomponibles, repre- la organización.

sentación matricial, algoritmos de diferenciación.
Referencias
Resumen: [1] D. M. Arnold, Abelian Groups and Represen-
tations of Finite Partially Ordered Sets, Sprin-
El problema principal de la teorı́a de representa- ger, 2002.
ciones de conjuntos parcialmente ordenados (Po-
sets) consiste en dar una descripción completa de [2] A.M. Cañadas, N.P.P.Vanegas y M.H.
los objetos indescomponibles de la categorı́a adi- Quitian, Algorithms of diferentiation of posets
tiva rep P cuyos objetos son representaciones de to analyze tactics of war, Far East Journal Of
posets, para lo cual se han definido una serie de Mathematical Sciences, Special. 2013. 501-525.
algoritmos conocidos como algoritmos de diferen- [3] B.A. Davey y H.A. Priestley, Introduction
ciación. En esta charla se presentará en detalle los to Lattices and Order, Cambridge,University
resultados obtenidos en [1] donde se construye un Press, 2002.
modelo matemático de una estructura militar jerar-
quizada por medio de un Poset. A partir de esto se
implementa el algoritmo de diferenciación con res-
pecto a un punto maximal para modelar la captura
o eliminación de una columna del Alto Comando
Central, infiltrando elementos que no puedan ser
detectados hasta cumplir el objetivo de neutralizar
la estructura. De manera similar se implementa el
algoritmo de diferenciación con respecto a un par
convenientes de puntos para identificar que grupos
de una cadena realizan tareas de elementos infiltra-
dos pertenecientes a dos columnas incomparables
una de ellas con infiltración y ası́ detectar, captu-
rar o eliminar estos elementos que están alterando

Exactas y Naturales
Grafos bien cubiertos, descomponibles por vértices y Cohen-

Macaulay
Iván Castrillón1 , Roberto Cruz2 , Enrique Reyes1
1
Departamento de Matemáticas, Centro de Investigación y de Estudios Avanzados del Instituto Po-
litécnico Nacional CINVESTAV-IPN, México D.F., México, e-mail: idcastrillon@math.cinvestav.mx,
ereyes@math.cinvestav.mx
2
Instituto de Matemáticas, Universidad de Antioquia, Apartado Aéreo 1226, Medellı́n, Colombia, e-mail:
roberto.cruz@udea.edu.co
Palabras Clave: Bien cubierto, Cohen-Macaulay, la caracterización de los grafos bien cubiertos sin
complejo simplicial, vértice de descomposición. 3,5 ni 7 ciclos.
Referencias
Resumen:
[1] A. Finbow, B. Hartnell and R.J. No-
Sea G = (VG , EG ) una grafo simple con un con- wakowski, A characterization of well covered
junto de vértices VG = v1 , ..., vn y conjunto de aris- graphs of girth 5 or greater, J. of Combinatorial
tas EG , a cada vértice lo identificamos con una Theory. B 57 (1993), 44-68.
variable xi , vi ↔ xi . Sea el anillo de polinomios
R = k[x1 , ..., xn ] sobre un campo k. Al grafo G le [2] R. H. Villarreal, Monomial Algebras, Se-
asociamos un ideal del anillo R llamado el ideal de cond edition, Monographs and Research No-
aristas dado por IG = hxi xj |{vi , vj } ∈ EG i y tam- tes in Mathematics, Chapman and Hall/CRC,
bién le asociamos el complejo simplicial ∆G donde 2015.
sus elementos son los conjuntos estables del grafo [3] R. Woodroofe, Vertex decomposable graphs
G. El grafo G es Cohen-Macaulay si el anillo R/IG and obstruction to shellability, Proc. Amer.
es Cohen-Macaulay y G es descomponible por vérti- Math. Soc. 137, (2009), 3235-3246.
ce si existe un vértice de descomposición v tal que
G \ v y G \ NG [v] son descomponibles por vértice.
Además, G es bien cubierto si y sólo si G es no
mezclado si y sólo si ∆G es puro. En esta charla se
harán algunas relaciones entre estas propiedades y
algunos elementos tal como la altura del ideal IG , la
dimensión del anillo R/IG , el número de cubrimien-
to y de estabilidad del grafo G y se mostrará las
equivalencias entre: descomposición por vértice y
Cohen-Macaulay para los grafos sin 3 ni 5-ciclos y

Exactas y Naturales
Dualidad de algebras de Hilbert con supremo

Hernando Gaitán
hgaitano@unal.edu.co
Palabras Clave: Algebra de Hilbert (con supre-

mo), Algebra de Tarski, espacio dual, sistema de-
ductivo irreducible, monoide de endomorfismos.
Resumen:
En ésta charla expondré una dualidad para Al-
gebras de Hilbert con supremo. Esta dualidad es
debida a L. M. Cabrer, S. Celani y D. Montangie
([1], [2]). Haré una pequeño ajuste a la definición
de los morfismos del espacio dual que corresponden
a los homomorfismos de su álgebra dual. Haré una
aplicación de esta dualidad. Concretamente, iden-
tificaré unas funciones parciales en el espacio dual
(correspondientes a endomorfismos en el algebra)
que posiblemente me permitirán determinar hasta
que punto una algebra de Hilbert finita con supre-
mo queda determinada por el monoide de sus en-
domorfismos.
Referencias
[1] Celani, S. A., Cabrer, L. M., Duality for
finite Hilbert algebras. Discrete Math. 305, 74–
99, 2005.
[2] Celani, S. A., Montangie, D., Hilbert alge-
bras with supremum. Algebra Universalis 67 No
3, 237–255 (2012)

Exactas y Naturales
SLC grupos y anillos de grupo

Alexander Holguı́n-Villa
Escuela de Matemáticas, Universidad Industrial de Santander, Bucaramanga, Colombia, e-mail:
aholguinvilla@matematicas.uis.edu.co
Palabras Clave: SLC grupos, Anillos de Grupo der oriented involutions. Commun. Algebra 40
con involución, Identidades de Lie, Identidades de (2012):4404-4419.
grupo.
[4] A. Dooms and M. Ruiz, Symmetric units
satisfying a group identity. J. Algebra, 308
(2007):742-750.
Resumen: [5] A. Giambruno, S. K. Sehgal and A. Va-
Grupos SLC juegan un papel muy importante en lenti, Symmetric units and group identities.
la construcción de anillos de loop alternativos (RA Manuscripta Math., 96 (1998):443-461.
loops por brevedad) y recientemente, han apare-
[6] E. G. Goodaire, E. Jespers and C. Pol-
cido en muchos trabajos que involucran anillos de
cino Milies, Alternative loop rings. North-
grupo con involución, más precisamente en el estu-
Holland, Amsterdam (1996).
dio de las propiedades de los elementos simétricos
(identidades de Lie) y de las unidades simétricas [7] I. N. Herstein, Rings with involution. Univer-
(identidades de grupo). En esta charla presentamos sity of Chicago Press, Chicago (1976).
algunas propiedades acerca de esta clase especial de
grupos y examinamos algunos resultados en anillos [8] A. Holguı́n-Villa, Involuções de grupo orien-
de grupo con involución, donde los SLC grupos apa- tadas em álgebras de grupo, Tese de Doutorado,
recen de manera natural. Universidade de São Paulo (2013), São Paulo,
Brasil.
Referencias [9] A. Holguı́n-Villa, Oriented involutions and

group identities on symmetric units of group al-
[1] O. Broche Cristo, Commutativity of symme- gebras. In preparation.
tric elements in group rings. J. Group Theory
9 (2006):673-683.
[2] J. H. Castillo Gómez and A. Holguı́n-
Villa, Oriented group involutions in group al-
gebras. A survey. Submitted (2014).
[3] J. H. Castillo Gómez and C. Polcino Mi-

lies, Lie properties of symmetric elements un-

Exactas y Naturales
Variedades de subalgebras de Mishchenko-Fomenko en GLn

Wilson Mutis
Instituto de Matemática e Estatı́stica IME, Universidade de São Paulo, São Paulo, Brasil, e-mail:
wfmutis@gmail.com
Palabras Clave: Álgebra de Lie, álgebra envol- Mishchenko-Fomenko asociada al parámetro µ. Una
vente universal, subalgebra de Mishchenko-Fomenko, pregunta de interés es: ¿La álgebra envolvente uni-
intersección completa, variedad equidimensional. versal de glN es libre sobre las algebras de Mishchenco-
Fomenko?. En la ponencia presentare los avances de
mi tesis de doctorado los cuales permiten dar res-
puesta positiva a la pregunta anterior en gl3 y en
Resumen: algunos casos de gl4 . Explı́citamente mostraré que
para cada µ ∈ gl3 la variedad asociada a cier-
Poder determinar cuando una álgebra es libre co-
to conjunto S de generadores (dado por Futorny-
mo módulo (a izquierda o derecha) sobre una subal-
Molev (2013)) de la álgebra Aµ , es equidimensional
gebra (conmutativa), tiene importantes aplicacio-
de dimensión pura 9 − |S|, entonces los elementos
nes en teorı́a de representaciones de algebras en ge-
de S forman una secuencia regular en la álgebra
neral. En el caso de álgebras de Lie, el famoso teo-
simétrica de gl3 ; Esto junto al teorema de Futorny-
rema de B. Kostant (1963) afirma que si g es una
Ovsienko (arriba) muestra que U (gl3 ) es libre sobre
C-álgebra de Lie semisimple entonces su álgebra
las subalgebras de Mishchenco-Fomenko.
envolvente universal U (g) es un módulo libre so-
bre su centro. Ovsienko (2003) prueba que U (glN )
es un módulo a izquierda (derecha) libre sobre su Referencias
subálgebra de Gelfand-Tsetlin. Un análogo del teo-
rema de Kostant para la clase de álgebras filtra- [1] V. Futorny, S. Ovsienko, Kostant’s theorem
das especiales fue probado por Futorny y Ovsienko for special filtered algebras. Bull. London Math.
(2005), ellos establecen el siguiente resultado clave Soc, 37, (2005), 187-199.
para estas álgebras:
Teorema: Sea U una k-álgebra filtrada especial. Si [2] V. Futorny, A. Molev, Quantization of the
g1 , . . . , gt ∈ U son elementos que conmutam entre shift argument subalgebras in type A. Preprint,
si cuyas imagenes graduadas forman una intersec- (2013)
ción completa para la álgebra graduada asociada [3] D. Panyushev, O. Yakimova, The ar-
de U , entonces U é libre como k [g1 , . . . , gt ]-modulo gument shift method and maximal commu-
a izquierda (o derecha). tative subalgebras of poisson algebras ar-
Sea L = glN la C-álgebra de Lie de las matri- Xiv:math/0702583v1. (2007)
ces cuadradas de orden N . Para cada µ ∈ L∗ ,
la álgebra envolvente universal U (L) contiene una
subálgebra comutativa Amu , llamada subalgebra de

Exactas y Naturales
Álgebra de sı́mbolos pseudodiferenciales formales

Jarnishs Beltrán
Centro de Investigación en Complejidad Social, Universidad del Desarrollo, Santiago de Chile, Chile, e-mail:
jarnishs.beltran@gmail.com
Palabras Clave: Álgebra de sı́mbolos pseudodi- Several Variables, Central Extensions, and In-
ferenciales, álgebra de Lie, derivación, triple de Ma- tegrable Systems,” Advances in Mathematical
nin. Physics, vol. 2015, Article ID 210346, 16 pages,
2015. doi:10.1155/2015/210346 ,.
Resumen:
Dada un álgebra conmutativa y asociativa A con
una derivación δ en A, se presenta la construc-
ción del álgebra de sı́mbolos pseudodiferenciales en
una y varias variables, denotadas por ΨDO(A) y
ΨDOn (A) respectivamente. Se define una deriva-
ción exterior ”log xi”del álgebra la cual induce un
extension central del álgebra de Lie ΨDO(A) y
ΨDOn (A). Análogamente, se considera un torci-
miento de la derivación δ y se construye las álgebra
de sı́mbolos pseudodiferenciales en una y varias va-
riables torcidas ΨDOδ (A) y ΨDOn,δ (A), mostran-
do una derivación del álgebra la cual induce una ex-
tensión central de las respectivas álgebras de Lie.
Se construyen jerarquı́as de extensiones centrales
para las álgebras de Lie en una y varias variables,
generalizando de esta manera trabajos previos de
B. Khesin y otros. Aplicamos esto en la construc-
ción de triples de Manin y jerarquı́as de ecuaciones
no lineales en Lax y curvatura cero.
Referencias
[1] Jarnishs Beltran and Enrique G. Reyes, “For-
mal Pseudodifferential Operators in One and

Exactas y Naturales
Testigos de no-negatividad para polinomios invariantes bajo un

grupo de reflexión finito
José Acevedo1 , Mauricio Velasco1
1
Departamento de Matemáticas, Universidad de los Andes, Bogotá, Colombia, e-mail:
jg.acevedo36@uniandes.edu.co, mvelasco@uniandes.edu.co
Palabras Clave: Conjuntos algebraicos reales, [3] James E Humphreys. Reflection groups and
Grupos de Reflexión y de Coxeter. Coxeter groups. volume 29. Cambridge univer-
sity press, 1992.
[4] Sadik Iliman and Timo de Wolff. Low
Resumen: dimensional test sets for nonnegativity of
even symmetric forms. arXiv preprint ar-
Encontrar un certificado de no-negatividad pa- Xiv:1303.4241, 2013.
ra un polinomio es un problema difı́cil y crucial
en optimización polinomial. Sin embargo, si el po- [5] Cordian Riener. Symmetric semi-algebraic
linomio tiene algunas simetrı́as, este problema se sets and non-negativity of symmetric polyno-
podrı́a simplificar significativamente. En esta char- mials. arXiv preprint arXiv:1409.0699, 2014.
la mostraremos que la no-negatividad global de un
[6] Robert Steinberg. Invariants of finite reflec-
polinomio invariante bajo la acción de un grupo
tion groups. Canad. J. Math, 12:616-618, 1960.
de reflección finito (junto con otras condiciones), es
equivalente a su no-negatividad en el arreglo de hi-
perplanos correspondiente al grupo. También pro-
ponemos una conjetura que, bajo ciertas condicio-
nes de esparsidad algebraica o del grado del poli-
nomio, reducirı́a la dimensión lineal del conjunto
-testigo- de la no-negatividad.
Referencias
[1] Man-Duen Choi, Tsit-Yuen Lam, and
Bruce Reznick. Even symmetric sextics. Mat-
hematische Zeitschrift, 195(4):559-580, 1987.
[2] William R Harris. Real even symmetric ter-
nary forms. Journal of Algebra, 222(1):204-245,
1999.

Exactas y Naturales
Órbitas nilpotentes en Álgebras de Kac Moody afines

Esther Galina1 , Lorena Valencia1
1
Departamento de Matemáticas, Universidad Nacional de Córdoba, Argentina, e-mail:
galina@famaf.unc.edu.ar, lorenavalencia07@gmail.com
Palabras Clave: Órbitas nilpotentes, Álgebras [2] S. Kumar., Kac-Moody Groups, their flags Va-
de Kac Moody. rieties and, Representation Theory . Progress in
Mathematics, Vol. 204. Birkhauser, 2002.
[3] V. G. Kac., Infinite Lie Algebras . 3rd edition.
Resumen: Cambridge University Press, Cambridge 1990.
Las órbitas nilpotentes en Álgebras de Lie semi-

simples complejas clásicas de dimensión finita bajo
la acción del grupo adjunto, han sido parametri-
zadas mediante particiones o diagramas de Dynkin
con pesos [1]. En particular, en el caso de sln (C)
hay una correspondencia biyectiva entre sus órbi-
tas nilpotentes y las particiones de n.
Si consideramos ĝ un álgebra de Kac Moody
afı́n asociada al álgebra de Lie simple compleja g
y G su grupo de Kac Moody maximal [2], entonces
la acción adjunta de este sobre los elementos local-
mente nilpotentes del álgebra da lugar a un conjun-
to infinito de órbitas localmente nilpotentes en ĝ.
En este trabajo damos algunas propiedades de estas
órbitas y, para el caso de las álgebras de Kac Moody
afines de tipo sl1n (C), tenemos una correspondencia
biyectiva entre el conjunto de sus órbitas localmen-
te nilpotentes y {(m1 , ..., mp ) ∈ Zi1 × ... × Zip × C :
[i1 , ..., ip ] es una partición de n}.
Referencias
[1] D. Collingwood and W. McGovern, Nil-
potent Obits in Semisimple Lie Algebras. Van
Nostrand Reinhold: New York, 1993.

Exactas y Naturales
Estrategias de selección para el algoritmo de Buchberger

Daniela Espitia1 , Santiago Jiménez1 , Edwin A. Quintero1
1
Facultad de Ingenierı́as, Universidad Tecnológica de Pereira, Pereira, Colombia, e-mail:
daesmo95@utp.edu.co@utp.edu.co, santijimenez@utp.edu.co, equintero@utp.edu.co
Palabras Clave: Álgebra computacional, algorit- pende del ordenamiento de monomios utilizado. Sin
mos, bases de Gröbner, teorı́a de ideales. embargo, aún con los últimos resultados y algorit-
mos implementados, es posible encontrar ejemplos
relativamente sencillos que resultan excesivamente
complejos.
Resumen:
Las bases de Groebner fueron introducidas en 1965 El propósito de este trabajo es la implementación
por B. Buchberger. No obstante, rápidamente se hi- computacional del algoritmo para dos de las estra-
zo evidente que el método constructivo propuesto tegias de selección más importantes: la estrategia
no era bastante eficiente. Por ejemplo, Mayr y Me- de selección normal (Buchberger, 1985) y el algo-
yer (1982) construyeron ejemplos en el que se ob- ritmo sugar (Giovini et al., 1991) y su variación
serva que para un ideal generado por polinomios de double-sugar. El código se escribe en Matlab utili-
grado d o menor a d, se requieren cálculos de poli- zando una representación matricial para los polino-
d mios. Además se estudia la posibilidad de acelerar
nomios intermedios del orden 22 , lo cual se traduce
el subalgoritmo que obtiene las reducciones. Tam-
en tiempos de ejecución muy largos y en la necesi-
bién se muestran algunas consideraciones prácticas,
dad de espacios de memoria grandes.
relacionadas con los coeficientes de polinomios, que
tuvieron que efectuarse para obtener los resultados
El algoritmo de Buchberger obtiene la base de Groeb- correctos. Finalmente se aplica el código al proble-
ner para un ideal de polinomios mediante la reduc- ma de encontrar los generadores para la intersec-
ción sucesiva de pares crı́ticos. Como es este proce- ción de ideales y se aplica para resolver el problema
so de reducción el costoso desde el punto de vista de la membresı́a a ideales radicales.
computacional, la mayorı́a de las estrategias de op-
timización se centran en cómo reducir la cantidad
de pares que deben ser reducidos. En este senti- Referencias
do, se han encontrado teórica y experimentalmen-
te ciertos métodos que en ciertas circunstancias y [1] Buchberger, B. Gröbner bases: An algorithmic
con ciertos ordenamientos reducen los tiempos de method in polynomial ideal theory, in Multi-
ejecución. La principal posibilidad para acelerar el dimensional Systems Theory–Progress, Direc-
método consiste en el orden en el que se seleccio- tions and Open Problems in Multidimensional
nan los pares crı́ticos. Esto se conoce como estrate- Systems, pp. 184-232, 1985.
gias de selección y existen varias cuya viabilidad de-

[2] Giovini, A., Mora, T., Niesi, G., Robbiano, L.

and Traverso, C. “One sugar cube, please” or
selection strategies in the Buchberger algorithm
Proceedings of the 1991 international sympo-
sium on Symbolic and algebraic computation,
pp. 49-54, 1991.
[3] Cox, D.A. and Little, J. and O’Shea, D., Using
Algebraic Geometry, Graduate Texts in Mathe-
matics, Springer, New York, 2nd edition, 2013.
[4] Albrecht R., Buchberger B., Collins, G. and
Loos, R., Computer algebra: symbolic and al-
gebraic computation, Vol 4, Springer Science &
Business Media, 2013.

Exactas y Naturales
Curvas y códigos Castillo

Wilson Olaya León
wolaya@uis.edu.co
Palabras Clave: Códigos correctores de errores, Referencias

códigos AG, curvas Castillo, códigos Castillo.
[1] C. Munuera, A. Sepúlveda and F. To-
rres, Algebraic Geometry codes from Castle
curves, In Coding Theory and Applications,
Resumen: LNCS 5228, Springer-Verlag, Berlin, pp. 117–
127, 2008.
Una curva algebraica X (no singular, absolutamen-
te irreducible, de género g ≥ 0) definida sobre el [2] C. Munuera, A. Sepúlveda and F. To-
cuerpo finito Fq es llamada curva Castillo si existe rres, Castle curves and codes, Advances in
un punto racional Q ∈ X (Fq ) tal que: (i) el se- Mathematics of Communication, 3, pp. 399–
migrupo de Weierstrass de Q, H(Q) es simétrico; y 408, 2009.
(ii) el número de puntos racionales sobre X alcanza
[3] C. Munuera and W. Olaya-León, An intro-
la cota de Lewittes #(X (Fq )) = qh2 + 1, donde h2
duction to Algebraic Geometry codes, Contem-
es la multiplicidad de H(Q). Muchas de las curvas
porary Mathematics AMS, Algebra for Secure
interesantes para propósitos de teorı́a de códigos
and Reliable Communication Modeling, pp. 87–
son Castillo, incluyendo la curva racional, Hermi-
118, 2015. arXiv:1505.03020
tiana, Hermitiana generalizada, Norma-Traza, Su-
zuki, Ree y muchas otras. Un código Castillo es [4] W. Olaya-León and C. Munuera, On the
un código algebraico geométrico (AG) unipuntual minimum distance of Castle codes, Finite Fields
C(X , D, mQ) construido sobre una curva Castillo and Applications, 20, pp. 55–63, 2013.
X , donde el divisor D es la suma de todos los
n = qh2 puntos racionales sobre X diferentes de [5] W. Olaya-León and C. Granados-Pinzón,
Q. Esta familia contiene algunos de los más impor- The second generalized Hamming weight of cer-
tantes códigos AG estudiados hasta la fecha. En tain Castle codes, Designs, codes and crypto-
esta charla presentamos las propiedades de las cur- graphy, 76(1), pp. 55–63, 2014.
vas Castillo y los códigos Castillo, mostraremos que
estos códigos pueden ser estudiados de manera uni-
ficada sin importar la curva de la que proceden y
resaltamos algunos resultados que hemos obtenido
recientemente sobre los parámetros fundamentales
de un código Castillo.

Exactas y Naturales
String and band complexes over certain algebra of dihedral type

José A. Vélez-Marulanda
Department of Mathematics & Computer Science, Valdosta State University, Valdosta, U.S.A., e-mail:
javelezmarulanda@valdosta.edu
Keywords: Derived categories, algebras of dihe- [4] F.M. Bleher and J.A. Vélez-Marulanda,
dral type, perfect complexes. Universal deformation rings of modules over
Frobenius algebras, J. Algebra 367 (2012), 176–
202.
Abstract: [5] G. Bobiński, The almost split triangles for

perfect complexes over gentle algebras, J. Pure
We give a combinatorial description of certain fam- Appl. Algebra 215 (2011), no. 4, 642–654.
ily of indecomposable objects in the triangulated
category of perfect complexes Kb (PΛ ), where Λ is [6] V.M. Bondarenko, Representations of dihe-
a certain algebra of dihedral type (as introduced dral groups over a field of characteristic 2, Mat.
by K. Erdmann) with three simple modules. We Sb. 211 (1975), no. 1, 63–74, English transla-
then discuss the shape of the components of the tion: Math. USSR Sb. 25 (1975), 58-68.
b
Auslander-Reiten of K (PΛ ) containing these ob-
[7] M. C. R. Butler and C. M. Ringel,
jects. This is a joint work with Hernán Giraldo.
Auslander-Reiten sequences with few middle
terms and applications to string algebras,
References Comm. Algebra 15 (1987), 145–179.
[8] C. W. Curtis and I. Reiner, Methods of

[1] M. Auslander, I. Reiten, and S. Smalø,
Representation Theory with Applications to Fi-
Representation Theory of Artin Algebras, Cam-
nite Groups and Orders, vol. I, John Wiley and
bridge Studies in Advanced Mathematics,
Sons, New York, 1981.
no. 36, Cambridge University Press, 1995.
[9] K. Erdmann, Blocks of Tame Representation
[2] V. Bekkert and H. A. Merklen, Indecom-
Type and Related Algebras, Lectures Notes in
posables in derived categories of gentle algebras,
Mathematics, no. 1428, Springer-Verlag, 1990.
Algebr. Represent. Theory 6 (2003), no. 3, 285–
302. [10] D. Happel, Triangulated Categories in the
Representation Theory of Finite Dimensional
[3] F.M. Bleher and S.N. Talbott, Universal
Algebra, London Mathematical Society Lecture
deformation rings of modules for algebras of di-
Note Series, no. 119, Cambridge University
hedral type of polynomial growth, Algebr. Rep-
Press, 1988.
resent. Theory 17 (2014), 289–303.

[11] D. Happel, Auslander-Reiten triangles in de-

rived categories of finite-dimensional algebras,
Proc. Amer. Math. Soc. 112 (1991), no. 3, 641–
648.
[12] D. Happel, B. Keller, and I. Reiten,
Bounded derived categories and repetitive alge-
bras, J. Algebra 319 (2008), no. 4, 1611–1635.
[13] R. Hartshorne, Residues and Duality, Lec-
ture Notes in Mathematics, no. 20, Springer-
Verlag, 1966.
[14] T. Holm, Derived equivalence classification of

algebras of dihedral, semidihedral, and quater-
nion type, J. Algebra 211 (1999), 159–205.
[15] H. Krause, Maps between tree and band mod-
ules, J. Algebra 137 (1991), 186–194.
[16] J. Rickard, Derived categories and stable

equivalence, J. Pure Appl. Algebra 61 (1989),
303–317.
[17] S. Scherotzke, Finite and bounded
Auslander-Reiten components in the de-
rived category, J. Pure Appl. Algebra 215
(2011), 232–241.
[18] J.A. Vélez-Marulanda, Universal defor-
mation rings of strings modules over a certain
symmetric special biserial algebra, Beitr. Alge-
bra Geom. 56 (2015), no. 1, 129–146.
[19] J. Verdier, Catégories dérivées, état 0,
Cohomologie Etale (P. Deligne, ed.), Lec-
ture Notes in Mathematics, no. 569, Springer-
Verlag, 1977, pp. 262–311.
[20] P. Webb, Consequences of the existence of
Auslander-Reiten triangles with applications
to perfect complexes for self-injective algebras,
preprint.
[21] W.W. Wheeler, The triangulated structure

of the stable derived category, J. Algebra 165
(1994), 23–40.
[22] A. Zimmermann, Tilting with additional
structure: twosided tilting complexes, De-
rived Equivalences for Group Rings (S. König
and A. Zimmerman, eds.), Lecture Notes in
Mathematics, no. 1685, Springer-Verlag, 1998,
pp. 105–149.

Exactas y Naturales
Partial actions of groupoids

Dirceu Bagio1 , Héctor Pinedo2
1
Departamento de Matemática, Universidade Federal de Santa Maria, Santa Maria-RS, Brasil, e-mail:
bagio@smail.ufsm.br
2
hpinedot@uis.edu.co
Keywords: Partial groupoid action, globaliza-

tion, s-unital ring.
Abstract:
In this talk we introduce the notion of partial
groupoid action on algebras, which is a natural
generalization of the concept of partial group ac-
tion. We consider the globalization problem for
the non-unital case and prove a Morita-equivalence,
between the categories of modules over the corre-
sponding crossed products.
References
[1] D. Bagio and H. Pinedo, Globalization of
partial groupoids actions on non-unital rings.
to appear in Journal of Algebra and its appli-
cations.
[2] M. Dokuchaev and R. Exel, Associativity
of crossed products by partial actions, envelop-
ing actions and partial representations. Trans.
Amer. Math. Soc. 357 1931–1952 (2005).

Exactas y Naturales
El teorema de Dirichlet y su relación con la conjetura de Gold-

bach
Campo González
Universidad Tecnológica de Pereira, Pereira, Colombia, e-mail: cegp@utp.edu.co
Palabras Clave: Teorema Dirichlet, Conjetura Garcı́a. Scientia Et Technica, vol. XVI, núm.
Goldbach, Números primos. 48, agosto, 2011, pp. 185-190,Universidad Tec-
nológica de Pereira-Colombia
[3] Elementos de Álgebra. Marco Fidel Suárez.
Resumen: Centro Editorial. Universidad del Valle. 1994.
La Conjetura de Goldbach afirma que todo número [4] De los enteros a los dominios, Ruiz, Roberto.
par mayor o igual a 4 se puede expresar como la su- Centro Editorial. Universidad del Valle 1994.
ma de dos números primos. Se ha comprobado por
[5] Introducción a la Teorı́a de Números. Niven,
cálculo directo, que esto es cierto para un número
I. Zuckerman, H. S., Editorial Limusa-Wiley,
suficiente de casos que hacen pensar que la conje-
México, 1969.
tura es cierta. En este documento mostramos una
conjetura equivalente y veremos como la conjetura
y el Teorema de Dirichlet están relacionados. Para
tal efecto se generaliza el teorema de Dirichlet que
afirma que si a y b son primos relativos la sucesión
an + b contiene infinitos números primos. Veremos
la relación con el postulado Bertrand y la implica-
ción del la generalización del teorema de Dirichlet
y la conjetura.
Referencias
[1] Una nota sobre la conjetura de Goldbach. Cam-
po Elı́as González Pineda. Scientia Et Technica,
vol. XI, núm. 27, abril, 2005, pp. 213-214, Uni-
versidad Tecnológica de Pereira-Colombia.
[2] Algunos tópicos en teorı́a de números: números
Mersenne, teorema Dirichlet Números Fermat.
Campo Elı́as González Pineda, Sandra Milena

Exactas y Naturales
Construcción de conjuntos Bh [g] modulares a partir de conjuntos

Bh modulares vı́a homomofismos
Nidia Y. Caicedo1 , Jhonny C. Gómez2 , Carlos A. Trujillo3
1
Departamento de Matemáticas y Estadı́stica, Universidad del Tolima, Ibagué, Colombia, e-mail:
nycaicedob@ut.edu.co
2
Departamento de Matemáticas, Universidad del Valle, Cali, Colombia, e-mail:
jhonny.gomez@correounivalle.edu.co
3
Departamento de Matemáticas, Universidad del Cauca, Popayan, Colombia, e-mail:
Palabras Clave: Conjuntos de Sidon, Conjuntos tenidas con el resultado principal de esta ponen-
Bh , Conjuntos Bh [g], campos finitos, homomorfis- cia, centramos nuestra atención en grupos modula-
mos de grupos. res, en especial analizamos algunas construcciones
clásicas de conjuntos Bh como las de Ruzsa, Bose-
Chowla y Gómez-Trujillo para presentarlas de for-
ma tal que logramos establecer, en cada caso, el
Resumen: homomorfismo apropiado a usar para preservar la
cantidad de elementos del conjunto Bh . El princi-
Sean G un grupo abeliano aditivo y A ⊆ G nume-
pal problema de estudio relacionado con conjuntos
rable, h, g ∈ Z+ , con h ≥ 2. Se dice que A es un
Bh [g] en un grupo finito G, es determinar el valor
conjunto Bh [g] en G, si cada b ∈ G tiene a lo mas
de la función
g representaciones diferentes de la forma
fh (G, g) := máx{|A| : A ∈ Bh [g](G)},
b = ai1 + · · · + aih ,
con ai1 , . . . , aih ∈ A y i1 ≤ . . . ≤ ih donde las cotas inferiores para esta función se ob-
tienen mediante buenas construcciones de conjun-
Dado el creciente interés en construir conjuntos Bh [g] tos Bh [g]. Es ası́ que nuestro resultado principal nos
maximales en un grupo finito y debido a las pocas permite establecer:
construcciones conocidas, como la propuesta por
Martin y O’Bryant, usando uniones apropiadas de 1. Para todo número primo p, tal que p ≡ 1( mód
conjuntos B2 para obtener conjuntos B2 [g] para g): 2
ciertos valores de g y la de Lindström quien une p −p
f2 , g ≥ p − 1.
traslaciones de un múltiplo de los elementos de un g
conjunto Bh para obtener un conjunto Bh [g], pre-
sentamos en un nuevo resultado que nos permite
2. Para todo número primo p y todo entero h ≥
construir conjuntos Bh [g] a partir de conjuntos Bh
3, tal que pd ≡ 1(módg) para algún d entero
usando homomorfismos de grupos abelianos. Aho-
ra, para resaltar la importancia y las mejoras ob-

positivo que divide a h − 1 pero d 6= h − 1:

h
p −p
fh , g ≥ p.
g
3. Para toda potencia prima q y todo entero h ≥

2, tal que q d ≡ 1(módg) para algún d entero
positivo que divide a h pero d 6= h:
h
q −1
fh ,g ≥ q
g
Referencias
[4] R.C. Bose and S. Chowla. Theorems in the
additive theory of numbers, Comment. Math.
Helv., 37(1962/1963), pp. 141-147.
[6] Y. Caicedo, J. Gómez, C. Trujillo. Bh [g]
modular sets from Bh modular sets. Sometido a
publicación.
[5] A. Gómez and C. Trujillo. Una nueva cons-
trucción de conjuntos Bh modulares, Matemáti-
cas: Enseñanza Universitaria XIX(1) (2011),
53-62.
[3] B. Lindström. Bh [g]-sequences from Bh se-
quences, Proc. Amer. Math. Soc. 128 (1999),
657 - 659.
[1] G. Martin, K. O’Bryant. Constructions of
generalized Sidon sets, Journal of Combinato-
rial Theory, Series A 113 (2006) 591-607.
[2] I. Z. Ruzsa. Solving a linear equation in a set
of integers I, Acta Arith 65 (1993) 259-282. MR
1254961.

Exactas y Naturales
Cálculo de la distancia aparente de códigos abelianos.

José Joaquı́n Bernal1 , Diana H. Bueno-Carreño2 , Juan Jacobo Simón1
1
Departamento de Matemáticas, Universidad de Murcia, Colombia, e-mail: josejoaquin.bernal@um.es,
jsimon@um.es
2
Departamento de Ciencias Naturales y Matemáticas, Pontificia Universidad Javeriana, Cali, Colombia, e-mail:
dhbueno@javerianacali.edu.co
Palabras Clave: Códigos abelianos, distancia apa- Referencias

rente, distancia aparente mı́nima, distancia aparen-
te de hipermatrices. [1] P. Camion, Abelian Codes, MRC Tech. Sum.
Rep. # 1059, University of Wisconsin, 1971.
[2] R. Evans Sabin, On Minimum Distance
Resumen: Bounds for Abelian Codes, Applicable Alge-
bra in Engineering Communication and Com-
La cota BCH para códigos cı́clicos es uno de los puting, Springer-Verlag, 1992.
temas clásicos en el estudio de la teorı́a de códi-
gos correctores de errores. En 1970 Paul Camion
[1] definió la distancia aparente de un código abe-
liano y de este modo extendió el estudio de la cota
BCH a la familia de códigos abelianos. Presenta-
mos un algoritmo para calcular la distancia aparen-
te de un código abeliano, basado en el manejo de
las hipermatrices asociadas al idempotente genera-
dor del código. Nuestro método usa menos cálculos
que aquellos dados en [1] y [2]; de hecho, en el caso
de dos dimensiones el número de cálculos requeri-
dos es de orden lineal en vez de exponencial. Fi-
nalmente, mostramos dos aplicaciones basadas en
nuestros resultados. En primera instancia, dado un
código cı́clico C, construimos un código abeliano
de dos variables que multiplica la dimensión de C
y tal que su distancia aparente alcanza la cota BCH
de C. La segunda aplicación es una aproximación
a la noción de código BCH multivariable, que nos
permite construir códigos abelianos con distancia
aparente designada.

Exactas y Naturales
Higher Auslander-Reiten theory

Juan Arias
jc.arias147@uniandes.edu.co. This is a joint work with professor Erik Backelin
Keywords: Auslander-Reiten Theory, Serre func- [5] O. Iyama,Higher-dimensional Auslander-

tor, t-structures. Reiten theory on maximal orthogonal subcate-
gories Advances in Mathematics, 2007.
Abstract:
For an additive category C we propose a frame-
work for Higher Auslander-Reiten Theory by means
of a t-structure on the homotopy category K b (C)
and its heart HC . We illustrate the theory with
Iyama’s higher AR sequences and derive his higher
AR duality from the existence of a Serre functor on
the derived category Db (HC ).
References
[1] M. Auslander, and I. Reiten, and S.
Smalo ,Representation theory of artin algebras
Cambridge University Press, 1995.
[2] E. Backelin and O. Jaramillo,Auslander-
Reiten sequences and t−structures on the ho-
motopy category of an abelian category Journal
of Algebra, 2011.
[3] A. Beilinson, and J. Bernstein, and
P. Deligne,Faisceaux pervers Astérisque, 100,
Soc. Math. France, Paris, 1982.
[4] M. Kashiwara and P. Schapira,Sheaves on
Manifolds Springer, 1990.

Exactas y Naturales
Goldie Dimension over Some Quantum Algebras

Armando Reyes
mareyesv@unal.edu.co
Keywords: Goldie dimension, noncommutative [3] O. Lezama and A. Reyes, Some Homological
algebras. Properties of Skew PBW Extensions, Commu-
nications in Algebra 42 (2014), 1200-1230.
[4] J. Matczuk, Goldie Rank of Ore Exten-
Abstract: sions, Communications in Algebra 23 (1995),
1455–1471.
A basic tool in the study of Noetherian rings and
modules is the Goldie dimension. The basic idea of [5] A. Reyes, Ring and Module Theoretic Proper-
this dimension is that one measures the “size” of a ties of σ-PBW Extensions, Ph.D. Thesis, Uni-
module M by finding out how big a direct sum of versidad Nacional de Colombia, 2013.
nonzero submodules M can contain (for modules
[6] A. Reyes, Uniform Dimension over Skew
over a division ring, uniform dimension is just the
PBW Extensions, Revista Colombiana de
usual vector space as dimension as defined in lin-
Matemáticas, 48 (1) (2014), 79-96.
ear algebra). With this in mind, we present some
results concerning the Goldie dimension for a class [7] R. Shock, Polynomial Rings over Finite-
of noncommutative rings called skew P BW exten- Dimensional Rings, Pacific Journal of Mathe-
sions. We illustrate these results with several exam- matics 42 (1972), 251-257.
ples such as Ore algebras, operator algebras, some
quantum algebras, and others.
References
[1] C. Gallego and O. Lezama, Grõbner Bases
for Ideals of σ-PBW Extensions, Communica-
tions in Algebra 39 (2011), no. 1, 50-75.
[2] P. Grzeszczuk, Goldie Dimension of Differ-
ential Operator Rings, Communications in Al-
gebra 16 (1988), no. 4, 689-701.

Exactas y Naturales
Conjuntos de sidon libres de sumas módulo n

Jesús Muñoz1 , Santiago David Carlosama1
1
Semillero de Investigación Altenua-Matdis de la Universidad del Cauca, Popayán, Colombia, e-mail:
fabianpomeo@hotmail.com, santiago08.sdc@hotmail.com
Palabras Clave: Conjuntos de Sidon, Conjuntos

libres de sumas. x − A = {x − a : a ∈ A}
(Función maximal) La función maximal para los
conjuntos de Sidon libres de sumas esta dada por:
Resumen: SLS(N ) := máx{|A| : A ∈ S(ZN ) ∩ LS(ZN )}.
Sean (G, +) un grupo conmutativo, notado aditi-
vamente, y A un subconjunto de G. Se definen el Ası́ SLS (N ) es el máximo número de elementos
conjunto suma y el conjunto diferencia de A, nota- que puede tener un conjunto de Sidon libre de su-
dos A + A y A − A, respectivamente, como: mas en ZN . Investigando el máximo subconjunto
libre de sumas contenido en cada una de las tres
A + A := {a + b : a, b ∈ A} ; construcciones de conjuntos de Sidon, debidas a
A − A := {a − b : a, b ∈ A} Singer, Bose y Ruzsa, probamos que para toda po-
tencia prima q y todo primo p, se tiene:
(Conjunto Libre de Sumas). A es un conjunto
libre de sumas si la ecuación x + y = z con x, y, z ∈
A no tiene solución. Esto es equivalente a requerir SLS(q 2 + q + 1) = q
que la suma de dos elementos de A nunca está en 3 (q − 1)
SLS(q 2 − 1) ≥
A, es decir: 4
(A + A) ∩ A = ∅ 3 (p − 1)
SLS(p2 − p) ≥ .
(Conjunto de Sidon). A es un conjunto de Sidon 4
en G si todas las sumas de dos elementos de A son En esta ponencia presentamos los resultados men-
distintas(salvo conmutatividad). Es decir, si para cionados.
todo a, b, c, d ∈ A
a + b = c + d ⇒ {a, b} = {c, d} Referencias

Esto es también equivalente a requerir que para [1] Richard K. Guy, Unsolved problems in Num-
todo x ∈ G se tiene que: ber Theory. Third Edition, Springer 2004. Ver
|A ∩ (x − A)| ≤ 2, secciones C9, C14, E28, E32.
donde

Exactas y Naturales
Gammoides, pseudomodularidad y planaridad

Jorge Olarte
ja.olarte1299@uniandes.edu.co
Palabras Clave: Teorı́a de matroides, gammoide rango. Para k = 3 ya es una propiedad lo su-
de, grafo dirigido, planaridad, pseudomodularidad. ficientemente fuerte para implicar que la matroide
es pseudomodular. Veremos con varios ejemplos en
la clase de gammoides que estas propiedades son
todas distintas.
Resumen:
Dado un grafo dirigido Γ y un subconjunto de los Referencias
vértices de Γ denominados pozos, se puede cons-
truir una matroide asociada a Γ que modela como [1] D.M Evans, Matroid theory and hrushovski’s
se puede llevar un flujo hasta esos pozos a través predimension construction. arXiv preprint ar-
de caminos disjuntos. Una matroide que se pueda Xiv:1105.3822, 2011.
construir de esta manera se llama una gammoide
estricta. A estas matroides también se les conoce [2] J.A. Olarte, Gammoids, Pseudomodularity
como cotransversales, pues son duales a las matroi- and Flatness Degree. Electronic Journal of
des transversales. Una matroide que es menor de Combinatorics 22(1) P1.54 2015.
una gammoide estricta se llama simplemente gam-
moide.
Las gammoides estrictas están caracterizadas por
la propiedad de ser planas. Formalmente, una ma-
troide es plana si y solo si para todo conjunto A =
{Fi |Pi ∈ [n]} de subconjuntos cerradosTse cumple
que (−1)|S| r(FS ) ≥ 0 donde FS = Fi . Esta
S⊆I i∈S
propiedad exige que las intersecciones de los sub-
conjuntos cerrados de las matroides se comporten
adecuadamente. Por eso resulta ser de gran interés
para la teorı́a de modelos en el contexto de matroi-
des infinitas.
En esta charla veremos como se puede debilitar esta
propiedad considerando solo los conjuntos A tales
que |A| ≤ k. Con k = 2 se tiene que todas las
matroides la cumplen pues es uno de los axiomas

Exactas y Naturales
Formas lineales en logaritmos y aplicaciones

Jhon Bravo
Departamento de Matemáticas, Universidad del Cauca, Popayán, Colombia, e-mail: jbravo@unicauca.edu.co
Palabras Clave: Cotas inferiores para formas li- [5] J. J. Bravo and F. Luca, Coincidences
neales en logaritmos de números algebraicos, frac- in generalized Fibonacci sequences, J. Number
ciones continuas. Theory, 133, no. 6, 2121–2137, 2013.
[6] F. Luca, Fibonacci and Lucas numbers with
only one distinct digit, Port. Math. 57, (2): 243–
Resumen: 254, 2000.
En esta charla hacemos una breve introducción al [7] D. Marques, On k−generalized Fibonacci
método de las formas lineales en logaritmos, una numbers with only one distinct digit, to appear
de las herramientas más importantes en las últi- in Util. Math.
mas décadas en la resolución efectiva de ecuaciones
Diofánticas exponenciales. En particular, mostra-
mos algunas aplicaciones relacionadas con la solu-
ción de algunas ecuaciones Diofánticas que involu-
cran términos de sucesiones lineales recurrentes.
Referencias
[1] J. J. Bravo, A. Gómez and F. Luca, Powers
of two as sums of two k−Fibonacci numbers.
Preprint 2015.
[2] J. J. Bravo and F. Luca, Repdigits as sums
of two k−Fibonacci numbers, Monatsh. Math.,
176, no. 1, 31–51, 2015.
[3] J. J. Bravo and F. Luca, Repdigits in
k−Lucas sequences, Proc. Indian Acad. Sci.
Math. Sci., 124, no. 2, 141–154, 2014.
[4] J. J. Bravo and F. Luca, On a conjecture
about repdigits in k−generalized Fibonacci se-
quences, Publ. Math. Debrecen, 82, no. 3–4,
623–639, 2013.

Exactas y Naturales
Maximum and minimum energy trees with two and three

branched vertices
Carlos Alberto Marı́n1 , Juan Monsalve1 , Juan Rada1
1
Departamento de Matemáticas, Universidad de Antioquia, Medellı́n, Colombia, e-mail:
calberto.marin@udea.edu.co, jdmonsal@gmail.com, pablo.rada@udea.edu.co
Keywords: Trees with three branched vertices, [4] J. Guo, On the minimal energy ordering
energy, extremal values. of trees with perfect matchings, Discr. Appl.
Math. 156 (2008) 2598-2605.
[5] I. Gutman, Acyclic systems with extremal
Abstract: Hückel π-electron energy, Theoret. Chim. Acta,
Berlin 45 (1977) 79-87.
The energy of a graph G is defined as the sum
of the absolute values of the eigenvalues of its ad- [6] I. Gutman, The energy of a graph. Ber.
jacency matrix. In this paper we find trees with Math.-Statist. Sekt. Forschungszentrum Graz
minimal and maximal energy over the sets Ω (n, 2) 103 (1978) 1-22.
and Ω (n, 3) of all trees with n vertices and exactly
[7] I. Gutman, O. E. Polansky, Mathematical
two and three branched vertices, respectively. We
concepts in organic chemistry, Springer-Verlag,
also find the extremal values of the energy over the
Berlin, 1986.
set Ωt (n, 2) of all trees in Ω (n, 2) such that the dis-
tance between the two branched vertices is exactly [8] I. Gutman, F. Zhang, On the ordering of
t. graphs with respect to their matching numbers,
Discr. Appl. Math., 15 (1986) 22-33.
References [9] I. Gutman, O. Araujo, J. Rada, Matchings

in starlike treees, Appl. Math Lett., 14 (2001)
[1] E. O. D. Andriantiana, More trees with 843-848.
large energy, MATCH Commun. Math. Com-
put. Chem. 68 (2012) 675-695. [10] I. Gutman, B. Furtula, E. O. D. An-
driantiana, M. Cvetić, More trees with
[2] C.A. Coulson, On the calculation of the en- large energy and small size, MATCH Commun.
ergy in unsaturated hydrocarbon molecules, Math. Comput. Chem., 68 (2012) 697-702.
Proc. Cambridge Phil. Soc. 36 (1940) 201-203.
[11] C. Heuberger and S. Wagner, Chemical
[3] D. Cvetkovic, M. Doob and H. Sachs, trees minimizing energy and Hosoya index, J.
Spectra of graphs - Theory and Application Math. Chem., 46 (2009) 214-230.
Academic, New York, (1980).

[12] X. Li, X. Yao and J. Zhang and I. Gut-

man, Maximum energy trees with two max-
imum degree vertcies, J. Math. Chem., 45
(2009) 962-973.
[13] X. Li, Y. Shi, I. Gutman, Graph energy,
Springer, New York, 2012.
[14] J. Li, X. Li and Y. Shi, On the maximal
energy tree with two maximum degree vertices,
Lin. Algebra Appl, 435 (2011) 2272-2284.
[15] J. Li and X. Li, On the maximal energy trees

with one maximum and one second maximum
degree vertex, MATCH Commun. Math. Com-
put. Chem., 67 (2012) 525-539.
[16] W. Lin, X. Guo and H. Li, On the extremal
energies of trees with a maximum degree,
MATCH Commun. Math. Comput. Chem., 54
(2005) 363-378.
[17] J. Ou, On ordering chemical trees by energy.
MATCH Commun. Math. Comput. Chem., 64
(2010) 157-168.
[18] H. Y. Shan, J. Y. Shao, L. Zhang, C.

X. He, Proof of a conjecture on trees with
large energy, MATCH Commun. Math. Com-
put. Chem., 68 (2012) 703-720.
[19] W. Wang, Ordering of Hückel trees according

to minimal energies, Lin. Algebra Appl., 430
(2009) 713-717.
[20] W. Wang, Ordering of the trees with a per-
fect matching by minimal energies, Lin. Algebra
Appl., 431 (2009) 946-961.
[21] W. Yan and L. Ye, On the minimal energy of
trees with a given diameter, Appl. Math. Lett.,
18 (2005) 1046-1052.
[22] L. Ye and X. Yuan, On the minimal en-
ergy of trees with a given number of pen-
dant vertices, MATCH Commun. Math. Com-
put. Chem., 57 (2007) 193-201.
[23] J. Zhu, Minimal energies of trees with given
parameters, Linear Algebra Appl., 436 (2012)
3120-3131.

Exactas y Naturales
Upper Bounds For Constant Dimension Subspaces Codes

Ismael Gutiérrez Garcı́a1 , Diana Mejı́a1
1
Departamento de Matemáticas y Estadı́stica, Universidad del Norte, Puerto Colombia, Colombia, e-mail:
isgutier@uninorte.edu.co, dmmejia@uninorte.edu.co
Keywords: Network Coding, Constant Dimen- [4] R. Koetter and F. R. Kschischang, Cod-
sion Codes, Upper Bounds, Subspaces Codes. ing for Errors and Erasures in Random Net-
work Coding. IEEE Transactions on Informa-
tion Theory, Volume 54, 2008.
Abstract:
A constant dimension code C is a non empty subset
of the projective space Pq (n), in which all spaces
have a fixed dimension, say k ≤ n. The central
aspect in this talk is to find upper bounds for the
size of C, such as the sphere-packing upper bound,
the sphere-covering lower bound and the Singleton
bound, in a similar way as in the classical coding
theory. And also to show some results obtained
about some of these bounds on constant dimension
codes with small parameters.
References
[1] Ahlswede, R.; Ning Cai; Li, S.-Y.R.; Ye-
ung, R.W., Network information flow, IEEE
Transactions on Information Theory, vol.46,
no.4, pp.1204,1216, Jul 2000.
[2] T. Etzion and A. Vardy, Error-Correcting

Codes in Projective Space. IEEE Transactions
on Information Theory, Volume 57 (2), pages
1165-1173, 2011.
[3] Ismael Gutiérrez, Iván Molina Naizir,

Some constructions of subspaces cyclic and
quasi-cyclic codes, arXiv:1504.04553 (2015).

Exactas y Naturales
Grupo de automorfismos de las curvas de Fermat

Marby Bolaños1 , Maribel Dı́az2 , Martha Romero2
1
Instituto de Matemática e Estatı́stica, Universidade Federal de Goiás, Goiânia, Brasil, e-mail:
marbyb@unicauca.edu.co
2
Departamento de Matemáticas, Universidad del Cauca, Popayán, Colombia, e-mail: mddiaz@unicauca.edu.co,
mjromero@unicauca.edu.co
Palabras Clave: Superficies de Riemann, Auto-

morfismos.
Resumen:
Pavlos Tzermias en su artı́culo ”The group of au-
tomorphisms of the Fermat curve”[1] prueba que el
grupo de automorfismos de las curvas de Fermat
proyectivas en caracterı́stica 0, F (n) = {[X : Y :
Z] ∈ CP2 : X n + Y n + Z n = 0}, n ≥ 4, es el pro-
ducto semidirecto de la suma directa de 2 copias
del grupo cı́clico de orden n y el grupo simétrico
de 3 letras. En esta presentación se mostrará una
prueba alternativa de este hecho, desde el punto de
vista grupo teórico. Además se presentará una des-
cripción de la acción del grupo de automorfismos
en la curva, mediante correspondencia geométrica.
Referencias
[1] R. Miranda, Algebraic curves and Riemann
surfaces. Graduate Studies in Mathematics, 5.
American Mathematical Society, Providence,
RI, 1995. xxii+390 pp. ISBN: 0-8218-0268-2
MR1326604 (96f:14029).
[2] P. Tzermias, Group of Automorphisms of the
Fermat Curve. Journal of Number Theory, 53,
1: 173 - 178, ISSN 0022-314X, 1995.

LÓGICA
Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3 .

Exactas y Naturales
H−estructuras
A. Berenstein1 , E. Vassiliev2
1
Universidad de Los Andes, e-mail: aberenst@uniandes.edu.co
2
Memorial University New Foundland, email: yvasilyev@grenfell.mun.ca
Palabras Clave: Teorı́a de modelos, teorı́as es-

tables, teorı́as dependientes.
Resumen:
Una teorı́a completa T es geométrica si elimina

el cuantificador existe infinito y en todo modelo M
de T la clausura algebraica satisface la propiedad de
intercambio. Una H−estructura asociada a T es un
par (M, H) donde M es un modelo de T y H es un
subconjunto de M algebraicamente independiente
que es denso y codenso. La densidad de H significa
que para cada conjunto definible infinito φ(x, b) de
M , φ(x, b) intersecta a H. En esta charla vamos a
estudiar propiedades de las H estructuras y como
se transfieren atributos de la teorı́a T como estabi-
lidad, dependencia a la teorı́a del par (M, H). Esto
es un trabajo en conjunto con Evgueni Vassiliev.

Exactas y Naturales
La topologı́a indiscernible y ecuacionalidad en el pseudoplano

libre
Juan Felipe Carmona1
1
Departamento de Matemáticas, Universidad de Los Andes, Bogotá, Colombia; Institut Camille Jordan,
Université Claude Bernard Lyon 1, e-mail: jf.carmona658@uniandes.edu.co
Palabras Clave: Pseudoplano libre, geometrı́a [4] Ohara A., Equations and equational theo-
de la bifurcación, ecuacionalidad, topologı́a indis- ries https://www.math.uwaterloo.ca/ rmoo-
cernible. sa/ohara.pdf, 2011.
Resumen:
El pseudoplano libre es un grafo infinito sin ciclos
donde cada vértice tiene valencia infinita. Esta des-
cripción forma una teorı́a completa de primer orden
que resulta ser omega-estable. Nos valdremos de es-
ta teorı́a para explicar varios de los conceptos más
importantes de la teorı́a de modelos geométrica. Fi-
nalmente, calcularemos la complejidad de la clau-
sura indiscernible sobre conjuntos tipo-definibles.
Referencias
[1] Baudisch A., Martin-Pizarro A., Ziegler M.,
Ample hierarchy, Fundamenta Mathematicae,
224: 97-153, 2014.
[2] Carmona J., Geometric expansions and ample-
ness. Ph.D thesis, 2015.
[3] Junker M., Lascar D., The indiscernible topo-
logy, a mock Zariski topology, Journal of Mat-
hematical Logic 1(1): 99-124, 2001.

Exactas y Naturales
Tame topology and axiomatic cohesion

Matı́as Menni
Universidad Nacional de La Plata, Argentina, e-mail: Correo
Keywords: o-minimal structures, Grothendieck (ed.) et al., Lond. Math. Soc. Lect. Note Ser.
toposes. 242, 1997.
[2] F. W. Lawvere, Axiomatic cohesion. Theory
Appl. Categ., 19:41-49, 2007.
Abstract: [3] L. Van Den Dries, Tame topology and o-
Lawvere’s Milan 1977 lectures and Grothendieck’s minimal structures. London Mathematical So-
1984 Esquisse dun Programme suggested the idea of ciety Lecture Note Series. 248. Cambridge Uni-
a ‘theory of spaces’ that avoids space-filling curves, versity Press, 1998.
nowhere differentiable functions and other “spuri-
ous difficulties related to wild phenomena” [1].
It is proposed in [3] that o-minimal structures
provide an excellent framework for developing the
Grothendieck’s tame topology. On the other hand,
a synthesis of Lawvere’s endeavor to axiomatize the
notion of ‘category of spaces’ may be found in his
formulation of Axiomatic Cohesion [2].
I will present Axiomatic Cohesion, recall some
of the motivating examples in combinatorial topol-
ogy and algebraic geometry, discuss the (internal)
Axiom of Choice as a consequence of the geomet-
ric axioms, and explain how to build examples of
Grothendieck toposes satisfying all the axioms for
Cohesion. Finally, I will formulate some simple
questions on how o-minimal structures may be used
to build further examples.
References
[1] A. Grothendieck, Sketch of a Programme.
(Esquisse d’un Programme.). In Schneps, L.

Exactas y Naturales
Dimensión, bifurcación y simplicidad para ultraproductos de es-

tructuras finitas
Darı́o Garcı́a
Departamento de Matemáticas, Universidad de Los Andes, Bogotá, Colombia, e-mail:
da.garcia268@uniandes.edu.co
Palabras Clave: Estructuras pseudo-finitas, bi- Las nociones de dimensión han jugado un pa-
furcación, ultraproductos. pel muy importante en la teorı́a de modelos y se
han usado para dar una descripción combinatórica
de los conjuntos definibles en estructuras de primer
orden, permitiendo también el uso de argumentos
Resumen: inductivos para probar propiedades sobre conjun-
tos definibles.
Aquellas estructuras que tienen las mismas pro-
piedades de primer-orden que algún ultraproducto
Una vez se ha definido una noción de dimensión,
de estructuras finitas se conocen como estructuras
una pregunta recurrente es saber si cualquier ins-
pseudo-finitas. Entre los principales ejemplos en-
tancia de bifurcación (en tipos o en fórmulas) pueda
contramos el grafo aleatorio (que resulta ser equi-
ser detectada por algún descenso en la dimensión,
valente al ultraproducto de los grafos de Paley),
de la misma manera que cualquier instancia de in-
ultraproductos de campos finitos y espacios vecto-
dependencia lineal ó algebraica se detecta a través
riales sobre campos finitos.
de un descenso de la dimensión lineal o del grado
de trascendencia, respectivamente.
El Teorema de Loś nos proporciona un princi-
pio de transferencia entre las estructuras finitas y
Hrushovski y Wagner definieron lo que se cono-
sus lı́mites (ultraproductos). En pocas palabras, es-
ce como dimensión pseudofinita que se puede defi-
te teorema establece que una fórmula es cierta en
nir en ultraproductos de estructuras finitas al to-
el ultraproducto M de las estructuras Mn si y sólo
mar el logaritmo de la cardinalidad no estándar de
si es cierta en “casi todas” las estructuras Mn .
los conjuntos definibles, modulo el subgrupo forma-
do por la envolvente convexa de los reales estándar.
Esta conexión entre lo finito y lo infinito puede
Esta noción dimensión se diferencia de las nociones
ser usada para probar propiedades cualitativas de
usuales de rango en que ya no toma valores enteros,
los modelos “suficientemente grandes” de una clase
sino que toma valores en un grupo ordenado.
de estructuras finitas, y en la otra dirección, las pro-
piedades cuantitativas en los conjuntos definibles de
Con esta nueva dimensión aún se preserva al-
las estructuras finitas pueden inducir propiedades
go de la relación entre la dimensión y la forking-
modelo-teóricas deseables de sus ultraproductos.
independencia: cualquier instancia de división en
un ultraproducto de estructuras finitas se puede

detectar por un descenso en la dimensión pseudofi-

nita.
Esta charla estará dividida en dos partes: en

la primera parte presentaré los preliminares, en los
cuales incluiré una breve descripción de propieda-
des modelo-teóricas de las estructuras de primer
orden (forking, simplicidad, estabilidad, dependen-
cia, etc.), los principales ejemplos de estructuras
pseudofinitas y la definición de dimensión pseudofi-
nita. En la segunda parte presentaré algunos resul-
tados de un trabajo conjunto con los profesores D.
Macpherson y C. Steinhorn en el que estudiamos
condiciones sobre la dimensión pseudofinita bajo
las cuales los ultraproductos de estructuras finitas
son simples, supersimples, o estables.

Exactas y Naturales
Bases para familias cofinales

Carlos Uzcategui Aylwin1
1
cuzcatea@uis.edu.co
Palabras Clave: Familias cofinales, ideales den-

sos, teorema de Ramsey.
Resumen:
Una familia C de subconjuntos infinitos de un

conjunto X es cofinal, si para todo A ⊆ X infinito,
existe B ∈ C tal que B ⊆ A. Un ejemplo importante
de familia cofinal es la colección Hom(c) de subco-
juntos homogéneos respecto de una coloración c de
los pares de naturales (u otro tipo de coloraciones
como las tratadas en el Lema de Galvin).
Diremos que B es una base para C, si B ⊆ C y B
es cofinal en C. Presentaremos algunos resultados
sobre la existencia de bases de la forma Hom(c)
para familias cofinales de subconjuntos infinitos de
un conjunto numerable.

Exactas y Naturales
Tipos definibles en campos valuados algebraicamente cerrados

Pablo Cubides Kovacsics1 , F. Delon2
1
Laboratoire Painlevé, Université Lille 1, Lille, France, e-mail: Pablo.Cubides@math.univ-lille1.fr
2
Institut de Mathématiques de Jussieu - Paris Rive Gauche, Université Paris Diderot, Paris, France, e-mail:
delon@math.univ-paris-diderot.fr
Supported by: ERC Consolidator Grant nr. 615722, MOTMELSUM.
Palabras Clave: Campos valuados algebraica-

mente cerrados, tipos definibles, theorı́a de la va-
luación.
Resumen:
Dado un par de modelos K ≺ L de una teorı́a

T de primer orden, decimos que el par es estable
si se tiene la siguiente propiedad: todos los tipos
sobre K realizados en L son definibles. Marker y
Steinhorn caracterizaron los pares estables de mo-
delos de una teorı́a o-minimal como aquellos pares
K ≺ L en los que K es Dedekind completo en L.
En esta charla, se expondrá una caraterización de
pares estables de campos valuados algebraicamente
cerrados (ACVF). Para proveer una intuición sobre
el tema, se discurirán diferentes aspectos modelo-
teóricos de pares estables de una teorı́a junto con
diversos ejemplos.
Referencias
[1] Pablo Cubides Kovacsics, Françoise De-
lon,Definable types in algebraically closed va-
lued fields, to appear in Mathematical Logic
Quarterly.

Exactas y Naturales
Una visión de la teorı́a homotópica de tipos

Jaime A. Robayo Mesa1
1
jarm1405@gmail.com
Palabras Clave: Axioma de Univalecia, Cate- rición de inconsistencias en la teorı́a matemática

gorı́as, Homotopı́a, Teorı́a homotópica de tipos. desarrollada, como podrı́a pasar en ZFC o en la
teorı́a de categorı́as. En este sentido, se ha dotado
de gran fuerza los avances de las pruebas asistidas
por computador, no obstante, esta tarea se encuen-
Resumen: tra en una fase embrionaria y el desconocimiento
por parte de la comunidad académica es amplio.
En palabras del propio Voevodsky [5]:
La teorı́a homotópica de tipos (HoTT) nace en
los trabajos del matemático Vladimir Voevodsky, “It is extremely difficult to accept that mathe-
quien, preocupado por el buen número de errores matics is in need of a completely new foundation.
presentes en el mundo matemático, y en particular Even many of the people who are directly connected
en demostraciones célebres (por ejemplo el mismo with the advances in Homotopy Type Theory are
Voevodsky o incluso casos como el célebre Henri struggling with this idea... There is a good reason it
Poincaré sobre el problema de tres cuerpos), su- is difficult: the existing foundation of mathematics -
mado a las (fuertes) dudas sobre la existencia de ZFC, and its main contender for a new foundation
inconsistencias y errores en la axiomatización de - category theory, have been very successful.”
la teorı́a de conjuntos basada en la axiomatización
El sistema deductivo de este nuevo sistema for-
de Zermelo-Fraenkel + Axioma de Elección (ZFC)
mal recibe el nombre de cálculo de construcciones
-donde se basa gran parte de los desarrollos ma-
inductivas, las cuales se realizan en tipos, y gene-
temáticos actuales-, ha propuesto una nueva axio-
ran una dinámica que es posible visualizarse desde
matización para la matemática. De esta intención,
la teorı́a de homotopı́as. Ası́, en esta intersección se
surge el programa de la Fundamentación Univalen-
fundamenta la teorı́a homotópica de tipos.
te, llevado a cabo en en Instituto de Estudios Avan-
zados (IAS) en 2013, y donde exploraron algunos La intención de este trabajo, es mostrar tres as-
elementos de la axiomatización de la teorı́a de cate- pectos de esta teorı́a: las razones principales que lle-
gorı́as, el estudio de homotopı́as y la construcción varon a Voevodsky a su formulación (barrido históri-
de los números reales. En todo caso, la intención co de su trabajo), las bases fundamentales de esta
de la Fundamentación Univalente es que las cons- teorı́a: sistema formal deductivo de las construc-
trucciones y demostraciones realizadas en ésta sean ciones inductivas para elementos como el tipo de
verificables y construibles a través de procesos al- funciones, Π- tipos, Σ-tipos, productos, coproduc-
gorı́tmicos, hecho que permitirı́a eliminar la apa- tos, las encarnaciones lógicas de las construcciones

inductivas, el sentido de una demostración induc-

tiva, el tipo igualdad y algunos resultados de la
teorı́a de conjuntos que se tienen (como el axioma
de elección) y el axioma de univalencia.
Por otra parte, se mostrará la relación que tiene
las construcciones del tipo igualdad con la teorı́a
de homotopı́as y las ∞-categorı́as, relación que da
consistencia a la denominación de la teorı́a.
Finalmente, se explorarán algunas nociones, ca-
minos y obstrucciones presentes para extender la
axiomatización de la teorı́a de haces en HoTT (com-
prensión de la estructura interna de un tipo, exten-
sión de las nociones de continuidad y de la estruc-
tura topológica interna). En este sentido se mos-
trarán algunos aportes personales que impactan a
la consolidación de la teorı́a de categorı́as en HoTT
y algunas nociones de continuidad de funciones en
espacios métricos y las nociones de prehaz y haz en
ellos.
Referencias
[1] Kraus, N. (2014). Homotopy Type Theory.
[2] MacLane, S., & Moerdijk, I. (2012). Shea-
ves in geometry and logic: A first introduction
to topos theory. Springer Science & Business
Media.
[3] Pelayo, A., Warren, M. A., & Voe-
vodsky, T. V. (2014). Homotopy type theory.
Gazette des Mathematiciens, (142), 95-110.
[4] The Univalent Foundations Program
(2013). Homotopy Type Theory: Univa-
lent Foundations of Mathematics. Insti-
tute for Advanced Study, Disponible en
http://homotopytypetheory.org/book.
[5] Voevodsky, V. (2014). Univalent Founda-
tions. Institute for Advanced Study, Princeton,
NJ.

Exactas y Naturales
Una teorı́a de tipos lineales para lógica lineal con subexponen-

ciales
Carlos E. Ramı́rez1
1
Departamento de Matemáticas, Universidad del Valle, Cali, Colombia, e-mail:
carlos.ernesto.ramirez@correounivalle.edu.co
Palabras Clave: Lógica lineal, teorı́a de tipos, [2] C.Olarte,E. Pimentel AND
isomorfismo Curry-Howard,subexponenciales. V.Nigam,Subexponential concurrent cons-
traint programming. Theoretical Computer
Science, 2015
Resumen: [3] J.Lambek AND P.J Scott,Introduction to

higher-order categorical logic.(Vol. 7). Cambrid-
Ya se ha logrado construir un sistema de asignación ge University Press,1988
de tipos y términos para lógica lineal intuicionista
vı́a isomorfismo de curry-howard siguiendo la filo-
sofı́a del trabajo clásico hecho por Lambek. Igual-
mente se ha elaborado un sistema de tipos para
SELL (Lógica Lineal con Subexponenciales) pero
basándose en la noción de × − poset,de tal forma
que se puedan especificar diferentes condiciones de
caracter epistémico, temporal y espacial. En este
trabajo seguiremos la misma lı́nea seguida el caso
de lógica lineal intuicionista para elaborar un siste-
ma de tipos para SELL via isomorfismo de curry-
howard.
Referencias
[1] B. Nick, G. Bierman AND V. De Paiva
,Term Assigment for Intuitionist Linear Logic
. Typed Lambda Calculi and Applications Lec-
ture Notes in Computer Science Volume 664,
1993, pp 75-90.

Exactas y Naturales
Applications of motivic integration to the fundamental lemma

Jorge Cely
Department of Mathematics, University of Pittsburgh, Pittsburgh PA, USA,
e-mail: celyje@gmail.com
Palabras Clave: Motivic integration, the fun- work they obtained transfer principles in the spirit
damental lemma, orbital integrals, Denef-Pas lan- of Ax-Kochen-Ervsov principle, more specifically
guage, transfer principles, Satake transform. these results transfer theorems about identities of
p-adic integrals from one collection of fields to oth-
ers. The general idea in [2] is to show that the
identities of orbital integrals involved in the Fun-
Resumen: damental Lemma have a motivic nature (in a sense,
they are definable in the Denef-Pas language) and
then, by the transfer principles and Ngô’s proof we
The Fundamental Lemma was formulated by
can transfer the Fundamental Lemma from fields
Langlands in the context of endoscopy theory for
of positive characteristic to fields of characteristic
automorphic representations, it corresponded to a
zero.
series of conjectural identities between orbital inte-
The purpose of my talk is to present new results
grals of a reductive groups over a local field, and
in this direction, the transfer principle for a general
stable orbital integrals on its endoscopic groups.
version of the Fundamental Lemma, for this result
The theory for real groups was established, al-
we established the motivic nature of the Satake
most entirely, by Shelstad. The situation for groups
transform and the transfer factors for the groups
over other local fields took more time and the ef-
(these are important notions introduced by Lang-
fort of many people (Saito, Shintani, Langlands,
lands and Shelstad). As we will see in the talk, the
Kottwitz, Labesse, Kazhdan, Waldspurger, Hales,
proofs are basically the definability in the Denef-
Rogawski, Laumon, Schroder, Weissauer), particu-
Pas language of all the ingredients in the identities
lar cases and important reductions (for the general
of orbital integrals involved in this general form of
proof) were proved before Ngô had completed a
the Fundamental Lemma. This is a joint work with
general proof, in 2010 he was awarded the Fields
Tom Hales.
Medal for this proof.
In [2], Cluckers, Hales and Loeser explain how
the general transfer principle of Cluckers and Loeser References
may be used in the study of the Fundamental Lemma,
the link is given by motivic integration. Cluck- [1] R. Cluckers and F. Loeser, Constructible
ers and Loeser [1] developed a theory of motivic motivic functions and motivic integration. In-
integration based on the model theory of valued ventiones Mathematicae, vol.173, no.1, pp.23–
fields (with the Denef-Pas language), in this frame- 121, 2008.

[2] R. Cluckers, T. C. Hales and F.

Loeser,Transfer principle for the Fundamen-
tal Lemma Stabilization of the Trace Formula,
Shimura varieties, and arithmetic applications.
Clozel, Harris, Labesse and Ngô, editors, In-
ternational Press, Somerville, Massachusetts,
U.S.A, pp. 309–348, 2011.

Exactas y Naturales
Clases de Ramsey, lı́mites de Fraissé y grupos extremadamente

tratables
M. Vicarı́a Ángel
Departamento de Matemáticas, Universidad de Los Andes, Bogotá, Colombia, e-mail:
m.vicaria834@uniandes.edu.co
Palabras Clave: Grupo tratable, clases de Frai- sohn), los hipergrafos finitos linealmente ordenados
ssé, clases de Ramsey, teorı́a Ramsey, estructuras (cuyo lı́mite de Fraissé es el hipergrafo aleatorio
finitas, estructuras ordenadas, amenable group, or- ordenado), las álgebras booleanas ordenadas (cu-
dered structures, Ramsey classes, Ramsey theory, yo lı́mite de Fraissé es el álgebra booleana libre de
finite structures, Fraissé class. átomos) , entre otros.
Referencias
Resumen:
[1] SuperPaper, Auslander, Ellis, Hand-
bookC, Parametricos, PolishGroup,
En el artı́culo Fraissé limits, Ramsey theory, Spencer, TesisCifuentes, Prisco
and topological dynamic of automorphism groups ,
Kechris, Pestov y Todorcevic probaron el siguiente
resultado:
Teorema: Dada una clase de Fraissé K local-
mente finita de estructuras linealmente ordenadas,
los siguientes enunciados son equivalentes:
1. K es una clase de Ramsey.
2. El grupo de automorfismos del lı́mite de Fraissé
de K es extremadamente tratable.
El objetivo de esta charla es presentar este teo-
rema y mostrar ejemplos de grupos extremadamen-
te tratables presentados como grupos de automor-
fismos de lı́mites de Fraissé para distintas clases de
Ramsey.
Entre los principales ejemplos encontramos los
espacios métricos finitos linealmente ordenados (cu-
yo lı́mite de Fraissé es el espacio racional de Ury-

Exactas y Naturales
Implementación en C] de un demostrador automático de teore-

mas para la lógica modal K por el método del tableaux
J. C. Acosta1 , Luz A. Carranza Guerrero2
1
Departamento de Matemáticas e Ingenierı́as, Fundación Universitaria Konrad Lorenz, Bogotá, Colombia
2
Departamento de Matemáticas e Ingenierı́as, Fundación Universitaria Konrad Lorenz, Bogotá, Colombia,
e-mail: amparocarranza@hotmail.com
Palabras Clave: Lógica modal, sistema K, ta- Referencias

bleaux, demostradores automáticos, programación
orientada a objetos en C]. [1] Abate, P., R. Goré, The Tableau Work-
bench, Electronic Notes in Theoretical Compu-
ter Science vol. 231, 55-67, 2009.
Resumen: [2] Artosi, A., Governatori, G., and Roto-

lo, A., Labelled Tableaux for Non-monotonic
Reasoning: Cumulative Consequence Relations.
La lógica modal es una extensión de la lógi- Journal of Logic and Computation, 12(6): 1027-
ca clásica, a la cual se le introducen operadores 1060, 2002.
modales, como los de necesidad y posibilidad
[3] Basin, B., Caleiro, C., Ramos, J., and Vi-
♦. En 1912, C.I. Lewis define un nuevo condicio-
gano, L., Labelled Tableaux for Distributed
nal al que llama implicación estricta; este se define
temporal Logic. Journal of Logic and Compu-
en términos del condicional material y la noción
tation 19(6): 1245-1279, 2009.
de necesidad (p → q). Las combinaciones de los
axiomas planteados por Lewis proporcionaron di- [4] Beth, E.W., The Foundation of Mathematics,
ferentes lógicas normales; entre las más conocidas North Holland, Amsterdam, 1959.
están K, T , B, S4, S5. Este trabajo presenta un de-
mostrador automático de teoremas para el sistema [5] Bender, J., McWherterlackburn,J., Pro-
de lógica modal K, por medio del método del ta- fessional Test Driven Development with C ],
bleaux. El algoritmo de decisión se implementó en Developing Real Time Applications with TDD,
C] usando el entorno de desarrollo Visual Studio John Wiley and Sons Inc, 2011.
2013, bajo el paradigma de programación orienta-
[6] Bolander, T., Blackburn, P., Termina-
da a objetos. La verificación de la implementación
tion for Hybrid Tableaus, Journal of Logic and
se realizó mediante la ejecución de pruebas unita-
Computation, 16:737-763, 2006.
rias para fórmulas válidas e inválidas en el sistema
K. [7] Burrieza, A., Pérez de la Cruz, J.L., Ra-
zonamiento automático acerca de agentes con

introspección limitada, Actas de la VI Confe- [18] McRobbie, M.A. and Belnap N.D., Proof
rencia de la Asociación Española para la In- tableau formulations of some first-order rele-
teligencia Artificial, CAEPIA95, pp. 177-186, vant ortho-logics. Bulletin of the Section of Lo-
1995. gic, Polish Academy of Sciences, Institute of
Philosophy and Sociology, 13(4): 233-240, 1984.
[8] Cerro, L.F., Fauthoux, D., Gasquet, O.,
Massacci, F., Herzig, A., Longin. D., Lo- [19] Martin, Robert C., Clean code: A Hand-
trec: Generic tableau prover for modal and des- book of Agile Software Craftsmanship, Pearson
cription logic. Proc. IJCAR 2001, vol. 2083, Educaction, 2008.
LNAI, 453-458. Springer, 2001.
[20] Olivetti, N., Tableaux and Sequent Calculus
[9] Ferrari, M., Fiorentini, C., Fiorino, G., for Minimal Entailment. Journal of Automated
A tableau calculus for Propositional Intuitio- Reasoning, 9(1): 99-139, 1992.
nistic Logic with a refined treatment of nested
implications. Journal of Applied Non-Classical [21] Orlowska, O., Golinska-Pilarek, J.,
Logics 19(2): 149-166, 2009. Dual Tableaux: Foundations, Methodology, Case
Studies, Springer, Series: Trends in Logic, Vol.
[10] Fitting, M., Proof Methods for Modal and 33, 2011.
Intuitionistic Logics, Reidel, Dordrecht, 1983.
[22] Priest, G.: An Introduction to Non-Classical
[11] Gentzen, G., Untersuchungen uber das Lo- Logic, CUP, Cambridge, 2001.
gische Schliessen. Mathematische Zeitschrift,
39, pp. 176-210, 405-431, 1935. [23] Smullyan, R.: First-Order Logic, Springer
Verlag, Berlin, 1968.
[12] Goranko, V., and Shkatov, D., (2009)
Tableau-Based Procedure for Deciding Satisfia- [24] Troelsen, Andrew, Pro C ] 5.0 and the
bility in the Full Coallitional Multiagent Epis- .NET 4.5 Framework (Expert’s Voice in .NET),
temic Logic. In Sergei N. Artëmov, Anil Nerode Apress, 2012.
(Eds.): Logical Foundations of Computer Scien-
ce, International Symposium, LFCS 2009 Deer-
field Beach, FL, USA, January 3-6, 2009. Lec-
ture Notes in Computer Science 5407 Springer
pp. 197-213.
[13] Gore, R., Tableau Methods for Modal and
Temporal Logics, In Handbook of Tableau Met-
hods, edited by M. D’Agostino, D.M. Gabbay,
R. Hähnle and J. Possega, pp. 297-396. Kluwer,
Dordrecht, 1999.
[14] Hansen, J.U., Terminating Tableaux for Dy-
namic Epistemic Logics. ENTCS, 262: 141-156,
2010.
[15] Hintikka, J., Form and Content in Quantifi-

cation Theory, Acta Philosophica Fennica, vol.
8, pp. 7-55, 1955.
[16] Jeffrey, R., Formal Logic: Its Scope and Li-
mits, McGraw-Hill, Nueva York, 1981.
[17] Massacci, F., Single Step tableaux for Mo-
dal Logics, Journal of Automated Reasoning,
vol. 24, pp. 319-364, 2000.

Resúmenes Álgebra y Lógica

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Resúmenes Álgebra y Lógica

Caricato da

Copyright:

Formati disponibili

Libro de Resúmenes — XX CCM (2015)

Encontrará en este Tomo los resúmenes de las

Evento organizado por la Sociedad Colombiana de

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

ÁLGEBRA, COMBINATORIA Y TEORÍA DE

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Pointed Hopf algebras with finite Gelfand-Kirillov dimension

Keywords: Hopf algebras, Gelfand-Kirillov di-

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Some Contributions to the Theory of Transformation Monoids

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

[4] A. H. Clifford and G. B. Preston. The

[8] J. Rhodes and B. Steinberg. The q-theory

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Igusa-Todorov functions: summary of results obtained in various

sion of finite projective dimension modules.

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Una prueba elemental de la equivalencia entre enlaces racionales

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

definidas por la relación de recurrencia

pn+1 = an+1 pn + pn−1 , qn+1 = an+1 qn + qn−1, (1)

[2] L. Kauffman and S. Lambropoulou, On

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Some problems on skew PBW extensions arising in noncommu-

2010 Mathematics Subject Classification. Primary: References

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Poincaré and Hilbert series of a graded quotient of a path algebra

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

On the Classification of G-Graded Twisted Algebras over Finite

Keywords: Álgebras no Asociativas, Cohomologı́a ory Academia, Volume 4, Issue 1, February

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Categorificación de sucesiones enteras

La teorı́a de representaciones de Poset ha sido un [3] C. M . Ringel and P. Fahr, Categorifica-

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Algunos resultados y problemas abiertos sobre reglas Golomb

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

[3] A. Dimitromanolakis, Analysis of the Go-

[6] Terence Tao, Van Vu, Additive Combinatorics.

[12] I. Ruzsa, Solving a linear equation in a set of

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Algunos contraejemplos al teorema principal de Wedderburn en

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Morfismos en categorı́as de representaciones de posets equipados

Referencias [7] A.G. Zavadskij, The Auslander-Reiten quiver

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

[8] A.G. Zavadskij, Tame equipped posets, Linear

[11] A.G. Zavadskij and V.V. Kiriĉenco, Se-

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas

Una introducción a la teoria de esquemas no conmutativos

Palabras Clave: Noncommutative schemes, non- Referencias

Manizales, Julio de 2015, Libro de Resúmenes. Tomo 3.

XX Congreso Colombiano de Matemáticas