{"entities":{"Q7032007":{"pageid":21694929,"ns":120,"title":"Item:Q7032007","lastrevid":77528546,"modified":"2026-05-04T19:19:22Z","type":"item","id":"Q7032007","labels":{"en":{"language":"en","value":"Stabilizer group of set ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7980066"}},"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":"Q7032007$09E591B7-40CE-4DC7-A7A3-44C9FCBADE07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73fc77ee5737ba3e0a357ef61c4d21ed60ae616a","datavalue":{"value":{"text":"Stabilizer group of set ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7032007$1853E790-9400-4E3C-B86D-585EC3064181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43eb0dfc9e05eb01d2c73d8eb0ea707516d9fded","datavalue":{"value":"1561.20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032007$6CE90F2E-D1B5-4E56-BDEC-16BD5C314F59","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2986eb04b90a985f96b5e73726f52ef84fb43739","datavalue":{"value":"10.1007/978-981-97-2066-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032007$B13F7FF9-CA68-4734-8AD4-A192F776F44C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc0dee963940d47eab060867aa5c7b5d40905d8","datavalue":{"value":{"entity-type":"item","numeric-id":6939462,"id":"Q6939462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$84CA7A83-880D-4449-849C-4EAD7AFB7523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1635f78073c843f5a3fd43f66e12a25e1b2f0864","datavalue":{"value":{"entity-type":"item","numeric-id":879209,"id":"Q879209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$1F946BAC-B0FF-4B17-BBBD-F66288FB3A7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eadad38579231afe6fd5d0ce960f90944b60efd","datavalue":{"value":{"time":"+2025-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7032007$6EA35493-F668-48B7-BBD3-9BF66CA02989","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5c5169e78def7f461d4506620b194708ba9a136e","datavalue":{"value":"Let \\(X\\) be an infinite set. Recall that a subset \\(\\mathcal{I}\\) of the power set of \\(X\\) is said to be an \\textit{ideal} if it satisfies the following:\\N\\begin{itemize}\\N\\item[1.] If \\(A,B\\in \\mathcal{I}\\), then \\(A\\cup B\\in\\mathcal{I}\\) (finite additivity) .\\N\\item[2.] If \\(A\\in\\mathcal{I}\\) and \\(B\\subseteq A\\), then \\(B\\in \\mathcal{I}\\) (heredity).\\N\\end{itemize}\\NThe \\textit{stabilizer group} of \\(\\mathcal{I}\\) is defined to be\\N\\[\\NS_{\\{\\mathcal{I}\\}} = \\{ f\\in S_X \\mid f(\\mathcal{I})=\\mathcal{I} \\},\\N\\]\\Nwhere \\(S_X\\) denotes the symmetric group on \\(X\\).\\N\\NIn the paper under review, it seems that ideals are always assumed to be \\textit{admissible}, that is, they contain all singletons. The following results are proven in Theorems 4 and 6, respectively.\\N\\begin{itemize}\\N\\item[(a)] Let \\(\\mathcal{I}\\) be any ideal and let \\(\\mathcal{J}\\) be a top ideal. For every \\(f\\in S_X\\), assume that \\(\\mathcal{I}\\cap f(\\mathcal{J})\\) is top in case that \\(f(\\mathcal{J})\\not\\subseteq \\mathcal{I}^\\perp\\). Then either \\(\\mathcal{J}\\simeq\\mathcal{I}\\) or \\(\\mathcal{J}\\simeq \\mathcal{I}^\\perp\\) whenver \\(S_{ \\{\\mathcal{J} \\}} \\simeq S_{\\{\\mathcal{I}\\}}\\).\\N\\item[(c)] Let \\(\\mathcal{I}\\) be a Lagrange ideal. Then the outer automorphism group of \\(S_{\\{\\mathcal{I}\\}}\\) has order at most \\(2\\).\\N\\end{itemize}\\NWe refer the reader to the paper for the terminology used.\\N\\NFor the entire collection see [Zbl 1547.65003].","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$3BC7A6DD-D3CD-4E1C-AE72-DF4B2E07DF11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b0d6da4d139a9a0efb8c324f335b2d6b5baddc45","datavalue":{"value":{"entity-type":"item","numeric-id":897577,"id":"Q897577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$0AA4F5ED-4117-4D2E-8DBB-8C77534F9AE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"99162f665c9ec138d28e4bea8a477540421995b7","datavalue":{"value":"20B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032007$E7B642CD-A0CF-4A17-A42A-9A4ABEA0C87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2a29ee21041c2436053419ca5df6f9b2aa81e0e5","datavalue":{"value":"20B07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032007$04B0EBB0-83A7-47F6-9B25-83795A59881A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4a80f87df2075f24617a178771a35d706246116","datavalue":{"value":"7980066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032007$152A33D4-BBAB-4561-95BF-57C907ACB1D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$299F2138-F9BE-489F-9E5F-D90FD29772C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38d830dae6f5ce906f6d20604a81e37d7574c069","datavalue":{"value":"symmetric group","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$CD6D85A1-D458-45B6-8A94-2421EAD8BA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7650d7fefddd7b7829c1e2e0f56ee055ca8a4d2","datavalue":{"value":"complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$BF3F5F43-1BE8-4203-85F7-F2D1E3C158C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ab89ef0afcd2141c7da8aae338608bd16ac9a","datavalue":{"value":"automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$42F48B75-2545-46E5-9DFB-7999FFC9E8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d419991ece450a3922e788e0366c79e95eaa565","datavalue":{"value":"cardinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$E4E89FA2-F272-4431-92F0-0A94BE9513DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"887f406a89dbaa4b6cd078c7bd8262fa0826fa12","datavalue":{"value":"Lagrange ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032007$280D53D6-B30A-465C-BC1E-B2ACD5843311","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":"Q7032007$ADE11D38-E8C7-4DF1-86C3-7B430B735084","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d29bad303ede608e666b6a7c70c459e8918424","datavalue":{"value":{"entity-type":"item","numeric-id":2620042,"id":"Q2620042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$CAC1BD13-878D-42A6-9F0D-E0ECF4D0CCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24411fa875d472ba1b563302e068da24f4269ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4487647,"id":"Q4487647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$BCDF29A2-521E-44E2-8537-81CC2E3E1C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb4063a038135417bcffa60eda550701b05de54","datavalue":{"value":{"entity-type":"item","numeric-id":3152339,"id":"Q3152339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$E4E64814-63EC-41A6-9C25-C982D767C011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c5f30cd6a2f7fe85b992c52aa818a967373550","datavalue":{"value":{"entity-type":"item","numeric-id":754284,"id":"Q754284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$DECAFF9B-FA78-4CDE-AEA0-56D16974803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6622626c84db6d53a6553c259a9f2bd9c59297dc","datavalue":{"value":{"entity-type":"item","numeric-id":4071950,"id":"Q4071950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$95020795-AC5A-4B80-B7E4-60F4A6FEE55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e975caaadeeae10a1575a5f59dd655f28dff68fe","datavalue":{"value":{"entity-type":"item","numeric-id":5966525,"id":"Q5966525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$FC01C0D4-718F-4593-8E4B-E7A279AB40A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"457132e32d0daee920819ea8f27baebf9fdb4693","datavalue":{"value":{"entity-type":"item","numeric-id":4356359,"id":"Q4356359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$A90E0A71-68B2-4C86-9BD2-6DC432A11B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46bcbdedd496fd335764cbe8b300c8286ea7ecfa","datavalue":{"value":{"entity-type":"item","numeric-id":4773706,"id":"Q4773706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$042B2B84-47F4-45E3-8565-C9A7CBBA9A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db25c4b27a74462bf6f2f4b8ab6941fb7e5bd65a","datavalue":{"value":{"entity-type":"item","numeric-id":1524647,"id":"Q1524647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$6F7C084E-AA41-4610-8A4B-DE42BE01AECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a74ed28c541eb77ff3c510d928ab79051e3d4a","datavalue":{"value":{"entity-type":"item","numeric-id":5683908,"id":"Q5683908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$770705D9-26EA-4EAE-AC48-267C3AA38192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb4d074fe6ce58f2b30d891353e2b5c86ffa9570","datavalue":{"value":{"entity-type":"item","numeric-id":3819688,"id":"Q3819688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$5D296C95-6639-4593-963E-CB8C4D68F8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8607d71dbb8da4995709da804439bd3b73d26640","datavalue":{"value":{"entity-type":"item","numeric-id":4487633,"id":"Q4487633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$F8B6DD08-1062-457E-B6F1-587813C01B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc5c136aacb4c615c87f04a2648e6b4e5bc556b","datavalue":{"value":{"entity-type":"item","numeric-id":2601806,"id":"Q2601806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$2CA54553-B1CE-4E02-9D0B-5A0E3C30B151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51a2bcc1ee95828acd83b6565b57d64477ce1475","datavalue":{"value":{"entity-type":"item","numeric-id":5331572,"id":"Q5331572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$67A63175-8F07-42DE-9024-332935926427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a0f820003698ab70dd6fd96938612e80d9544e","datavalue":{"value":{"entity-type":"item","numeric-id":5587075,"id":"Q5587075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032007$AE9C6642-629E-48CA-8640-4278AC84AAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Stabilizer group of set ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Stabilizer_group_of_set_ideals"}}}}}