Neste trabalho, estudamos famílias de curvas genericamente reduzidas. Estendemos para o caso genericamente reduzido alguns resultados conhecidos para famílias de curvas reduzidas como a equivalência entre a Whitney equisingularidade e a resolução simultânea forte da família e a equivalência entre a Whitney equisingularidade e a constância do número de Milnor e da multiplicidade de cada curva Xt da família. Estudamos também a equisingularidade topológica e a Whitney equisingularidade de famílias de superfícies em C3 parametrizadas por germes de aplicações A-finitamente determinados. Em ([51]), Ruas apresentou uma conjectura cujo enunciado diz que se f : (C2, 0) r→ (C3, 0) é um germe de aplicação finitamente determinado, então um desdobramento F a 1-parâmetro de f é topologicamente trivial se, e somente se F é Whitney equisingular se, e somente se o número de Milnor μ(D(ft)) de D(ft) é constante, onde D(ft) é a curva de pontos duplos de ft. Apresentamos contra-exemplos que mostram como esta conjectura pode falhar. Mostramos também uma classe de famílias de germes aplicações ft : (C2, 0) → (C3, 0) em que a conjectura é verdadeira. No caso em que f é homogênea e de coposto 1, mostramos também algumas fórmulas para a multiplicidade da imagem da curva de pontos duplos f(D(f)), o número de Milnor da seção transversal μ1(f(C2)) e o invariante J(f) em termos dos graus de f. Em [44], Nuño-Ballesteros e Jorge Pérez apresentam alguns resultados sobre germes de aplicações f : (Cn, 0) → (C2n-1, 0) com n ≥ 3. Quando f é finitamente determinado, a curva dos pontos duplos D(f) de f tem uma estrutura de curva genericamente reduzida. Apresentamos uma outra forma de abordar alguns problemas descritos em [44] usando resultados sobre curvas genericamente reduzidas. / In this work, we study families of generically reduced curves. We extend to the generically reduced case some results known for families of reduced curves as the equivalence between Whitney equisingularity and strong simultaneous resolution of the family and the equivalence between Whitney equisingularity and the constancy of the Milnor number and the multiplicity of each curve Xt of the family. We also study the topological triviality and the Whitney equisingularity of families of surfaces in C3 parametrized by A-finitely determined map germs. In [51], Ruas presented a conjecture whose statement says that if f : (C2, 0) → (C3, 0) is a finitely determined map germ, then an 1-parameter unfolding F = (ft, t) of f is topological trivial if and only if it is Whitney equisingular if and only if the Milnor number μ(D(ft)) is constant, where D(ft) is the double point curve of ft. We present counter-examples that show how the conjecture can fail. We also show a class of families of map germs ft : (C2, 0) → (C3, 0) in which the conjecture is true. We also give formulas for the multiplicity of the image of the double point curve f(D(f)), the Milnor number of the transversal generic section μ 1f(C2)) and the invariant J(f) in terms of degrees of f in the case in which f is homogeneous and has corank 1. In [44], Nuño-Ballesteros and Jorge Pérez give some results in the case of families of map germs f : (Cn, 0) → (C2n-1, 0) with n ≥ 3. When f is finitely determined, the double point. curve D(f) of f is a generically reduced curve. We present another way of approaching some problems in [44] using results on generically reduced curves.

