{"entities":{"Q907250":{"pageid":909098,"ns":120,"title":"Item:Q907250","lastrevid":65256627,"modified":"2026-04-12T01:20:52Z","type":"item","id":"Q907250","labels":{"en":{"language":"en","value":"Posets of finite functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6534986"}},"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":"Q907250$7D55C57F-1834-4679-8426-1E08E1C66A7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a4c713b4d4a65dfa3fa6b70ea4666a682684383","datavalue":{"value":{"text":"Posets of finite functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q907250$41C6676E-9558-4C52-84C0-F9799485B5BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c791002b982db8bbcd443cfed2038f394a71ee","datavalue":{"value":"1352.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907250$353D44D7-9933-458F-98D1-01A595999BB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07d1fd7136a96e06de05497d645dc743031ece6","datavalue":{"value":{"entity-type":"item","numeric-id":509531,"id":"Q509531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$3F017F11-E0CA-4AA8-BE18-E305A9C9345C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$667E3622-46CC-40B7-842A-7E48F6C58A0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3f0504cdbec36416c8068369865aa5a0a508332","datavalue":{"value":{"time":"+2016-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q907250$4CB1CD92-24F9-4F66-A8C2-F013BD46A3B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d329330bf54548985dc794e1b11de6b29ed01611","datavalue":{"value":"http://www.combinatorics.org/ojs/index.php/eljc/article/view/v23i1p3","type":"string"},"datatype":"url"},"type":"statement","id":"Q907250$8FB84F1F-40B2-4879-8880-1CFD048CC47E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0afa2cf322c107c8964c2075d6fe0d3577c80da3","datavalue":{"value":"Summary: The symmetric group \\(S(n)\\) is partially ordered by Bruhat order. This order is extended by \\textit{L. E. Renner} [Linear algebraic monoids. Berlin: Springer (2005; Zbl 1085.20041)] to the set of partial injective functions of \\( \\{ 1, 2, \\ldots, n \\} \\). This poset is investigated by \\textit{M. Fortin} in [Electron. J. Comb. 15, No. 1, Research Paper R62, 30 p. (2008; Zbl 1192.06004)]. In this paper we show that Renner order can be also defined for sets of all functions, partial functions, injective and partial injective functions from \\( \\{ 1, 2, \\ldots, n \\} \\) to \\( \\{ 1, 2, \\ldots, m \\} \\). Next, we generalize Fortin's results on these posets, and also, using simple facts and methods of linear algebra, we give simpler and shorter proofs of some fundamental Fortin's results. We first show that these four posets can be order embedded in the set of \\( n \\times m \\)-matrices with non-negative integer entries and with the natural componentwise order. Second, matrix representations of the Dedekind-MacNeille completions of our posets are given. Third, we find join- and meet-irreducible elements for every finite sublattice of the lattice of all \\( n \\times m \\)-matrices with integer entries. In particular, we obtain join- and meet-irreducible elements of these Dedekind-MacNeille completions. Hence and by general results concerning Dedekind-MacNeille completions, join- and meet-irreducible elements of our four posets of functions are also found. Moreover, subposets induced by these irreducible elements are precisely described.","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$7CA26BCA-8734-4257-A42C-72460B87FE60","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907250$888DA0BA-8BB3-41FE-8977-8D28587C98CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907250$F354D200-E536-46AA-8B7B-84459C2CEA99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96869ec09f8475fb7c8181115fd97adc88540404","datavalue":{"value":"6534986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907250$3BE3304B-86F8-4027-848E-4A61A122BE29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"350412f42c610bfa4e85a0407a17babab4f3eefd","datavalue":{"value":"finite functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$9C156BDE-85A0-4B17-9042-EBDA78F853D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$F249549D-415E-4A66-8178-77282B5D5CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8de05b5a1b9dd6afcc9c9be2f6f35dc24c4c7e50","datavalue":{"value":"partial injective functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$1BFCE65D-BF86-4D4C-B93A-CA1AD29B4510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64944e83f6811ab4fdbe285c3cdcea6aaee086a2","datavalue":{"value":"matrix representation of function","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$1EC053BB-3843-4CE0-B590-70637D8BBB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2eb569491a16dc5b6d3fb4a41b85823bfe5d896","datavalue":{"value":"Bruhat order","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$1588EE6E-028F-4DC2-A50B-994F34D1B8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b5f97105005788ccbbaa7022a3a28e113943f0b","datavalue":{"value":"Renner order","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$3FE5DA76-1A16-47E0-B885-FED66C29EAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43891ac40b96c30cecebdccd5798f95bbc9a6bf2","datavalue":{"value":"posets of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$378C447C-D094-4F4D-A837-5DD18DCD8341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ef372709a8ec5b4bf83e8d08af7a84eef8da7f","datavalue":{"value":"posets of matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$CB70F3A1-AA9C-4CAE-BB7B-FF93BC885692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98bb32d54674b07200f4238ea139b580106ff3ca","datavalue":{"value":"join-irreducible element","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$383C8B6E-CCC3-462B-B922-4BE0A94D44C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d73fcc0d7d2758733d193dd0f3d62bba163ef65","datavalue":{"value":"meet-irreducible element","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$9295160C-BA5D-4735-BB3B-789D15A52850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5660bfa6b5631af4004c9a6bccd2868c4741e6f","datavalue":{"value":"Dedekind-MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q907250$F7FC45C6-BD22-4149-933D-958EAADAC468","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":"Q907250$91669F73-20FB-4517-AF92-284F0A0B5D3F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f7e8eaa6ace0c177f26ace7c9e188fcebc56da","datavalue":{"value":{"entity-type":"item","numeric-id":3023369,"id":"Q3023369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$D98E6E85-43FB-4575-8929-46D814F460B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228d49422e0ba9a3305fbdc912cdbde0a3f79527","datavalue":{"value":{"entity-type":"item","numeric-id":4705310,"id":"Q4705310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$AFF7C513-64B9-4D0A-9C98-F5EC27CF232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$6ABDAD00-FE91-478B-BFE1-7AB6D7DD3FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$ED7323E5-1AB7-4426-A5EF-7CDA5CB445E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$DB8B50A4-A30C-4A06-9B17-F579688C4203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046fe71dc7aa955520d75a78aca1ed9096e35b97","datavalue":{"value":{"entity-type":"item","numeric-id":1010782,"id":"Q1010782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$7F5B29E4-9942-488F-9C27-3011A3527401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db264afba4355d227bbb1de61b20fcca9b23276c","datavalue":{"value":{"entity-type":"item","numeric-id":1376340,"id":"Q1376340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$03C38A31-B61E-4696-B0C6-F7AB5ECA25C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55caca84b95088f5e871ceb44d25fd97d2ac8afd","datavalue":{"value":{"entity-type":"item","numeric-id":1379157,"id":"Q1379157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$0DEDAFEE-BD14-4E8A-91A9-40AFEA90E9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1937d1d0cc70b12648d00e23473402179d6b243c","datavalue":{"value":{"entity-type":"item","numeric-id":1611302,"id":"Q1611302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$EA8168E6-F769-4195-834F-DB3464B49580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3706cec4b0f43a3e7d6a85ba7795616d10f644b0","datavalue":{"value":{"entity-type":"item","numeric-id":1770214,"id":"Q1770214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$999EA074-4938-48E4-8A24-C2051541C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q907250$15D5DA22-2586-4AE0-A6B4-12A3A6614882","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"5d863103f396df241a40fe1e65dc3bed9710f33f","datavalue":{"value":"bafkreiebc5xwh7s2eet7hdij52w5iguxt4aayk3auhpjlfmzmudqnk4csm","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q907250$FE3378AD-94D8-40FF-B318-C2120C0CFCC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228b9c1ad2c717354dc4b800823c275e29085c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1010782,"id":"Q1010782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818baac1bdb4d31d42ae07abaee7b11fa4619ac3","datavalue":{"value":{"amount":"+0.8760231137275696","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":"Q907250$6CEB8C23-78B9-4247-8FD9-7E2E8F5C7776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3450fe57c0956017fb2bb1b7ea954d60522626b9","datavalue":{"value":{"entity-type":"item","numeric-id":5502375,"id":"Q5502375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d607fa88c1e77af2a4cbbc19c99c92f786df22","datavalue":{"value":{"amount":"+0.7415863871574402","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":"Q907250$69D31870-AEF1-4384-8E9E-16E7ECF33D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d667d63a10e4ab0643a4cb9d7d5bfea7f3fbe55d","datavalue":{"value":{"entity-type":"item","numeric-id":2199860,"id":"Q2199860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139526f999154d039ed2ba7c9c9b68e705f777e3","datavalue":{"value":{"amount":"+0.7365345358848572","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":"Q907250$BCB841C7-5CB3-46AE-B5AB-132CF23ECFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d31176733ede54d04a9e77fb754dc65414c0b","datavalue":{"value":{"entity-type":"item","numeric-id":1732800,"id":"Q1732800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c73b35fb791e15114a0145927e244498f68a0f","datavalue":{"value":{"amount":"+0.7351893782615662","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":"Q907250$B00C4BD3-8A6B-4D19-98DC-3B686CA33CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aae75812592f13eb2a021df492e64fe5e5a21406","datavalue":{"value":{"entity-type":"item","numeric-id":1355211,"id":"Q1355211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d807fd4d711ee6deeb7ebcfcc4db2a435667d8e","datavalue":{"value":{"amount":"+0.7296364307403564","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":"Q907250$F40A7795-4D6E-42F5-9CAA-07226FA94520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Posets of finite functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Posets_of_finite_functions"}}}}}