{"entities":{"Q1813895":{"pageid":1824637,"ns":120,"title":"Item:Q1813895","lastrevid":69028332,"modified":"2026-04-13T03:49:51Z","type":"item","id":"Q1813895","labels":{"en":{"language":"en","value":"Some aspects in the theory of representations of discrete groups. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5319"}},"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":"Q1813895$4D238B8B-172E-47B2-8BCF-A1148F8E2D77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc29f2c2fb26e29a2a4da41154127cd4ffd7e61","datavalue":{"value":{"text":"Some aspects in the theory of representations of discrete groups. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813895$184ACD8D-227A-4CD9-A905-11C341525B9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cadfedb4c6e2aa31939f1f5ef6d4d6e31b659d1","datavalue":{"value":"0828.22009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$A08443A8-5871-4763-82D6-9527D869C305","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca3b21bc4dd29893646d225cea7d4793c7522217","datavalue":{"value":{"entity-type":"item","numeric-id":482149,"id":"Q482149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813895$052322B3-20DD-4500-B2B2-8D2569DD687E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3f6c7b78c5b27fc48ae0a7d3dd3bb661f120eab","datavalue":{"value":{"entity-type":"item","numeric-id":168532,"id":"Q168532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813895$7C7EDA67-7CFF-4A3B-B80A-23A7049B877D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-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":"Q1813895$7D53CA10-9BE9-4C5B-8C69-9C5DCF69A584","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b70885d70aa2d4d4bbdad15cb42ea24dbb2dd8eb","datavalue":{"value":"Here we consider mainly equivalence relations among irreducible unitary representations (IURs) of an infinite wreath product group, constructed in the first part [Jap. J. Math., New Ser. 16, 197-268 (1990; Zbl 0729.22007)] of these notes. We keep to the notations of part I.   1. Commutativity of two kinds of inducing processes. Let \\(T\\) be a group and \\(S\\) its subgroup. Consider wreath product groups \\({\\mathfrak S}_A(S)\\) and \\({\\mathfrak S}_A(T)\\). Then we have two kinds of inducing representations: the usual one an the WP-inducing. We give a certain commutativity of these inducing processes. Start with a datum \\(R = \\{A, \\rho_s, \\chi,\\;a = (a_\\alpha)_{\\alpha \\in A}\\}\\) for an elementary representation of \\(\\rho(R)\\) of \\({\\mathfrak S}_A(S)\\). On the one hand, put \\(\\widetilde {\\rho}_T = \\text{Ind}^T_S \\rho_S\\), and let \\(\\widetilde {a}_\\alpha = \\text{Ind}^T_S a_\\alpha \\in V(\\widetilde {\\rho}_T)\\) be the induced vector of \\(a_\\alpha \\in V(\\rho_S)\\). Then \\(\\widetilde {a} = (\\widetilde {a}_\\alpha)_{\\alpha \\in A}\\) is a reference vector for \\((\\widetilde {V}_\\alpha)_{\\alpha \\in A}\\) with \\(\\widetilde {V}_\\alpha = V(\\widetilde {\\rho}_T)\\), and denote it as \\(\\widetilde{a} = \\text{Ind}^T_S a\\). Thus we get a datum \\(\\widetilde {R} = \\{A, \\widetilde {\\rho}_T, \\chi, \\widetilde{a}\\}\\) for \\({\\mathfrak S}_A(T)\\) and correspondingly an elementary representation \\(\\rho (\\widetilde {R})\\) of \\({\\mathfrak S}_A(T)\\). On the other hand, we have the induced representation \\(\\text{Ind} (\\rho(R); {\\mathfrak S}_A (S) \\uparrow {\\mathfrak S}_A(T))\\). Theorem 1. Let \\(R\\) be a datum for an elementary representation of \\({\\mathfrak S}_A(S)\\). Then the two representations \\(\\rho (\\widetilde {R})\\) and \\(\\text{Ind} (\\rho(R); {\\mathfrak S}_A(S) \\uparrow {\\mathfrak S}_A(T))\\) of \\({\\mathfrak S}_A (T)\\) are canonically equivalent to each other. A similar assertion holds for standard representations for \\({\\mathfrak S}_A (S)\\) and \\({\\mathfrak S}_A (T)\\). -- 2. Equivalence relations among standard representations. Take two induced representations \\(\\rho (Q_i) = \\text{Ind} (\\pi(Q_i); H(Q_i) \\uparrow {\\mathfrak S}_A(T))\\), \\(i = 1,2\\), of \\({\\mathfrak S}_A (T)\\), called standard, and let the corresponding data be  \\[ Q_1 = \\{(A_\\gamma, \\rho^\\gamma_{T_{1\\gamma}}, \\chi_{1\\gamma})_{\\gamma \\in \\Gamma},\\;(a_1(\\gamma))_{\\gamma \\in \\Gamma},\\;(b_{1\\gamma})_{\\gamma \\in \\Gamma}\\}, \\]   \\[ Q_2 = \\{(B_\\delta, \\rho^\\delta_{T_{2\\delta}}, \\chi_{2\\delta})_{\\delta \\in \\Delta},\\;(a_2(\\delta))_{\\delta \\in \\Delta},\\;(b_{2\\delta})_{\\delta \\in \\Delta}\\}, \\]  where, in particular, \\((A_\\gamma)_{\\gamma\\in \\Gamma}\\) and \\((B_\\delta)_{\\delta \\in \\Delta}\\) are partitions of \\(A\\), and \\(T_{1\\gamma}\\) and \\(T_{2\\delta}\\) are subgroups of \\(T\\). For an element \\(\\zeta\\) of \\({\\mathfrak S}_A\\), we call an adjustment of \\(Q_2\\) by \\(\\zeta\\) the datum  \\[ ^\\zeta Q_2 = \\{(\\zeta (B_\\delta), \\rho^\\delta_{T_{2\\delta}}, \\chi_\\delta)_{\\delta \\in \\Delta}, (a_2(\\delta))_{\\delta\\in \\Delta},\\;(b_{2\\delta})_{\\delta \\in \\Delta}\\}. \\]  Then \\(\\rho(Q_2)\\) is equivalent to \\(\\rho(^\\zeta Q_2)\\) in a trivial fashion. -- Theorem 2. Assume that two data \\(Q_1\\) and \\(Q_2\\) satisfy the condition \\((Q1)\\), i.e., \\(|\\Gamma_f|\\leq 1\\), \\(|\\Delta_f|\\leq 1\\), and that both \\(\\rho(Q_1)\\) and \\(\\rho(Q_2)\\) are irreducible. Then they are mutually equivalent if and only if the following conditions hold:    (EQU1) Replacing \\(Q_2\\) by its adjustment by an element in \\({\\mathfrak S}_A\\) if necessary, we have a 1-1 correspondence \\(\\kappa\\) of \\(\\Gamma\\) onto \\(\\Delta\\) such that \\(A_\\gamma = B_{\\kappa (\\gamma)}\\) for \\(\\gamma \\in \\Gamma\\). Further \\(\\chi_\\gamma = \\chi_{\\kappa(\\gamma)}\\) for \\(\\gamma \\in \\Gamma\\), and \\(\\text{Ind}^T_{T_{1\\gamma}} \\rho^\\gamma_{T_{1\\gamma}} \\cong \\text{Ind}^T_{T_{2\\delta}} \\rho^\\delta_{T_{2\\delta}}\\) for \\(\\gamma \\in \\Gamma_f\\) and \\(\\delta= \\kappa(\\gamma)\\). --    (EQU2) For \\(\\gamma \\in \\Gamma_\\infty = \\Gamma \\setminus \\Gamma_f\\), replace \\(\\delta = \\kappa(\\gamma)\\) by \\(\\gamma\\), and put \\(T_{0\\gamma} = T_{1\\gamma} \\cap T_{2\\gamma}\\). Then, for every \\(\\gamma \\in \\Gamma_\\infty\\), there exist an IUR \\(\\rho^\\gamma_{T_{0\\gamma}}\\) of \\(T_{0\\gamma}\\) and a reference vector \\(a_0(\\gamma) = (a_{0\\alpha})_{\\alpha\\in A_\\gamma}\\), \\(a_{0\\alpha}\\in V(\\rho^\\gamma_{T_{0\\gamma}})\\), \\(|a_{0\\alpha}|= 1\\), such that for \\(j = 1, 2\\), \\(\\rho^\\gamma_{T_{j\\gamma}} \\cong \\text{Ind} (\\rho^\\gamma_{T_{0\\gamma}}; T_{0\\gamma} \\uparrow T_{j\\gamma})\\) and \\(a_j(\\gamma)\\) is Moore-equivalent to the induced vector \\(\\text{Ind}(a_0 (\\gamma); T_{0\\gamma} \\uparrow T_{j\\gamma})\\) in the extended sense. --    (EQU3) For \\(\\gamma \\in \\Gamma_\\infty\\), put \\(\\chi_{0\\gamma} = \\chi_{1\\gamma}\\) \\((= \\chi_{2\\gamma})\\) and \\(Q_{j\\gamma} = \\{A_\\gamma, \\rho^\\gamma_{T_{j\\gamma}}, \\chi_{j\\gamma}, a_j(\\gamma)\\}\\), \\(0 \\leq j \\leq 2\\), and consider IURs \\(\\Pi(Q_{j\\gamma})\\) of \\(H_{j\\gamma} = {\\mathfrak S}_{A_\\gamma} (T_{j\\gamma})\\). Then there exists a unit vector \\(b_{0\\gamma} \\in V(\\Pi(Q_{0\\gamma}))\\) for every \\(\\gamma \\in \\Gamma_\\infty\\) such that \\((b_{j\\gamma})_{\\gamma \\in\\Gamma_\\infty}\\), \\(j = 1, 2\\), are respectively Moore-equivalent in the extended sense to \\((\\widetilde {b}_{j\\gamma})_{\\gamma\\in \\Gamma_\\infty}\\) with \\(\\widetilde {b}_{j\\gamma} = \\text{Ind}(b_{0\\gamma}; H_{0\\gamma} \\uparrow H_{j\\gamma})\\), with respect to the representations \\(\\Pi(Q_{j\\gamma})\\) and \\(\\text{Ind}(\\Pi(Q_{0\\gamma})\\); \\(H_{0\\gamma} \\uparrow H_{j\\gamma})\\). Here note that, under the condition    (EQU2), the IUR \\(\\Pi(Q_{j\\gamma})\\) is equivalent to the induced one \\(\\text{Ind} (\\Pi(Q_{0\\gamma})\\); \\(H_{0\\gamma} \\uparrow H_{j\\gamma})\\) for \\(j = 1, 2\\), by Theorem 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813895$1C222CC0-AEB0-4065-B12C-33DC448603A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4caf0ec836a63e0ad4b3255271db332d489fc875","datavalue":{"value":"22D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$006A8F6F-9513-40B7-B04D-94CF9A8ED6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eb85a875bb04ff346e9bff71b5faa071feb2fb0b","datavalue":{"value":"22D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$8DA82524-1DBE-4423-9F05-15C8B1F98F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$054DDD23-11E4-4FBD-95A6-D4B620CC4962","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66172246ebc2f65ea752b1af338302e1dfc62108","datavalue":{"value":"5319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$3F67AC0D-7AB4-4547-A177-D64187F9F370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec714ca93082485472d4c479bd4d33ad34118013","datavalue":{"value":"discrete groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813895$7A8D8179-B11C-428F-B4A7-C8A86D2E05A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813895$3224389F-8C5D-4FEB-9B89-D182B24F4F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a9d6fcfe7a5816ba097a137f6e03d543b27b93","datavalue":{"value":"irreducible unitary representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813895$EA1F8D11-0353-42B4-B229-C4D375196D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a1c338f15a4afa7b1df1cc72aecf12c8cfc94e","datavalue":{"value":"infinite wreath product group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813895$DAB13BD2-ADE3-45A3-A8BA-A599C98D4F08","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":"Q1813895$3F876053-7646-4CEC-86C7-D4E05F09754D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71a518082a45b9223bf9ebdc574825de938224c3","datavalue":{"value":"https://doi.org/10.3792/pjaa.66.16","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813895$99D84393-3750-45CC-867F-D04B27945C8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2df4af8db59ae63509c319c053ff04969db86bb1","datavalue":{"value":"W2013210233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$D5E74072-FFEC-4776-85A6-1F94CFBFD9C0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"756d34659c88a4d4298538619cd48317025abbb4","datavalue":{"value":{"entity-type":"item","numeric-id":3353270,"id":"Q3353270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813895$DC160870-14CE-4570-AFF1-3FFBAC0DD38F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57f3de687a11ea6d9d3295940877a489b75db68e","datavalue":{"value":"10.3792/PJAA.66.16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813895$694AAE95-B153-46BE-B6B1-7B24563A933D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c8fb8c7aa8b6f829edc99246a466abb9827998","datavalue":{"value":{"entity-type":"item","numeric-id":3353270,"id":"Q3353270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5becf60e67d5cd0b4b44a618937d231ae490fdf7","datavalue":{"value":{"amount":"+0.9012444615364076","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":"Q1813895$5A310AFF-323D-4D78-8A07-47A69258E730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181df29a3f833e8fbdb13ad49ce4ca2013a7b05a","datavalue":{"value":{"entity-type":"item","numeric-id":1105029,"id":"Q1105029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58ce9d341c91879f2f13749151541cf044f1c86","datavalue":{"value":{"amount":"+0.8090289235115051","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":"Q1813895$5A8A35FF-7814-468C-BEA5-BB1051B67549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e145b76d5cf5a2fc7aa9aafb3fe8d5617edb108","datavalue":{"value":{"entity-type":"item","numeric-id":1181053,"id":"Q1181053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8908dbe484d0c85974ceef43c123f54172996dd","datavalue":{"value":{"amount":"+0.806074857711792","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":"Q1813895$65EBEB8B-1B46-4699-B3C6-1375CBDFAA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d47736ad660aa8370def65decf389be463d141","datavalue":{"value":{"entity-type":"item","numeric-id":1178753,"id":"Q1178753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46addd4f97a47b080ccb8f6425b3d762d9da940c","datavalue":{"value":{"amount":"+0.7930904626846313","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":"Q1813895$F40784A8-C565-4589-9E14-07CA81B0AA4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some aspects in the theory of representations of discrete groups. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_aspects_in_the_theory_of_representations_of_discrete_groups._II"}}}}}