SolitaryRoad.com

Website owner:  James Miller


[ Home ] [ Up ] [ Info ] [ Mail ]

Elementary operations on lambda matrices, Equivalence, Smith normal form, invariant factors, elementary divisors




Elementary operations on λ-matrices. The elementary operations on λ-matrices are the same as those for regular matrices, except in Operation 3 the word “constant” is replaced by “polynomial”. An elementary operation on a λ-matrix over polynomial domain F(λ) consists of one of the following operations:


1. Interchanging any two rows or any two columns.

2. Multiplying any row or column by a non-zero constant.

3. Adding to any row the product of any arbitrary polynomial p(x) of F(λ) times another row or adding to any column the product of any arbitrary polynomial p(x) of F(λ) times another column.


We denote the different operations as follows:


Hij – interchange of the i-th and j-th rows

Kij – interchange of the i-th and j-th columns


 Hi(k) – multiplication of the i-th row by the non-zero constant k

Ki(k)– multiplication of the i-th column by the non-zero constant k


 Hij(p(λ)) – addition to the i-th row the product of p(λ) times the j-th row

 Kij(p(λ)) – addition to the i-th column the product of p(λ) times the j-th column


As with regular matrices, corresponding to each operation is an elementary matrix, obtained by performing the elementary operation on the identity matrix In. And it works in the same way as with regular matrices – multiplication by the elementary matrix effects the same transformation as does the operation. We will denote the elementary matrix by the same symbol as we use for the operation.


The following theorems parallel those for regular matrices:


1] Every elementary matrix has an inverse which in turn is an elementary matrix.


2] Every non-singular λ-matrix can be expressed as a product of elementary matrices.


3] The rank of a λ-matrix is invariant under elementary operations.



Equivalence of λ-matrices. Two n-square λ-matrices A(λ) and B(λ) with elements in polynomial domain F[λ] are called equivalent provided there exist non-singular matrices P(λ) and Q(λ) such that


                                     ole.gif



Two mxn λ-matrices are equivalent if and only if they have the same rank.



Theorem. Let A(λ) and B(λ) be equivalent matrices of rank r. Then the greatest common divisor of all s-square minors of A(λ), s ≤ r, is also the greatest common divisor of all s-square minors of B(λ).


  

Smith Normal Form. The Smith Normal Form is a canonical matrix of the form



    ole1.gif




where


            1) Each fi(λ) is a monic polynomial in λ (i.e. each fi(λ) is a polynomial in which the coefficient of the highest power of λ is unity)


            2) Each fi(λ) divides fi+1(λ) (i = 1, 2, ....., r-1)



Theorem. Every λ-matrix A(λ) of rank r can be reduced to the Smith Normal Form by elementary row and column transformations.


That Smith normal matrix N(λ) to which a given matrix A(λ) reduces by elementary row and column transformations is uniquely determined by A(λ). Thus the Smith normal matrices form a canonical set for equivalence over F(λ).



Invariant factors of a Lambda-matrix. The monic polynomials f1(λ), f2(λ), .... , fr(λ) in the diagonal of the Smith normal form of a Lambda-matrix are called the invariant factors of the Lambda-matrix.



Trivial invariant factors of a Lambda-matrix. If an invariant factor of a Lambda-matrix is “1" it is called a “trivial invariant factor”. The first several diagonal elements in the Smith normal form of a Lambda-matrix may be “1" as in



                                                 ole2.gif


If fk(λ) = 1, k ≤ r, then f1(λ) = f2(λ) = .... = fk(λ) = 1.




 

Theorem. Two n-square λ-matrices over F[λ] are equivalent over F[λ] if and only if they have the same invariant factors.




Elementary divisors of a Lambda-matrix. Each invariant factor of an n-square

λ-matrix over f[λ] can be expressed as a product of factors which are irreducible with respect to some number field (i.e. the field of rationals, reals, etc.). Since these irreducible factors may occur in multiples (i.e. powers of an irreducible factor may occur) we can say that an invariant factor f(λ) can be expressed in terms of its irreducible factors as


                    ole3.gif


where p1(λ), p2(λ), .... , pn(λ) are distinct, monic, irreducible polynomials of F[λ].. Each quantity


              ole4.gif


is called an elementary divisor of the corresponding Lambda-matrix. Thus an elementary divisor of a Lambda-matrix is an irreducible factor as raised to some power (the power being the number of times it occurs as a factor of the corresponding invariant factor).


Note. Over the complex field each invariant factor f(λ) can be expressed as a product of the type


              ole5.gif


where λ1, λ2, .... , λn are distinct. Each factor ole6.gif is an elementary divisor of the Lambda-matrix.




Example. Suppose a 10-square λ-matrix A(λ) over the rational field has the Smith normal form


 


ole7.gif




The rank is 5.


The invariant factors are


                         ole8.gif


                         ole9.gif


                         ole10.gif


                         ole11.gif


                         ole12.gif


The elementary divisors are:

                 ole13.gif  


Note that the elementary divisors are not necessarily distinct; In the listing each elementary divisor appears as often as it appears in the invariant factors.




Theorem. Two n-square λ-matrices over F[λ] are equivalent over F[λ] if and only if they have the same rank and the same elementary divisors.






References

  Ayres. Matrix Theory. Chap. 24

  Bocher. Introduction to Higher Algebra. Chap. XX



More from SolitaryRoad.com:

The Way of Truth and Life

God's message to the world

Jesus Christ and His Teachings

Words of Wisdom

Way of enlightenment, wisdom, and understanding

Way of true Christianity

America, a corrupt, depraved, shameless country

On integrity and the lack of it

The test of a person's Christianity is what he is

Who will go to heaven?

The superior person

On faith and works

Ninety five percent of the problems that most people have come from personal foolishness

Liberalism, socialism and the modern welfare state

The desire to harm, a motivation for conduct

The teaching is:

On modern intellectualism

On Homosexuality

On Self-sufficient Country Living, Homesteading

Principles for Living Life

Topically Arranged Proverbs, Precepts, Quotations. Common Sayings. Poor Richard's Almanac.

America has lost her way

The really big sins

Theory on the Formation of Character

Moral Perversion

You are what you eat

People are like radio tuners --- they pick out and listen to one wavelength and ignore the rest

Cause of Character Traits --- According to Aristotle

These things go together

Television

We are what we eat --- living under the discipline of a diet

Avoiding problems and trouble in life

Role of habit in formation of character

The True Christian

What is true Christianity?

Personal attributes of the true Christian

What determines a person's character?

Love of God and love of virtue are closely united

Walking a solitary road

Intellectual disparities among people and the power in good habits

Tools of Satan. Tactics and Tricks used by the Devil.

On responding to wrongs

Real Christian Faith

The Natural Way -- The Unnatural Way

Wisdom, Reason and Virtue are closely related

Knowledge is one thing, wisdom is another

My views on Christianity in America

The most important thing in life is understanding

Sizing up people

We are all examples --- for good or for bad

Television --- spiritual poison

The Prime Mover that decides "What We Are"

Where do our outlooks, attitudes and values come from?

Sin is serious business. The punishment for it is real. Hell is real.

Self-imposed discipline and regimentation

Achieving happiness in life --- a matter of the right strategies

Self-discipline

Self-control, self-restraint, self-discipline basic to so much in life

We are our habits

What creates moral character?


[ Home ] [ Up ] [ Info ] [ Mail ]