Completing commutative actions.
type: Item
instance of: scholarly article
title: Completing commutative actions.
zbMATH Open document ID: 1123.20057
published in: Acta Mathematica Hungarica
publication date: 2007-05-08T00:00:00Z
review text: A commutative monoid \(S\) is complete when every Archimedian component of \(S\) contains an idempotent, and when there is for every \(s\in S\) a least idempotent \(e\) such that \(es=s\). A commutative monoid \(S\) is subcomplete when it can be embedded into a complete commutative monoid \(T\) such that every Archimedian component of \(T\) intersects \(S\); in this case, \(T\) is called a completion of \(S\). A completion \(T\) of \(S\) is tight when \(S\) and \(T\) have the same identity element, every Archimedian component of \(S\) is contained in a unique Archimedian component of \(T\), and every \(\mathcal H\)-class of \(T\) intersects \(S\). A Ponizovsky family is a certain partition of \(S\) induced by the set of all Archimedian components of \(S\). A tight completion of \(S\) which arises from a Ponizovsky family \(\mathcal P\) of \(S\) is denoted by \(\widehat S_{\mathcal P}\). A tight \(\mathcal P\)-completion of an \(S\)-act \(X\) is a complete \(\widehat S_{\mathcal P}\)-act \(Y\) such that \(X\subseteq Y\), the inclusion mapping \(X\to Y\) is a homomorphism of \(X\) into \(Y\), and every transitivity class of \(Y\) intersects \(X\). Given a Ponizovsky family \(\mathcal P\) of a subcomplete monoid \(S\), the author defines a Prostak \(\mathcal P\)-family \(Q\) of an \(S\)-act \(X\) and constructs an \(\widehat S_{\mathcal P}\)-act \(\widehat X_{\mathcal Q}\). It is proved that if \(S\) is a subcomplete monoid (for instance, a finitely generated commutative monoid), \(\mathcal P\) a Ponizovsky family of \(S\), and \(X\) an \(S\)-act, then every tight \(\mathcal P\)-completion of \(X\) induces a cancellative Prostak \(\mathcal P\)-family of \(X\). If conversely \(\mathcal Q\) is a cancellative Prostak \(\mathcal P\)-family of \(X\), then \(\widehat X_{\mathcal Q}\) is a tight \(\mathcal P\)-completion of \(X\), which induces \(\mathcal Q\). Moreover, it is proved that \(X\) has a tight \(\mathcal P\)-completion if and only if the canonical map \(X\to\wideh…
Mathematics Subject Classification ID: 20M30
Mathematics Subject Classification ID: 20M14
Mathematics Subject Classification ID: 20M50
zbMATH DE Number: 5150260
zbMATH Keywords: complete acts
zbMATH Keywords: completions
zbMATH Keywords: Prostak families
zbMATH Keywords: Archimedean components
zbMATH Keywords: idempotents
zbMATH Keywords: complete commutative monoids
zbMATH Keywords: Ponizovsky families
zbMATH Keywords: finitely generated commutative monoids
author: Pierre Antoine Grillet
reviewed by: Peeter Normak
MaRDI profile type: Publication
full work available at URL: s10474-006-0521-y
OpenAlex ID: W2007547346
cites work: Q4132170
cites work: A completion theorem for finitely generated commutative semigroups
cites work: Q4415354
cites work: Q4815680
cites work: Q5488119
cites work: Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
DOI: 10.1007/S10474-006-0521-Y
description: scientific article; zbMATH DE number 5150260