Gyrosemidirect product structure of bounded symmetric domains
type: Item
instance of: scholarly article
title: Gyrosemidirect product structure of bounded symmetric domains
zbMATH Open document ID: 0841.20062
DOI: 10.1007/BF03322286
author: Abraham A. Ungar
author: Yaakov Friedman
published in: Results in Mathematics
publication date: 1996-07-14T00:00:00Z
review text: Let \((P,+)\) be a loop, for \(a,b\in P\) let \(a^+: P \to P\); \(x \to a+x\), \(\delta_{a,b}=((a+b)^+)^{-1} \circ a^+\circ b^+\) and \(\Delta :=\langle \{\delta_{a,b} \mid a,b \in P\}\rangle\) the subgroup of \(\text{Sym }P\) generated by the permutations \(\delta_{a,b}\). If the loop \((P,+)\) has the property \(\Delta \leq \text{Aut}(P,+)\), then for any group \(K\) with \(\Delta \leq K \leq \text{Aut}(P,+)\) the set of permutations \(P^+\rtimes_QK:=\{a^+\circ \alpha \mid a \in P,\;\alpha \in K\}\) forms a subgroup of \(\text{Sym }P\) (with \((a^+\circ \alpha) \circ (b^+\circ \beta)=(a+\alpha(b))^+\circ (\delta_{a,\alpha(b)} \circ \alpha \circ \beta)\)), the quasi-direct product (here called gyrosemidirect product). In this paper there is considered a bounded symmetric domain \(D\) in a Banach space and \(\text{Aut}(D)\), the group of all holomorphic automorphisms of \(D\). With the exponential map, there is defined for any \(a \in D\) an application \(\Phi_a \in \text{Aut}(D)\) and it is proved (Theorem 3.1) that \((D,\oplus)\) with \(a\oplus b:=\Phi_a(b)\) is a gyrogroup (=\(K\)-loop=Bruck-loop, [\textit{Y. You} and the second author, Result. Math. 28, No. 3-4, 359-371 (1995; Zbl 0840.20071)] i.e. besides \(\Delta \leq \text{Aut}(D,\oplus)\), \(\ominus(a \oplus b)=\ominus a \oplus (\ominus b)\) and \(\delta_{a,b}=\delta_{a,b\oplus a}\)). Furthermore, for \(K :=\{\varphi \in \text{Aut}(D)\mid \varphi(0)=0\}\) it is shown that \(\Delta \leq K \leq \text{Aut}(D,\oplus)\) and \(\text{Aut}(D)=D^{\oplus}\rtimes_QK\) (Theorem 3.2).
reviewed by: Helmut Karzel
Mathematics Subject Classification ID: 20N05
Mathematics Subject Classification ID: 22A22
Mathematics Subject Classification ID: 46E15
zbMATH DE Number: 687808
zbMATH Keywords: permutations
zbMATH Keywords: quasi-direct products
zbMATH Keywords: gyrosemidirect products
zbMATH Keywords: bounded symmetric domains
zbMATH Keywords: Banach spaces
zbMATH Keywords: holomorphic automorphisms
zbMATH Keywords: gyrogroups
zbMATH Keywords: \(K\)-loops
zbMATH Keywords: Bruck-loops
MaRDI profile type: Publication
cites work: Q4004345
cites work: The Gelfand-Naimark theorem for \(JB^ *\)-triples
cites work: Q4045220
cites work: A Riemann mapping theorem for bounded symmetric domains in complex Banach spaces
cites work: On \(K\)-loops of finite order
cites work: Spiegelungsräume und homogene symmetrische Räume
cites work: Q3958740
cites work: Q5792072
cites work: Weakly associative groups
cites work: Q3976023
cites work: The abstract Lorentz transformation group
cites work: The abstract complex Lorentz transformation group with real metric. I. Special relativity formalism to deal with the holomorphic automorphism group of the unit ball in any complex Hilbert space
cites work: The abstract complex Lorentz transformation group with real metric. II. The invariance group of the form ‖t‖2−∥x∥2
cites work: The holomorphic automorphism group of the complex disk
description: scientific article; zbMATH DE number 687808