A Note on Finitely Generated Modules over a <i>PID</i>

In this note, we provide an effective proof of the fundamental structure theorem of finitely generated modules over a principal ideal domain, from which we find the minimality of decomposition for a finitely generated module over a principal ideal domain.

A Minimality of the Rational Canonical Form

The rational canonical form theorem is very essential basic result of matrix theory, which has been proved by different methods in the literature. In this note, we provide an effcient direct proof, from which the minimality for the decomposition of the rational canonical form can be found.

On the Minimal Polynomial of a Vector

It is well known that the Cayley-Hamilton theorem is an interesting and important theorem in linear algebras, which was first explicitly stated by A. Cayley and W. R. Hamilton about in 1858, but the first general proof was published in 1878 by G. Frobenius, and numerous others have appeared since then, for example see [1,2]. From the structure theorem for finitely generated modules over a principal ideal domain it straightforwardly follows the Cayley-Hamilton theorem and the proposition that there exists a vector v in a finite dimensional linear space V such that and a linear transformation of V have the same minimal polynomial. In this note, we provide alternative proofs of these results by only utilizing the knowledge of linear algebras.

On the Residual Finiteness of a Class of Infinite Soluble Groups

Let A be a completely decomposable homogeneous torsion-free abelian group of rank n(n≥2).Let m(n)=A×(a)be the split extension of A by an automorphismαwhich is a cyclic permutation of the direct components twisted by a rational integer m.Then Om(n)is an infinite soluble group.In this paper,the residual finiteness of Om(n)is investigated.

Automorphism Groups of Some Finite p-Groups

The automorphism group of G is determined, where G is a nonabelian p-group given by a central extension as 1→Zpm→G→Zp×…×Zp→1 such that its derived subgroup has order p.

Two Notes on Auto morphisms of Modules over a PID

Let Z>be a principal ideal domain(PID)and M be a module over D.We prove the following two dual results:(i)If M is finitely generated and rr,y are two elements in M such that M/Dx≌M/Dy,then there exists an auto morphism a of M such that a(x)=y.(ii)If M satisfies the minimal cond计ion on submodules and X,Y are two locally cyclic submodules of M such that M/X≌M/Y and X≌Y,then there exists an automorphism a of M such that α(X)=Y.

The Automorphism Group of a Finite p-Group with a Cyclic Frattini Subgroup

Let G be a finite p-group with a cyclic Frattini subgroup. In this paper, the automorphism group of G is determined.

On Non-commuting Sets in Certain Finite p-Groups

Let G be a group. A subset X of G is said to be non-commuting if xy ≠ yx for any x, y ∈ X with x ≠ y. If {X}≥ IYI for any other non-commuting set Y in G, then X is said to be a maximal non-commuting set. In this paper, the bound for the cardinality of a maximal non-commuting set in a finite p-group G is determined, where G is a non-abelian p-group given by a central extension as1 → Zp→ G →Zp ×→ × Zp →1 and its derivedsubgroup has order p.

Regular automorphisms of order p2

Let G be a group,and let a be a regular automorphism of order p2 of G,where p is a prime.If G is polycyclic-by-finite and the map φ:G→G defined by=g^φ,[g,a]is surjective,then G is soluble.If G is polycyclic,then CG(a^p)and G/[G,a^p]are both nilpotent-by-finite.