{"entities":{"Q6984911":{"pageid":21412491,"ns":120,"title":"Item:Q6984911","lastrevid":84019949,"modified":"2026-05-08T02:24:29Z","type":"item","id":"Q6984911","labels":{"en":{"language":"en","value":"On fully dense acts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8039073"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$718F55FE-9BB1-4019-A7D4-098ABE451FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20248f727efbdcf0104deeae55be010c7a68a846","datavalue":{"value":{"text":"On fully dense acts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6984911$AA7E26CC-FA62-4145-92A7-2CFFE031EDCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64356197d7d96ba6f05ab4fb4bf12209aa8995dd","datavalue":{"value":"1569.20128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984911$683F14DE-83BB-4D18-B161-5A8A401DA936","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7ff828d9bf3a3816d85e2c5c2c8b5bded07c30","datavalue":{"value":{"entity-type":"item","numeric-id":667847,"id":"Q667847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$4F287CDA-74FE-4C96-ABA4-4DAED668FA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7e78b16857cebb4da199ab355254d6fc29c2029","datavalue":{"value":{"entity-type":"item","numeric-id":723624,"id":"Q723624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$668DDF2B-1D11-4BFD-9111-599B75DB4BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b54f28583acd75cf1b80e5c01214ddcc5d615fd7","datavalue":{"value":{"entity-type":"item","numeric-id":528960,"id":"Q528960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$41E3E8E3-8C5F-41DA-BAD4-52D41AB3022A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6cffbecb381ab43a315c5596ab6a472c16b67d99","datavalue":{"value":{"entity-type":"item","numeric-id":6039312,"id":"Q6039312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$EE2032F1-A58A-4D9D-A603-287679295BAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c8286183ccfc23e881b8c6f931ae547b0263674","datavalue":{"value":{"time":"+2025-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6984911$D2A9C27B-AF55-4831-B6A1-AC092FB1E910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"07c35528e3353c0a25550ee892a9d04812d50a73","datavalue":{"value":"http://www.quasigroups.eu/contents/download/2025/33_10.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6984911$81626DE8-F8BD-42B5-B6E0-CE6370296612","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d3206313d607b710d9293caaab1ecfb5df87caa","datavalue":{"value":"Let \\(A\\) be a right \\(S\\)-act and \\(B\\) a subact of \\(A\\). The \\textit{trace} of \\(B\\) in \\(A\\) is defined to be \\N\\[\\N\\mathrm{Tr}(B,A):= \\bigcup_{\\varphi\\in\\mathrm{Hom}(B,A)}\\varphi(B). \\N\\]\\NOne says that \\(B\\) is \\textit{dense} in \\(A\\), if \\(\\mathrm{Tr}(B,A)=A\\). An \\(S\\)-act is \\textit{(cyclically) fully dense} if every (cyclic) subact of \\(A\\) is dense in \\(A\\). A monoid \\(S\\) is said to be (cyclically) fully dense, if the regular right \\(S\\)-act \\(S_S\\) is (cyclically) fully dense.\\N\\NIn the first part of the paper, the authors study properties of (cyclically) fully dense \\(S\\)-acts focusing on coproducts and then show that (cyclically) fully dense monoids are exactly those monoids over which all the free or projective \\(S\\)-acts are fully dense.\\N\\NAn \\(S\\)-act \\(A\\) is called \\textit{strongly faithful} if \\N\\[\\N\\forall s,t\\in S,\\ \\forall a\\in A:\\ as = at\\Rightarrow s = t. \\N\\]\\NGiven \\(a\\in A\\), define \\[ \\mathrm{ann}(a):=\\{(s, t) \\in S \\times S: as = at\\}. \\] Then set \\(\\mathrm{ann}(A):=\\bigcap_{a\\in A}\\mathrm{ann}(a)\\). An \\(S\\)-act \\(A\\) is said to be \\textit{strongly prime}, if \\(\\mathrm{ann}(a)=\\mathrm{ann}(b)\\) for all \\(a, b \\in A\\). Furthermore, \\(A\\) is said to be \\textit{prime}, if \\(\\mathrm{ann}(B) = \\mathrm{ann}(A)\\) for any subact \\(B\\) of \\(A\\).\\N\\NIn the second part of the paper, some general properties of prime and strongly prime \\(S\\)-acts, as well as their relationship with (cyclically) fully dense \\(S\\)-acts, are investigated. In particular, whenever \\(S\\) is commutative, the classes of prime, strongly prime and cyclically fully dense \\(S\\)-acts coincide.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$7CFF774E-FFF6-4626-A47E-BD69A7023070","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"03b1aa900b3de5a0925aa217159ab1892f44684a","datavalue":{"value":{"entity-type":"item","numeric-id":344882,"id":"Q344882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$E058F514-67FD-4508-9ABC-1B3025F5DDB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984911$A5816CA3-538D-4C12-8AD9-7362CDCC160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984911$8F22E76B-C058-487C-80BF-9B9DE19B754D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ddc6c4b2ae3878e4c1f38cde9f497c9fcec3f530","datavalue":{"value":"8039073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6984911$4E22A3C3-2196-41F6-8AE2-53F5DD9E0F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a43380b8cd50fa92c59aec487857e8740263a3","datavalue":{"value":"right \\(S\\)-act","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$BEEF6551-2447-4B63-AD73-9E44E628F131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238d6e397383cebc34991bf0c49abec6f7512a47","datavalue":{"value":"dense","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$102DAA2E-07AF-465D-B098-6BF926D700EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12d01863d63803927f8077b99facca0c0a922b62","datavalue":{"value":"strongly prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$F1F6C75D-212D-4308-A494-1DDF10281499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b170a67b4551d958a863cf3a7d347dabf6bd6bb3","datavalue":{"value":"prime","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$690B1DB5-6BD0-410E-9741-E803BEAA793D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3904711f537d0488965e2495abb33dd5e56d640","datavalue":{"value":"fully dense act","type":"string"},"datatype":"string"},"type":"statement","id":"Q6984911$1454BE52-A2E4-46AD-819A-64F05A76B085","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$EAF0C197-1D7B-4DA6-8CE6-826C9A122DE6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"66c0a71481b5036945b366e9912667e58f22a4a0","datavalue":{"value":{"entity-type":"item","numeric-id":1300592,"id":"Q1300592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$5041BC42-7FF3-4712-86E3-160F4DDA4094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3759a8d70f496c4ba7eeb5a97dbbf6357ce0b89","datavalue":{"value":{"entity-type":"item","numeric-id":6145230,"id":"Q6145230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$5640CBE2-B479-4B76-A109-1574A6FB9ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4c140bdeb0296ef0f6d65791c9f2ba009b9ad6","datavalue":{"value":{"entity-type":"item","numeric-id":1971007,"id":"Q1971007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$A6D401EA-E6C7-4775-865E-A944CF307379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"717dd5df63ce567797c2f041d15dea009e16d1dc","datavalue":{"value":{"entity-type":"item","numeric-id":3463131,"id":"Q3463131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$5EBE7B59-5701-4D41-BD65-1E182968D3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f1941b768b4ff2a0be7ba75322ccec9fbf0727","datavalue":{"value":{"entity-type":"item","numeric-id":667848,"id":"Q667848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6984911$176699D2-DB80-4D77-B43D-4069138C424B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On fully dense acts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_fully_dense_acts"}}}}}