1
$\begingroup$

This is a follow up to this question.

Let $(R,+,\cdot)$ be a finite ring.

Definition Given the dual group $\widehat{R}$ of $(R,+)$, a character $\chi\in\widehat{R}$ is said to be primitive with respect to a collection $\mathcal{C}$ of subgroups of $(R,+)$, if $\chi$ does not descend to a character on any quotient group $R/S$ for all $S\in \mathcal{C}$. To descend here is canonical in the sense that $\chi$ is invariant on the elements of any coset of $R/S$.

My question is the following problem:

Are there any generic non-trivial conditions on $\mathcal{C}$ such that $$\#\{\text{primitive characters in $\widehat{R}$ w.r.t $\mathcal{C}$}\}=\#R^\times,$$ i.e. when does the number of primitive* characters of the abelian group $(R,+)$ w.r.t. $\mathcal{C}$ equal the number of units in $R$?

Qiaochu Yuan's answer here shows that $\mathbb{Z}/n\mathbb{Z}$ is the only example when one considers all proper subquotients. My question is whether a well-defined non-trivial collection of, rather than all proper, quotients leads to an affirmation of the equality above.

$\endgroup$
4
  • $\begingroup$ I've tweaked the title to be more readable. $\endgroup$ Commented Jul 10 at 20:35
  • $\begingroup$ Grateful@Noah Schweber $\endgroup$ Commented Jul 10 at 20:38
  • $\begingroup$ Why are you interested in this condition? $\endgroup$ Commented Jul 10 at 21:16
  • $\begingroup$ It's a question that arose from a research I'm doing on Galois groups. $\endgroup$ Commented Jul 10 at 21:26

0

You must log in to answer this question.

Browse other questions tagged .