For a two-identical particles system we can define the permutation operator
as the linear operator whose action on the basis vector is given by:

.
This operator satisfies the following properties:
- it is hermitian:


- from the previous properties it follows that
is unitary: 
For a number
of identical particles the situation is more complex. There are indeed
permutation operators, which we'll call
, with
referring to an arbitrary permutation. It is simple to prove that the permutation operators do not commute with each other. Furthermore, the properties which we have seen to be valid for
are not necessary respected by
. However we can define transposition operators as linear operators which exchange the roles of two particles without changing the others. Of course the pecularity of
is that the only permutation operator is also a transposition operator. This is why it has the properties previously written. Since any permutation operators can be broken down into the product of transposition operators, which are unitary,
are also unitary. However they are not necessary hermitian and the decomposition is not unique, even if it can be shown that the parity of transposition operators that constitues a permutation operator
is always the same. This allows us to define a parity for permutation operators,according to the eveness or oddness of the number of transposition operators in their decomposition.
Since permutation operators do not commute with each other it is not possibile to form a basis of common eigenvectors. Nevertheless there exist special kets which are simultaneously eigenvectors of all permutation operators. These kets are the ones completely symmetric and completely antisymmetric with respect to all permutation operators:

The symmetrization postulate[edit | edit source]
The set of
constitutes a vector subspace
of the state space, as well as the set of
. However the state space
is not the direct sum of
and
. There exist indeed kets which aren't neither completely symmetric nor antisymmetric.
However the symmetrization postulate saves us, since it states that in system composed of identical particles physical kets are, depending on the nature of the identical particles,either completely symmetric or completely antisymmetric with respect to permutation of these particles. Those particles whose physical kets are completely symmetric are called bosons and those for which physical kets are completely antisymmetric are called fermions.
This postulate limits the state space: it is no longer the tensor product of the state spaces of each identical particle, but just a subspace,
for bosons and
for fermions.
A never contradicted empirical rule enable us to identify fermions with particles of half-integral spin (elecrtons,positrons,neutrons,protons,muons,etc) and bosons with particles of integral spin (photons,mesons,etc).
This is called spin-statistics theorem and it is proved in quantum field theory.
Permutation operators and exchange degeneracy[edit | edit source]
Let
be a ket which can mathematically describe the state of a physical system of N identical particles. Then for all
is also a proper ket for the description of the system state, as well as any ket belonging to the subspace
spanned by
and every
. Depending on the ket
the dimension of
can vary between 1 and
. If this dimension is
there is an exchange degeneracy since several mathematical kets correspond to the same physical state. The new postulate restricts the class of mathematical kets which are proper description of a physical state: they have to belong to
or
according to the nature of identical particles.
In order to prove the uniqueness of the mathematical ket able to describe a physical system (we can call it physical ket) we define the projectors [1] on
and
as:

[2]
They are also called
symmetrizer and
antisimmetrizer since they act on an arbitrary ket belonging to

and give respectively a completely symmetric and completely antisymmetric ket, belonging to

and

. These property can be written as:

They commute with each

and the following properties hold:

Then

We have proved that the action of

and

on kets spanning

give collinear kets, which correspond to the same state. Finally we can state that there is a unique (within a constant factor) ket belonging to

, called physical ket, which is able to describe the physical state of the system:

for bosons and

for fermions.
- ↑ the proof that they are projectors is left to the reader since it is irrelevant for the purpose of this discussion. Suggestion: in order to prove that
and
use the property: 
- ↑ with
defined as previously done