On Riesz groups
type: Item
instance of: scholarly article
title: On Riesz groups
zbMATH Open document ID: 0788.06016
DOI: 10.1007/BF03026548
author: Muhammad Zafrullah
published in: Manuscripta Mathematica
publication date: 1994-05-24T00:00:00Z
full work available at URL: https://eudml.org/doc/155870
review text: The aim of this paper is to prove the following Theorem 1 and to show some of its consequences and some of its connections with the current literature. Theorem 1. Let \(G\) be a directed po-group and let \(H\) be an o-ideal of \(G\) such that every member of \(H^ +\) is primal in \(G\). If \(G/H\) is a Riesz group, then so is \(G\). (\(x\in G\) is primal in \(G\) if \(x\in G^ +\) and \(x\leq a_ 1+ a_ 2\), where \(a_ i\in G^ +\), implies \(x= x_ 1+ x_ 2\) such that \(0\leq x_ i\leq a_ i\).) This result is a general group-theoretic version of Cohn's analogue of Nagata's UFD's Theorem for Schreier domains. The other point of interest is the following Corollary: Let \(G\) be a po-Schreier extension of a directed po-group \(H\) by another po-group \(F\). Then \(G\) is a Riesz group iff the following hold: (1) Every member of \(H^ +\) is primal in \(G\); (2) \(F\) is a Riesz group. The main result (Section 1). Theorem 7. Every directed po-group \(G\) contains an interpolating o-ideal \(M=M(G)\) that is the largest (that is if \(M_ 1\) is an interpolating o- ideal of \(G\) then \(M_ 1\subseteq M(G)\)). Consequently \(G/M\) contains no non-trivial completely primal elements. (An o-ideal \(H\) of \(G\) is an interpolating o-ideal of \(G\) if every element of \(H^ +\) is a primal element of \(G\). \(x\in G^ +\) is called completely primal if every element in \([0,x]\) is primal.) The Sections 2 and 3 are devoted to indicating the connection of Theorem 1 with Cohn's results.
Mathematics Subject Classification ID: 06F20
zbMATH DE Number: 492781
zbMATH Keywords: directed po-group
zbMATH Keywords: Riesz group
zbMATH Keywords: po-Schreier extension
zbMATH Keywords: interpolating o- ideal
zbMATH Keywords: completely primal elements
reviewed by: František Šik
MaRDI profile type: Publication
cites work: Q5539062
cites work: The construction \(D+XD_s[X]\)
cites work: The extension of partially ordered groups
cites work: Q5330684
cites work: Divisibility properties in semigroup rings
cites work: Convex Directed Subgroups of a Group of Divisibility
cites work: Q4116538
cites work: The \(D+XD_ s[X]\) construction from GCD-domains
OpenAlex ID: W2089422591
description: scientific article; zbMATH DE number 492781