{"entities":{"Q5933451":{"pageid":8110253,"ns":120,"title":"Item:Q5933451","lastrevid":47614285,"modified":"2026-01-02T05:35:10Z","type":"item","id":"Q5933451","labels":{"en":{"language":"en","value":"Operator algebras of idempotents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599070"}},"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":"Q5933451$510B3282-FCF2-48FF-8655-79383049FD1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88f63755e20c66e12b2decc75b49187ba6f88ef3","datavalue":{"value":{"text":"Operator algebras of idempotents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5933451$DC71ED3D-8BFA-4139-BF52-C9B3926EDC59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09aee6ded7d15a8958a392b38f1f1ba7941b195e","datavalue":{"value":"1017.47051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$D172EFA0-FA1E-49DB-9593-85FA741F3242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff273a5ff3682c35a69fdb62aadf686f92794e","datavalue":{"value":{"entity-type":"item","numeric-id":180319,"id":"Q180319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$60527A69-AF5D-45F1-A0F4-B1E95629A975","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c822db5813f0f9086f4e4ec19f4b6b46b5b495","datavalue":{"value":{"entity-type":"item","numeric-id":165791,"id":"Q165791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$C9B17F5F-788C-48E5-9A91-8C26DC2656E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1510053c77fc61a007558e2a7e88fedb39f6a4b","datavalue":{"value":{"time":"+2002-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5933451$2D9F7477-3568-4B5B-B89C-7B446072FAF8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60869bc866b48a29938bce9fe4f2369f8f29d2f9","datavalue":{"value":{"entity-type":"item","numeric-id":587766,"id":"Q587766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$024B4414-888E-4913-AEE3-8B70C4511BCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3e65266b37277b9c8327793efdfb9a978fa895ad","datavalue":{"value":"47L25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$26660717-B0EA-40F5-B272-9002C8926E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c0a90084ab89282c894975f26f289fb775492f45","datavalue":{"value":"30E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$264A1FAB-68FB-44E6-BEC4-720422E22DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd5e626a0f3200b2883e73a00db5eaf61f23c4d4","datavalue":{"value":"47A56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$806B8105-9B07-4410-8668-BE12955C0D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"055bd57bba21824b0633d876131c8558d09459cd","datavalue":{"value":"47A57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$6E39909F-0F40-4E02-8CA3-99DD8AB51E71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8643cadac5229cf6dc2ac36c355f26695fbb697","datavalue":{"value":"1599070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$0AFB1099-518C-4286-82B5-03D7165E3564","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40010dc20e06476c2962732d4c01c1662642ca3e","datavalue":{"value":"operator algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$852CDCEB-7984-4BEE-A6C9-5CFA29C5C43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c31414f753e774571063d2d948f3a3ddd0198c2","datavalue":{"value":"matrix algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$8F837711-304E-47BB-B180-BCCBFAC27D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c28ef68679963935194d82a1610d161e5c10cd27","datavalue":{"value":"uniform algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$8A7EFD54-869B-4EDD-9E37-6940295145EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16fe7b83f634486a9020d01bd102975f2591cdda","datavalue":{"value":"Banach algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$FAEBE2EC-8876-495A-BDE8-BDE75D56A676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8530a15d6bdf55e965d6bb7532fa83c81634f913","datavalue":{"value":"idempotent operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$4CE7CB4B-4794-444D-ACD6-E151E126A62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0799bac331a4bb9602e68eefabc1ee8cc9a685c","datavalue":{"value":"matricial Schur ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$FFDEE151-8B06-423D-9A60-354D1D360011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239e8493daf0de05b90156b62bcf1bf3ce8162ea","datavalue":{"value":"matrix-valued Nevanlinna-Pick interpolation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$6908D4EC-47BF-4C30-9F8D-DB2FAB4AF324","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":"Q5933451$6CE7C0F1-C2F9-477B-A18D-B4310140F862","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"137486552f95d210cdee70a078983549970cc93a","datavalue":{"value":"https://doi.org/10.1006/jfan.2000.3712","type":"string"},"datatype":"url"},"type":"statement","id":"Q5933451$3228481F-1493-4D33-A033-C18B595B6D36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18a7fa97bc551857b6fa22965010b324be5657d9","datavalue":{"value":"W2123706303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$2D1C6FBF-6940-45FF-BE56-3FDC95138675","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b51a076b0c134e350608de5a6548d35e09a174c","datavalue":{"value":{"entity-type":"item","numeric-id":3468178,"id":"Q3468178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$15662A6B-8B4A-4D40-A255-95BCE266062C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55a237a734d6680a6c75df0529e676ea43f3af1","datavalue":{"value":{"entity-type":"item","numeric-id":4238494,"id":"Q4238494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$ADB93ED3-40FE-445D-82AF-7153F48ACB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802911d28a8d286f15e0dee41bdbd28ba0295cf1","datavalue":{"value":{"entity-type":"item","numeric-id":2555281,"id":"Q2555281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$762F68D3-331B-4329-9101-AB06D319FE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd2ff026682899534f317312bdc53ad859100b4","datavalue":{"value":{"entity-type":"item","numeric-id":1270304,"id":"Q1270304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$03F08E6D-4C54-4B0A-B1E3-9D752BC887EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1774253995eea5aa461d0f59363a7a27ef1f3cc5","datavalue":{"value":{"entity-type":"item","numeric-id":1364277,"id":"Q1364277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$B0DACB44-E7BC-4086-A40B-0EA5E08B8D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be7afe6dba6f0c241244918aa7ff43d2e8c59070","datavalue":{"value":{"entity-type":"item","numeric-id":3981100,"id":"Q3981100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$576ADDD7-F6EB-47A1-976E-345B7BAC768A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08147952cd950a2b42cf5214e3dfda8f025c9156","datavalue":{"value":{"entity-type":"item","numeric-id":750833,"id":"Q750833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$38A7D479-7D6D-4FBF-A09A-15E2D96969AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4245c69011f8a4a166755cfbafdb366ea5945800","datavalue":{"value":{"entity-type":"item","numeric-id":1193926,"id":"Q1193926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$54A30129-E340-4320-86F1-C22ED6BE1004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bf52883c8bcc6b7bb42765c603ca1b97a4061f","datavalue":{"value":{"entity-type":"item","numeric-id":1252998,"id":"Q1252998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$F3F62B61-BCC9-4619-AFEC-786BE1B50E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31bf81f31f9696a2a02a1ebf6ad7e197fa6e6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4722624,"id":"Q4722624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$D2AEDE79-2BAE-4D5E-A274-757A806BFE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6026c0871eee272225bee55820e326f6649dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5945059,"id":"Q5945059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$E36C1AC7-00B0-4CA0-AF3B-03AA42B2771E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bc4d7922ec7fbf408bccc77f233cdaf440ddd82","datavalue":{"value":{"entity-type":"item","numeric-id":1807746,"id":"Q1807746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5933451$3028EC35-416B-4701-9A35-DC92B1B64FAD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0381f2f8061fef08419784178c2b9751da66a59c","datavalue":{"value":"10.1006/JFAN.2000.3712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933451$9AF5FFB9-3210-44F9-BC1A-73A6FB588735","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3eb17edd249a97e11bf5a620222bade6b4d4b56f","datavalue":{"value":"A uniform algebra \\(A\\) of complex-valued functions on a compact Hausdorff space \\(X\\) can be represented isometrically as an algebra of operators on a (1-dimensional) Hilbert space by choosing a faithful representation of \\(C(X)\\) and restricting it to A. If \\(K\\) is an ideal in \\(A\\), then the quotient \\(A/K\\) is a Banach algebra. The author is using the fact, not obvious, that it can be represented isometrically as an operator algebra on a Hilbert space and that, moreover, matrices over \\(A/K\\) can be so represented as well. NEWLINENEWLINENEWLINEThe result above originates from \\textit{D. Sarason}'s work on the Nevanlinna-Pick problem for \\(A\\) the disc algebra [Trans. Am. Math. Soc. 127, 179-203 (1967; Zbl 0145.39303)]. Indeed, pick a finite set of points, the ``nodes'' on the disc, possibly with multiplicity, and let \\(K\\) denote the ideal of all functions that vanish on the nodes. Then the quotient \\(A/K\\) is a finite-dimensional Banach algebra. Using a quotient Hilbert space of the Hardy space \\(H^2\\), the quotient algebra can be realised as a subalgebra of the \\(n \\times n\\) matrices over \\(A\\). NEWLINENEWLINENEWLINEPick a finite subset \\(x_{1},\\dots,x_{k}\\), in a compact Hausdorff space \\(X\\) and let \\(K\\) be the ideal of all functions on \\(X\\) that vanish on these nodes. The classical Nevanlinna-Pick interpolation problem, for \\(X\\) the unit disc, is to find a \\(H^{\\infty}\\) function which takes prescribed values on the nodes. Pick's criterion for such a function to exist is that a certain matrix built from the data is positive-definite; hence the subsequent use of positive-definite \\({k \\times k}\\) matrices \\(P\\) with non-vanishing entries. The author generalises the interpolation problem to \\(M_{n}(A)\\), with the sup norm, disregarding interpolating functions and being concerned only with interpolation sets, i.e., sets of k-tuples of \\(n \\times n\\) matrices \\({\\mathcal{D}}^{n}(A,x_{1},\\dots,x_{k}) = \\{(F(x_{1}),\\dots,F(x_{k}): F \\in M_{n}(A), \\|F\\|\\leq 1 \\}\\). One can think of \\({\\mathcal{D}}^{n}\\) as representing the closed unit ball in \\(M_{n}(A)\\). The operator algebra \\({\\mathcal{A}}\\) is the quotient of \\(A\\) by the ideal of functions vanishing at the nodes and the author identifies \\(F \\in M_{n}(A)\\) with its canonical image in \\(M_{n}({\\mathcal{A}})\\). NEWLINENEWLINENEWLINEBounded operators on a Hilbert space \\({\\mathcal{H}}\\) satisfying \\(E_{i}E{j} = \\delta_{ij}\\) and \\(E_{i}+.. +E_{k} = 1\\) generate a \\(k\\)-idempotent operator algebra \\({\\mathcal{A}}\\) on \\({\\mathcal{H}}\\); the concrete operator system \\({\\mathcal{A}}^{*}{\\mathcal{A}} = \\text{span} \\{ E_{i}^{*}E_{j}: i,j = 1,\\dots,k \\}\\) is not invariant under completely isometric representations of \\({\\mathcal{A}}\\). For a positive matrix \\(P\\) with nonzero entries, the author defines \\({\\mathcal{A}}(P)\\) to be the \\(\\text{span} \\{ E_{1},\\dots,E_{k} \\}\\), where \\(E_{i}={P^{1 \\over 2} E_{ii} P^{-{1 \\over 2}}}\\) and the \\(E_{ij}\\) denote the canonical matrix units. NEWLINENEWLINENEWLINEThe author's matricial Schur ideals \\({\\mathcal{S}}\\), which the reviewer will call matricial semi-ideals, are sequences \\(({\\mathcal{S}}_{n})\\) of sets in \\(M_{k}(M_{n})^{+}\\) such that if \\(Q,R \\in S_{n}\\) then \\(Q + R \\in S_{n}\\), and if \\( B_{1},\\ldots,B_{k}\\) are \\(m \\times n\\) matrices then \\(\\sum B_{i}Q_{ij}B_{j}^{*} \\in S_{m}\\). For a \\(k\\)-idempotent algebra \\({\\mathcal{A}}\\), the definition of \\({\\mathcal{S}}_{n}({\\mathcal{A}}^{*}{\\mathcal{A}})\\) is apparently meant to be the set of \\((\\Phi(E_{i}^{*}E_{j}))_{i,j = 1,\\dots,k} \\) where \\(\\Phi\\) covers all completely positive mappings \\({\\mathcal{A}}^{*}{\\mathcal{A}} \\to M_{n}\\). He proves that \\({\\mathcal{S}}({\\mathcal{A}}^{*}{\\mathcal{A}})\\) is a matricial semi-ideal. The Schur terminology is used since \\({\\mathcal{S}}_{1}({\\mathcal{A}}(P)^{*}{\\mathcal{A}}(P))\\), where \\(P\\) denotes a \\(k \\times k\\) Pick matrix, is spanned by Schur products of scalar-entry matrices. He gives a very technical definition of the matricial semi-ideal determined by a \\(k\\)-idempotent algebra \\({\\mathcal{A}}\\), denoted \\({\\mathcal{S}}({\\mathcal{A}})\\), seemingly unrelated to \\({\\mathcal{S}}_{n}({\\mathcal{A}}^{*}{\\mathcal{A}}))\\), in terms of the \\({\\mathcal{D}}_{n}({\\mathcal{A}})\\). The definition also involves positivity of the tensor product of certain matrices in \\(M_{k}(M_{n})\\). There is already the definition of the interpolation set \\({\\mathcal{D}}^{n}\\) in Section 1, but what is more likely meant is a closely related definition of \\({\\mathcal{D}}_{n}\\) introduced in the proof of Theorem 4.2. NEWLINENEWLINENEWLINESection 3 attempts, given a matricial semi-ideal \\({\\mathcal{S}}\\), to construct from it a \\(k\\)-idempotent algebra which the author would denote by \\({\\mathcal{A}}({\\mathcal{S}})\\), and so to get some kind of duality between matricial Schur ideals and \\(k\\)-idempotent algebras. It is assumed that \\({\\mathcal{S}}\\) is ``non-trivial'' and ``bounded''. The definition of boundedness ensures that the \\(E_{i}\\) which he constructs in \\({\\mathcal{A}}({\\mathcal{S}})\\) are bounded in the matrix norm. The definition of non-triviality is problematic, since in order to construct \\({\\mathcal{A}}({\\mathcal{S}})\\), the existence of \\({\\mathcal{A}}\\) and its idempotents is assumed a priori. Nevertheless, it seems that the essential requisite, free of \\({\\mathcal{A}}\\), for sufficiency for existence is that the invertible elements in \\({\\mathcal{S}}_{n}\\) are dense in \\({\\mathcal{S}}_{n}\\). The author then constructs the required \\(k\\)-idempotents \\(E_{i}\\) as \\(\\sum_{n}{\\sum{\\oplus} Q^{1 \\over 2} (I_{n} \\otimes E_{ii}) Q^{-{1 \\over 2}}}\\), where the second summation is over invertible matrices \\(Q \\in {\\mathcal{S}}_{n}\\). When \\({\\mathcal{A}}({\\mathcal{S}})\\) exists, then \\({\\mathcal{S}}({\\mathcal{A}}({\\mathcal{S}})^{*}{\\mathcal{A}}({\\mathcal{S}})) = {\\mathcal{S}}\\). He defines \\({\\mathcal{S}}\\) to be affiliated with \\({\\mathcal{A}}\\), if \\({\\mathcal{A}}({\\mathcal{S}})\\) and \\({\\mathcal{A}}\\) are completely isometric. NEWLINENEWLINENEWLINEA \\(k\\)-idempotent algebra is algebraically isomorphic to \\({\\mathbb{C}}^{k}\\) with pointwise multiplication and it can be determined by an assignment of an operator algebra matrix norm on \\({\\mathbb{C}}^{k}\\). In Section 4, the author identifies the \\(k\\)-idempotent algebras with operator algebra norms on \\({\\mathbb{C}}^{k}\\). The author's duality beteen matricial semi-ideals and \\(k\\)-idempotent algebras is meant to be analogous to the polar-bipolar duality for locally convex topological spaces. For sets of Banach-space norms on \\({\\mathbb{C}}^{k}\\), the supremum and infimum are well-defined. The unit ball of the largest norm smaller than both operator-algebra norms is the polar of the intersection of the polars of the two balls. The smallest unit ball larger than two unit balls is simpler; it is the larger of the two. NEWLINENEWLINENEWLINEAnalogously, given \\(k\\)-idempotent algebras \\({\\mathcal{A}}\\) and \\({\\mathcal{B}}\\) the author uses direct sums of the idempotents to construct a \\(k\\)-idempotent algebra, which he denotes by \\(A \\vee B\\), which endows \\({\\mathbb{C}}^{k}\\) with the larger of the two norms. He goes on to construct a dual \\(k\\)-idempotent algebra \\(A \\wedge B\\) which will have the smallest ``unit ball'' such that \\({\\mathcal{D}}_{n}({\\mathcal{A}} \\wedge {\\mathcal{B}}) \\supset {\\mathcal{D}}_{n}({\\mathcal{A}}) \\cup {\\mathcal{D}}_{n}({\\mathcal{B}})\\), but relies on duality and the somewhat unclear Proposition 3.4 to get \\({\\mathcal{S}}_{n}({\\mathcal{A}} \\wedge {\\mathcal{B}}) \\subset {\\mathcal{S}}_{n}({\\mathcal{A}}) \\cap {\\mathcal{S}}_{n}({\\mathcal{B}})\\). NEWLINENEWLINENEWLINEMost of the remaining part of Section 4 consists of the construction of \\({\\mathcal{A}} \\wedge {\\mathcal{B}}\\) (or a wedge product of a finite number of \\(k\\)-idempotent algebras) for which \\({\\mathcal{S}}_{n}({\\mathcal{A}} \\wedge {\\mathcal{B}}) = {\\mathcal{S}}_{n}({\\mathcal{A}}) \\cap {\\mathcal{S}}_{n}({\\mathcal{B}})\\). In fact, \\({\\mathcal{A}} \\wedge {\\mathcal{B}}\\) is the operator algebra generated by a pair of (completely contractive) images of \\({\\mathcal{A}}\\) and \\({\\mathcal{B}}\\) in the amalgamated free-product operator algebra \\({\\mathcal{A}} * {\\mathcal{B}}\\) described in \\textit{D. P. Blecher} and \\textit{V. I. Paulsen} [Proc. Am. Math. Soc. 112, 839-850 (1991; Zbl 0767.46037)]. The universal property for the free product is that, given a pair \\(\\pi_{i}\\) of representations \\({\\mathcal{A}}\\) and \\({\\mathcal{B}}\\), respectively, on a Hilbert space \\({\\mathcal{H}}\\), then there is a (completely contractive) operator algebra homomorphism \\(\\rho: {\\mathcal{A}}*{\\mathcal{B}} \\to {\\mathcal{L}}({\\mathcal{H}})\\) which restricts to the \\(\\pi_{i}\\) on the component \\(k\\)-idempotent algebras (identifying elements of these with their images in the free product). NEWLINENEWLINENEWLINEThe author then considers ways to factorize a matrix \\(z\\) over \\({\\mathcal{A}} * {\\mathcal{B}}\\) as a product of images of matrices over \\({\\mathcal{A}}\\) and \\({\\mathcal{B}}\\), respectively, made up of words of the form \\(a_{1}b_{1} \\cdots a_{m}b_{m}\\), \\(m\\) arbitrary, with \\(a_{k} \\in {\\mathcal{A}}, b_{k} \\in {\\mathcal{B}}\\) and also allowing words beginning with a \\(b\\) rather than an \\(a\\) and/or ending with an \\(a\\) rather than with a \\(b\\). As in \\textit{Blecher-Paulsen} [loc. cit.], the author considers all factorisations of matrices \\(z\\) with entries in the free product and defines a seminorm \\(\\|z\\|\\) to be the infimum of products of the norms of all the factors where the infimum is taken over all ways of factorising \\(z\\) into products of matrices over \\({\\mathcal{A}}\\) and \\({\\mathcal{B}}\\), following the scheme for the words of the free product. This infimum seminorm will equal the maximal operator seminorm. He defines \\({\\mathcal{A}} \\wedge {\\mathcal{B}}\\) to be \\(({\\mathcal{A}} * {\\mathcal{B}}) / {\\mathcal{I}}\\), where \\({\\mathcal{I}}\\) denotes the ideal of elements of maximal operator seminorm \\(0\\). Using the \\({\\mathcal{D}}_{n}\\), he shows that \\({\\mathcal{S}}_{n}({\\mathcal{A}} \\wedge {\\mathcal{B}}) = {\\mathcal{S}}_{n}({\\mathcal{A}}) \\cap {\\mathcal{S}}_{n}({\\mathcal{B}})\\). NEWLINENEWLINENEWLINEThe present paper is a continuation of \\textit{V. I. Paulsen} [Integral Equations Oper. Theory 41, 38-62 (2001; Zbl 0997.47011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933451$86600703-5134-4C77-BDB3-F9CC859DA376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02964db6e7d9439946b64d370e17025ce8f2c3de","datavalue":{"value":{"entity-type":"item","numeric-id":4668627,"id":"Q4668627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ee519fba5e1be32fc57b5b8dc55ede4aeb200e","datavalue":{"value":{"amount":"+0.7888678908348083","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":"Q5933451$E980F548-B877-4458-9D04-AA584800749D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7524d1bb1195570e9fa256a01afa39e5518378","datavalue":{"value":{"entity-type":"item","numeric-id":1908168,"id":"Q1908168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7fc299e1ca1c963f75b23044d7e029bc759c5f5","datavalue":{"value":{"amount":"+0.7860507369041443","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":"Q5933451$DDE1B270-2D7C-462F-B6CD-944E416AD4A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85d3192f47e8c8a9e80f33627bdfaabfd4a1fd20","datavalue":{"value":{"entity-type":"item","numeric-id":4308113,"id":"Q4308113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7e0fe59d6753d970b493bb10dc9156ddbb63498","datavalue":{"value":{"amount":"+0.7843350172042847","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":"Q5933451$CC68EC69-44CD-4ABD-A216-FC260BC7E419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d89c47e8315053d88ba4c76545043664048fb451","datavalue":{"value":{"entity-type":"item","numeric-id":5945059,"id":"Q5945059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0afccf11518507ee55680aff3825b93c62e0d5","datavalue":{"value":{"amount":"+0.7556610703468323","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":"Q5933451$BEC2683D-632D-4BF5-B8F8-3E11727664E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d485a14ce5a7361cf602b71b65c03ddf4769e9","datavalue":{"value":{"entity-type":"item","numeric-id":4529411,"id":"Q4529411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b82bebb61343a656850eb0dfa736541fba60af9","datavalue":{"value":{"amount":"+0.7553200125694275","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":"Q5933451$BC338353-1A66-456A-8819-CF0F5A67F0AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5933451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5933451"}}}}}