of the

Mathematical Sciences Group

at the Department of Computer Science

University of Saskatchewan

Colloquium chair: Salma Kuhlmann

3:30 p.m.

**Professor
Salma
Kuhlmann
Mathematical Sciences Group, Department of Computer Science**

gave a talk on

**Abstract:**

In [H] Hausdorff developed several arithmetic operations on totally
ordered sets, generalizing many aspects of Cantor's ordinal arithmetic.
He investigated in [H] the basic properties of this arithmetic.

Many open questions arise naturally: In [K], we studied lexicographic powers with base the set R of real numbers. We investigated whether the exponent of the power is an isomorphism invariant:

Theorem:
Assume a is an ordinal, and J a chain in
which the chain R does not embed. Assume that
R^{a} embeds in
R^{J}. Then a embeds in J.
In particular, if a and
b
are distinct ordinals, then the chains
R^{a} and
R^{b} are nonisomorphic.

This theorem is used in [W] to classify the convex congruences of such powers, and to characterize when these chains have a 2-transitive automorphism group. This extends results of [H].

On the other hand, after establishing further arithmetic rules,
we provide in [HKM] examples of nonisomorphic chains
G and
G' such that the lexicographic powers
R^{G} and
R^{G'} are isomorphic. Moreover,
for a countable infinite ordinal a, we show
that R^{a* +
a} and
R^{a} are isomorphic
(a* denotes the reverse of the ordinal
a).

We show that R^{R} and R^{Q} are nonisomorphic.

We show that D^{R} has a
2-transitive automorphism group,
(where D is a countable ordinal).

Further related open questions arise while studying the
question of defining an exponential function on a power series
field: in [KKS2] we study convex embeddings of a chain
G in a lexicographic power
D^{G},
and apply the results in [KKS1] to prove
that (full) power series fields never admit an exponential
function. However, in [KS] we consider proper subfields consisting of
series of length bounded by an uncountable regular
k. We show that
these subfields can be naturally endowed with
2^{k} pairwise
distinct exponentials making them into models of real exponentiation.
This is done by constructing lexicographic chains with many increasing
automorphisms of distinct sigma-ranks.

References:

[Gr] Trevor Green: Properties of Chains products and Ehrenfeucht-Fraissé Games on Chains, Msc. Thesis, University of Saskatchewan 2002.

[H] Felix Hausdorff: Grundzuge einer Theorie der geordneten Mengen, Math Annalen 65 (1908)

[HKM] Charles Holland - Salma Kuhlmann - Stephen McCleary: Lexicographic Exponentiation of chains, preprint 2002

[K] Salma Kuhlmann: Isomorphisms of Lexicographic Powers of the Reals, Proc. Amer. Math. Soc. 123, Number 9, September 1995

[KS] Salma Kuhlmann - Saharon Shelah:
k-restricted power series fields with
2^{k} exponentials,
(work in progress)

[KKS1] Franz-Viktor Kuhlmann - Salma Kuhlmann - Saharon Shelah: Exponentiation in power series fields, Proc. Amer. Math. Soc. 125, Number 11, November 1997

[KKS2] Franz-Viktor Kuhlmann - Salma Kuhlmann - Saharon Shelah: Functorial equations for lexicographic products, to appear in Proc. Amer. Math. Soc.

[W] Pamela Warton: Lexicographic Powers over the Reals, Ph. D. Dissertation, Bowling Green State University 1998

Friday, September 13, 2002, Room 207 ARTS

3:30 p.m.

**Professor Olivier Piltant
Université de Versailles, St Quentin, France**

will talk on

This story begins with the fundamental theorem of algebra: given complex numbers z

Zariski's theory of complete ideals was begun in 1938 in order to
provide an algebraic framework for studying birational correspondences
in algebraic geometry. His famous `unique factorization theorem' for
complete ideals in dimension two can be viewed as a local extension
in two variables of the above theorem. It states that any ideal
defined by assigned tangency conditions at the origin of C^{2}
factors in a unique way as a product of ideals defined by
**simple** assigned tangency conditions. A basic example goes as
follows: an algebraic curve in C^{2} which is smooth and tangent
to the x-axis at the origin has an equation of the form

In this talk, I will present Zariski's theorem and Lipman's theory of finitely supported complete ideals which extends Zariski's theory to higher dimensions. My contribution consists in stating and proving a three dimensional version of Zariski's unique factorization theorem. This result draws an interesting connection with the Abhyankar-Moh theorems around embeddings of the complex affine line into the complex affine plane.

*Professor Piltant is visiting the Research Unit "Algebra and Logic"
for the month of September 2002.*

Friday and Saturday, September 20 and 21, 2002

University of Regina Main Campus

Friday, September 27, 2002, 3:30 p.m.

**Professor
Murray
Bremner
Department of Math & Stats**

gave a talk on

This talk will show how the decomposition of the group ring of the symmetric group into a direct sum of full matrix subrings can be used to give a complete classification of n-ary operations. Roughly speaking, row equivalence of matrices corresponds to quasi-equivalence of operations. In particular, the Lie and Jordan products represent the two non-trivial quasi-equivalence classes of binary operations. For ternary operations, there are infinitely many quasi-equivalence classes, which divide into eight classes, and four infinite families of classes each with a single parameter. The Lie triple product is contained in one of the infinite classes, and the other operations in the class can be regarded as quantizations of that product. Similar remarks apply to the Jordan triple product. For special values of the parameter, the operation satisfies an identity of degree 5. This identifies some new ternary operations which define varieties of triple systems, similar to Lie and Jordan triple systems, which seem to be an interesting direction for further research.

This is the talk I gave at the International Workshop on Polynomial Identities in Algebras at Memorial University (August 29 - September 3, 2002) and at the Conference on Topics in Linear Algebra at Iowa State University (September 12-13, 2002). The slides are available in pdf format on my website at

Friday, October 4, 2002, 3:30 p.m.

**Professor
Keith
F. Taylor Department of Math & Stats**

gave a talk on

The theory of continuous unitary representations provides some of the most useful approaches to analysis of, and on, locally compact topological groups. The theory is strikingly successful in classes such as semisimple Lie groups, reductive algebraic groups, connected nilpotent groups and compact groups. This success rests on the fact that, for any group in each of these classes, the set of equivalence classes of irreducible unitary representations can be parametrized with a reasonable parameter space. By a theorem of Glimm, such a parametrization exists iff the group is Type I (that is, every representation of the group generates a Type I von Neumann algebra).

If the topology on the group is actually discrete (effectively there is no continuity restriction on the representations), then Thoma proved that the group is Type I iff it has an abelian subgroup of finite index. Thus, for discrete groups, the unitary representation theory is either essentially trivial or it is intractable. In the talk, these concepts will be introduced and a somewhat elementary proof of a stronger version of Thoma's theorem, based on the use of polynomial identities, will be sketched.

Friday, October 18, 2002, 3:30 p.m.

**Dr. Mikhail Kotchetov
Research Unit Algebra and Logic, U of S**

gave a talk on

We consider the problem of determining when a cocommutative Hopf algebra is PI, i.e., satisfies a nontrivial polynomial identity (as an algebra). By the classical decomposition theorem of Kostant-Cartier-Gabriel, any pointed cocommutative Hopf algebra can be represented as the smash product of a group algebra and a connected Hopf algebra. A well-known theorem of Passman gives necessary and sufficient conditions for group algebras to be PI. We will look at the other factor of the decomposition, namely, at connected cocommutative Hopf algebras, which we call "hyperalgebras" for brevity.

In the case of zero characteristic, hyperalgebras are just universal envelopes of Lie algebras, which are PI only when commutative (by a result of Bahturin and Latyshev). In the case of prime characteristic, however, there are hyperalgebras other than universal or restricted envelopes. An extensive class of such hyperalgebras are the so called (co)reduced hyperalgebras, which are characterized by the property that their dual is isomorphic to a power series algebra. They are also precisely the hyperalgebras that arise from formal group laws by (a version of) Lie theory for prime characteristic. So it is not surprising that for coreduced hyperalgberas, we have the same result as for universal envelopes in characteristic zero: they are PI only when commutative. The proof is based on using the corresponding formal group law to construct a certain group and applying Passman's theorem to its group algebra.

*Mikhail Kotchetov defended his Ph.D. at the Memorial University of
New Foundland in September 2002. He is now a post-doctoral fellow of the
Research Unit "Algebra and Logic" (2002--2003). Misha is co-supervised
by S. Kuhlmann, M. Marshall and K. Taylor.*

Friday, November 1, 2002, Room 207 ARTS

5:00 p.m.

**Dr. Mikhail Kotchetov
Research Unit Algebra and Logic, U of S**

gave a talk on

Friday, November 15, 2002, 5:00 p.m.

**Dr. Roland Auer
Research Unit Algebra and Logic**

gave a talk on

Curves over finite fields with many rational points have their applications in Coding Theory and to (Quasi-)Monte Carlo Methods.

While there are theoretical upper bounds for the number of rational points on a (smooth, projective, absolutely irreducible, algebraic) curve of a given genus over a fixed finite field, establishing meaningful lower bounds would actually involve constructing curves with many points.

In the present talk, we will consider abelian covers of explicitly given low genus curves in which many of the rational points are forced to split. The existence of these covers, their degree and the genus of the covering curve is derived from (the function field case) of global Class Field Theory, a classical topic in Algebraic Number Theory.

By construction, the covering curves are expected to have many rational points, and some of them actually beat previously known records.

Friday, November 22, 2002, 3:30 p.m.

**Professor
Murray
Bremner Department of Mathematics and Statistics**

gave a talk on

In any associative ring R with product xy, we can define two new operations: the Lie bracket [x,y] := xy-yx and the Jordan product x o y := (xy+yx)/2. It is easy to check directly that the Lie bracket satisfies anticommutativity and the degree-3 Jacobi identity

[x,x] = 0, [[x,y],z] + [[y,z],x] + [[z,x],y] = 0,

and that the Jordan product satisfies commutativity and the degree-4 Jordan identity

y o x = x o y, ((x o x) o y) o x = (x o x) o (y o x).

Most textbook accounts of nonassociative algebras merely state these identities and verify them directly, without showing how they could have been discovered in the first place. This talk will show how elementary combinatorics and linear algebra can be used to find these identities given only the definitions of the Lie bracket and Jordan product. This method generalizes naturally to much larger and harder problems in the study of identities for nonassociative algebras, in which computing the row canonical form of a large matrix (at least one million entries) and the representation theory of the symmetric group can be used to discover new identities. This talk was originally given at the Canadian Undergraduate Mathematics Conference in Calgary last July, and hence should be accessible to a broad audience.

Friday, November 29, 2002, we had two talks:

at 3:30 p.m.,

**Professor Mik
Bickis
Mathematical Sciences Group, Department of Computer Science**

gave a talk on

An empirical situation for observing spacings would occur if one were to note the lengths of time between consecutive arrivals at the finish line of a marathon. The distribution of such spacings tends to be "heavy-tailed", meaning that one would expect many short times with occasional very long waits. It has long been known that for uniformly distributed random variables, the distribution of spacings is asymptotically exponential. In 1965, Pyke published a key paper examining the probabilistic aspects of spacings in a general framework.

Although the explicit distribution of spacings is complicated, limit theorems can be obtained when the number of observations goes to infinity. This so-called asymptotic spacing distribution can be described by the Laplace transform of a distribution derived from the parent distribution. Tauberian theorems then allow one to relate the tail of the spacings distribution to the order of contact to the x-axis of the parent density function. Polynomial and exponential parent densities lead to a negative-power tail for the spacings distribution whereas a Gaussian density gives a spacings distribution with a heavy tail that is not a negative power.

These ideas will be illustrated with computer-simulated examples.

at 4:30 p.m.,

**Professor Murray
Marshall
Mathematical Sciences Group, Department of Computer Science**

gave a talk on

The systematic study of quadratic forms over an arbitrary field of characteristic not equal to 2 was initiated by Witt in 1937. Two milestone papers in the area are the paper of Pfister relating quadratic forms and orderings and the paper of Milnor pointing out a possible relationship between the Witt ring of quadratic forms and the Galois cohomology of the field - a relationship which was later verified by Voevodsky.

At the same time, it was noted early on that different fields can be
`quadratically equivalent' in the sense that their quadratic form theory
is `the same'. In particular, for fixed n >= 0, there are only a finite
number of quadratically inequivalent fields K with
|K^{*}/K^{*2}| = 2^{n}. The talk is a survey of
the attempts to classify these.

Friday, December 6, 2002, 3:30 p.m.

**Tzvetalin Vassilev
Department of Computer Science**

gave a talk on

Triangulations of the planar point sets was one of the defining areas of the field of Computational Geometry in early 70's. At the same time it is one of the most active research areas within Computational Geometry nowadays with hundreds of papers published every year. Enumeration of objects/structures is a classical combinatorial problem that has its roots in the works of ancient mathematicians.

In the last decade there was a substantial interest in the enumeration
of the triangulation of a given planar point set. Considering the fact
that the number of different triangulations of a set of n points is
exponential in n (currently best lower and upper bounds are
2^{3n} and 2^{8n}), this is a challenging problem from
the algorithmic point of view, and the emphasis is on discovering the
efficient algorithm for enumeration of triangulations. The talk will
overview three of the algorithms that have been developed:

- Reverse search (Avis and Fukuda, 1996)

- Path of the triangulation, based on Divide-and-Conquer technique
(Aichholzer, 1999), and

- The triangulation tree (by Bespamyatnikh, 2001).

Timing and bounds issues will be discussed, and the speaker will provide a collection of open problems in this area.

Friday, January 10, 2003, 3:30 p.m.

**Jingxiang Luo
Department of Computer Science**

gave a talk on

The null value problem is as follows: given a series of matrices ${Q_j}, -g \le j \le h$, where $g,h$ are natural numbers, each $Q_j$ is of size $m \times m$, what is the solution of the following equation?

\vec{0} = \vec{f} \cdot \sum_{-g \le j \le h} x^{-j} Q_j

For any solution, $x$ is called a null value (also the generalized eigenvalue), and $\vec{f}$ the associated null vector. A level/phase process is a Markov process that satisfies the condition of level invariance. It is stable if descending to a lower level is always more likely than ascending to a higher level. In a stable level/phase process, reaching a very high level will be a rare event. The effective simulation concerns performance metric that depends heavily on some rare occurring event. The usual Monte Carlo simulation will be very inefficient due to the lack of observation of rare event of interest. Hence, effective simulation is desired.

There are classical results that reveal the link of the solution of the null value problem with some asymptotics of the equilibrium distribution of a stable level/phase process. The new result is that the solution of the null value problem can also be employed to derive a fast simulation strategy "rate tilting", based on the importance sampling principle in variance reduction techniques. In this talk, we will show the effectiveness of rate tilting under some conditions, and compare this strategy with others. Finally, we address how to find the solution of null values and null vectors with algorithms of low computation complexity, or pilot simulations.

Friday, January 17, 2003, Room 207 ARTS

3:30 p.m.

**Professor Bruce Watson
University of Witwatersrand, South Africa (presently visiting U of S)**

gave a talk on

The Crum-Darboux transformations is considered. It will be illustrated that it isospectral maps certain classes of non-standard Sturm-Liouville problems to standard Sturm-Liouville problems. It will also be displayed that it not only preserves the spectrum but also the so called norming constants.

Friday, January 24, 2003, Room 207 ARTS

3:30 p.m.

**Professor
John
Martin Department of Mathematics & Statistics**

gave a talk on

A topological space X is said to have the complete invariance property (CIP) if every nonempty closed subset of X is the fixed point set of a self-mapping of X . If we replace "self-mapping" by "autohomeomorphism" in the definition, then we say that X has the complete invariance property with respect to homeomorphisms (CIPH). Some conditions which ensure that a class of spaces have CIP or CIPH will be discussed.

The Second Saskatchewan Mathematics Mini-meeting

Friday, February 28, 2003, 3:30 p.m.

**Warren Code
University of Saskatchewan**

gave a talk on

There have been several Colloquium talks examining the modified Sturm-Liouville (S-L) problem:

y'(0)/y(0) = cot(t)

y'(1)/y(1) = R(k),

where p > 0, r > 0 and q are real-valued functions on the interval
[a,b], t is in the interval [0,p), and R(k)
is a function of the eigenparameter (my thesis focusses on the case R(k)
= Ak^{2} + Bk + C in particular).

This talk will discuss a few motivating examples for the study of such problems. These will include selected examples from heat transfer, vibration and acoustic phenomena. It will be demonstrated how physical conditions at the boundary may be modified such that an eigenparameter-dependent condition replaces the constant one produced in elementary treatments.

Friday, March 7, 2003, Studio B, Division of Media
and Technology, Education Building

3:30 p.m.

**Professor Franz-Viktor Kuhlmann
Research Unit Algebra and Logic**

gave a talk on

Cryptography is used to safeguard information that is stored or sent through channels like the internet. Using asymmetric cryptosystems, one can make the encryption procedure public while keeping the corresponding decryption algorithm secret. Alternatively, one can use an asymmetric cryptosystem to safely exchange keys for symmetric cryptosystems (which in general are more effective), and then send the information using the latter.

I will give a survey on the algebraic and number theoretical methods used for asymmetric cryptosystems. I will explain the basic idea of asymmetric cryptosystems. Then I will describe the Merkle-Hellman Knapsack cryptosystem, RSA, the discrete logarithm problem, Diffie-Hellman key exchange and the El Gamal cryptosystem. Finally, I will quickly describe the use of elliptic curves in connection with the discrete logarithm problem. If time permits, I will also discuss possible attacks on these cryptosystems.

The talk was broadcasted to the University of Regina. I would like to thank the Division of Media and Technology at the U of S for their generous support, and Cheryl Piché and Frank Harrington for their invaluable help.

Tuesday, March 18, 2003, 4:00 - 5:20 p.m.

**Professor Sarah
Witherspoon
Department of Mathematics and Computer Science, Amherst College**

gave a talk on

A deformation of a ring is a one-parameter family of rings, the original ring corresponding to one value of the parameter. Such deformations give rise to quantum groups from groups and Lie algebras, and to noncommutative spaces from ordinary spaces. However, deformations are notoriously difficult to find in general. In this introductory talk, we will start with the definition of a deformation and some examples, and then we will describe Hochschild cohomology and its relationship to deformations. Finally we will explain some recent theoretical results and apply them to new examples arising from finite group actions on spaces, that is orbifolds. This talk will be accessible to an audience that would include interested undergraduate and graduate students.

The Fourth Annual Colloquiumfest

Monday, March 24, 2003, 3:30 p.m.

**Professor Klaus Keimel
TU Darmstadt, Germany**

gave a talk on

For the purposes of denotational semantics, Dana Scott has introduced the notion of a semantic domain (see [1]). These are ordered sets which are directed complete and in which every object can be approximated from below by elements of finite type. The order is supposed to model the increase of information content, the elements of finite type should represent objects computable in finite time, and the directed completeness assures the presence of ideal objects but still finitarily approximable.

Each construct in a programming language asks for a construction on semantic domains which models this construct. Non-determinism - like nondeterminstic choice - is modelled by sets of possible results. It is mathematically challenging that the constructions on semantic domains should remain within the same category.

Probabilistic features - like probabilistic choice - are modelled by the probabilistic power domain.

If both kinds of non-determinism occur (see [2]), there is a need for a mixed power domain. After introducing semantic domains, we will present an approach to this mixed power domain based on [3], and we will illustrate it by giving a semantics for the toy language considered in [2].

Literature:

1. G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and
D. S. Scott: Continuous Lattices and Domains, Encyclopaedia of
Mathematics and its Applications, vol. 93, Cambridge University
Press (2003), xxx+590pp.

2. A. McIver and C. Morgan: Partial correctness for probabilistic
demonic programs, Theoretical Computer Science 266 (2001), 513-514.

2. R. Tix: Continuous D-cones: Convexity and Powerdomain
Constructions, PhD Thesis, Darmstadt (1999).

Friday, March 28, 2003, 3:30 p.m.

**Professor
Robert
Fitzgerald
Southern Illinois University**

gave a talk on

For a non-degenerate quadratic form q over the reals, we have:

(1) q has a non-trivial zero iff |sgn q | < dim q.

(2) q has the maximal number of zeros iff sgn q =0.

Here dim q is the number of variables and sgn q is the signature. I will discuss recent attempts to extend some form of (1) and (2) to other fields. For example, in (1), the inequality is replaced by a new inequality involving various invariants of the underlying field.

*Dr. Fitzgerald was visiting the Research Unit Algebra and Logic from
March 17 to March 31.*

Friday, April 4, 2003 - Double
Colloquium:

3:30 p.m.

**Professor Konrad Schmuedgen
Leipzig, Germany**

gave a talk on

The talk begins with an overwiew on the history and on classical results of the moment problem and the theory of positive polynomials. Then the moment problem for closed semi-algebraic sets of the d-dimensional space is discussed. The talk closes with some new results on the moment problem for non-compact closed semi-algebraic sets which have "sufficiently many" bounded polynomials.

Dr. Schmuedgen was visiting the Research Unit Algebra and Logic April 1st-8th.

4:30 p.m.

**Professor
Frank
Sottile University of Massachusetts, Amherst, USA**

gave a talk on

Consider the following hard problem: Give meaningful information about the number r of real solutions to a system of multivariate polynomial equations. Quite often much more is known than merely that r is between 0 and the number d of complex solutions. This stronger information is typically available when the system has some geometric structure. Enumerative real algebraic geometry treats this hard problem for systems coming from geometry.

In this talk, I will survey some of what is known. In particular, I will discuss recent better understanding of the bounds of 0 and d. A picture is emerging: for systems from geometry, the upper bound of d can always be obtained, and in many cases there are non-trivial lower bounds on the number of real solutions, with certain gaps that have been discovered experimentally.

Wednesday, April 9, 2003, 3:30 p.m.

**Dr. Mohammed El Bachraoui
Vrije Universiteit, Amsterdam, The Netherlands**

gave a talk on

I will discuss the development of relation algebras from A. de Morgan until A. Tarski: from concrete binary relations to the abstract theory of relation algebras. The standard model of relation algebras is the algebra of binary relation on some set. These algebras and their subdirect product are referred to as representable relation algebras. Unlike Boolean algebras and groups, R. Lyndon showed that not every relation algebra is representable. As a consequence of this fact, representation theorems are worth investigating.

In the talk I will give a new representation theorem for relation algebras. Combining this result with a result of R. Maddux and a result of S. Givant, we arrive at a more general representation theorem.

I will finally list some open problems which are suggested by this work.

Dr. El Bachraoui was visiting the Research Unit Algebra and Logic March 31 - April 29.

Friday, April 25, 2003, Room 208 ARTS

3:30 p.m.

**Professor Salma Kuhlmann
Research Unit Algebra and Logic**

gave a talk on

We analyse the preorderings and quadratic modules of R[X] associated to semi algebraic subsets of the real line. We give criteria, in terms of the chosen description of the subset, for the preorderings or modules to be closed or saturated.

The results are used to investigate the solvability of the Moment Problem in higher dimensions. We provide criteria for the existence of a positive solution to the Moment Problem on subsets of cylinders with compact base. We apply these results to the representation of polynomials positive on non-compact polyhedra. We present open problems concerning the connection between various representations and the Moment Problem.

(Joint Work with M. Marshall and Niels Schwartz.)

Friday, May 2, 2003 - Double
Colloquium:

3:30 p.m.

**Professor
Renate
Scheidler
Dept. of Mathematics & Statistics, University of Calgary**

gave a talk on

Conventional (one-key) cryptographic systems, such as the Data Encryption Standard (DES) or the new Advanced Encryption Standard (AES), are the secure communication schemes of choice for many institutions. This is because they are both fast and sufficiently secure for most applications. The real difficulty in employing such cryptosystems is the problem of securely transmitting a secret cryptographic key between communicants. This talk describes a solution to this problem -- a means by which a secret key can be safely transmitted across an insecure channel. Our key exchange protocol is based on the algebra and arithmetic of reduced principal ideals in a real quadratic number field; the technique can be extended to real hyperelliptic function fields.

This research was conducted in collaboration with M. J. Jacobson, Jr., and H. C. Williams, both at the University of Calgary. Despite the algebraic and number theoretic nature of the topic, this presentation is designed to be accessible to a general mathematics-trained audience.

**Professor Scheidler's visit was partially supported by the Role Model
Speaker Fund of the College of Arts and Science.**

4:30 p.m.

**Dr. Nikolaos Galatos
Vanderbilt University, Nashville**

gave a talk on

Residuated lattices constitute algebraic semantics for sub-structural logics. Brouwerian algebras and Abelian lattice-ordered groups are examples of residuated lattices that have a distributive lattice and a commutative monoid reduct.

We investigate the decidability of the equational and quasi-equational theory of the variety CRL of distributive commutative residuated lattices. In particular, we reduce the solvability of the word problem for CRL to that of semigroups, known to be unsolvable, thus obtaining the undecidability of the quasi-equational theory as a corollary. Moreover, in joint work with James Raftery, we establish the decidability of the equational theory of CRL, using results from relevance logic.

Friday, May 9, 2003, 3:30 p.m.

**Professor
Brett Stevens
School of Mathematics and Statistics, Carleton University**

gave a talk on

Recently mathematical objects called covering arrays have been successfully used in reliability testing to great advantage. These objects, under many names, have been studied for over 100 years. We will examine their application strengths and the many approaches used to study and construct them. This includes extremal set theory: Sperner systems and the Erdos-Ko-Rado result; information theory approaches producing asymptotic results; constructions motivated from latin squares and design theory and, recently, more industrially relevant models using graph homomorphisms and meta-heuristic searches. The talk will attempt to give the breadth of flavors of approaches that are used to study one simply defined object.

**Professor Stevens' visit was supported by the Colloquium Fund of the
Mathematical Sciences Group.**

Friday, May 16, 2003, 3:30 p.m.

**Professor Melvin Henriksen
Harvey Mudd College, Claremont, California**

gave a talk on

The space of minimal prime ideals of a commutative semiprime ring A with the hull-kernel topology (alias the Zariski topology) has long been known to be a zero-dimensional Hausdorff space and there are characterizations of when it is compact. In case A = C(X) is the ring of all continuous real-valued on a Tychonoff space (i.e., a subspace of of a compact (Hausdorff) space), while there are many simply stated characterizations of spaces X with this property, they are not easy to use to answer natural questions about them. For example: What can be said about subspaces, products, or images under various kinds of continuous mappings of spaces with a compact space of minimal prime ideals? Recent results obtained jointly with R.G. Woods will be presented along with some unsolved problems.

*Last update: May 20, 2003
--------- created and maintained by Franz-Viktor Kuhlmann
*