Neste trabalho, estudamos famílias de curvas genericamente reduzidas. Estendemos para o caso genericamente reduzido alguns resultados conhecidos para famílias de curvas reduzidas como a equivalência entre a Whitney equisingularidade e a resolução simultânea forte da família e a equivalência entre a Whitney equisingularidade e a constância do número de Milnor e da multiplicidade de cada curva Xt da família. Estudamos também a equisingularidade topológica e a Whitney equisingularidade de famílias de superfícies em C3 parametrizadas por germes de aplicações A-finitamente determinados. Em ([51]), Ruas apresentou uma conjectura cujo enunciado diz que se f : (C2, 0) r→ (C3, 0) é um germe de aplicação finitamente determinado, então um desdobramento F a 1-parâmetro de f é topologicamente trivial se, e somente se F é Whitney equisingular se, e somente se o número de Milnor μ(D(ft)) de D(ft) é constante, onde D(ft) é a curva de pontos duplos de ft. Apresentamos contra-exemplos que mostram como esta conjectura pode falhar. Mostramos também uma classe de famílias de germes aplicações ft : (C2, 0) → (C3, 0) em que a conjectura é verdadeira. No caso em que f é homogênea e de coposto 1, mostramos também algumas fórmulas para a multiplicidade da imagem da curva de pontos duplos f(D(f)), o número de Milnor da seção transversal μ1(f(C2)) e o invariante J(f) em termos dos graus de f. Em [44], Nuño-Ballesteros e Jorge Pérez apresentam alguns resultados sobre germes de aplicações f : (Cn, 0) → (C2n-1, 0) com n ≥ 3. Quando f é finitamente determinado, a curva dos pontos duplos D(f) de f tem uma estrutura de curva genericamente reduzida. Apresentamos uma outra forma de abordar alguns problemas descritos em [44] usando resultados sobre curvas genericamente reduzidas. / In this work, we study families of generically reduced curves. We extend to the generically reduced case some results known for families of reduced curves as the equivalence between Whitney equisingularity and strong simultaneous resolution of the family and the equivalence between Whitney equisingularity and the constancy of the Milnor number and the multiplicity of each curve Xt of the family. We also study the topological triviality and the Whitney equisingularity of families of surfaces in C3 parametrized by A-finitely determined map germs. In [51], Ruas presented a conjecture whose statement says that if f : (C2, 0) → (C3, 0) is a finitely determined map germ, then an 1-parameter unfolding F = (ft, t) of f is topological trivial if and only if it is Whitney equisingular if and only if the Milnor number μ(D(ft)) is constant, where D(ft) is the double point curve of ft. We present counter-examples that show how the conjecture can fail. We also show a class of families of map germs ft : (C2, 0) → (C3, 0) in which the conjecture is true. We also give formulas for the multiplicity of the image of the double point curve f(D(f)), the Milnor number of the transversal generic section μ 1f(C2)) and the invariant J(f) in terms of degrees of f in the case in which f is homogeneous and has corank 1. In [44], Nuño-Ballesteros and Jorge Pérez give some results in the case of families of map germs f : (Cn, 0) → (C2n-1, 0) with n ≥ 3. When f is finitely determined, the double point. curve D(f) of f is a generically reduced curve. We present another way of approaching some problems in [44] using results on generically reduced curves.

Na presente dissertação, discutimos o Problema do Isomorfismo em anéis de grupo para grupos infinitos da forma G × C, apresentado no artigo de Mazur [14], que enuncia um teorema mostrando a equivalência para o Problema do Isomorfismo entre essa classe de grupos infinitos e grupos finitos que satisfaçam a Conjectura do Normalizador. Nossa ênfase concentra-se na relação entre a Conjectura do Isomorfismo e a Conjectura do Normalizador, primeiramente, observada nesse artigo. Em seguida, consideramos um teorema de estrutura para as unidades centrais em anéis de grupo comunicado, pela primeira vez, no artigo de Jespers-Parmenter-Sehgal [9], e generalizado por Polcino Milies-Sehgal em [17], e Jespers-Juriaans em [7]. Evidenciamos a importância desse teorema para a Teoria de Anéis de Grupo e apresentamos uma nova demonstração para o teorema de equivalência de Mazur, considerando, para tanto, uma apropriada unidade central e sua estrutura, caracterizada pelo teorema comunicado para as unidades centrais. Concluímos a dissertação, descrevendo a construção do grupo das unidades centrais para o anel de grupo ZA5 , um grupo livre finitamente gerado de posto 1, utilizando a construção dada no artigo de Aleev [1]. / In this dissertation, we discuss the Problem of the Isomorphism in group rings for infinite groups as G × C. This is presented in [14]. Such article states a theorem which shows an equivalence to the isomorphism problem between that infinite class group and finite groups verifying the Normalizer Conjecture. Our main purpose is the Normalizer Conjecture and the Isomorphism Conjecture relationship remarked in the cited article to the groups above. Following, we consider a group ring theorem to the central units subgroup firstly communicated in [9] and generalized in [17] and [7]. We point up the importance of such theorem to the Group Ring Theory and we give a short and a new demonstration to Mazurs equivalence theorem from using a suitable central unit altogether with its structure lightly by the Central Unit Theorem on focus. We conclude this work sketching the ZA5 central units subgroup on showing it is a free finitely generated group of rank 1 from the presenting construction in Aleevs article [1].

Neste texto é feita uma discussão sobre alguns resultados que fornecem condições suficientes para que um difeomorfismo local, do espaço euclideano n-dimensional nele próprio, seja injetivo. Dentro deste cenário, são exploradas as contribuições destes resultados na tentativa de solucionar conhecidas conjecturas no meio científico como a Conjectura Jacobiana e a Conjectura de Ponto Fixo. Do ponto de vista dinâmico, existem relações entre injetividade global e estabilidade assintótica global. Neste sentido, os resultados também são contextualizados com respeito a importantes conjecturas de estabilidade assintótica: Conjectura de Markus-Yamabe e o Problema de LaSalle / We present some results which give suficient conditions for a local diffeomorphism from the n-dimensional Euclidean space into itself be globally injective. Within this context, we consider some partial results addressed to solve the well known Fixed Point Conjecture and Jacobian Conjecture. From the dynamical point of view, there are connections between global injectivity and global asymptotic stability. In this way, we present a solution of the Markus-Yamabe Conjecture and of the LaSalle Problem

