Formal power series with cyclically ordered exponents

We define and study a notion of ring of formal power series with exponents in a cyclically ordered group. Such a ring is a quotient of various subrings of classical formal power series rings. It carries a two variable valuation function. In the particular case where the cyclically ordered group is actually totally ordered, our notion of formal power series is equivalent to the classical one in a language enriched with a predicate interpreted by the set of all monomials.Received: 24 February 2003     

Quasi-Armendariz rings relative to a monoid

For a monoid M, we introduce M-quasi-Armendariz rings which are a generalization of quasi-Armendariz rings, and investigate their properties. The M-quasi-Armendariz condition is a Morita invariant property. The class of M-quasi-Armendariz rings is closed under some kinds of upper triangular matrix rings. Every semiprime ring is M-quasi-Armendariz for any unique product monoid and any strictly totally ordered monoid M. Moreover, we study the relationship between the quasi-Baer property of a ring R and those of the monoid ring R[M]. Every quasi-Baer ring is M-quasi-Armendariz for any unique product monoid and any strictly totally ordered monoid M.     

First order theory of cyclically ordered groups

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group H a pair $(G,z)$ where G is a totally ordered group and z is an element in the center of G, generating a cofinal subgroup $〈z〉$ of G, and such that the cyclically ordered quotient group $G/〈z〉$ is isomorphic to H. We first establish that, in this correspondence, the first-order theory of the cyclically ordered group H is uniquely determined by the first-order theory of the pair $(G,z)$. Then we prove that the class of cyclically orderable groups is an elementary class and give an axiom system for it. Finally we show that, in contrast to the fact that all theories of totally ordered Abelian groups have the same universal part, there are uncountably many universal theories of Abelian cyclically ordered groups.     

Construction of lattice orders on the semigroup ring of a positive rooted monoid

Lattice orders on the semigroup ring of a positive rooted monoid are constructed, and it is shown how to make the monoid ring into a lattice-ordered ring with squares positive in various ways. It is proved that under certain conditions these are all of the lattice orders that make the monoid ring into a lattice-ordered ring. In particular, all of the partial orders on the polynomial ring A[x] in one positive variable are determined for which the ring is not totally ordered but is a lattice-ordered ring with the property that the square of every element is positive. In the last section some basic properties of d-elements are considered, and they are used to characterize lattice-ordered division rings that are quadratic extensions of totally ordered division rings.     

广义Macaulay-Northcott模与Tor-群

Let （S,≤） be a strictly totally ordered monoid which is also artinian, and R a right noetherian ring. Assume that M is a finitely generated right R-module and N is a left Rmodule. Denote by [[MS,≤]] and [NS,≤] the module of generalized power series over M, and the generalized Macaulay-Northcott module over N, respectively. Then we show that there exists an isomorphism of Abelian groups：Tori[[ RS,≤]]（[[MS,≤]],[NS,≤]）≌ s∈S ToriR （M,N）.     

幺半群上的斜强可逆环

For a monoid M, we introduce the concept of skew strongly M-reversible rings which is a generalization of strongly M-reversible rings, and investigate their properties. It is shown that if G is a finitely generated Abelian group, then G is torsion-free if and only if there exists a ring R with |R| ≥ 2 such that R is skew strongly G-reversible. Moreover, we prove that if R is a right Ore ring with classical right quotient ring Q, then R is skew strongly M-reversible if and only if Q is skew strongly M-reversible.     

McCoy Rings Relative to a Monoid

For a monoid M, we introduce M-McCoy rings, which are a generalization of McCoy rings and M-Armendariz rings; and investigate their properties. We first show that all reversible rings are right M-McCoy, where M is a u.p.-monoid. We also show that all right duo rings are right M-McCoy, where M is a strictly totally ordered monoid. Then we show that semicommutative rings and 2-primal rings do have a property close to the M-McCoy condition. Moreover, it is shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-McCoy. Consequently, several known results on right McCoy rings are extended to a general setting.     

Weakly quasi-o-minimal models

