No description available.

No description available.

No description available.

No description available.

The purpose of this thesis is to investigate certain properties of rings, ideals, and a special type of ring called a Boolean ring.

A research report submitted to the Faculty of Science, in partial fulfilment of the requirements for the degree of Master of Science, University of the Witwatersrand, Johannesburg, 1991. / After an introduction defining basic structutral aspects of near-rings, this report examines how the ring-theoretic notions of generation and cogeneration can be extended from modules over a ring to modules over a near-ring. Chapter four examines matrix near-rings and connections between the J2 and JS radicals of the near-ring and the corresponding matrix near-ring. By extending the concepts of generation and cogeneration from the ring modules to near-ring modules we are investigating how important distribution and an abelian additive structure are to these two concepts. The concept of generation faces the obstacle that the image of a near-ring module homomorphism is not necessarily a subrnodule of the image space but only a subgroup, while the sum of two subgroups need not even be a subgroup. In chapter two, generation trace and socle are defined for near-ring modules and these ideas are linked with those of the essential and module-essential subgroups. Cogeneration, dealing with kernels which are always submodules proved easier to generalise. This is discussed in chapter three together with the concept of the reject, and these ideas are Iinked to the J1/2 and J2 radicals. The duality of the ring theory case is lost. The results are less simple than in the ring theory case due to the different types of near-ring module substructures which give rise to several Jacobson-type radicals. A near-ring of matrices can be obtained from an arbitrary near-ring by regarding each rxr matrix as a mapping from Nr to Nr where N is the near-ring from which entries are taken. The argument showing that the near-ring is 2-semisimple if and only if the associated near-ring of matrices is 2-semisimple is presented and investigated in the case of s-semisimplicity. Questions arising from this report are presented in the final chapter.

In this thesis, we prove unconditional lower bounds on resources needed to compute explicit functions in the following three models of computation: constant-depth boolean circuits, multivariate polynomials over commutative rings and the 'Number on the Forehead' model of multiparty communication. Apart from using tools from diverse areas, we exploit the rich interplay between these models to make progress on questions arising in the study of each of them. / Boolean circuits are natural computing devices and are ubiquitous in the modern electronic age. We study the limitation of this model when the depth of circuits is fixed, independent of the length of the input. The power of such constant-depth circuits using gates computing modular counting functions remains undetermined, despite intensive efforts for nearly twenty years. We make progress on two fronts: let m be a number having r distinct prime factors none of which divides ℓ. We first show that constant depth circuits employing AND/OR/MODm gates cannot compute efficiently the MAJORITY and MODℓ function on n bits if 'few' MODm gates are allowed, i.e. they need size nW&parl0;1s&parl0;log n&parr0;1/&parl0;r-1&parr0;&parr0; if s MODm gates are allowed in the circuit. Second, we analyze circuits that comprise only MOD m gates, We show that in sub-linear size (and arbitrary depth), they cannot compute AND of n bits. Further, we establish that in that size they can only very poorly approximate MODℓ. / Our first result on circuits is derived by introducing a novel notion of computation of boolean functions by polynomials. The study of degree as a resource in polynomial representation of boolean functions is of much independent interest. Our notion, called the weak generalized representation, generalizes all previously studied notions of computation by polynomials over finite commutative rings. We prove that over the ring Zm , polynomials need Wlogn 1/r-1 degree to represent, in our sense, simple functions like MAJORITY and MODℓ. Using ideas from arguments in communication complexity, we simplify and strengthen the breakthrough work of Bourgain showing that functions computed by o(log n)-degree polynomials over Zm do not even correlate well with MODℓ. / Finally, we study the 'Number on the Forehead' model of multiparty communication that was introduced by Chandra, Furst and Lipton [CFL83]. We obtain fresh insight into this model by studying the class CCk of languages that have constant k-party deterministic communication complexity under every possible partition of input bits among parties. This study is motivated by Szegedy's [Sze93] surprising result that languages in CC2 can all be extremely efficiently recognized by very shallow boolean circuits. In contrast, we show that even CC 3 contains languages of arbitrarily large circuit complexity. On the other hand, we show that the advantage of multiple players over two players is significantly curtailed for computing two simple classes of languages: languages that have a neutral letter and those that are symmetric. / Extending the recent breakthrough works of Sherstov [She07, She08b] for two-party communication, we prove strong lower bounds on multiparty communication complexity of functions. First, we obtain a bound of n O(1) on the k-party randomized communication complexity of a function that is computable by constant-depth circuits using AND/OR gates, when k is a constant. The bound holds as long as protocols are required to have better than inverse exponential (i.e. 2-no1 ) advantage over random guessing. This is strong enough to yield lower bounds on the size of an important class of depth-three circuits: circuits having a MAJORITY gate at its output, a middle layer of gates computing arbitrary symmetric functions and a base layer of arbitrary gates of restricted fan-in. / Second, we obtain nO(1) lower bounds on the k-party randomized (bounded error) communication complexity of the Disjointness function. This resolves a major open question in multiparty communication complexity with applications to proof complexity. Our techniques in obtaining the last two bounds, exploit connections between representation by polynomials over teals of a boolean function and communication complexity of a closely related function.

For any ring R (associative with 1) we associate a space X of prime torsion theories endowed with Golan's SBO-topology. A separated presheaf L(-,M) on X is then constructed for any right R-module M$ sb{ rm R}$, and a sufficient condition on M is given such that L(-,M) is actually a sheaf. The sheaf space rm E { buildrel{ rm p} over longrightarrow} X) etermined by L(-,M) represents M in the following sense: M is isomorphic to the module of continuous global sections of p. These results are applied to the right R-module R$ sb{ rm R}$ and it is seen that semiprime rings satisfy the required condition for L(-,R) to be a sheaf. Among semiprime rings two classes are singled out, fully symmetric semiprime and right noetherian semiprime rings; these two kinds of rings have the desirable property of yielding "nice" stalks for the above sheaf.

No description available.

No description available.