Jensen's functional equation on the symmetric group S_n

DOI10.1007/S00010-011-0089-7MaRDI QIDQ657828zbMATH OpenOpenAlexFDO

Authors Trung-Hiêu Thái, Lê Công-Trình

Publication date 10 January 2012

Published in Aequationes Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1103.5955

zbMATH Keywords

abelian additive groupCauchy's functional equationhomomorphismsJensen's functional equationmultiplicative groupsymmetric group

Mathematics Subject Classification ID

Symmetric groups (20B30) Matrix and operator functional equations (39B42) Functional equations for functions with more general domains and/or ranges (39B52)

Abstract: Two natural extensions of Jensen's functional equation on the real line are the equations $f(xy)+f(x{y}^{-1})=2f(x)$ and $f(xy)+f(y^{-1}x)=2f(x)$, where $f$ is a map from a multiplicative group $G$ into an abelian additive group $H$. In a series of papers cite{Ng1}, cite{Ng2}, cite{Ng3}, C. T. Ng has solved these functional equations for the case where $G$ is a free group and the linear group $G{L}_n(R)$, $R=z,$, a quadratically closed field or a finite field. He has also mentioned, without detailed proof, in the above papers and in cite{Ng4} that when $G$ is the symmetric group $S_n$ the group of all solutions of these functional equations coincides with the group of all homomorphisms from $(S_n,cdot)$ to $(H,+)$. The aim of this paper is to give an elementary and direct proof of this fact.

Review text

Suppose that \(G\) is a multiplicative group with identity \(e\), \(H\) is an abelian additive group and \(f:G\to H\) is a map such that \(f(e)=0\). Suppose \(S_1(G, H)\) and \(S_2(G,H)\) are the set of all solutions of the functional equations \(f(xy)+f(xy^{-1})=2f(x)\) and \(f(xy)+f(y^{-1}x)=2f(x)\), respectively. If Hom\((G,H)\) is the set of all homomorphisms from \(G\) to \(H\), then \textit{C. T. Ng} [Aequationes Math. 70, No. 1--2, 131--153 (2005; Zbl 1084.39020); ibid. 62, No. 1--2, 143--159 (2001; Zbl 1004.39018)] proved the equalities Hom\((G,H) =S_1(G, H)\) and Hom\((G,H)=S_2(G,H)\), when \(G\) is the symmetric group \(S_n\) \((n\geq 1)\). In this paper the authors give an elementary and direct proof for the above equalities.

Recommendations

• Jensen's functional equation on groups. III
• On Jensen's functional equation
• Jensen's functional equation on groups. II
• A Pexider-Jensen functional equation on groups
• On Jensen's functional equation on groups

Cites work

• A Pexider-Jensen functional equation on groups
• scientific article; zbMATH DE number 3739805 (Why is no real title available?)
• Jensen's functional equation on groups
• Jensen's functional equation on groups. II
• Jensen's functional equation on groups. III

Cited in

(6)

• On Jensen's functional equation
• Jensen's functional equation on groups
• Homological methods in the solution of certain functional equations
• Group homomorphisms \(h_i\) such that \(h_1(x_1)\cdots h_n(x_n)=y\) is solvable.
• Jensen's functional equation on groups. III
• A functional equation with a symmetric binary operation

This page was built for publication: Jensen's functional equation on the symmetric group \(S_n\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q657828)