We give a brief overview of Bass-Serre theory and introduce a method of adding a limit point to graphs of groups. We explore a basic example of this method, and find that while the fundamental theorem of Bass-Serre theory no longer applies in this case we still recover a group action on a covering space of sorts with a subgroup isomorphic to the fundamental group of our new base space with added limit point. We also quantify how much larger the fundamental group of a graph of groups becomes after this construction, and discuss the effects of adding and identifying together such limit points in more general graphs of groups. We conclude with a theorem stating that the cokernel of the map on fundamental groups induced by collapsing an arc between two limit points contains a certain fundamental group of a double cone of graphs of groups, and we conjecture that this cokernel is isomorphic to this double cone group.

A Smale space is a chaotic dynamical system with canonical coordinates of contracting and expanding directions. The basic sets for Smale’s Axiom A systems are a key class of examples. R.F. Williams considered the special case where the basic set had a totally disconnected contracting set and a Euclidean expanding one. He provided a construction using inverse limits of such examples and also proved that (under appropriate hyptotheses) all such basic sets arose from this construction. We will be working in the metric setting of Smale spaces, but the goal is to extend Williams’ results by removing all hypotheses on the unstable sets. We give criteria on a stationary inverse limit which ensures the result is a Smale space. We also prove that any irreducible Smale space with totally disconnected local stable sets is obtained through this construction. / Graduate

This dissertation presents results about computations of Graev metrics on free groups and characterizes isometry groups of countable noncompact Heine-Borel Polish ultrametric spaces. In Chapter 2, computations of Graev metrics are performed on free groups. One of the related results answers an open question of Van Den Dries and Gao. In Chapter 3, isometry groups of countable noncompact Heine-Borel Polish ultrametric spaces are characterized. The notion of generalized tree is defined and a correspondence between the isomorphism group of a generalized tree and the isometry group of a Heine-Borel Polish ultrametric space is established. The concept of a weak inverse limit is introduced to capture the characterization of isomorphism groups of generalized trees. In Chapter 4, partial results of isometry groups of uncountable compact ultrametric spaces are given. It turns out that every compact ultrametric space has a unique countable orbital decomposition. An orbital space consists of disjoint orbits. An orbit subspace of an orbital space is actually a compact homogeneous ultrametric subspace.

Inverse systems, inverse limit spaces, and bonding maps are defined. An investigation of the properties that an inverse limit space inherits, depending on the conditions placed on the factor spaces and bonding maps is made. Conditions necessary to ensure that the inverse limit space is compact, connected, locally connected, and semi-locally connected are examined. A mapping from one inverse system to another is defined and the nature of the function between the respective inverse limits, induced by this mapping, is investigated. Certain restrictions guarantee that the induced function is continuous, onto, monotone, periodic, or open. It is also shown that any compact metric space is the continuous image of the cantor set. Finally, any compact Hausdorff space is characterized as the inverse limit of an inverse system of polyhedra.

