抽象代数中一定理的证明过程有一处不懂.

抽象代数中一定理的证明过程有一处不懂.
定理：设有n次置换τ = ( 1 2 ...n )
( i1 i2 ...in )
则对任意n次置换σ,有
στσ^(-1) = ( σ(1) σ(2) ...σ(n) )
( σ( i1) σ( i2) ...σ(in) )
证明过程中有这么一步：
( σ(1) σ(2) ...σ(n) ) 乘 σ
( σ( i1) σ( i2) ...σ(in) )
＝ ( σ(1) σ(2) ...σ(n) ) 乘 ( 1 2 ...n )
( σ( i1) σ( i2) ...σ(in) ) ( σ( 1) σ( 2) ...σ(n) )
＝( 1 2 ...n )
( σ( i1) σ( i2) ...σ(in) )
＝ στ
我的确问了很多低级的问题。我只有两本代数书和一台可上网的电脑。我在网上搜索置换运算行等词时却很难得到有用的信息，如它的定义。我所在的山沟没有人可以问，没有其它的资料。