Abstract:For a totally real field F F , a finite extension F \mathbf {F} of F p \mathbf {F}_p , and a Galois character χ : G F → F × \chi : G_F \to \mathbf {F}^{\times } unramified away from a finite set of places Σ ⊃ { p ∣ p } \Sigma \supset \{\mathfrak {p} \mid p\} , consider the Bloch–Kato Selmer group H := H Σ 1 ( F , χ − 1 ) H:=H^1_{\Sigma }(F, \chi ^{-1}) . The authors previously proved that the number d d of isomorphism classes of (nonsemisimple, reducible) residual representations ρ ̄ {\overline \rho } giving rise to lines in H H which are modular by some ρ f \rho _f (also unramified outside Σ \Sigma ) satisfies d ≥ n := dim F ⁡ H d \geq n:= \dim _{\mathbf {F}} H . This was proved under the assumption that the order of a congruence module is greater than or equal to that of a divisible Selmer group. We show here that if in addition the relevant local Eisenstein ideal J J is nonprincipal, then d > n d >n . When F = Q F=\mathbf {Q} we prove the desired bounds on the congruence module and the Selmer group. We also formulate a congruence condition implying the nonprincipality of J J that can be checked in practice, allowing us to furnish examples where d > n d>n .

Primitive Complete Normal Bases for Regular Extensions: Exceptional Cyclotomic Modules

Normal Bases For Function Fields

On existence of primitive normal elements of rational form over finite fields of even characteristic

Normal Bases on Galois Ring Extensions

Bases of q-Schur Module A(lambda)

Normal Bases on Galois Ring Extensions.

Bases of $Q$-Schur Module $\Mathcal{a}^{\lambda}$

ON THE COMPLEXITY OF THE NORMAL BASES VIA PRIME GAUSS PERIOD OVER FINITE FIELDS

One-dimensional elementary abelian extensions have Galois scaffolding

A Basis of the Q-Schur Module

Generalizations of the primitive and normal basis theorems

A note on quadratic cyclotomic extensions

On the Existence of Some Specific Primitive Elements over Finite Fields of Even Characteristic

Algorithmic constructions and primitive elements in the free group of rank 2

Monogenity in totally real extensions of imaginary quadratic fields with an application to simplest quartic fields

Modularity of residual Galois extensions and the Eisenstein ideal

Differentiably simple rings and ring extensions defined by $p$-basis

Galois Groups And Genera Of A Kind Of Quasi-Cyclotomic Function Fields

Integral Galois Module Structure for Elementary Abelian Extensions with a Galois Scaffold

Uniform exponent bounds on the number of primitive extensions of number fields

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent