{"entities":{"Q1375880":{"pageid":1386620,"ns":120,"title":"Item:Q1375880","lastrevid":71541636,"modified":"2026-04-13T22:56:39Z","type":"item","id":"Q1375880","labels":{"en":{"language":"en","value":"Congruence compact acts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1106535"}},"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":"Q1375880$27A7C05A-C2D9-418B-8227-A5640EB5F22F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"474f295615d20fc7deb8a825c028e3b841c10f3f","datavalue":{"value":{"text":"Congruence compact acts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1375880$306836F9-6577-4181-919D-13AA41ABD286","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"562199b5c84a6bd7bbfb88d25cb8b474cc4a9e21","datavalue":{"value":"0889.20037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$1230EF97-34A9-4932-AFEC-C82DA0F626E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0a1ba8086d5ad792a26b1a434a0c4ddda9ba477","datavalue":{"value":"10.1007/PL00005931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$53918160-2BD5-4CD3-BA65-39E1CF2F1578","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e979dd49ffccfad8a35cf48a5a11011b654000","datavalue":{"value":{"entity-type":"item","numeric-id":579434,"id":"Q579434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375880$82D1C8B7-91B4-4D73-BC40-7A3779322D8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375880$2C80E19B-AEED-4906-A035-0EE37FD95EA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50be06f6d092f252de9c2eaf3f0ef4dc9d82808c","datavalue":{"value":{"time":"+1998-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1375880$ACF00CB3-DFBC-4A39-AC30-E8C2D4C71AEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96cc579da05ab2b688be02c0ff623b751e932b40","datavalue":{"value":"The author considers categories of left \\(S\\)-acts \\(_SA\\) where \\(S\\) is a monoid. A system of equations, i.e. a system of ``equation forms'' \\(sx=tx\\), \\(sx=ty\\) or \\(sx=a\\) where \\(s,t\\in S\\), \\(a\\in{_SA}\\) and \\(x,y\\in X\\) are ``variables'' for some set \\(X\\), is (finitely) solvable if (for every finite subsystem) there exist elements from \\(_SA\\) which can replace the elements \\(x\\) and \\(y\\) turning the equation forms to equations in \\(_SA\\).   The left \\(S\\)-Act \\(_SA\\) is called equationally (\\(f\\)-equationally, 1-equationally) compact if for every system of equations (every system of equations with finitely many variables, every system of equations with 1 variable) finitely solvable implies solvable. Congruence compact acts are defined analogously replacing ``equationally'' by ``congruence''.   The paper contains the following results. Equivalent are (Proposition 2.3) (i) All finitely generated left \\(S\\)-acts are congruence compact, (ii) all cyclic generated left \\(S\\)-acts are congruence compact, (iii) \\(_SS\\) is congruence compact. In this case the monoid \\(S\\) is right quasiperiodic (Proposition 2.9), i.e. for all \\(s\\in S\\) there exist \\(\\ell\\in\\mathbb{N}\\) and \\(x\\in S\\) such that \\(s^\\ell=xs^{\\ell+1}\\).   Every congruence compact act over a commutative monoid is \\(f\\)-equationally compact (Proposition 2.12), in general congruence compactness does not imply 1-equational compactness (Example 2.11). If \\(S\\) is a monogenic monoid, then (ii) and (iii) reduce to ``\\(S\\) is finite'' (Corollary 3.4). Congruence compact group acts over a commutative group are exactly the finite direct sums of groups of the form \\(C_{p^k}\\) or \\(C_{p^\\infty}\\) (Proposition 4.2). Over monogenic monoids or over commutative groups congruence and equational compactness are equivalent (Proposition 3.7 and Corollary 4.3).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$DA9B1E8F-B28F-4DAE-A528-D241F657F50A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$F637BC1C-D4C0-4478-9673-6210BCA9B3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$62697DE5-D167-44AD-900D-F445D71DBFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$53991A23-1DF9-4C03-BFFF-1D5679ACE699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7580807af3c0deed1fc76a14aa1049042bd1b063","datavalue":{"value":"1106535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$F544FA9A-2661-4EA1-954D-4C4CD0A384CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fe8b80ce698b8c3670918b5855fab4d93cfa2d4","datavalue":{"value":"congruence compact acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$35AFE7A7-FFE7-495D-B6B0-A4A59E2EC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc9267cfaaeefbe01f6381768e289c15d200ee9e","datavalue":{"value":"topological \\(S\\)-acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$C4F86E3C-7885-44E6-BDB0-0931A48DA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47f258118c97e047a9c5ba44d291017c833ed24b","datavalue":{"value":"categories of acts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$9DCFD709-AC23-4FF7-9AF3-41DC773DF6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6402e4ac8f155e2c21fac31a5f154cea814983c9","datavalue":{"value":"systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$EF996334-96A2-4A5B-9D04-856FC9CAFBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70b798d52f7dc23bd93d54fad5d0f6f9a1c7bb77","datavalue":{"value":"congruence compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$BBC20867-874E-4785-91BF-287A669831BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba1ef3544047866b5762955f367120cc1a6f0b78","datavalue":{"value":"equational compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1375880$F0DCF16A-C7AE-4451-99A0-A31775928006","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"85e4af3c816f7ac40605750dbfec22d9e5ba7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":207731,"id":"Q207731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1375880$D111A1A3-BC92-456F-81DD-09AF82881333","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":"Q1375880$2B7E76B8-C999-4AE2-A6E3-E1B311206776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fce623941084acaaeab75cefd20326f333496c6","datavalue":{"value":"https://doi.org/10.1007/pl00005931","type":"string"},"datatype":"url"},"type":"statement","id":"Q1375880$E4020335-DF76-433B-9E26-3D6ED6713D4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81042739d2168f5f901893309b6f9de65d661443","datavalue":{"value":"W2086874502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1375880$D572A21E-ABF9-4443-8B0A-FA2C2D449EF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b219cfc9aff86ff1668829e113fcdadfd993124","datavalue":{"value":{"entity-type":"item","numeric-id":2502258,"id":"Q2502258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b879b7701ae873603544574cd0c91db12c203d63","datavalue":{"value":{"amount":"+0.8886851668357849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375880$2C21200C-C64B-4AD6-B1D4-187334797144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df042bdf5b81d32c3031bd89488d4992d590a25","datavalue":{"value":{"entity-type":"item","numeric-id":5302961,"id":"Q5302961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89061765612e759b6977ea9e4020fb140667b959","datavalue":{"value":{"amount":"+0.8257713913917542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375880$1519B351-5F9C-429F-86E8-C7D644BC5900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8013726411be90d89698f22f1403d398f2815b7","datavalue":{"value":{"entity-type":"item","numeric-id":4354689,"id":"Q4354689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2713e380a1a92c8a5ef08c00a8b4697c471117a","datavalue":{"value":{"amount":"+0.8029388189315796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1375880$4D9314A7-C732-4D9F-A9A0-103A084A8961","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence compact acts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_compact_acts"}}}}}