Are angular momentum and torque as fundamental as linear momentum and force?
Noether's theorem relates the conservation laws to the symmetries of space. More specifically:
- the conservation of linear momentum follows from the homogeneity of space, i.e., the invariance of the physical laws in respect to translation.
- the conservation of energy follows from the homogeneity of time
- the conservation of angular momentum follows from the isotropy of space, i.e., the invariance in respect to rotations/directions.
The caveat is that these arguments are made within the context of classical mechanics, where these symmetries are fundamental, while the equations of motion follow. Newtonian mechanics studied in school and early university courses takes a different approach: it postulates the three Newton's laws, which allow to derive the rest. In other words, the additional laws formulated in the question are not necessary. In addition, they seem to be based on a narrow interpretation of Newton's laws, as applying only to linear forces and momentum - which is probably an impression given by a particular textbook.
Let me also not that the formulation of the first law given here (and in many textbooks) is inadequate - it makes it look as a particular case of the second law (for zero acceleration). What the first law really says is that there are such reference frames, where a body, acted upon by a net zero force, will move with a constant velocity. In other words, it postulates the existence of inertial reference frames, in which the second and the third law apply. The formulation given in most textbooks is mathematically equivalent, but switches the cause and the consequence.
You are right that additional laws are necessary. This is because, as you point out, from the perspective of Noether's theorem, rotational symmetry is something that is distinct and irreducible in its own right to translational symmetry. A simple counterexample to the reducibility of rotational symmetry is "taxicab geometry", which is a space in which instead of the distance formula being
$$d(P, Q) = \sqrt{(Q_x - P_x)^2 + (Q_y - P_y)^2}$$
it is
$$d_T(P, Q) := |Q_x - P_x| + |Q_y - P_y|$$
where $P = (P_x, P_y)$ and $Q = (Q_x, Q_y)$ are whatever two points we want to consider. The latter has only a finite rotational symmetry group, but its translational symmetry is as good as Euclidean geometry.
However, three laws are not required, though it is definitely more intuitive and natural-feeling to start with such a presentation. One extra law is sufficient:
- The forces exerted by two bodies upon each other act only along the line between them. [1]
That is to say, if $\mathbf{F}_{12}$ is the force that body 1 exerts on body 2, that, using the cross product to check parallelism,
$$\mathbf{F}_{12} \times \mathbf{r}_{12} = \mathbf{0}$$
which you can see is literally the statement that there is no torque ($\mathbf{r} \times \mathbf{F})$ in the system resulting from the two bodies alone, i.e. there are no self-torquing systems. (You don't need a corresponding statement for $\mathbf{F}_{21}$ because Newton's third law already constraints that from $\mathbf{F}_{12}$).
It seems to me there is a duality between linear mechanics and angular mechanics. Uniform motion along the circumference of a circle can be represented as a superposition of two perpendicular harmonic oscillations. Conversely, linear harmonic oscillation can be represented as a superposition of two counterrotating circular motions. (For instance, the motion of the bob of a Foucault pendulum can be represented as a superposition of solutions for the motion of a conical pendulum. In the mathematical solution the counterclockwise and clockwise motion have a different period, which corresponds to veering of the plane of swing.)
The following diagram expresses Newton's first law, and it also expresses an area law. Newton used that area law for his derivation of Kepler's law of areas from first principles.
In the absence of any net force an object will move along a straight line (ABCDE), covering equal distances in equal intervals of time.
Also, with respect to point 'S' the object sweeps out equal areas in equal intervals of time.
In terms of newtonian mechanics:
In order for a linear momentum to exist a single spatial dimension is sufficient, and motion in three spatial dimension can be represented as a superposition of three motions, one for each spatial dimension.
In order for an angular momentum to exist the minimum number of spatial dimensions is two, of course. Geometrically angular momentum corresponds to area.
In terms of newtonian mechanics angular momentum cannot be defined in the absence of any force. The absolute minimum configuration is two point masses that exert a force upon each other, thus each causing change of motion of the other. Then we can pinpoint a single point that we know to be an unaccelerated point: the Common Center of Mass of the two point masses. Generalizing: for angular momentum the common center of mass of all the participating masses is the reference of motion. Only the angular momentum with respect to the common center of mass is consistent.
(Beyond the scope of newtonian mechanics: it may be that a theory of motion is possible in which translational/rotational duality is complete. I don't know.)
As far as newtonian dynamics is concerned: I prefer to think in terms of some form of duality of linear and angular mechanics, so that the two are not independent.
Also, I concur with the statement by contributor Vadim about Newton's first law. I concur that in its historical form the first law is redundant.
With the benefit of hindsight we know that in any theory of motion (Newtonian, SR, GR) the first thing to assert must concern the geometric properties of the arena in which physics is taking place.
Reversing the historical sequence of theories:
GR: the metric of spacetime is described by a solution of the Einstein Field Equations
SR: the metric of spacetime is the Minkowski metric
Newtonian: space has the same symmetries as Euclidean geometry.
In the Principia we see that Newton immediately asserts that it is valid to do vector addition (back then it wasn't called 'vector addition' yet, but it is what Newton was doing/applying.) That is, in order to formulate newtonian mechanics it must be granted that Euclidean geometry is a valid model for the geometric properties of physical space.
In terms of Euclidean geometry symmetry under rotation is implicit.