Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
Unless this is a horrible clash of notation, this just means that the character is trivial, no? Welcome, by the way. – Dylan Moreland May 23 '12 at 0:29
I think it's just slight abuse of notation saying that the image of the domain under $\chi$ is $\{1\}$, ie the character is trivial as Dylan says. – anon May 23 '12 at 0:31
Given the lack of context, would this article be of any help? – Eugene May 23 '12 at 0:39
That's also what I thought, and on closer inspection, this now makes sense. Just to confirm, this is the way it is used in context: "Let $A=(\mathbb{F}_q[x]/(h(x)))^*$ and $\hat{A}$ denote the group of all characters of $A$. [$h(x)$ is a generic polynomial in $\mathbb{F}_q[x]$ of degree $d$.] Let $\hat{B}=\{\chi \in \hat{A}\ |\ \chi(\mathbb{F}_q^*)=1\}$, an abelian subgroup of order $\leq q^d$." So what this is saying is that $\hat{B}$ is the set of characters that is trivial over the base field? – roninpro May 23 '12 at 0:40
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...) – anon May 23 '12 at 0:48
up vote 3 down vote accepted

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.

share|cite|improve this answer
Thank you very much! – roninpro May 23 '12 at 1:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.