Let $p$ be an odd prime and $G=(\mathbb Z/(p))^\times=\{1,2,...,p-1\}$ i.e. $G$ is a cyclic group of order $p-1$. Let $\hat G:=\{\chi:G \to \mathbb C^\times : \chi $ is a group homomorphism $\}$. For any set $X$, let $\mathbb C^X$ denote the set of all functions from $X$ to $\mathbb C$, and note that this can be given a usual $\mathbb C$-algebra structure as $(f+g)(x):=f(x)+g(x),\forall x\in X$ ; $(f.g)(x)=f(x)g(x), \forall x\in X$, and $(k.f)(x):=kf(x),\forall x\in X$.

Let $n=p-1$, let $\omega =e^{2\pi i/p}$ and define a function

$f:M(n,\mathbb C) \to \mathbb C^\hat G$ as $f(A)(\chi)=\begin{pmatrix} \chi(1) & ... & \chi(p-1) \end{pmatrix} A \begin{pmatrix} \omega \\ \omega^2 \\ .\\.\\. \\ \omega^n \end{pmatrix} , \forall A \in M(n,\mathbb C), \forall \chi \in \hat G$.

It easily follows that $f$ is a $\mathbb C$-linear function.

Moreover, $f(A)=0 \implies A \begin{pmatrix} \omega \\ \omega^2 \\ .\\.\\. \\ \omega^n \end{pmatrix}=0$. From this, it follows that since the minimal polynomial of $\omega $ over $\mathbb Q$ has degree $p-1=n$, so $A \in M(n, \mathbb Q)$ and $A \begin{pmatrix} \omega \\ \omega^2 \\ .\\.\\. \\ \omega^n \end{pmatrix}=0 \implies A=O$, thus $A \in M(n, \mathbb Q)$ and $f(A)=0 \implies A=O$.

Now my questions are the following :

(1) For every $A,B \in M(n, \mathbb Q)$, does there exist $C \in M(n, \mathbb Q)$ such that $f(A).f(B)=f(C)$ ? (Notice that such a $C$, if exists, must be unique)

(2) How to show that there exists Hermitian matrices $A_1,...,A_n$ of rank $1$ such that $f(I)=f(A_1)+...+f(A_n)$ and $f(A_j)f(A_k)=0, \forall j \ne k$ ? (may be this has something to do with Orthogonality of characters ?)


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.