{"entities":{"Q5895260":{"pageid":7934733,"ns":120,"title":"Item:Q5895260","lastrevid":49436461,"modified":"2026-01-07T03:56:58Z","type":"item","id":"Q5895260","labels":{"en":{"language":"en","value":"On directed groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174996"}},"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":"Q5895260$13C303AA-37B5-4F36-BE8B-C597577B3357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2397654edb9f377fc9b19779c45b8cae12aa419a","datavalue":{"value":{"text":"On directed groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5895260$C4E5D2ED-ED27-40F8-8B97-3B4E27BE98CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38818c41ab71f39da0dd910d0f4607134a33cdaa","datavalue":{"value":"0714.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895260$6E1FA7AB-CE45-4AEC-AF6E-24FBCF6F68BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d61f1afa034425ad0926b73524d2f38e9e0c7914","datavalue":{"value":"10.1007/BF00970912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895260$15347975-87EB-41CC-BCBF-0B38D0CFFE57","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6641ca435ce29ef8d56799c39f8d63596ee14674","datavalue":{"value":{"entity-type":"item","numeric-id":354478,"id":"Q354478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895260$08D47102-D533-419D-A86E-C48BB4F93449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaea1edba5d528a77b2c73b74f89af431408fc5f","datavalue":{"value":{"entity-type":"item","numeric-id":750475,"id":"Q750475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895260$8FE12EFE-F483-496D-ACF3-12D2B4B6B290","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895260$7D52B26A-A56F-4A7C-8036-420F4C34B62E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5895260$8C716207-78C2-45E4-8CA7-8ABD0566D04F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db5145acf084dd87501ee229463176b9ead91c58","datavalue":{"value":"A directed set (M;\\(\\leq)\\) can be transformed into an algebra (M;\\(\\sigma\\)) of signature \\(\\sigma =\\{\\vee,\\wedge \\}\\) which contains all binary operations \\(\\vee\\) and \\(\\wedge\\) defined in the following way: if x,y\\(\\in M\\), \\(x\\leq y\\) we set \\(x\\vee y=y\\) and \\(x\\wedge y=x\\). If x and y are uncomparable, we choose (and fix) for \\(x\\vee y\\) an upper bound of x and y. Dually for \\(x\\wedge y\\). The operations can be defined as commutative ones. 1.2 Theorem. Let (M;\\(\\leq)\\) be a directed set and (M;\\(\\sigma\\)) an algebra of signature \\(\\sigma =\\{\\vee,\\wedge \\}\\) which is constructed by means of \\(\\leq\\) in the described way. Then there holds in (M;\\(\\sigma\\)) H1) \\(x\\vee x=x\\), \\(x\\wedge x=x\\), H2) \\(x\\vee y=y\\vee x\\), \\(x\\wedge y=y\\wedge x\\), H3) \\(x\\vee (x\\vee y)=x\\vee y\\), \\(x\\wedge (x\\wedge y)=x\\wedge y\\), H4) \\((x\\vee y)\\vee z=x\\vee ((x\\vee y)\\vee z)\\) and dually, H5) \\(x\\vee (x\\wedge y)=x\\) and dually. Conversely, if an order relation \\(\\leq\\) is introduced in an algebra (M;\\(\\sigma\\)) so that \\(x\\leq y\\) iff \\(x\\vee y=y\\) (or \\(x\\wedge y=x)\\) then (M;\\(\\leq)\\) is a directed set. If \\((G;\\cdot,e,^{-1})\\) is a group and (G;\\(\\leq)\\) a directed set, then \\((G;\\cdot,e,^{-1},\\leq)\\) is called a directed group if \\(x\\leq y\\) implies zxt\\(\\leq zyt\\) for arbitrary z,t\\(\\in G\\). 2.2 Theorem. If \\((G;\\cdot,e,^{-1},\\leq)\\) is a directed group then there can be defined operations \\(\\vee\\) and \\(\\wedge\\) in G so that H1- H5 hold and moreover H6) \\(zxt\\vee z(x\\vee y)t=z(x\\vee y)t\\) and dually, and H7) \\((x\\vee y)^{-1}=x^{-1}\\vee y^{-1}\\) and dually. Conversely, every algebra \\((G;\\cdot,e,^{-1},\\vee,\\wedge)\\) so that \\((G;\\cdot,e,^{- 1})\\) is a group which fulfils H1-H7, turns out to be a directed group if we put \\(x\\leq y\\) iff \\(x\\vee y=y\\). Other properties of directed groups are deduced which are near to the \\(\\ell\\)-group properties.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$5EE98AD3-C032-4B7F-A2BB-8607D2E783F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895260$F1C7F087-09FA-4013-8651-817B47724964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d23f426a1207e798e5066605d68c043bf53ff8ab","datavalue":{"value":"20F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895260$C6AB5DDA-7590-47ED-B14B-E90B6B94AD2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b46d058ee3a96943b4c896c68630a611d3bdf4b","datavalue":{"value":"4174996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5895260$BE47C5F8-2690-4002-AA07-77A14713D3DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e199eab3215d63bceff3a307222d3bc0758a8b3","datavalue":{"value":"homogeneous directed group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$71AC796C-5834-4BF7-8D6F-3DE4BFB5BA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2da92e0eaaf80bd79000e6f5a8436bfe0b8fedb8","datavalue":{"value":"d-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$F655D6AB-B298-4A7D-80A9-27B2707FD4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18c72d17a9f5951b02c104031b1c28bc39d5bab","datavalue":{"value":"d-homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$CC0EF616-B7D5-4462-B39C-ACCE69067AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c12c4c76b5358a4e013f60de35610b7d916e68","datavalue":{"value":"l-group","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$7CA97615-EB3E-4836-85F8-185AC33C1318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eb4366abb24b918a68c7b01be7f1ec4b33df92","datavalue":{"value":"directed set","type":"string"},"datatype":"string"},"type":"statement","id":"Q5895260$976BA639-F594-430B-83CE-7A0AD8BECE52","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4305dd855b422a3000e57f36bb0fc54548274953","datavalue":{"value":{"entity-type":"item","numeric-id":791556,"id":"Q791556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5895260$9EFF9200-0A09-4130-B3C9-5486F6F244F7","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":"Q5895260$44EF1001-B13B-40E8-A2EB-AFA19649D528","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bbe9d516ffe7f0cdcda4ec8276c87aa699651d","datavalue":{"value":{"entity-type":"item","numeric-id":912882,"id":"Q912882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c51919b17d84217e33784e2645db1dba0c7b0a9","datavalue":{"value":{"amount":"+0.8137303590774536","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":"Q5895260$51A0C9C8-F5D4-4DCD-B4F3-3E49913060AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b510507d105b1d458486ea46afd383ecf4252b","datavalue":{"value":{"entity-type":"item","numeric-id":1842601,"id":"Q1842601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da03e0c61c22be749083c7ff7f0c76cf0708d2a9","datavalue":{"value":{"amount":"+0.8131396770477295","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":"Q5895260$CE2AF556-2756-437A-9B3B-9BB8855FB708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccaaef8100c8f2576c50acbe1a63e4ad23c440aa","datavalue":{"value":{"entity-type":"item","numeric-id":3102713,"id":"Q3102713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da03e0c61c22be749083c7ff7f0c76cf0708d2a9","datavalue":{"value":{"amount":"+0.8131396770477295","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":"Q5895260$DC67F530-447C-4613-89CD-1F631EE96840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a48871dca07d60e95ae1ed09f78e39f898e6dca","datavalue":{"value":{"entity-type":"item","numeric-id":3624909,"id":"Q3624909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a984b3bc48e268c7afc456318fd533a0ec68616","datavalue":{"value":{"amount":"+0.812274694442749","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":"Q5895260$89B9CBB3-3E19-40DF-B528-17755D892FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45037bdfe59cfcea6acfafc3af6561129f56f91f","datavalue":{"value":{"entity-type":"item","numeric-id":4203480,"id":"Q4203480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8232917f2beb6a9b6195215026ea63d5f09299cf","datavalue":{"value":{"amount":"+0.8075513243675232","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":"Q5895260$92ABC7BE-C405-4CCC-A715-1D379B8394EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5895260","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5895260"}}}}}