<p>We study the power series ring R= K[[x₁,x₂,x₃,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R.</p><p>Of particular interest are the homogeneous, finitely generated ideals in R', among them the <i>generic ideals</i>. The definition of S as an inverse limit yields a set of <i>truncation homomorphisms</i> from S to K[x₁,...,x_n] which restrict to R'. We have that the truncation of a generic I in R' is a generic ideal in K[x₁,...,x_n]. It is shown in <b>Initial ideals of Truncated Homogeneous Ideals</b> that the initial ideal of such an ideal converge to the initial ideal of the corresponding ideal in R'. This initial ideal need no longer be finitely generated, but it is always <i>locally finitely generated</i>: this is proved in <b>Gröbner Bases in R'</b>. We show in <b>Reverse lexicographic initial ideals of generic ideals are finitely generated</b> that the initial ideal of a generic ideal in R' is finitely generated. This contrast to the lexicographic term order.</p><p> If I in R' is a homogeneous, locally finitely generated ideal, and if we write the Hilbert series of the truncated algebras K[x₁,...,x_n] module the truncation of I as q_n(t)/(1-t)ⁿ, then we show in <b>Generalized Hilbert Numerators </b>that the q_n's converge to a power series in t which we call the <i>generalized Hilbert numerator</i> of the algebra R'/I.</p><p>In <b>Gröbner bases for non-homogeneous ideals in R'</b> we show that the calculations of Gröbner bases and initial ideals in R' can be done also for some non-homogeneous ideals, namely those which have an <i>associated homogeneous ideal</i> which is locally finitely generated.</p><p>The fact that S is an inverse limit of polynomial rings, which are naturally endowed with the discrete topology, provides S with a topology which makes it into a complete Hausdorff topological ring. The ring R', with the subspace topology, is dense in R, and the latter ring is the Cauchy completion of the former. In <b>Topological properties of R'</b> we show that with respect to this topology, locally finitely generated ideals in R'are <i>closed</i>.</p>

We study the power series ring R= K[[x1,x2,x3,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R. Of particular interest are the homogeneous, finitely generated ideals in R', among them the generic ideals. The definition of S as an inverse limit yields a set of truncation homomorphisms from S to K[x1,...,xn] which restrict to R'. We have that the truncation of a generic I in R' is a generic ideal in K[x1,...,xn]. It is shown in <b>Initial ideals of Truncated Homogeneous Ideals</b> that the initial ideal of such an ideal converge to the initial ideal of the corresponding ideal in R'. This initial ideal need no longer be finitely generated, but it is always locally finitely generated: this is proved in <b>Gröbner Bases in R'</b>. We show in <b>Reverse lexicographic initial ideals of generic ideals are finitely generated</b> that the initial ideal of a generic ideal in R' is finitely generated. This contrast to the lexicographic term order. If I in R' is a homogeneous, locally finitely generated ideal, and if we write the Hilbert series of the truncated algebras K[x1,...,xn] module the truncation of I as qn(t)/(1-t)n, then we show in <b>Generalized Hilbert Numerators </b>that the qn's converge to a power series in t which we call the generalized Hilbert numerator of the algebra R'/I. In <b>Gröbner bases for non-homogeneous ideals in R'</b> we show that the calculations of Gröbner bases and initial ideals in R' can be done also for some non-homogeneous ideals, namely those which have an associated homogeneous ideal which is locally finitely generated. The fact that S is an inverse limit of polynomial rings, which are naturally endowed with the discrete topology, provides S with a topology which makes it into a complete Hausdorff topological ring. The ring R', with the subspace topology, is dense in R, and the latter ring is the Cauchy completion of the former. In <b>Topological properties of R'</b> we show that with respect to this topology, locally finitely generated ideals in R'are closed.

A Boolean partition algebra is a pair $(B,F)$ where $B$ is a Boolean algebra and $F$ is a filter on the semilattice of partitions of $B$ where $\bigcup F=B\setminus\{0\}$. In this dissertation, we shall investigate the algebraic theory of Boolean partition algebras and their connection with uniform spaces. In particular, we shall show that the category of complete non-Archimedean uniform spaces is equivalent to a subcategory of the category of Boolean partition algebras, and notions such as supercompleteness of non-Archimedean uniform spaces can be formulated in terms of Boolean partition algebras.

Neste trabalho, introduzimos uma generalização da noção de módulo de homologia local de um módulo com respeito a um ideal, o qual nós chamamos de módulo de homologia local com respeito a um par de ideais. Estudamos suas várias propriedades tais como teoremas de anulamento e de não anulamento, e Artinianidade. Também fazemos sua conexão com a homologia e cohomologia local usual. Introduzimos uma generalização da noção de largura de um ideal sobre um módulo aplicando o conceito de módulo de homologia local com respeito a um par de ideais. Também introduzimos o conceito de um módulo co-Cohen-Macaulay para um par de ideais, o qual é uma generalização o conceito de um módulo co-Cohen-Macaulay. Para finalizar, introduzimos o limite inverso de homologia local, e estudamos algumas de suas propriedades, analisamos a sua estrutura, o anulamento, não anulamento e Artinianidade. / In this work, we introduce a generalization of the notion of local homology module of a module with respect to an ideal, which we call of local homology module with respect to a pair of ideals. We study its various properties such as vanishing and nonvanishing theorems, and Artinianness. We also do its connection with ordinary local homology and cohomology. We introduce a generalization of the notion of width of an ideal on a module applying the concept of local homology module with respect to a pair of ideals. Also we introduce the concept of a co-Cohen-Macaulay module for a pair of ideals, what is a generalization of the concept of a co-Cohen-Macaulay module. To finish, we introduce the inverse limit of local homology, and we study some of its properties, we analyze the their structure, the vanishing, non-vanishing and Artinianness.

We extend Sharkovskii's theorem concerning orbit lengths of endomorphisms of the real line to endomorphisms of a path component of the solenoid and certain subspaces of the Warsawanoid. In particular, Sharkovskii showed that if there exists an orbit of length 3 then there exist orbits of all lengths. The solenoid is the inverse limit of double covers over the circle, and the Warsawanoid is the inverse limit of double covers over the Warsaw circle. We show Sharkovskii's result is true for path components of the solenoid and certain subspaces of the Warsawanoid.

This paper presents the theory of Secondary Representation of modules over a commutative ring and their Attached Primes; introduced in 1973 by I. MacDonald as a dual to the important theory of associated primes and primary decomposition in commutative algebra. The paper explores many of the basic aspects of the theory of primary decomposition and associated primes of modules in the hopes to delineate and motivate the construction of a secondary representation, when possible. The thesis discusses the results of the uniqueness of representable modules and their attached primes, and, in particular, the existence of a secondary representation for Artinian modules. It concludes with some interesting examples of both secondary and representable modules, highlighting the consequences of the results thus established.