The last time I wrote about p-adic and real numbers. As I mentioned there, p-adic numbers are simpler in the sense that you can easily compute last nn digits of the result having only the last digits of summands or multipliers.

And this is great advantage of their definition. To define the multiplication and summation of real numbers, you should have these operations defined on rational numbers (and some properties of these operations proved). Then, having defined the metric on Q\Bbb{Q}, one completes this set and redefines the operations by continuity. Yes, this is not the simple thing, but I hope you remember it from university mathematics courses.

Just the opposite thing with p-adic numbers. The definition of addition and multiplication is quite straightforward. But what is more interesting, there is an abstract construction, which can be used to define p-adic numbers. The construction is called the inverse limit

Remember I was talking about understanding a p-adic number as some limit? Let us consider now only p-adic integers, these are not usual integers. They may have infinitely many nonzero digits, but all the digits after the dot should be zero. Hereinafter in all the examples p=7.
  ...4123490       integer
  ...3459902.0     integer
  ...3459902       integer (the same as previous one)
      ...234       integer
  ...2314123.456   non-integer
      ...000.001   non-integer

Let us now consider only integer numbers. This set is closed under the operations of addition and multiplication. Moreover, the last nn digits of the result is fully defined by the last nn digits of operands. 

    ...35143  +  ...01251  =  ...36424

           3  +         1  =         4
          43  +        51  =        24
         143  +       251  =       424
        5143  +      1251  =      6424
       35143  +     01251  =     36424
         ...  +       ...  =       ...
Easy to see (and easy to prove using series representation) that truncations in nnth line behave as residues modulo 7n7^n. And the same is correct for multiplication.
Why like residues? They are residues! Every p-adic integer can be considered as a sequence of residuals modulo pn,  n=1,2,...p^n, \; n=1,2, .... For instance,

    3 mod 77
   43 mod 727^2
  143 mod 737^3
 5143 mod 747^4
35143 mod 757^5
result: ...35143

Note that you cannot just take a sequence of arbitrary residues like

x1x_1    3 mod 77
x2x_2   52 mod 727^2
x3x_3  413 mod 737^3
x4x_4 6556 mod 747^4
result: ...???

The residues should be consistent one with the others, namely, xn=xn+1  mod  pnx_n = x_{n+1} \; \text{mod} \; p^n, and that is what inverse limit is. To put is simply, there is a sequence of sets X1,X2,...X_1, X_2, .... And some morphisms fn+1,nf_{n+1,n} from Xn+1X_{n+1} to XnX_n. The inverse limit (denoted by lim⁡⟵Xi \lim\limits_{\longleftarrow} X_i) is a set of all sequences {xi}:xi∈Xi\{x_i\}: x_i \in X_i, such that the following consistency properties are satisfied:
fn+1,n(xn+1)=xn f_{n+1,n}(x_{n+1}) = x_n
In the case under consideration Xn=Z/pnZX_n = \Bbb{Z} / {p^n}\Bbb{Z}, fn+1,n(x)=x  mod  pnf_{n+1,n} (x) = x \; \text{mod} \; p^n.
The most important moment: we have addition and multiplication defined on each XnX_n, and fn+1,nf_{n+1,n} preserve these operations (they are homomorphisms). That's how we obtain multiplication and addition in the ring p-adic integers:  the result would satisfy consistency properties.

This is the simplest and the most vivid example of inverse limit, wikipedia article contains the general case with posets. Well, as you can see, this is purely algebraic construction, and mathematically it is more natural.

Exercise#1 (very easy): find cardinality of the set of p-adic numbers.
Exercise#2: recall that the distance between two p-adic numbers was defined as p−np^{-n}, where nn is the number of rightest digit in which two numbers do not coincide. Can we take 2−n2^{-n} as the distance?
Exercise#3: prove that one can subtract two p-adic integer numbers.

Mapping Rational Numbers

The thing that is maybe not so obvious is that all nonzero p-adic numbers are invertible (thus we have division operation). It is small but very helpful exercise. The second fact is p-adic numbers contain natural ones

Let us take some natural number in radix-7:  41524, for instance. The corresponding p-adic is ...000041524 = (0)41524, that is just has infinite number of zeros added to the left.

Now try to guess what is this number equal to:   .....666666?

The answer is -1. You may be wondering why. Try to add 1 and you will obtain zero. Or subtract one from zero.
The second way to see this is to compute -1 modulo 7n7^n. Each time you will get 66...666...6 (nn times 6).

If you have ever learned something about C programming language or assembler, this should remind you something...

If it doesn't, let me help you 

00000001 = 1
00000000 = 0
11111111 = -1
11111110 = -2

Right, it is the two-complement number representation. The ...666666 is the 7-complement notion of -1. It arises naturally in the p-adic numbers though in CS courses may look a bit strange.

Let's now think of rational numbers. Once we have division, our field of p-adic numbers should contain 1/2,1/3,1/51/2, 1/3, 1/5 and so on.

What we can say immediately is that 7-adic form of 1/71/7 is
...00000.1
and the form of 1/491/49 is
...00000.01
and so on. But what about 1/41/4? Let us compute it from the equation (remember all the numbers are in radix-7!)
...0004×x=...0001=(−1)×(−1)=(−1)×...66666...0004 \times x = ...0001 = (-1)\times(-1) = (-1) \times ...66666 x=(−1)×...66666/4=(−1)×...010101×667/47x = (-1) \times ...66666 / 4 = (-1) \times ...010101 \times 66_7 / 4_7 Some simple computations now: 667/47=4810/410=1210=157 66_7 / 4_7 = 48_{10} / 4_{10} = 12_{10} = 15_7 And the last step: x=(−1)×...010101×157=...151515=...515152 x = (-1) \times ...010101 \times 15_7 = ...151515 = ...515152

Exercise#4: Make sure that 4×...515152=...0000014 \times ...515152 = ...000001
Exercise#5: Compute 1/51/5 in the same way. Hint: 66667=240010=5×48010=125176666_7 = 2400_{10} = 5 \times 480_{10} = 1251_7

This is not the only way to divide p-adic numbers, you may try to invent the other procedure (long division in p-adic numbers). As one can notice, the rational numbers in p-adic notion look very similar to their notion in real numbers, namely, their notion is periodic to the left starting from some point.