Suppose that we have an infinite straight wire carrying an electric current I. Let the wire be aligned along the z-axis. The magnetic field generated by such a wire is written

 (1.1)

in Cartesian coordinates, where . The divergence of this field is

 (1.2)

where use has been made of ∂r/∂x = x/r, etc. The divergence of the electric field appeared, at first sight, to be zero, but, in reality, it was a delta-function because the volume integral of ∇ . E was non-zero. Does the same sort of thing happen for the divergence of the magnetic field? Well, if we could find a closed surface S for which  B . dS ≠ 0 then according to Gauss' theorem ∫_V ∇ . B dV ≠ 0 where V is the volume enclosed by S. This would certainly imply that ∇ . B is some sort of delta-function. So, can we find such a surface? The short answer is, no. Consider a cylindrical surface aligned with the wire. The magnetic field is everywhere tangential to the outward surface element, so this surface certainly has zero magnetic flux coming out of it. In fact, it is impossible to invent any closed surface for which  B. dS ≠ 0 with B given by Eq. (1.1) (if you do not believe me, try it yourselves!). This suggests that the divergence of a magnetic field generated by steady electric currents really is zero. Admittedly, we have only proved this for infinite straight currents, but, as will be demonstrated presently, it is true in general. If ∇ . B = 0 then B is a solenoidal vector field. In other words, field lines of B never begin or end; instead, they form closed loops. This is certainly the case in Eq. (1.1) where the field lines are a set of concentric circles centred on the z-axis. In fact, the magnetic field lines generated by any set of electric currents form closed loops, as can easily be checked by tracking the magnetic lines of force using a small compass. What about magnetic fields generated by permanent magnets (the modern equivalent of loadstones)? Do they also always form closed loops? Well, we know that a conventional bar magnet has both a north and south magnetic pole (like the Earth). If we track the magnetic field lines with a small compass they all emanate from the south pole, spread out, and eventually reconverge on the north pole. It appears likely (but we cannot prove it with a compass) that the field lines inside the magnet connect from the north to the south pole so as to form closed loops.

Can we produce an isolated north or south magnetic pole; for instance, by snapping a bar magnet in two? A compass needle would always point towards an isolated north pole, so this would act like a negative ''magnetic charge." Likewise, a compass needle would always point away from an isolated south pole, so this would act like a positive ''magnetic charge." It is clear from the diagram that if we take a closed surface S containing an isolated magnetic pole, which is usually termed a ''magnetic monopole", then  B. dS ≠ 0; the flux will be positive for an isolated south pole and negative for an isolated north pole. It follows from Gauss' theorem that if  B. dS ≠ 0  then ∇ . B ≠ 0. Thus, the statement that magnetic fields are solenoidal, or that ∇ . B = 0, is equivalent to the statement that there are no magnetic monopoles. It is not clear, a priori, that this is a true statement. In fact, it is quite possible to formulate electromagnetism so as to allow for magnetic monopoles. However, as far as we know, there are no magnetic monopoles in the universe. At least, if there are any then they are all

hiding from us! We know that if we try to make a magnetic monopole by snapping a bar magnet in two then we just end up with two smaller bar magnets. If we snap one of these smaller magnets in two then we end up with two even smaller bar magnets. We can continue this process down to the atomic level without ever producing a magnetic monopole. In fact, permanent magnetism is generated by electric currents circulating on the atomic scale, so this type of magnetism is not fundamentally different to the magnetism generated by macroscopic currents. In conclusion, all steady magnetic fields in the universe are generated by circulating electric currents of some description. Such fields are solenoidal; that is, they form closed loops and satisfy the field equation

 (1.3)

This, incidentally, is the second of Maxwell's equations. Essentially, it says that there are no such things as magnetic monopoles. We have only proved that ∇ . B = 0 for steady magnetic fields but, in fact, this is also the case for time dependent fields.