The algebraic small dimension lemma with an anti-homomorphism on semigroups
type: Item
instance of: scholarly article
title: The algebraic small dimension lemma with an anti-homomorphism on semigroups
zbMATH Open document ID: 1470.39050
author: M. Ayoubi
author: Driss Zeglami
published in: Results in Mathematics
publication date: 2021-07-07T00:00:00Z
review text: The main result of the paper is an extension of the ``algebraic small dimension'' lemma recently proved by \textit{H. Stetkær} [Aequationes Math. 95, No. 2, 281--299 (2021; Zbl 1467.39018)] as a tool for solving d'Alembert's functional equation. Let \(S\) be a semigroup, \(\mathbb{K}\) be an algebraically closed field of characteristic different from \(2\), \(\mathbb{K}^*\) denotes the multiplicative group \(\mathbb{K}\setminus \{0\}\) and \(\mathbb{K}[S]\) is the vector space over \(\mathbb{K}\) of \(\mathbb{K}\)-valued functions on \(S\). With \(\pi\) we denote a representation of \(S\) on the vector space \(V\) and the dimension of \(\pi\) is the dimension of the space \(V\). Moreover, \(\tau:S \to S\) denotes an involutive anti-homomorphism of \(S\) (i.e., \(\tau(xy)=\tau(y)\tau(x)\)). The above mentioned theorem by \textit{H. Stetkær} is the following: Theorem. Let \(\pi\) be a finite-dimensional irreducible representation of \(S\) on \(V\) such that \(\mathrm{dim} (V)\ge 2\) and let \(\mu :S \to \mathbb{K}^*\) be a homomorphism satisfying \(\mu(x\tau(x))=1\) for all \(x \in S\). Suppose that there exist a non-zero vector \(v_0 \in V\) and a function \(g \in \mathbb{K}[S]\) such that \[ [\pi(x)+\mu(x)\pi(\tau(x))]v_0=2g(x)v_0, \quad x\in S. \] Then \(\mathrm{dim} (V)=2\) and \(\mu(x)\pi(\tau(x))=\mathrm{adj}\, (\pi(x))\) for all \(x \in S\), where \(\mathrm{adj}\, A=(\mathrm{tr} \, A)I-A\). The extension proved here replaces the involutive anti-homomorphism \(\tau\) with an anti-homomorphism \(\psi\) and assumes that the function \(g\) is \(\psi\)-even, i.e., \(\mu(x)g(\psi(x))=g(x)\). Moreover, it is proved that \(g=\frac{1}{2}\chi_{\pi},\) where \(\chi_{\pi}:=tr(\pi(x))\), \(g(xy)g(yx)\) and \(g\) is a non-zero solution of d'Alembert \(\mu\)-functional equation \[ g(xy)+\mu(y)g(x\psi(xy))=2g(x)g(y), \quad x,y \in S.\] This result is then used for the investigation of the relation between the d'Alembert \(\mu\)-functional equation and the Wilson \(\mu\)-functi…
reviewed by: Gian Luigi Forti
Mathematics Subject Classification ID: 39B52
Mathematics Subject Classification ID: 39B32
zbMATH DE Number: 7369078
zbMATH Keywords: functional equation
zbMATH Keywords: d'Alembert equation
zbMATH Keywords: non-abelian Fourier transform
zbMATH Keywords: anti-homomorphism
zbMATH Keywords: irreducible representation
zbMATH Keywords: semigroup
MaRDI profile type: Publication
full work available at URL: s00025-021-01377-7
OpenAlex ID: W3139193501
Wikidata QID: Q124843024
cites work: Q3992445
cites work: D'Alembert's functional equations on monoids with an anti-endomorphism
cites work: Q3653883
cites work: D'Alembert's other functional equation on monoids with an involution
cites work: On Wilson's functional equations
cites work: Q4888829
cites work: Q5723435
cites work: The Functional Equation f(xy) + f(xy -1 ) = 2f(x)f(y) for Groups
cites work: Functional Equations and Inequalities with Applications
cites work: D'Alembert's and Wilson's functional equations on step 2 nilpotent groups
cites work: Functional Equations on Groups
cites work: A note on Wilson's functional equation
cites work: More about Wilson's functional equation
cites work: The small dimension lemma and d'Alembert's equation on semigroups
cites work: Cosine functions revisited
cites work: Functional Equations and Fourier Analysis
cites work: Harmonic analysis and generalized functional equations for the cosine
cites work: Integral functional equations on locally compact groups with involution
DOI: 10.1007/S00025-021-01377-7
description: scientific article; zbMATH DE number 7369078