We introduce the notion of a weakly quasi-o-minimal model and prove that such models lack the independence property. We show that every weakly quasi-o-minimal ordered group is Abelian, every divisible Archimedean weakly quasi-o-minimal ordered group is weakly o-minimal, and every weakly o-minimal quasi-o-minimal ordered group is o-minimal. We also prove that every weakly quasi-o-minimal Archimedean ordered ring with nonzero multiplication is a real closed field that is embeddable into the field of reals.     

广义逆多项式模的co-Hopf性质

设R是结合环(可以没有单位元),(S,≤)是严格全序幺半群,序≤是Artin的且对任意s∈S,有0≤s,则对任意具有性质(F)的左R-模M,[MS,≤]是co-Hopf左[[RS,≤]]一模当且仅当M是co-Hopf左R-模.     

Totally Ordered Commutative Monoids

A totally ordered monoid—or tomonoid , for short—is a commutative semigroup with identity S equipped with a total order \les that is translation invariant, i.e. , that satisfies: \forall x, y, z∈ S, x\les y\;\Rightarrow \; x+z \les y+z. We call a tomonoid that is a quotient of some totally ordered free commutative monoid formally integral. Our most significant results concern characterizations of this condition by means of constructions in the lattice \Z ⁿ that are reminiscent of the geometric interpretation of the Buchberger algorithm that occurs in integer programming. In particular, we show that every two-generator tomonoid is formally integral. In addition, we give several (new) examples of tomonoids that are not formally integral, we present results on the structure of nil tomonoids and we show how a valuation-theoretic construction due to Hion reveals relationships between formally integral tomonoids and ordered commutative rings satisfying a condition introduced by Henriksen and Isbell. April 15, 1999     

Directed partial orders on real quaternions

It is shown that a division ring of real quaternions can be made into a partially ordered ring with a directed partial order.     

Irrational ordered groups

Binary operations can be defined on the ordered set of irrational numbers so that the result is an ordered group (the order preserved by the operation). However, the resulting ordered group is severely restricted in its group structure and in the structure of its set of convex subgroups.     

Lawless order

R. Baer asked whether the group operation of every (totally) ordered group can be redefined, keeping the same ordered set, so that the resulting structure is an Abelian ordered group. The answer is no. We construct an ordered set (G, ) which carries an ordered group (G, , ) but which islawless in the following sense. If (G, *, ) is an ordered group on the same carrier (G, ), then the group (G, *) satisfies no nontrivial equational law.Research partially supported by NSERC of Canada Grants #A4044 and A3040.Research partially supported by NSERC of Canada Grant #U0075.Research partially supported by a grant from the BSF.     

Convex vector lattices and l-algebras

