{"entities":{"Q1181437":{"pageid":1192186,"ns":120,"title":"Item:Q1181437","lastrevid":67068606,"modified":"2026-04-12T14:48:26Z","type":"item","id":"Q1181437","labels":{"en":{"language":"en","value":"Some inequalities in hom sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 28310"}},"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":"Q1181437$356CE159-9697-4A26-AE34-1A3B0F32A5BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"698760ec8e47f7f38cda10aa240dc171e777113f","datavalue":{"value":{"text":"Some inequalities in hom sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1181437$4B241015-2F32-4471-8673-BB89F5306422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"283429ec837c141d69d8b95355c826fe63f11f7d","datavalue":{"value":"0754.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181437$47BF5384-1037-4B59-BEC4-ACE0505517A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adc300cb5505fbf8b048ef321ea666215476c2c9","datavalue":{"value":"10.1016/0022-4049(91)90099-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181437$FA5380A6-27EB-48BC-936A-03337429ABB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$F2A2BBB9-7F3B-47AA-874F-30B00386A4A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1181437$14464209-8DE5-4F02-83B0-7C5FAC4272B3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c5eb90495df305a46f0a7f9a57ed4d280900ae4a","datavalue":{"value":"Finite sets, finite Abelian groups, and a few similar categories satisfy a formal Cauchy-Bunjakowkij-Schwarz inequality:  \\[ |\\Hom(X,Y)|\\cdot |\\Hom(Y,X)|\\leq |\\Hom(X,X)|\\cdot |\\Hom(Y,Y)|, \\]  with equality only if \\(X\\) and \\(Y\\)are isomorphic.   The author calls this the Cauchy property. Which categories have this property? He describes them in four bunches:   i) the categories \\(\\mathbb{M}_ R\\) of finite modules over a commutative ring \\(R\\) whose ideals are all principal,   ii) some categories related to finite sets,   iii) finite \\(G\\)-sets for some groups \\(G\\) [e.g., \\(G=\\mathbb{Z}^ 4_ 2\\) (this is \\(\\mathbb{Z}_ 2\\oplus\\mathbb{Z}_ 2\\oplus\\mathbb{Z}_ 2\\oplus\\mathbb{Z}_ 2\\)), or \\(=\\mathbb{Z}_ 8^ 3\\), or \\(=\\mathbb{Z}_ n^ 2\\), where \\(n\\) is the product of the 112 primes between 9000 and 10000, \\textit{lack} this property],   iv) categories \\(\\mathbb{M}_ R\\), if \\(R\\) is an algebra over a finite field \\(K\\), and there are only finitely many indecomposable finite \\(R\\)-modules \\(B_ 1,\\dots,B_ n\\), and the quadratic form defined by the matrix \\((d_{ij})\\) of dimensions over \\(K\\) of \\(\\Hom(B_ i,B_ j)\\) is positive definite.   If the Hom-sets are naturally finite-dimensional vector spaces over some field, one can ask if the (extended) Cauchy property holds:  \\[ d(X,Y)+d(Y,X)\\leq d(X,X)+d(Y,Y),\\quad\\text{strictly less unless }X\\approx Y, \\]  where \\(d(X,Y)\\) is the dimension of \\(\\Hom(X,Y)\\).   All these questions are carefully worked out, becoming at times hard combinatorial problems. There are many examples investigated where the answer is affirmative or negative.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181437$74BE33F3-14DE-44AC-BC95-85FCD76A66AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181437$A1F8CDD0-2B4D-4136-BB1C-A73DDBB3E617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181437$CF9A4FE9-8238-4E97-90C3-A5473F3FFF35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2303c6c701e0137e8a5e6fc5f7230532ad8db2","datavalue":{"value":"28310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1181437$6816EE63-3991-4EFF-ABDB-31774DFC4604","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15f117a3a092a2becae0ee553f870dd433e822d","datavalue":{"value":"formal Cauchy-Bunjakowkij-Schwarz inequality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181437$E66641B5-D086-4CAA-B47F-D28610CA0166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cabe2d3664d9ac7d74e5076542d92b07528d7aca","datavalue":{"value":"Cauchy property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181437$12973ADF-8A64-44B8-BA97-35BF77E0A853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2dde1c6de27dcc9a8e14efc38c5724849da7fd","datavalue":{"value":"Hom-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1181437$FF187693-56B5-4613-840D-775E273092E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6657fee9edbd463b03247d56fffb8084f743508","datavalue":{"value":{"entity-type":"item","numeric-id":1066374,"id":"Q1066374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$3331413B-BBEA-4566-996E-9EB5A8BD3979","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ebc173b8bbf4b6db5c12ef798e6156ba319309e9","datavalue":{"value":{"entity-type":"item","numeric-id":588195,"id":"Q588195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$CE1D2E90-6F6E-44DD-8B7F-4BAFF2BEA861","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":"Q1181437$93D5F66C-C161-48A0-9629-4CE62A39336A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c790a28a23b5ecff99b272336c89700604ca255","datavalue":{"value":{"entity-type":"item","numeric-id":3254327,"id":"Q3254327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$0E12B482-B96B-4498-B755-820F745B2368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c482792fb9ed2fb8b2e7a8b89fd840c3e47a4ff4","datavalue":{"value":{"entity-type":"item","numeric-id":5527072,"id":"Q5527072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$E8699866-A5ED-477C-A615-9DFC1C8B8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2257fca2c3767beb09b4bbb856b4107b61f02d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5810558,"id":"Q5810558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$F0778183-B9BF-4CC3-BC76-8EB9E0EFE0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d4847140adb940bf546e3a78be1c865d62e623","datavalue":{"value":{"entity-type":"item","numeric-id":2552645,"id":"Q2552645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$9577B3E2-C860-44EE-9F17-567F2A537926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7707c682cafeeeffafa60a969ba4ec29a4b13773","datavalue":{"value":{"entity-type":"item","numeric-id":4405323,"id":"Q4405323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$C53BCC89-01A6-4F85-9000-B8B07C5D1C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c917db9f98b39bb9540064c5ef96ffd34fcbcde","datavalue":{"value":{"entity-type":"item","numeric-id":5732722,"id":"Q5732722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1181437$8BBD6D91-EE19-4CF5-9588-A04B9A749A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3f0872fd48c5b45fb417bd88a975e2ce62c1a93","datavalue":{"value":{"entity-type":"item","numeric-id":5932796,"id":"Q5932796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c671323a8867da944fcd73f874fb75b33b52f4","datavalue":{"value":{"amount":"+0.88398397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$A3AD5984-5309-4E82-AF54-D97C45FD0016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a3dc81f084f7684c68aa4759a2e3ac6aa6066","datavalue":{"value":{"entity-type":"item","numeric-id":5017893,"id":"Q5017893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d1f4b4a7f1c3682f4932eaea1f359d891a38bf","datavalue":{"value":{"amount":"+0.8802882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$744E85E2-9095-49EE-86C0-BBF869B8B030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5af8f2a90af3671b5709a68d04528029944ca322","datavalue":{"value":{"entity-type":"item","numeric-id":1210578,"id":"Q1210578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93933eb5d2ad1857d6896d1d56f8577f067d051","datavalue":{"value":{"amount":"+0.8720326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$DC964F6C-B1F2-4649-A60A-7B24FF8B2F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d31892552ea54d319b13405228db66dc319dda","datavalue":{"value":{"entity-type":"item","numeric-id":2839568,"id":"Q2839568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878eb27d41955a440877620a37ef02db9c12f2dd","datavalue":{"value":{"amount":"+0.87022954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$59495F93-F48F-4B86-B524-BA32BDDAED5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38fffef7b495fb611c042a79fb2c55b03be687d","datavalue":{"value":{"entity-type":"item","numeric-id":1203827,"id":"Q1203827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"108562d1faf5c417c4d0f95792c39b54f45913b3","datavalue":{"value":{"amount":"+0.866435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$FBFEF135-4314-441C-BA40-942CD977C356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3582f3fff581c5707e64143dc9c834e87a025def","datavalue":{"value":{"entity-type":"item","numeric-id":4399691,"id":"Q4399691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63e2f8da2856ac859e8bea677a77d073494ce56f","datavalue":{"value":{"amount":"+0.8660971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$9BDAA53C-39B3-4D11-B9DC-3B3115A07BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38aec37243f1f17cd222785c2dbccbaff842cb22","datavalue":{"value":{"entity-type":"item","numeric-id":2884639,"id":"Q2884639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74953d8c6555c9778f0160034deb3ef293f9db15","datavalue":{"value":{"amount":"+0.8633662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$5009A616-159B-4D85-942D-BD7B80C297CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15225de7dac798fe4853e4b238d9cec41959f56","datavalue":{"value":{"entity-type":"item","numeric-id":3431759,"id":"Q3431759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f93d4eec67412b3718c8dc76681e9b0994c8d10f","datavalue":{"value":{"amount":"+0.8627285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$F450D17C-54A5-4558-B318-0D8EACEFAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075cfc1bad7915595f86f51cfe8aec2e2e19b0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3805437,"id":"Q3805437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abb2b356e49c3941c3b0a1d33d3c3c852e8461c","datavalue":{"value":{"amount":"+0.8625199","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$7F15D611-8583-4B33-85C0-34C2FB7275D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a100c73c60657a75a84b301bdc5bd3137a701a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4659362,"id":"Q4659362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fce6c9dfb418a4e286dffbeb2f79e30158120b","datavalue":{"value":{"amount":"+0.8620212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1181437$8AD3E5F6-1E30-40CE-BB94-EEA21A0A9BF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some inequalities in hom sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_inequalities_in_hom_sets"}}}}}