A conjectura de Makar-Limanov arma que se um anel de divisão D e finitamente gerado e de dimensão infinita sobre seu centro k, então D contém uma k-subálgebra livre de posto 2. Neste trabalho, investigaremos a existência de tais estruturas no anel de divisão de frações do anel de polinômios skew L[t; \'\\sigma\' ], onde t é uma variável e \'\\sigma\' é um k-automorfismo de L. Mais especificamente, assumindo o que chamamos de Hipótese do Delta 3.3.1, provaremos esse resultado para L / k uma extensão de corpos, mesmo quando L não é finitamente gerado sobre k. Finalmente, provaremos a Hipótese do Delta e a conjectura, quando L é o corpo de funções de uma variedade abeliana ou o corpo de funções do espaço projetivo n-dimensional / Makar-Limanov\'s conjecture states that if a division ring D is finitely generated and infinite dimensional over its center k then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures in the division ring of fractions of the skew polynomial ring L[t; \'\\sigma\' ], where t is a variable and \'\\sigma\' is an k-automorphism of L. More specifically, assuming what we called Delta\'s Hipothesis 3.3.1, we prove this result for L / k a field extension, even when L isn\'t finitely generated over k. Finally, we prove Delta\'s Hipothesis and the conjecture when either L is the function field of an abelian variety or the function field of the n-dimensional projective space

A conjectura de Makar-Limanov arma que se um anel de divisão D e finitamente gerado e de dimensão infinita sobre seu centro k, então D contém uma k-subálgebra livre de posto 2. Neste trabalho, investigaremos a existência de tais estruturas no anel de divisão de frações do anel de polinômios skew L[t; \'\\sigma\' ], onde t é uma variável e \'\\sigma\' é um k-automorfismo de L. Mais especificamente, assumindo o que chamamos de Hipótese do Delta 3.3.1, provaremos esse resultado para L / k uma extensão de corpos, mesmo quando L não é finitamente gerado sobre k. Finalmente, provaremos a Hipótese do Delta e a conjectura, quando L é o corpo de funções de uma variedade abeliana ou o corpo de funções do espaço projetivo n-dimensional / Makar-Limanov\'s conjecture states that if a division ring D is finitely generated and infinite dimensional over its center k then D contains a free k-subalgebra of rank 2. In this work, we will investigate the existence of such structures in the division ring of fractions of the skew polynomial ring L[t; \'\\sigma\' ], where t is a variable and \'\\sigma\' is an k-automorphism of L. More specifically, assuming what we called Delta\'s Hipothesis 3.3.1, we prove this result for L / k a field extension, even when L isn\'t finitely generated over k. Finally, we prove Delta\'s Hipothesis and the conjecture when either L is the function field of an abelian variety or the function field of the n-dimensional projective space

This thesis has two distinguish parts. The first part concerns the study of n-ary algebras. A n-ary algebra is a vector space with a multiplication on n arguments. Classically the multiplications are binary, but the use of ternary multiplication in theoretical physic like for Nambu brackets led mathematicians to investigate these type of algebras. Two classes of n-ary algebras are fundamental: the associative n-ary algebras and the Lie n-ary algebras. We are interested by both classes. Concerning the associative n-ary algebras we are mostly interested in 3-ary partially associative 3-ary algebras, that is, algebras whose multiplication satisfies ((xyz)tu)+(x(yzt)u)+(xy(ztu))=0. This type is interesting because the previous woks on this subject was not distinguish the even and odd cases. We show in this thesis that the case n=3 can not be treated as the even cases. We investigate in detail the free partially associative 3-ary algebra on k generators. This algebra is graded and we compute the dimensions of the 7 first components. In the general case, we give a spanning set such as the sub family of non zero vector is a basis. The main consequences are the free partially associative 3-ary algebra is solvable. In the free commutative partially associative 3-ary algebra any product on 9 elements is trivial. The operad for partially associative 3-ary algebra do not satisfy the Koszul property. Then we study n-ary products on the tensors. The simplest example is given by a internal product of non square matrices. We can define a 3-ary product by taking A . ^tB . C. We show that we have to generalize a bit the definition of partial associativity for n-ary algebras. We then introduce the products -partially associative where  is a permutation of the symmetric group of degree n. Concerning the n-ary algebras, two classes have been defined: Filipov algebras (also called recently Lie-Nambu algebras) and some more general class, the n-Lie algebras. Filipov algebras are very important in the study of the mechanic of Nambu-Poisson, and is a particular case of the other. So to define an approach of Maurer-Cartan type, that is, define a scalar cohomology, we consider in this work Fillipov as n-Lie algebras and develop such a calculus in the n-Lie algebras frame work. We also give some classifications of n-ary nilpotent algebras. The last chapter of this part concerns my work in Master on the Poisson algebras on polynomials. We present link with the Lie algebras is clear. Thus we extend our study to Poisson algebras which associated Lie algebra is rigid and we apply these results to the enveloping algebras of rigid Lie algebras. The second part concerns intervals arithmetic. The interval arithmetic is used in a lot of problems concerning robotic, localization of parameters, and sensibility of inputs. The classical operations of intervals are based of the rule : the result of an operation of interval is the minimal interval containing all the result of this operation on the real elements of the concerned intervals. But these operations imply many problems because the product is not distributive with respect the addition. In particular it is very difficult to translate in the set of intervals an algebraic functions of a real variable. We propose here an original model based on an embedding of the set of intervals on an associative algebra. Working in this algebra, it is easy to see that the problem of non distributivity disappears, and the problem of transferring real function in the set of intervals becomes natural. As application, we study matrices of intervals and we solve the problem of reduction of intervals matrices (diagonalization, eigenvalues, and eigenvectors).

Orientador: Plamen Emilov Kochloukov / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T04:30:00Z (GMT). No. of bitstreams: 1 Machado_GustavoGrings_D.pdf: 808427 bytes, checksum: 4482c43f5d1998040317e1873220ce8c (MD5) Previous issue date: 2014 / Resumo: Neste trabalho estudamos o invariante denominado dimensão de Gelfand-Kirillov para álgebras com identidades polinomiais, sobretudo para álgebras não-associativas, com o objetivo de melhor compreender a estrutura das identidades polinomiais. Ultimamente este invariante tem ganhado importância, uma vez que ele é relativamente fácil de calcular e, de certa forma, é capaz de diferenciar o crescimento de duas álgebras. Para álgebras associativas a GK-dimensão mostrou-se muito útil ao detectar que álgebras que por um lado são PI-equivalentes sobre corpos de característica zero pelo Teorema do Produto Tensorial de Kemer, por outro lado não são PI-equivalentes quando a característica do corpo infinito é positiva. Isto aponta para o surgimento de novos ????-ideais, conjuntos de identidades satisfeitas por uma álgebra, que são ???? -primos para corpos infinitos de característica positiva. Ainda é um problema em aberto a classificação e a compreensão destes ????-ideais em característica positiva, embora seja bem compreendida para PI-Álgebras associativas em característica zero, segundo a teoria de Kemer. Entretanto a situação é ainda menos clara para variedades de álgebras não-associativas como Álgebras de Jordan ou Álgebras de Lie. Sabe-se muito pouco sobre resultados que apontem para uma classificação de ????-ideais fora do caso associativo, até mesmo sobre corpos de característica zero. Inclusive se conhece pouco sobre o comportamento dos ????-ideais, mesmo de álgebras simples. Aqui damos um passo, calculando algumas GK-dimensões para álgebras relativamente livres de posto finito a partir da expressão da série de Hilbert. Destacamos em especial que calculamos a dimensão de Gelfand-Kirillov da álgebra relativamente livre de qualquer posto finito da álgebra de Lie das matrizes 2 × 2 de traço zero sobre um corpo infinito de característica diferente de 2. Acreditamos que estes resultados permitirão ajudar a compreender melhor o comportamento dos ????-ideais em álgebras não-associativas / Abstract: In this thesis we study the invariant called Gelfand-Kirillov Dimension for algebras with polynomial identities, mainly for non-associative algebras, aiming at better understanding the structure of the polynomial identities. This invariant has gained importance lately since in many cases it is relatively easy to calculate and, surprisingly, it is capable of distinguishing the growth of two algebras. For associative algebras GK-dimension was found to be very useful to detect that algebras which on one hand are PI-equivalent over fields of characteristic zero, according to Tensor Product Theorem of Kemer, on the other hand are not PI-equivalent when the characteristic of the infinite base field is positive. This points towards the rise of new ????-ideals, sets of identities satisfied by an algebra, which are ????-prime for infinite fields of positive characteristic. The classification and the understanding of such ????-ideals in positive characteristic are still open problems, although it is well understood for associative PI-Algebras in characteristic zero, using Kemer¿s theory. The situation is much less clear for varieties of non-associative algebras like Jordan Algebras or Lie Algebras. Very little is known about results towards a classification of ????-ideals outside the associative case, even over fields of characteristic zero. Accordingly little is known concerning the behavior of ????-ideals, even for simple algebras. Here we make a step towards this goal by computing some GK-dimensions of some relatively free algebras of finite rank by using the expression of the Hilbert series. In particular we compute the Gelfand-Kirillov dimension of the relatively free algebra of any finite rank generated by the Lie Algebra of the 2 × 2 traceless matrices over an infinite field of characteristic different from 2. We hope that results in this direction will contribute to a better understanding of the behavior of ????-ideals in non-associative algebras / Doutorado / Matematica / Doutor em Matemática

Ce mémoire comporte deux parties distinctes. La première partie concerne une étude d'algèbres n-aires. Une algèbre n-aire est un espace vectoriel sur lequel est définie une multiplication sur n arguments. Classiquement les multiplications sont binaires, mais depuis l'utilisation en physique théorique de multiplications ternaires, comme les produits de Nambu, de nombreux travaux mathématiques se sont focalisés sur ce type d'algèbres. Deux classes d'algèbres n-aires sont essentielles: les algèbres n-aires associatives et les algèbres n-aires de Lie. Nous nous intéressons aux deux classes. Concernant les algèbres n-aires associatives, on s'intéresse surtout aux algèbres 3-aires partiellement associatives, c'est-à-dire dont la multiplication vérifie l'identité ((xyz)tu)+(x(yzt)u)+(xy(ztu))=0 Ce cas est intéressant car les travaux connus concernant ce type d'algèbres ne distinguent pas les cas n pair et n-impair. On montre dans cette thèse que le cas n=3 ne peut pas être traité comme si n était pair. On étudie en détail l'algèbre libre 3-aire partiellement associative sur un espace vectoriel de dimension finie. Cette algèbre est graduée et on calcule précisément les dimensions des 7 premières composantes. On donne dans le cas général un système de générateurs ayant la propriété qu'une base est donnée par la sous famille des éléments non nuls. Les principales conséquences sont L'algèbre libre 3-aire partiellement associative est résoluble. L'algèbre libre commutative 3-aire partiellement associative est telle que tout produit concernant 9 éléments est nul. L'opérade quadratique correspondant aux algèbres 3-aires partiellement associatives ne vérifient pas la propriété de Koszul. On s'intéresse ensuite à l'étude des produits n-aires sur les tenseurs. L'exemple le plus simple est celui d'un produit interne sur des matrices non carrées. Nous pouvons définir le produit 3aire donné par A . ^tB . C. On montre qu'il est nécessaire de généraliser un peu la définition de partielle associativité. Nous introduisons donc les produits -partiellement associatifs où  est une permutation de degré p. Concernant les algèbres de Lie n-aires, deux classes d'algèbres ont été définies: les algèbres de Fillipov (aussi appelées depuis peu les algèbres de Lie-Nambu) et les algèbres n-Lie. Cette dernière notion est très générale. Cette dernière notion, très important dans l'étude de la mécanique de Nambu-Poisson, est un cas particulier de la première. Mais pour définir une approche du type Maurer-Cartan, c'est-à-dire définir une cohomologie scalaire, nous considérons dans ce travail les algèbres de Fillipov comme des algèbres n-Lie et développons un tel calcul dans le cadre des algèbres n-Lie. On s'intéresse également à la classification des algèbres n-aires nilpotentes. Le dernier chapitre de cette partie est un peu à part et reflète un travail poursuivant mon mémoire de Master. Il concerne les algèbres de Poisson sur l'algèbre des polynômes. On commence à présenter le crochet de Poisson sous forme duale en utilisant des équations de Pfaff. On utilise cette approche pour classer les structures de Poisson non homogènes sur l’algèbre des polynômes à trois variables . Le lien avec les algèbres de Lie est clair. Du coup on étend notre étude aux algèbres de Poisson dont l'algèbre de Lie sous jacent est rigide et on applique les résultats aux algèbres enveloppantes des algèbres de Lie rigides. La partie 2 concerne l'arithmétique des intervalles. Cette étude a été faite suite à une rencontre avec une société d'ingénierie travaillant sur des problèmes de contrôle de paramètres, de problème inverse (dans quels domaines doivent évoluer les paramètres d'un robot pour que le robot ait un comportement défini). [...] / This thesis has two distinguish parts. The first part concerns the study of n-ary algebras. A n-ary algebra is a vector space with a multiplication on n arguments. Classically the multiplications are binary, but the use of ternary multiplication in theoretical physic like for Nambu brackets led mathematicians to investigate these type of algebras. Two classes of n-ary algebras are fundamental: the associative n-ary algebras and the Lie n-ary algebras. We are interested by both classes. Concerning the associative n-ary algebras we are mostly interested in 3-ary partially associative 3-ary algebras, that is, algebras whose multiplication satisfies ((xyz)tu)+(x(yzt)u)+(xy(ztu))=0. This type is interesting because the previous woks on this subject was not distinguish the even and odd cases. We show in this thesis that the case n=3 can not be treated as the even cases. We investigate in detail the free partially associative 3-ary algebra on k generators. This algebra is graded and we compute the dimensions of the 7 first components. In the general case, we give a spanning set such as the sub family of non zero vector is a basis. The main consequences are the free partially associative 3-ary algebra is solvable. In the free commutative partially associative 3-ary algebra any product on 9 elements is trivial. The operad for partially associative 3-ary algebra do not satisfy the Koszul property. Then we study n-ary products on the tensors. The simplest example is given by a internal product of non square matrices. We can define a 3-ary product by taking A . ^tB . C. We show that we have to generalize a bit the definition of partial associativity for n-ary algebras. We then introduce the products -partially associative where  is a permutation of the symmetric group of degree n. Concerning the n-ary algebras, two classes have been defined: Filipov algebras (also called recently Lie-Nambu algebras) and some more general class, the n-Lie algebras. Filipov algebras are very important in the study of the mechanic of Nambu-Poisson, and is a particular case of the other. So to define an approach of Maurer-Cartan type, that is, define a scalar cohomology, we consider in this work Fillipov as n-Lie algebras and develop such a calculus in the n-Lie algebras frame work. We also give some classifications of n-ary nilpotent algebras. The last chapter of this part concerns my work in Master on the Poisson algebras on polynomials. We present link with the Lie algebras is clear. Thus we extend our study to Poisson algebras which associated Lie algebra is rigid and we apply these results to the enveloping algebras of rigid Lie algebras. The second part concerns intervals arithmetic. The interval arithmetic is used in a lot of problems concerning robotic, localization of parameters, and sensibility of inputs. The classical operations of intervals are based of the rule : the result of an operation of interval is the minimal interval containing all the result of this operation on the real elements of the concerned intervals. But these operations imply many problems because the product is not distributive with respect the addition. In particular it is very difficult to translate in the set of intervals an algebraic functions of a real variable. We propose here an original model based on an embedding of the set of intervals on an associative algebra. Working in this algebra, it is easy to see that the problem of non distributivity disappears, and the problem of transferring real function in the set of intervals becomes natural. As application, we study matrices of intervals and we solve the problem of reduction of intervals matrices (diagonalization, eigenvalues, and eigenvectors).

The thesis covers methods for image segmentation. Fuzzy segmentation is based on the thresholding method. This is generalized to accept multiple criteria. The whole process is mathematically based on the free algebra theory. Free distributive lattice is created from poset of elements based on image properties and the lattice members are represented by terms used by the threshoding. Possible segmentation results compose the equivalence classes distribution. The thesis also contains description of resulting algorithms and methods for their optimization. Also the method of area subtracting is introduced.