MathDB
Set: {f(r,r):r in S}=S

Source: ISI (BS) 2007 #6

April 11, 2012
functionalgebra unsolvedalgebra

Problem Statement

Let S={1,2,,n}S=\{1,2,\cdots ,n\} where nn is an odd integer. Let ff be a function defined on {(i,j):iS,jS}\{(i,j): i\in S, j \in S\} taking values in SS such that (i) f(s,r)=f(r,s)f(s,r)=f(r,s) for all r,sSr,s \in S (ii) {f(r,s):sS}=S\{f(r,s): s\in S\}=S for all rSr\in S
Show that {f(r,r):rS}=S\{f(r,r): r\in S\}=S