what are the examples of elliptic curves defined over $\mathbb{Q}$ with supersingular reduction at a prime $p$ and having a $p$isogeny over $\mathbb{Q}$ ?

$\begingroup$ Have you tried taking $p$ to be small so that $X_0(p)$ has genus 0, and looking for rational points on $X_0(p)$ that lie in the supersingular locus? $\endgroup$ – David Loeffler Aug 28 '13 at 14:47

$\begingroup$ Self pisogeny or pisogeny to possibly some other curve? I guess self won't work because it will be CM and p will have to split in the CM field to get the pisogeny, but then the reduction at p will be ordinary. If it's isogenous to another curve, then David's suggestion is a good one. $\endgroup$ – Felipe Voloch Aug 28 '13 at 15:10
In fact, this cannot happen: an elliptic curve over $\mathbb{Q}_p$ is supersingular if and only if its associated mod $p$ Galois representation is irreducible, but if it is irreducible as a representation of $\mathbb{F}_p[G_{\mathbb{Q}_p}]$ then it is certainly irreducible as a representation of $\mathbb{F}_p[G_{\mathbb{Q}}]$ and thus it has no $p$isogenies.
This argument doesn't work over larger fields: if $K$ is an extension of $\mathbb{Q}_p$ it's no longer true that $E/K$ is supersingular if and only if $E[p]$ is irreducible as a $\mathbb{F}_p[G_{K}]$module, cf. this MSE question. In particular, one can have an elliptic curve $E / \mathbb{Q}$ with a $p$isogeny and bad reduction at $p$, and a number field $F / \mathbb{Q}$ such that $E$ has good supersingular reduction at all primes of $F$ above $p$; my previous suggestion to look for points on $X_0(p)$ gives lots of examples of this.

$\begingroup$ for the same problem can we replace the p isogeny over Q with p isogeny over Q($ \mu_{p} $) and have examples ? ( where $ \mu_{p} $ is a primitive p1 th root of unity.) $\endgroup$ – Suman Aug 28 '13 at 18:25

1$\begingroup$ @Suman, a rough computation tells me that the ramification necessary for this is not $p1$ but $p+1$. This is getting a bit technical, so if you’re strongly interested in this, just email me directly (find my email on my home page), and we can discuss. $\endgroup$ – Lubin Aug 29 '13 at 1:00
I felt that there couldn’t be such an isogeny, but when I saw @DavidLoeffler’s answer, I realized that I had an argument, too. The formal group of the elliptic curve would be of height two, defined over $\mathbb Z_p$, but such things don’t have $p$isogenies: the quotient formal group is definable only over a suitably ramified extension.