1
$\begingroup$

This question is an interesting one,not like my previous one.

Can we judge the size of a Quotient Group by seeing the size of its constituents ?

To add something ,Suppose consider a group $\rm{G}$ which is defined as $\rm{G=M/N}$ (Quotient Group),then my Question is can we comment the Cardinality(whether finite or not) of the group $\rm{G}$ by knowing that $\rm{M,N}$ are finite.

This Question has a good implication.

This question was actually a result of my analysis of Tate-shafarevich group. We know by the Mordell-Weil Theorem that $E(\mathbb{Q})/\rm{2}E(\mathbb{Q})$ is finite(which is phrased as Weak Mordell-Weil Theorem).

And also we know that "Selmer Group which is defined as the principal homogeneous spaces that $K_v$-rational points for all places $v$ of $K$ is finite .

But I understood that

$Ш(E/\mathbb{Q})=[\rm{Sel}(E/\mathbb{Q})/(E(\mathbb{Q})/\rm{2}E(\mathbb{Q})]$ * And the Finiteness of Tate-Shafarevich Group is an Open question , So we know that as Selmer Group and $E(\mathbb{Q})/\rm{2}E(\mathbb{Q})$ are finite ,So can we comment about the finiteness of $Ш(E/\mathbb{Q})$?

Like some one told that
If $G=M/N$ and $M$ is finite, then $G$ must be finite: quotient of a finite group is necessarily finite.

But according to that ,it will imply that the Group $Ш(E/\mathbb{Q})$ will be finite,as Selmer and $E(\mathbb{Q})/\rm{2}E(\mathbb{Q})$ are finite,which solves the problem in determining the finiteness of Tate-Shafarevich Group.But i think that this is not the case,as its an Age-old problem,and it doesnt turn out to be so simple


*:That expression of Tate-Shafarevich Group was a result of my thinking ,and i fear that it may not be true,as no one neither in Stack exchange nor in Mathoverflow helped me in knowing what is $Ш(E/\mathbb{Q})$.


Note:Anyone putting downvotes are humbly requested to post the reason,which helps in fixing my errors and moulding me,

Thanks everyone, Cordially, Iyengar.

  • 3
    Does |G/H| = |G| / |H| help?2011-10-19
  • 1
    I'm not entirely sure what you are asking...however, working out $|M/N|$ isn't too hard. One can think of this (sloppily) as $|M|/|N|$. So if $M$ is finite then so are $N$ and $M/N$. Similarly, if $M$ is an infinite group but $N$ is finite then $M/N$ is infinite. If both of $M$ and $N$ are infinite then $M/N$ can be either finite or infinite. The fact that both can occur is a not-too-hard exercise...2011-10-19
  • 1
    @iyengar: As far as I know, your formula for Sha is not correct in general; Theorem X.4.2 of Silverman's "Arithmetic of Elliptic Curves" says that if $\phi\colon E/K\to E'/K$ is an isogeny of elliptic curves, then you have an exact sequence $$0\to E'(K)/\phi(E(K)) \to S^{(\phi)}(E/K) \to \text{Ш}(E/K)[\phi]\to 0,$$and you seem to want to take $\phi$ to be multiplication by $2$. But the group on the right is not all of the Tate-Shafarevich group, it's only the group you obtain by restricting to the kernel of the isogeny, and the middle part is not the whole Selmer group either.2011-10-19
  • 0
    But let me say in general sir,We know that Selmer group is the group consisting of homogeneous spaces that have points over locals,and $E(\mathbb{Q})/2E(\mathbb{Q})$ is the set of spaces that have Points over $\mathbb{Q}$,so literally the Shaferevich group is a group that have points over all locals but not on $\mathbb{Q}$ which will be a quotient of Selmer over $E(\mathbb{Q})/\rm{2}E(\mathbb{Q})$2011-10-19
  • 1
    @iyengar: So my thought is that the expression that you "fear may not be true" is in fact *not* true, or at least not known to be true.2011-10-19
  • 2
    @iyengar: I don't know enough to comment: I can only point you to the fact that your claim seems to disagree with the theorem I quoted, to note that you yourself say that nobody seems to be able to confirm your formula, and to echo Mariano in saying "if the expression were so simple, and the result so stupid, somebody would have noticed by now." And forgive me if I find it somewhat incredible that you can find a simple expression for the group Sha when you (i) confess you don't really know what Sha is, and (ii) you don't know the rather basic fact that a quotient of a finite group is finite.2011-10-19
  • 0
    @Arturo Magidin:But let me wait for some Expert in Tate-shafarevich group to figure-out where i am missing my point ,any way thanks sir2011-10-19
  • 7
    I did not downvote anything here, but I *really* wish you spent an extra 2 minutes making sure what you write is at least properly spaced---it is not hard to follow the very trivial rules of capitalization and spacing between words and punctuation, and the improvement in readability would be immense (and there is **rarely** any need to write more than *one* question mark!)2011-10-19
  • 0
    Thank you sir,but i have surely improved based on your suggestion@MarianoSuárez-Alvarez2011-10-19
  • 0
    From what I can tell, the Selmer group is always defined relative to some isogeny; so that you don't have a "generic" Selmer group. In that case, the quotient you get only gives you the part of the Sha group restricted to the kernel of the isogeny. For the multiplication-by-two isogeny you only get the $2$-primary part of the Sha group, and knowing that the 2-primary part of the Sha group is finite is not sufficient to conclude that Sha group is finite (even knowing that each $m$-primary part is finite need not be sufficient).2011-10-19
  • 0
    @ArturoMagidin:fantastic answer sir,thank you,now i understood where the problem was ,and regarding your below comment about "Riemann Zeta function"...there is no need to make such degrading criticisms ,as i myself have agreed that there was a problem ,and i told the same thing that "finiteness of TS group is not known ,and i dont think that the proof turns out to be so simple",read the question one more time carefully,and i have never mentioned that the finiteness of TS-group is proved,i was just wondering that how could that be so simple,and i wanted to spot the error2011-10-20
  • 0
    Now I realized that i was talking about 2-selmer group,like you have said2011-10-20

1 Answers 1

3

For any group $G$, if $M$ is a group, $N$ is a subgroup of $M$, and $G\cong M/N$, then $|G||N| = |M|$ in the sense of cardinality.

This because the underlying set of $G$ is the set of equivalence classes of $M$ modulo $N$. These equivalence classes partition $M$, so if $\{m_i\}_{i\in I}$ are a complete set of coset representatives for $N$ in $M$, then $$|M| = \left|\bigcup_{i\in I}m_iN\right| = \sum_{i\in I}|m_iN| = \sum_{i\in I}|N| = |I||N|,$$ the next-to-last equality because $mN$ is bijectable with $N$ for every $m\in M$. Since the number of equivalence classes is $I$, $|G|=|I|$, so we get $|G||N|=|M|$.

In particular, if $M$ is finite, then necessarily $G$ is finite.

Are you sure this is really what you wanted to ask?

  • 0
    Then it will imply the finiteness of Tate-Shafarevich Group sir2011-10-19
  • 3
    @iyengar: **Only** if your claimed formula is correct in general, which does not seem to me to be the case. Check Theorem X.4.2., p 298, of Silverman's "Arithmetic of Elliptic Curves". The quotient you give is only the $[2]$ part of the Shafarevich group, not the entire thing, and you don't have the entire Selmer group, you only have the $\phi$ part. You yourself note that you "fear the expression may not be true." I would wager it is not true.2011-10-19
  • 5
    @iyengar: don't you think that if the conjecture would be that stupid, someone would have notices a few years ago? ...2011-10-19
  • 0
    @MarianoSuárez-Alvarez:ya thats what i mentioned in my question,read it again,i also said that it wont turn to be so easy in my last edit,if it does turn,then answer me why it wont turn ,ok???2011-10-19
  • 6
    @iyengar: I have to say, your entire "connection to Sha" reads to me like someone saying that they think they have a proof of the Riemann hypothesis, mentioning along the way that they aren't actually very sure about what "the Riemann zeta function" is, and saying that their proof just hinges on whether one can or cannot say that the product of two real numbers is always a real number, or if it sometimes can be a complex number with nonzero imaginary part. In short, not something that can be taken seriously.2011-10-20