{"entities":{"Q690032":{"pageid":691881,"ns":120,"title":"Item:Q690032","lastrevid":63508968,"modified":"2026-04-11T13:38:22Z","type":"item","id":"Q690032","labels":{"en":{"language":"en","value":"Colored species, \\(c\\)-monoids, and plethysm. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 446858"}},"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":"Q690032$E7A4D47C-311B-4162-A9B6-EFE53F8FABA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efaa74a958e8f22ed35e0064cd25306e83412384","datavalue":{"value":{"text":"Colored species, \\(c\\)-monoids, and plethysm. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690032$E219EC8A-D16D-4652-A5A8-588893DE9883","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42cc61372862b274b19b972d4b7b201b910146e2","datavalue":{"value":"0787.05095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$61937E16-384C-4326-895F-70C2C54D6FF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd59fce69caac41491a9f5dc71defded95eb05f3","datavalue":{"value":"10.1016/0097-3165(93)90090-U","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$FF84F7CD-1B1C-4F49-AF23-4F7A284FC50D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f0d34b786276a832bfecba59afb2a940cc3c69","datavalue":{"value":{"entity-type":"item","numeric-id":690031,"id":"Q690031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$D91488EE-F891-4480-B29F-EE11185C7280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd97b9f7c2bb0ada86f6a1858e35491ec28a32ff","datavalue":{"value":{"entity-type":"item","numeric-id":395252,"id":"Q395252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$98A2C3BF-7677-4F5A-82F0-92165DA6D5F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c03f12d2ae232c6413ffedcffaa255461d32f1a","datavalue":{"value":{"entity-type":"item","numeric-id":171729,"id":"Q171729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$91002239-4D40-4CCC-81C7-6341AA938971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"205acd83874aa8c2bf307fdd663ecc3b6dbd6a56","datavalue":{"value":{"time":"+1993-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690032$5C7E9F51-24B5-4C1D-A10B-CFE86EC18ED8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8252bc16115abf50f6f0f9f0bf82852888e2f96f","datavalue":{"value":"For any set \\(I\\neq\\varnothing\\), an \\(I\\)-species is a functor \\(M: \\underline {B}_ I\\to \\underline B\\), where \\(\\underline B\\) is the category of finite sets and bijections and \\(\\underline B_ I\\) is the category of \\(I\\)- colored finite sets \\((E,f)\\) (i.e. \\(E\\in\\text{Ob }\\underline B\\), \\(f: E\\to I\\)) and color-preserving bijections (isomorphisms). Objects in \\(\\underline B_ I\\) are isomorphic iff they have the same class \\(\\text{cl}(E,f):=(| f^{-1}(i)|: i\\in I)\\); using the denotation \\(| M[\\underline n]|:=| M[E,f]|\\) with an arbitrary \\((E,f)\\) of class \\(\\text{cl}(E,f)=\\underline n\\) for any \\(I\\)-tuple of natural numbers \\(\\underline n=(n_ i: i\\in I)\\) such that \\(n_ i=0\\) for almost every \\(i\\in I\\) (write \\(\\underline n\\in\\mathbb{N}_ I)\\), the authors define the generating function of \\(I\\)-species \\(M\\) to be the formal power series \\(M(\\underline x)\\) in the \\(I\\)-tuple of formal variables \\(\\underline x=(x_ i: i\\in I)\\) with \\(| M[\\underline n]|\\) being the coefficient of \\(\\underline x^{\\underline n}/\\underline n!\\), \\(\\underline n\\in\\mathbb{N}_ I\\).   Now, for \\(I\\)-species, the operations addition, multiplication, partial differentiation and substitution are settled in such a manner that they are preserved by passing on to the generating functions, and in the same way, by considering \\(J\\)-systems of \\(I\\)-species (for an arbitrary set \\(J\\neq\\varnothing\\)) there is given a set-theoretic counterpart of the operations on \\(J\\)-tuples of formal power series in the \\(I\\)-tuple of variables \\(\\underline x\\). Thus, Joyal's theory of species in several variables is generalized to an arbitrary \\(I\\)-tuple of variables preserving all basic properties, including the implicit function theorem and---by extending Bergeron's theory of \\(S\\)-species (permutationals) and cycle indices---the cycle index technique for the enumeration of types of structures. By supplying \\(I\\) with a \\(c\\)-monoid structure (i.e. a monoid satisfying the left cancellation law) a generalized notion of plethysm (called \\(I\\)-plethysm) of power series in \\(\\underline x\\) and its set- theoretic counterpart in the theory of \\(I\\)-species is obtained. Moreover, the application of \\(I\\)-species to the theory of symmetric species enables to give a set-theoretic counterpart (namely symmetric plethysm of symmetric \\(I\\)-species) to Littlewood's plethysm of symmetric functions.   There are given many instructive examples for the structures dealt with in this paper. (Some of the few misprints are a little misrepresenting, e.g. in Example 1.1).","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$B6827A36-8193-4C3E-8DF6-C46264B4FE30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8de4726dadd4d804f8da0a9b26e1822a2c0c7b53","datavalue":{"value":"05E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$B9103EA2-0803-4FFF-9712-13E1FD412AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c0637e7b050f6adf2c874d977065bc44a0cb21a","datavalue":{"value":"05E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$0DABFAB5-426B-4FBE-94B4-222C2C9C0135","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b477bfb6c1bb9b90da163ceb3f5c5138046c6ac0","datavalue":{"value":"446858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$927CC3DE-2139-45BD-A03C-B86061419050","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b35896083dd5abb68ea97e3b5909f98ca526b03","datavalue":{"value":"species","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$5E638698-1159-4110-808C-1F1E0CA9C6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$0420E305-FD74-4D67-A140-E0DBCEEE660A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd04b2cc505cb409797e572750d2f2642129dfb","datavalue":{"value":"generating function","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$5AD43B15-F45A-4193-B59A-BB439E37033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2052d77a35f238c6075b97c46e41a1853dde7f39","datavalue":{"value":"power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$F2917779-F8A4-45F8-8A40-CAD9452713F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c05700fecc0f5b5fec30e5312e225aca0bf62460","datavalue":{"value":"monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$8569E8F9-CCF9-4D6C-8214-27D47071A39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25a5029dfea28f885f58b49678d125609b4b0e2","datavalue":{"value":"plethysm","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$816FD09B-2851-4629-BF4B-4C0B71724304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f67740b2b8ec2cc098e24e962d44e61a0f6449","datavalue":{"value":"symmetric functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q690032$392C861D-D550-4529-BD3C-E508A46813CE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ab25d4f22422fef1c0f819f04a582c1dc09a95d9","datavalue":{"value":{"entity-type":"item","numeric-id":878647,"id":"Q878647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$6AF3D2B1-2B01-4002-859C-8BB2EEC26768","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":"Q690032$5EF6A629-FD0A-41F0-BBD4-7C33C487D530","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8602dbd2abe0b1a69a2f94132337e6762b1f3d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1102288,"id":"Q1102288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$0F89EF9C-C6F5-42C1-AC25-4D7B028E3703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ee5e7e48f28013038d0ff3921e7ad6d722ad8f","datavalue":{"value":{"entity-type":"item","numeric-id":3988491,"id":"Q3988491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$BDC4F755-AEFE-4546-A152-81171D32F9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dfd9e4996ea3da2d0e02a61f9b6de58e2593e33","datavalue":{"value":{"entity-type":"item","numeric-id":4040797,"id":"Q4040797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$04EB76DC-A0BD-4358-9666-7A5AB8375DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b7f116f609712b1d283f642a650240ed2a10a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1812538,"id":"Q1812538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$66465D28-5EC9-4A5A-8E52-9D09CA38B79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12f1ee1dee5bb965dec7da3b02fbdecff91a1fc0","datavalue":{"value":{"entity-type":"item","numeric-id":1167168,"id":"Q1167168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$73E1B901-45AA-44B7-8AC0-415035B5119B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d4651c2986bf3bafd65a998549838b0a27a131","datavalue":{"value":{"entity-type":"item","numeric-id":1174751,"id":"Q1174751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$234D34C7-A3B4-455F-8F2E-83FD5E0196B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13dc600469eb8ead2df41e39430d5792fee095c4","datavalue":{"value":{"entity-type":"item","numeric-id":1102291,"id":"Q1102291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$0BDA85A4-E2CE-4515-BC6C-8CE4EC3D7118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ced183b26d76623a2c45cbdc460253e8db00a304","datavalue":{"value":{"entity-type":"item","numeric-id":1096633,"id":"Q1096633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690032$9CCE2202-174D-4BA5-A698-2ED4311EE943","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7ee4d56706d24693499bec64920986dcf8b97f7","datavalue":{"value":"https://doi.org/10.1016/0097-3165(93)90090-u","type":"string"},"datatype":"url"},"type":"statement","id":"Q690032$B77279C2-241F-456E-8485-015CE3AFA6C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27f35a3bf8e08ca597d2e97793b9588dabcfe770","datavalue":{"value":"W2076725645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690032$7D2F60E0-143E-45BB-9706-414B71975E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45489457ff0b700dc2b48707cd9cb931f9f8a55c","datavalue":{"value":{"entity-type":"item","numeric-id":1328501,"id":"Q1328501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de58ee2f981fa38c180a5fcae3ccb26b965d9194","datavalue":{"value":{"amount":"+0.8364132046699524","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":"Q690032$A8F63ED6-2DC2-48AD-B56A-385BA4C619AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73143ab6ccf621ef602868a77e6b4087bab50694","datavalue":{"value":{"entity-type":"item","numeric-id":1344227,"id":"Q1344227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de58ee2f981fa38c180a5fcae3ccb26b965d9194","datavalue":{"value":{"amount":"+0.8364132046699524","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":"Q690032$B17A38F6-80D0-48DA-8452-5012EC540169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9177680ebb4126e4641ec511bb3d0b46cf8e2bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1174751,"id":"Q1174751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7b934e0cdd08c54e5e8043f0533bab18b54ef6","datavalue":{"value":{"amount":"+0.8294239640235901","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":"Q690032$1A160750-3F0C-4F66-AB27-0985B4392870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"680cb228965aeed5951117169f8482ed6539f474","datavalue":{"value":{"entity-type":"item","numeric-id":688675,"id":"Q688675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb8298f3587b3024f959fd14a8414ff1e0ce65b","datavalue":{"value":{"amount":"+0.8249403238296509","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":"Q690032$25D92476-C992-4F67-B6DA-CF7D5ECFDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b743c8c1d06c0857923a9eb83e0cd52e0df6e266","datavalue":{"value":{"entity-type":"item","numeric-id":1320269,"id":"Q1320269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3a8c4f35a4bd2e1c6428fe4b388103a19ead39","datavalue":{"value":{"amount":"+0.8166247606277466","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":"Q690032$5A0DF95A-CAF6-4B59-A5A1-4FBC94E5FC96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Colored species, \\(c\\)-monoids, and plethysm. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Colored_species,_%5C(c%5C)-monoids,_and_plethysm._I"}}}}}