3
$\begingroup$

This is my first post on StackExchange. I had a quick question about notation (appearing in research literature) that I was unable to find by repeated searches, and I was hoping that someone would be able to help.

I am dealing with finite fields $\mathbb{F}_q$, where $q$ is a power of a prime $p$, and a multiplicative character $\chi: \mathbb{F}_q^* \to \mathbb{C}^*$. I want to consider a character satisfying $\chi(\mathbb{F}_q^*)=1$, notation I am not familiar with. If anyone could help me define this or direct me to a source that can, it would be much appreciated.

Thank you very much!

Edit: Please see the comments below for the context of the notation.

  • 2
    *So what this is saying is that* $\hat{B}$ *is the set of characters that is trivial over the base field?* Yep. (Which of course forms an abelian group under pointwise multiplication...)2012-05-23

1 Answers 1

3

To summarize: the notation $\chi(\Bbb F_q^*)=1$ means that the image of $\Bbb F_q^*$ (the base field, minus $0$ of course) is simply $\{1\}$. The set of these $\chi$s, denoted $\hat{B}$, forms an abelian group under pointwise multiplication.