# Divisibility of binomial coefficients, countability of N^k.

• Feb 22nd 2011, 04:58 PM
LHS
Divisibility of binomial coefficients, countability of N^k.
If anyone could shed some light on this problem, especially the second part to part a, I would be most grateful!

http://img217.imageshack.us/img217/921/48698386.jpg
• Feb 22nd 2011, 06:25 PM
tonio
Quote:

Originally Posted by LHS
If anyone could shed some light on this problem, especially the second part to part a, I would be most grateful!

http://img217.imageshack.us/img217/921/48698386.jpg

Hmmm...what's the question? How to take the frog out without first melting the ice?

Tonio
• Feb 23rd 2011, 04:07 AM
LHS
Sorry? I don't understand, can you not see the inbeded image?

If not, here it is
http://img217.imageshack.us/img217/921/48698386.jpg
• Feb 23rd 2011, 04:39 AM
tonio
Quote:

Originally Posted by LHS
Sorry? I don't understand, can you not see the inbeded image?

If not, here it is
http://img217.imageshack.us/img217/921/48698386.jpg

I'm afraid somebody's hacked the MHF: all over the place appear those annoying frogs inside ice cubes, and

Anyway, following the link above I get...a frog inside an ice cube again! I don't know what's going on.

Perhaps somebody hacked the imageshack site and now we've been infected...

Tonio
• Feb 23rd 2011, 04:46 AM
LHS
Haha.. right, ok, that certainly explains it! No worries!
• Feb 23rd 2011, 04:47 AM
Ackbeet
Here's the question:

(a) Let $p\in\mathbb{Z}$ be a prime number. Prove that for any natural number $r$ such that $0 the binomial coefficient $p\choose r$ is divisible by $p.$ Hence prove that, for any positive integer $n,$ the integer $n^{p}-n$ is divisible by $p.$

(b) Let $k\in\mathbb{N}$ with $k\ge 2$ and let $\varphi:\mathbb{N}^{k}\to\mathbb{N}$ be given by

$\varphi((a_{1},\dots,a_{k}))=2^{a_{1}+1}\,3^{a_{2} +1}\dots p_{k}^{a_{k}+1},$

where $p_{k}$ is the $k$th prime. Deduce from the Fundamental Theorem of Arithmetic that $\varphi$ is injective and hence that $\mathbb{N}^{k}$ is a countable set for each $k\ge 2.$

[EDIT]: Both links and image are fine for me.