For A an Archimedean Riesz space (=vector lattice) with distinguished positive weak unit e_A, we have the Yosida representation  as a Riesz space in D(X_A), the lattice of extended real valued functions on the space of e_A-maximal ideas. This note is about those A for which  is a convex subset of D(X_A); we call such A “convex”.Convex Riesz spaces arise from the general issue of embedding as a Riesz ideal, from consideration of uniform- and order-completeness, and from some problems involving comparison of maximal ideal spaces (which we won't discuss here; see [10]).The main results here are: (2.4) A is convex iff A is contained as a Riesz ideal in a uniformly complete Φ-algebra B with identity e_A. (3.1) Any A has a convex reflection (i.e., embeds into a convex B with a universal mapping property for Riesz homomorphisms; moreover, the embedding is epic and large).     

Orthomodular lattices in ordered vector spaces

In a partly ordered space the orthogonality relation is defined by incomparability. We define integrally open and integrally semi-open ordered real vector spaces. We prove: if an ordered real vector space is integrally semi-open, then a complete lattice of double orthoclosed sets is orthomodular. An integrally open concept is closely related to an open set in the Euclidean topology in a finite dimensional ordered vector space. We prove: if V is an ordered Euclidean space, then V is integrally open and directed (and is also Archimedean) if and only if its positive cone, without vertex 0, is an open set in the Euclidean topology (and also the family of all order segments , a < b, is a base for the Euclidean topology). Received January 7, 2005; accepted in final form November 26, 2005.     

Totally Ordered Monoids Based on Triangular Norms

A totally ordered monoid, or tomonoid for short, is a monoid together with a translation-invariant (i.e., compatible) total order. We consider in this paper tomonoids fulfilling the following conditions: the multiplication is commutative; the monoidal identity is the top element; all nonempty suprema exist; and the multiplication distributes over arbitrary suprema. The real unit interval endowed with its natural order and a left-continuous t-norm is our motivating example. A t-norm is a binary operation used in fuzzy logic for the interpretation of the conjunction.

Given a tomonoid of the indicated type, we consider the chain of its quotients induced by filters. The intention is to understand the tomonoid as the result of a linear construction process, leading from the coarsest quotient, which is the one-element tomonoid, up to the finest quotient, which is the tomonoid itself. Consecutive elements of this chain correspond to extensions by Archimedean tomonoids. If in this case the congruence classes are order-isomorphic to real intervals, a systematic specification turns out to be possible.

In order to deal with tomonoids and their quotients in an effective and transparent way, we follow an approach with a geometrical flavor: we work with transformation monoids, using the Cayley representation theorem. Our main results are formulated in this framework. Finally, a number of examples from the area of t-norms are included for illustration.     

Integral Stone Rings

It is shown that certain partially ordered rings, defined by some of the properties of the totally ordered ring of integers, are exactly the bounded Z-rings, that is, the commutative f-rings with strong singular unit. The partially ordered rings in question amount to a discrete version of the rings introduced by M.H. Stone for his abstract characterization of the rings of real-valued continuous functions on compact Hausdorff spaces, and the function rings they correspond to are given by the integer-valued continuous functions on Boolean spaces.     

Associated Prime Submodules of Finitely Generated Modules

As generalizations of annihilators and associated primes, we introduce the notions of weak annihilators and weak associated primes, respectively. We first study the properties of the weak annihilator of a subset X in a ring R. We next investigate how the weak associated primes of a ring R behave under passage to the skew monoid ring R*M. Let R be a semicommutative ring, and M an ordered monoid and φ: M → Aut(R) a compatible monoid homomorphism. Then we can describe all weak associated primes of the skew monoid ring R*M in terms of the weak associated primes of R in a very straightforward way.     

Lattice-theoretic properties of algebras of logic

In the theory of lattice-ordered groups, there are interesting examples of properties — such as projectability — that are defined in terms of the overall structure of the lattice-ordered group, but are entirely determined by the underlying lattice structure. In this paper, we explore the extent to which projectability is a lattice-theoretic property for more general classes of algebras of logic. For a class of integral residuated lattices that includes Heyting algebras and semi-linear residuated lattices, we prove that a member of such is projectable iff the order dual of each subinterval [a,1]$[a,1]$ is a Stone lattice. We also show that an integral GMV algebra is projectable iff it can be endowed with a positive Gödel implication. In particular, a ΨMV or an MV algebra is projectable iff it can be endowed with a Gödel implication. Moreover, those projectable involutive residuated lattices that admit a Gödel implication are investigated as a variety in the expanded signature. We establish that this variety is generated by its totally ordered members and is a discriminator variety.     

The coextension of commutative pomonoids and its application to triangular norms

Group coextensions of monoids, which generalise Schreier-type extensions of groups, have originally been defined by P.A. Grillet and J. Leech. The present paper deals with pomonoids, that is, monoids that are endowed with a compatible partial order. Following the lines of the unordered case, we define pogroup coextensions of pomonoids. We furthermore generalise the construction to the case that pomonoids instead of pogroups are used as the extending structures.

The intended application lies in fuzzy logic, where triangular norms are those binary operations that are commonly used to interpret the conjunction. We present conditions under which the coextension of a finite totally ordered monoid leads to a triangular norm. Triangular norms of a certain type can therefore be classified on the basis of the presented results.