eu ON A CLASS OF GENERAL LINEAR GROUP WHOSE DETERMINANT IS THE SAME AS THE TRACE

General Linear Groups are examples of Topological Groups. In this work, a class of GL(2, IR) whose trace and determinant are equal is constructed. The proposed GL(2, IR) class is further endowed with Euclidean topology and shown to be a topological group. A sequence of the constructed GL(n, IR) and its generalization are also presented. AMS Subject Classification: 22A05, 22A10, 57P02


Introduction
General Linear Group GL(n, IR) is a group of invertible square matrices of order n and the elements are from the set of real numbers IR.This group is not compact because matrices with positive and negative determinant split it into two groups.That is GL(n, IR) = GL + (n, IR) ∪ GL − (n, IR), where GL + (n, IR) is a group of invertible square matrices with positive determinant and GL − (n, IR) with negative determinant, they are subsets of the matrix algebra M (n, IR).When a Hausdorff topology is defined on this group such that the operations of multiplication and inverse are continuous, the group becomes a topological group, see [1]and [7].The topology of GL(n, IR) is an induced topology from M (n, IR), [1].Let A = (a ij ) and B = (b ij ) be two matrices and let d(A, B) = max i,j |a i,j − b i,j | be the distance between A and B. This defines a metric on the space M (n, IR) and its topology is defined by considering its spherical neighborhood as its basis elements.Since GL(n, IR) ⊂ M (n, IR) it therefore carries an induced topology from M (n, IR).
In this paper, a special kind of GL(n, IR) whose determinant and trace are the same is constructed and is further showed that it is a topological group when endowed with an induced topology from M (n, IR).Multiplication is not necessarily associative in this group, for A, B ∈GL(n,I R), [A, B] = AB − BA.This defines bilinear multiplication on GL(n, IR) hence, it is also a Lie algebra, [6]

Preliminaries
In this section, preliminaries concerning topological groups, Lie groups, Lie algebras and differentiable manifold are presented.

Topological Group :
Let G be a group (considered multiplicatively) on which a (Hausdorff) topology is defined such that the maps In a nutshell, a group G endowed with a Hausdorff topology such that the operations of multiplication and inverse are continuous is called a topological group [2].Examples of topological group are the additive group IR := (IR, +, |.|) of real numbers equipped with the modulus topology, the General Linear group GL(n, R), any abstract group G with the discrete topology assigned to it etc.
According to [1],continuity of multiplication is equivalent to the condition that for g 1 g 2 = g 3 and for any neighborhood Also, continuity of taking inverse is equivalent to the condition that for any neighborhood V of g −1 there exist a neighborhood U of g such that U −1 ⊂ V , where (iii) The collection (U α , ϕ α ) α∈A is a maximal family of open charts for which conditions (i)& (ii) hold [5].

Differentiable Manifold:
A differentiable manifold or a C ∞ -manifold of dimension m is a Hausdorff space endowed with a diffentiable structure of dimension m.Definitions 2.5 to 2.7 are from [4], [2] and [6].The above algebra is called linear associative algebra, the field I F is called the scalar field of A. If I F = IR, A is called a real algebra, and if I F = I C, A is called a complex algebra, The mapping (x, y) −→ xy is called a bilinear vector product.

Lie Algebra:
Let IK be a field of characteristic zero(0) and let g be a vector space over IK. g is said to be a Lie algebra if and only if there is a bilinear multiplication The bilinear multiplication which is the Lie bracket is not necessarily associative.A lie algebra g is said to be finite dimensional if the underlying vector space g is finite dimensional, otherwise the Lie algebra g is infinite dimensional.Lie algebras arise in nature as vector space of linear transformations endowed with a new operation which is in general neither commutative nor associative.A vector subspace k of a Lie algebra g is called a subalgebra of g if In this case k is a Lie algebra under the operation induced from g.A subalgebra k of a Lie algebra g is said to be an ideal if [g,k] ⊆ k.A Lie algebra g is simple if its only ideal are 0 and g.A Lie algebra g is said to be Abelian (= commutative) if [x,y] = [y,x], ∀ x,y ∈ g.

Lie Groups :
A Lie group G is a set that is a C ∞ -manifold and a topological group such that the manifold and the group structures on G are compatible in the sense that the maps (g 1 , g

Main Result
A kind of GL(n, IR) where the determinant is equal to its trace is constructed.As earlier defined, GL(n, IR) is a subset of the algebra M (n, IR) whose determinant is different from zero.In other words, it is a group of invertible matrices.
We construct a sequence below and study some of its properties.
.Consider some of the terms of the sequence of matrix ) be the element in row two and column two of the n th sequence of the matrix M .Let the sequence below be the ascending element of few members of M n (a 2,2 ) listed above Observe that the difference between the first term and the second term is 3, second and third is 5, third and fourth is 7, fourth and fifth is 9. Therefore, the general term for generating elements of M n (a 2,2 ) is presented below We claim that this sequence of matrix whose n th term is given above is a topological group.The sketch of the proof is presented as follows.We restrict our investigation to only square matrices of order two that the trace and determinant are the same.Let A = (a i,j ) represents a typical element in M 2 (IR).We identify M 2 (IR) with the Euclidean space IR 4 by associating A = (a i,j ) with the points (a 11 , a 12 , a 21 , a 22 ).The identification gives us a topology on M 2 (IR) which is the topology of IR.Next we show that the matrix multiplication is continuous.To this end, we examine the formula for the entries of the product matrix.If A = (a ij ) and B = (b ij ), then m(A, B) = AB.The (i, j) th entry of AB is therefore n k=1 a ik b kj .M 2 (IR) has the topology of the product space IR 4 and for each i,j satisfying 1 ≤ i, j ≤ n, we have Π ij := A → a ij : M 2 (IR) → IR which sends a given matrix A to its (i, j) th entry.The multiplication map m is continuous if and only if the composite function are continuous for 1 ≤ j, k ≤ n.The map Π jk • i sends a matrix A to the (j, k) th element of A −1 .Notice that the determinant of A and the cofactor of A are polynomials in the entries of A and the determinant of A does not vanish on GL(2, IR) and our composite map Π jk • i is continuous.This completes the proof that the group of matrices that the trace is equal to the determinant is a topological group.

2. 2
Chart: Let M be a topological space that satisfies the Hausdorff separation axiom.An open chart on M is a pair (U, ϕ) where U is an open subset of M and ϕ is a homeomorphism of U onto an open subset of IR m [5].2.3 Differentiable Structure:A differentiable structure of dimension m on a Hausdorff topological space M is defined as a collection of open charts (U α , ϕ α ) α∈A on M where ϕ α (U α ) is an open subset of IR m with the following conditions: