The Iwahori-Hecke algebras of Coxeter groups play a central role in the study of representations of semisimple Lie-type groups. An important tool is the combinatorial approach to representations of Iwahori-Hecke algebras introduced by Kazhdan and Lusztig in 1979. In this dissertation, I discuss a generalization of the Iwahori-Hecke algebra of the symmetric group that is instead based on the complex reflection group G(r,1,n). Using the analogues of Kazhdan and Lusztig's R-polynomials, I show that this algebra determines a partial order on G(r,1,n) that generalizes the Chevalley-Bruhat order on the symmetric group. I also consider possible analogues of Kazhdan-Lusztig polynomials.

We prove the existence and nonexistence of radial solutions of singular semilinear equations Δu + k(x)f(u)=0 with boundary condition on the exterior of the ball with radius R>0 in ℝ^N such that lim r →∞ u(r)=0, where f: ℝ \ {0} →ℝ is an odd and locally Lipschitz continuous nonlinear function such that there exists a β >0 with f <0 on (0, β), f >0 on (β, ∞), and K(r) ~ r^-α for some α >0.

The first chapter gives basic definitions and theorems concerning set functions and set function integrals. The lemmas and theorems are presented without proof in this chapter. The second chapter deals with absolute continuity and Lipschitz condition. Particular emphasis is placed on the properties of max and min integrals. The third chapter deals with approximating absolutely continuous functions with bounded functions. It also deals with the existence of the integrals composed of various combinations of bounded functions and finitely additive functions. The concluding theorem states if the integral of the product of a bounded function and a non-negative finitely additive function exists, then the integral of the product of the bounded function with an absolutely continuous function exists over any element in a field of subsets of a set U.

The Alexander Wallace Spanier cohomology theory associates with an arbitrary topological space an abelian group. In this paper, an arbitrary topological space is associated with an R-module. The construction of the R-module is similar to the Alexander Wallace Spanier construction of the abelian group.

Let H be a separable infinite dimensional complex Hilbert space, let U(H) be the Polish topological group of unitary operators on H, let G be a Polish topological group and φ:G→U(H) an algebraic isomorphism. Then φ is a topological isomorphism. The same theorem holds for the projective unitary group, for the group of *-automorphisms of L(H) and for the complex isometry group. If H is a separable real Hilbert space with dim(H)≥3, the theorem is also true for the orthogonal group O(H), for the projective orthogonal group and for the real isometry group. The theorem fails for U(H) if H is finite dimensional complex Hilbert space.

How many equivalence classes of geodesic rays does a graph contain? How many bounded automorphisms does a planar graph have? Neimayer and Watkins studied these two questions and answered them for a certain class of graphs. Using the concept of excess of a vertex, the class of graphs that Neimayer and Watkins studied are extended to include graphs with positive excess at each vertex. The results of this paper show that there are an uncountable number of geodesic fibers for graphs in this extended class and that for any graph in this extended class the only bounded automorphism is the identity automorphism.

The dissertation focuses on the structure of π-regular (regular) rings.

The primary objective of this work is to discuss some of the elementary properties of near-rings as they are related to rings. This study is divided into three subdivisions: (1) Basic Properties and Concepts of Near-Rings; (2) The Ideal Structure of Near-Rings; and (3) Homomorphism and Isomorphism of Near-Rings.

We consider random fractals generated by random recursive constructions, prove zero-one laws concerning their dimensions and find their packing and Minkowski dimensions. Also we investigate the packing measure in corresponding dimension. For a class of random distribution functions we prove that their packing and Hausdorff dimensions coincide.

The problem with which this paper is concerned is that of defining the Riemann-Complete Integral and comparing it with the Riemann and the Lebesgue Integrals.

A "complex" system typically has a relatively large number of dynamically interacting components and tends to exhibit emergent behavior that cannot be explained by analyzing each component separately. A biological neural network is one example of such a system. A multi-agent model of such a network is developed to study the relationships between a network's structure and its spike train output. Using this model, inferences are made about the synaptic structure of networks through cluster analysis of spike train summary statistics A complexity measure for the network structure is also presented which has a one-to-one correspondence with the standard time series complexity measure sample entropy.

This dissertation is a study of the dynamics of one-dimensional unimodal maps and is mainly concerned with those maps which are trapezoidal. The trapezoidal function, f_e, is defined for eΣ(0,1/2) by f_e(x)=x/e for xΣ[0,e], f_e(x)=1 for xΣ(e,1-e), and f_e(x)=(1-x)/e for xΣ[1-e,1]. We study the symbolic dynamics of the kneading sequences and relate them to the analytic dynamics of these maps. Chapter one is an overview of the present theory of Metropolis, Stein, and Stein (MSS). In Chapter two a formula is given that counts the number of MSS sequences of length n. Next, the number of distinct primitive colorings of n beads with two colors, as counted by Gilbert and Riordan, is shown to equal the number of MSS sequences of length n. An algorithm is given that produces a bisection between these two quantities for each n. Lastly, the number of negative orbits of size n for the function f(z)=z^2-2, as counted by P.J. Myrberg, is shown to equal the number of MSS sequences of length n. For an MSS sequence P, let H_ϖ(P) be the unique common extension of the harmonics of P. In Chapter three it is proved that there is exactly one J(P)Σ[0,1] such that the …

The notion of a topological group follows naturally from a combination of the properties of a group and a topological space. Since a group consists of a set G of elements which may be either finite or infinite and since this is also common to a topological space, a question is opened as to whether or not it is possible to assign a topology to a set of elements which form a group under a certain operation. Now it is possible to assign a topology to any set of elements if no restriction is placed on the topology assigned and hence this study would be of little value from the standpoint of the group itself. If however it is required that the group operation be continuous in the topological space then a very interesting theory is developed.

In this work, we concern ourselves with particular topics in Polish space theory. We first consider the space A(U) of complex-analytic functions on an open set U endowed with the usual topology of uniform convergence on compact subsets. With the operations of point-wise addition and point-wise multiplication, A(U) is a Polish ring. Inspired by L. Bers' algebraic characterization of the relation of conformality, we show that the topology on A(U) is the only Polish topology for which A(U) is a Polish ring for a large class of U. This class of U includes simply connected regions, simply connected regions excluding a relatively discrete set of points, and other domains of usual interest. One thing that we deduce from this is that, even though C has many different Polish field topologies, as long as it sits inside another Polish ring with enough complex-analytic functions, it must have its usual topology. In a different direction, we show that the bounded complex-analytic functions on the unit disk admits no Polish topology for which it is a Polish ring. We also study the Lie ring structure on A(U) which turns out to be a Polish Lie ring with the usual topology. In this case, …

In this thesis, we discuss three main projects which are related to Polish groups and their actions on standard Borel spaces. In the first part, we show that the complexity of the classification problem of continua is Borel bireducible to a universal orbit equivalence relation induce by a Polish group on a standard Borel space. In the second part, we compare the relative complexity of various types of classification problems concerning subspaces of [0,1]^n for all natural number n. In the last chapter, we give a topological characterization theorem for the class of locally compact two-sided invariant non-Archimedean Polish groups. Using this theorem, we show the non-existence of a universal group and the existence of a surjectively universal group in the class.

Let K be any field and Q be the rationals. Define K^1[X] = {f(X) e K[X]| the coefficient of X in f(X) is zero} and Q^1β[X] = {f(X) e Q[X]| the coefficent of β1(X) in the binomial expansion of f(X) is zero}, where {β1(X)}^∞ i=0 are the well-known binomial polynomials. In this work, I establish the following results: K^1[X] and Q^1β[X] are one-dimensional, Noetherian, non-Prüfer domains with the two-generator property on ideals. Using the unique factorization structure of the overrings K[X] and Q[X], the nonprincipal ideal structures of both rings are characterized, and from this characterization, necessary and sufficient conditions are found for a nonprincipal ideal to be invertible. The nonprincipal invertible ideals are then characterized in terms of the coefficients of the generators, and an explicit formula for the inverse of any proper invertible ideal is found. Finally, the class groups of both rings are shown to be torsion free abelian groups. Let n be any nonnegative integer. Results similar to the above are found in the generalizations of these two rings, K^n[X] and q^nβ[X], where the coefficients on the first n nonconstant basis elements are zero. For the domains K^1[X] and Q^1β[X], the property of strong two-generation is …

In this thesis we study descriptive-set-theoretic and measure-theoretic properties of Polish groups, with a thematic emphasis on the contrast between groups which are locally compact and those which are not. The work is divided into three major sections. In the first, working jointly with Robert Kallman, we resolve a conjecture of Gleason regarding the Polish topologization of abstract groups of homeomorphisms. We show that Gleason's conjecture is false, and its conclusion is only true when the hypotheses are considerably strengthened. Along the way we discover a new automatic continuity result for a class of functions which behave like but are distinct from functions of Baire class 1. In the second section we consider the descriptive complexity of those subsets of the permutation group S? which arise naturally from the classical Levy-Steinitz series rearrangement theorem. We show that for any conditionally convergent series of vectors in Euclidean space, the sets of permutations which make the series diverge, and diverge properly, are ?03-complete. In the last section we study the phenomenon of Haar null sets a la Christensen, and the closely related notion of openly Haar null sets. We identify and correct a minor error in the proof of Mycielski that a …

In this dissertation, we study the dynamics, fractal geometry and the topology of the Julia set of functions in the family H which is a set in the class S, the Speiser class of entire transcendental functions which have only finitely many singular values. One can think of a function from H as a generalized expanding function from the cosh family. We shall build a version of thermodynamic formalism for functions in H and we shall show among others, the existence and uniqueness of a conformal measure. Then we prove a Bowen's type formula, i.e. we show that the Hausdorff dimension of the set of returning points, is the unique zero of the pressure function. We shall also study conjugacies in the family H, perturbation of functions in the family and related dynamical properties. We define Perron-Frobenius operators for some functions naturally associated with functions in the family H and then, using fundamental properties of these operators, we shall prove the important result that the Hausdorff dimension of the subset of returning points depends analytically on the parameter taken from a small open subset of the n-dimensional parameter space.

We show that any Borel action on a standard Borel space of a group which is topologically isomorphic to the sum of a countable abelian group with a countable sum of lines and circles induces an orbit equivalence relation which is hypersmooth. We also show that any Borel action of a second countable locally compact abelian group on a standard Borel space induces an orbit equivalence relation which is essentially hyperfinite, generalizing a result of Gao and Jackson for the countable abelian groups.

The problem with which this investigation is concerned is that of determining the properties of three radicals defined on an arbitrary ring and determining when these radicals coincide. The three radicals discussed are the nil radical, the Jacobsson radical, and the Brown-McCoy radical.

Greatest common divisor domains, Bezout domains, valuation rings, and Prüfer domains are studied. Chapter One gives a brief introduction, statements of definitions, and statements of theorems without proof. In Chapter Two theorems about greatest common divisor domains and characterizations of Bezout domains, valuation rings, and Prüfer domains are proved. Also included are characterizations of a flat overring. Some of the results are that an integral domain is a Prüfer domain if and only if every overring is flat and that every overring of a Prüfer domain is a Prüfer domain.

Schmidt's game, and other similar intersection games have played an important role in recent years in applications to number theory, dynamics, and Diophantine approximation theory. These games are real games, that is, games in which the players make moves from a complete separable metric space. The determinacy of these games trivially follows from the axiom of determinacy for real games,ADR, which is a much stronger axiom than that asserting all integer games are determined, AD. One of our main results is a general theorem which under the hypothesis AD implies the determinacy of intersection games which have a property allowing strategies to be simplified. In particular, we show that Schmidt's (α,β,ρ) game on R is determined from AD alone, but on Rn for n≥3 we show that AD does not imply the determinacy of this game. We then give an application of simple strategies and prove that the winning player in Schmidt's (α,β,ρ) game on R has a winning positional strategy, without appealing to the axiom of choice. We also prove several other results specifically related to the determinacy of Schmidt's game. These results highlight the obstacles in obtaining the determinacy of Schmidt's game from AD

A special case of the linear programming problem, the transportation problem, is the subject of this thesis. The development of a solution to the transportation problem is based on fundamental concepts from the theory of linear algebra and matrices.

In this lecture we introduce a new transfinite dimension function for metric spaces which utilizes Henderson's topological D-dimension and ascribes to any metric space either an ordinal number or the symbol Ω. The construction of our function is motivated by that of Urbański's transfinite Hausdorff dimension, tHD. Henderson's dimension is a topological invariant, however, like Hausdorff dimension and tHD the function presented will be invariant under bi-Lipschitz continuous maps and generally not under homeomorphisms. We present some original results on D-dimension and build the general theory for the D-variant of transfinite Hausdorff dimension, \mathrm{t}_D\mathrm{HD}. In particular, we will show for any ordinal number α, existence of a metrizable space which has \mathrm{t}_D\mathrm{HD} greater than or equal to α and less than or equal to \omega_\tau, where τ is the least ordinal which satisfies α < \omega_\tau.