O presente trabalho tem como objetivo apresentar os conjuntos fortemente nulos e fortemente magros. Mais especicamente, iremos apresentar algumas aplicações e avaliar a independência de ZFC de armações envolvendo tais conjuntos. Com relação às aplicações, daremos alguns exemplos de conjuntos fortemente nulos e fortemente magros, estudaremos a aditividade do ideal formado pelos subconjuntos fortemente nulos da reta real, apresentaremos uma análise da relação entre a propriedade fortemente nulo e translações de subconjuntos da reta, mostraremos equivalências da Conjectura de Borel em espaços métricos, com a armação R-BC e com uma armação envolvendo jogos. Com relação a análise de independência de armações de ZFC, mostraremos que a Conjectura Dual de Borel é independente de ZFC e que a negação da Conjectura de Borel é consistente com ZFC. / The present work aims to present the strongly null and strongly meager sets. More specically, we will present some applications and evaluate the independence of ZFC from statements involving such sets. With respect to the applications, we will give some examples of strongly null and strongly meager sets, we will study the additivity of the ideal formed by the strongly null subsets of the real line, we will present an analysis of the relation between the strongly null property and the subsets of the line, of the Borel Conjecture in metric spaces, with the statement R-BC and with a statement involving games. Regarding the analysis of the independence of ZFC statements, we will show that the Borel Dual Conjecture is independent of ZFC and that the negation of the Borel Conjecture is consistent with ZFC.

Neste texto é feita uma discussão sobre alguns resultados que fornecem condições suficientes para que um difeomorfismo local, do espaço euclideano n-dimensional nele próprio, seja injetivo. Dentro deste cenário, são exploradas as contribuições destes resultados na tentativa de solucionar conhecidas conjecturas no meio científico como a Conjectura Jacobiana e a Conjectura de Ponto Fixo. Do ponto de vista dinâmico, existem relações entre injetividade global e estabilidade assintótica global. Neste sentido, os resultados também são contextualizados com respeito a importantes conjecturas de estabilidade assintótica: Conjectura de Markus-Yamabe e o Problema de LaSalle / We present some results which give suficient conditions for a local diffeomorphism from the n-dimensional Euclidean space into itself be globally injective. Within this context, we consider some partial results addressed to solve the well known Fixed Point Conjecture and Jacobian Conjecture. From the dynamical point of view, there are connections between global injectivity and global asymptotic stability. In this way, we present a solution of the Markus-Yamabe Conjecture and of the LaSalle Problem

Apresentamos conceitos da teoria de Grupos de Lie e Ações Próprias e descrevemos a demonstração da Conjectura de Palais-Terng efetuada por Alexandrino. Tal conjectura garante que uma folheação riemanniana singular com distribuição normal é uma folheação riemanniana singular com seções. Adaptamos para o caso particular das ações isométricas. / We present some aspects of the theory of Lie Groups and Proper Actions, and we review the proof of the Palais-Terng Conjecture given by Alexandrino. This theorem assures that a singular Riemannian foliation with integrable normal distribution is a singular Riemannian foliation with section. We adapt the proof for isometric actions.

Cerný, em 1964, conjecturou que um autômato sincronizado com n estados possui uma palavra sincronizadora mínima de tamanho no máximo (n-1)². Esta conjectura permanece em aberto. Neste trabalho são apresentados algoritmos para obter palavras sincronizadoras e é feito um experimento comparativo entre os resultados obtidos por estes algoritmos em relação a algumas séries infinitas de autômatos. Por fim, é feito um breve histórico sobre os resultados parciais obtidos até a presente data e alguns destes trabalhos são apresentados em mais detalhes. / Cerný, on 1964, conjectured that a synchronizing automata with n states has a synchronizing word of size at most (n-1)². The conjecture remains open. We show some algorithms for obtaining synchronizing sequences and a comparative experiment between these algorithms with respect to some infinite series of automata. Furthermore, we briefly survey some of the partial results obtained until the present day.

