{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q795175","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q795175","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q795175","kernelVersion":"v1","immutable":true,"modified":"2025-07-08T14:42:39Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q795175","name":"The maximal semigroup of quotients of a finite semilattice","headline":"The maximal semigroup of quotients of a finite semilattice","description":"scientific article; zbMATH DE number 3861442","url":"https://portal.mardi4nfdi.de/entity/Q795175","datePublished":"1984-00-00","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q1837217"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q172569"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/BF02573314","url":"https://doi.org/10.1007/BF02573314"},"sameAs":["https://doi.org/10.1007/BF02573314"],"comment":"Let S be a subsemigroup of a semigroup \\(T=(T,\\cdot)\\). Then S is called dense in T and T a semigroup of right quotients of S (in the meaning of McMorris) iff for any \\(t_ 1,t_ 2,t\\in T\\) such that \\(t_ 1\\neq t_ 2\\) there is an \\(s\\in S\\) satisfying \\(t_ 1s\\neq t_ 2s\\) and t\\(s\\in S\\). Denoting this by \\(S\\leq T\\), for each semigroup S such that \\(S\\leq S\\) there is, unique up to isomorphisms, a maximal semigroup \\(Q_ r(S)\\) with \\(S\\leq Q_ r(S)\\), and \\(S\\leq T\\) implies \\(Q_ r(S)=Q_ r(T)\\) [for details and references cf. \\textit{H. J. Weinert}, Semigroup Forum 19, 1-78 (1980; Zbl 0404.20051)]. If \\(S=(S,\\cdot)=(S,\\wedge)\\) is a semilattice, one easily checks \\(S\\leq S\\) and that \\(Q_ r(S)\\) is a semilattice, too. Investigating finite semilattices, the author proves that for each S there is a unique minimal subsemigroup \\(S_ I\\) of S satisfying \\(S_ I\\leq S\\), which is at the same time the minimal dense ideal of S, and \\(S\\leq T\\) holds iff \\(S_ I=T_ I\\). Moreover, interesting explicit descriptions of \\(S_ I\\) and \\(Q_ r(S)\\) are given. The latter allows to prove a handy necessary and sufficient condition for \\(S=Q_ r(S)\\), called fractional completeness of S. As an application we mention: The variety of distributive lattices is the unique variety of lattices all of whose finite members are fractionally complete. Turning to rings in the last section, each finite commutative ring R is shown to be fractionally complete, which results in the problem whether the variety of commutative rings is also characterized by this property.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3328590"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5613213"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5632607"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4106783"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5519166"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4046212"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5631305"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3966191"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3041257"}]},"provenance":{"prov:generatedAtTime":"2025-07-08T14:42:39Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}