A Notion of Primality for First Order Structures
by
Marcel Tonga
Dept. of Maths.; Faculty of Science (UY1) P.O Box 812 Yaounde (CAMEROON)
Coauthors: Etienne Romuald Temgoua Alomo

Given a first order structure A = (A;F;R), a congruence q of A is called a *-congruence if for any m-ary r in R and <ai,bi> in q where i=1,...m , then <a1, ...am> belongs to r iff <b1,...,bm> belongs to r.

In this work, we formulate the notions of primality and quasi-primality with respect to *-congruences, and extend the well known characterizations of primal and quasi-primal algebras to first order structures.

Date received: January 17, 2003

Copyright © 2003 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cake-18.