{M : Type u_1} →
  [inst : CommMonoid M] →
    [inst_1 : Fintype M] →
      [inst_2 : DecidableEq M] →
        {R : Type u_2} →
          [inst_3 : CommMonoidWithZero R] →
            {ζ : Rˣ} →
              ζ ∈ rootsOfUnity (Fintype.card Mˣ) R → {g : Mˣ} → (∀ (x : Mˣ), x ∈ Subgroup.zpowers g) → MulChar M R