A Conjectura de Bateman-Horn dá condições sobre uma família de polinômios com coeficientes inteiros $f_1(X),\\dots,f_k(X)$ para que hajam infinitos $n \\in \\N$ tais que $f_1(n),\\dots,f_k(n)$ sejam todos primos, e determina qual deve ser o comportamento assintótico de tais inteiros $n$. Neste texto, vamos estudar essa conjectura, assim como um método desenvolvido por Solomon W. Golomb que pode ser usado para demonstrá-la. Veremos que esse cálculo prova a Conjectura de Bateman-Horn a menos da troca de um limite com uma série infinita, que é o único passo ainda não provado desse método. Também estudaremos uma tentativa para solucionar esse problema por meio do uso de teoremas abelianos de regularidade, e provaremos que teoremas tão gerais não são suficientes para provar a troca do limite com a série. / Given a family of polynomials with integer coefficients $f_1(X),\\dots,f_k(X)$, one would like to answer the following question: does there exist infinitely many $n \\in \\N$ such that $f_1(n),\\dots,f_k(n)$ are all primes? Schinzel conjectured that if these polynomials satisfy certain simple conditions, then the answer to this question is affirmative. Assuming these conditions, Bateman and Horn proposed a formula for the asymptotic density of the integers $n \\in \\N$ such that $f_1(n),\\dots,f_k(n)$ are all primes. In this text, we shall study the Bateman-Horn Conjecture, as well as a method proposed by Solomon W. Golomb that may be used to prove this conjecture. We shall see that Golomb\'s $\\Lambda$-method would prove the Bateman-Horn Conjecture, except for a single unproved step, namely, the commutation of a limit with an infinite series.

Primeiramente consideramos uma família de \'C POT. 2\'-ações de \'R POT. 2\' sobre uma 3-variedade fechada. Uma das condições que esta família satisfaz é que admite apenas um número finito de órbitas singulares, sendo todas estas difeomorfas ao círculo. Para esta família, daremos uma descrição da estrutura das órbitas assim como das 3-variedades que as suportam. Isto generaliza resultados de classificação de ações localmente livres (isto é, sem singularidades) de \'R POT.2\' sobre 3-variedades fechadas obtidos por Chatelet-Rosenberg- Roussarie-Weil em [12], [30] e [31]. Finalmente, consideramos uma ação \\\'phi\' de \'RPOT. 2\' sobre uma 3-variedade fechada N topologicamente transitiva (isto é, tem uma órbita densa em N). Diremos que \\\'phi\' é metricamente transitiva se dado qualquer conjunto compacto e \\\'phi\'-invariante K, então ou K ou seu complementar tem medida nula com respeito a medida de Lebesgue. É conhecido que toda ação \\\'phi\' metricamente transitiva é topologicamente transitiva e que, em geral, a reciproca não é certa. No Entanto, Morse [27] em 1946 propôs a seguinte conjectura: Qualquer sistema dinâmico topologicamente transitivo, com algum grau de regularidade, é metricamente transitivo. A frase \"algum grau de regularidade\", pode significar, por exemplo, que o sistema dinâmico é analítico real, suave, tem um número finito de singularidades, etc. Na segunda parte da tese, mostramos a conjectura de Morse para o sistema dinâmico definido por uma \'R POT. 2\'-ação sobre uma 3-variedade fechada, cujo conjunto singular é uma união finita de órbitas círculo. Isto generaliza um resultado análogo obtido por Ding [18] para fluxos sobre superfícies fechadas / First we consider a family of \'C POT. 2\' actions of \'R POT. 2\' on a closed 3-manifold. One of the conditions of this family is that it admits only a finite number of singular orbits, which are all diffeomorphic to circle. For this family we will give a description of the structure of the orbits as well the 3-manifolds supporting this actions. This generalizes results of classification for locally free actions (i. e. without singularities) of \'R POT. 2\' on closed 3- manifolds obtained by Chatelet-Rosenberg-Roussarie-Weil in [12], [30] and [31]. Finally, we consider an action \\\'phi\' of \'R POT. 2\' on a closed 3-manifold N which is topologically transitive (i.e. has a dense orbit in N). We will say that \\\'phi\' is metrically transitive if, given any \\\'phi\'-invariant compact set K, then, either K or its complement has zero measure with respect to Lebesgue measure. It is known that every action \\\'phi\' topologically transitive is metrically transitive and that, in general, the reciprocal is not true. However, Morse [27] in 1946 proposed the following conjecture: any topologically transitive dynamical system with any degree of regularity is metrically transitive. The phrase \"some degree of regularity\" may mean, for example, that the dynamical system is real analytic, smooth, have a finite number of singularities, etc. In the second part of the thesis, we show the conjecture to the Morse for an dynamical system defined by a \'R POT. 2\'-action on a closed 3-manifold whose singular set is a finite union of orbits circle. This is a generalization of a similar result obtained by Ding in [18] for flows on closed surfaces