 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations .(November 2020) |
In mathematics, more specifically in the field of ring theory, a ring R has the invariant basis number (IBN) property if all finitely generated free left modules over R have a well-defined rank. In the case of fields, the IBN property becomes the statement that finite-dimensional vector spaces have a unique dimension.
A ring R has invariant basis number (IBN) if for all positive integers m and n, Rm isomorphic to Rn (as left R-modules) implies that m = n.
Equivalently, this means there do not exist distinct positive integers m and n such that Rm is isomorphic to Rn.
Rephrasing the definition of invariant basis number in terms of matrices, it says that, whenever A is an m-by-n matrix over R and B is an n-by-m matrix over R such that AB = I and BA = I, then m = n. This form reveals that the definition is left–right symmetric, so it makes no difference whether we define IBN in terms of left or right modules; the two definitions are equivalent. [1]
Note that the isomorphisms in the definitions are not ring isomorphisms, they are module isomorphisms, even when one of n or m is 1.
The main purpose of the invariant basis number condition is that free modules over an IBN ring satisfy an analogue of the dimension theorem for vector spaces: any two bases for a free module over an IBN ring have the same cardinality. Assuming the ultrafilter lemma (a strictly weaker form of the axiom of choice), this result is actually equivalent to the definition given here, and can be taken as an alternative definition.
The rank of a free module Rn over an IBN ring R is defined to be the cardinality of the exponent m of any (and therefore every) R-module Rm isomorphic to Rn. Thus the IBN property asserts that every isomorphism class of free R-modules has a unique rank. The rank is not defined for rings not satisfying IBN. For vector spaces, the rank is also called the dimension. Thus the result above is in short: the rank is uniquely defined for all free R-modules iff it is uniquely defined for finitely generated free R-modules.
Any field satisfies IBN, and this amounts to the fact that finite-dimensional vector spaces have a well defined dimension. Moreover, any commutative ring (except the zero ring) satisfies IBN, [2] as does any left-Noetherian ring and any semilocal ring.
Let A be a commutative ring and assume there exists an A-module isomorphism . Let the canonical basis of An, which means is all zeros except a one in the i-th position. By Krull's theorem, let I a maximal proper ideal of A and . An A-module morphism means
because I is an ideal. So f induces an A/I-module morphism , that can easily be proven to be an isomorphism. Since A/I is a field, f' is an isomorphism between finite dimensional vector spaces, so n = p.
An example of a nonzero ring that does not satisfy IBN is the ring of column finite matrices , the matrices with coefficients in a ring R, with entries indexed by and with each column having only finitely many non-zero entries. That last requirement allows us to define the product of infinite matrices MN, giving the ring structure. A left module isomorphism is given by:
This infinite matrix ring turns out to be isomorphic to the endomorphisms of a right free module over R of countable rank. [3]
From this isomorphism, it is possible to show (abbreviating ) that S ≅ Sn for any positive integer n, and hence Sn ≅ Sm for any two positive integers m and n. There are other examples of non-IBN rings without this property, among them Leavitt algebras. [4]
IBN is a necessary (but not sufficient) condition for a ring with no zero divisors to be embeddable in a division ring (compare field of fractions in the commutative case). See also the Ore condition.
Every nontrivial division ring or stably finite ring has invariant basis number.
Every ring satisfying the rank condition (i.e. having unbounded generating number) must have invariant basis number. [5]
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσοςisos "equal", and μορφήmorphe "form" or "shape".
In mathematics, a Lie group is a group that is also a differentiable manifold.
Linear algebra is the branch of mathematics concerning linear equations such as:
In mathematics, the dimension of a vector space V is the cardinality of a basis of V over its base field. It is sometimes called Hamel dimension or algebraic dimension to distinguish it from other types of dimension.
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. Informally, a ring is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series.
In mathematics, an algebra over a field is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition and scalar multiplication by elements of a field and satisfying the axioms implied by "vector space" and "bilinear".
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.
In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free-modules, the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition.
In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers. Ring theory studies the structure of rings, their representations, or, in different language, modules, special classes of rings, as well as an array of properties that proved to be of interest both within the theory itself and for its applications, such as homological properties and polynomial identities.
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of module generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers.
In abstract algebra, a matrix ring is a set of matrices with entries in a ring R that form a ring under matrix addition and matrix multiplication. The set of all n × n matrices with entries in R is a matrix ring denoted Mn(R) (alternative notations: Matn(R) and Rn×n). Some sets of infinite matrices form infinite matrix rings. A subring of a matrix ring is again a matrix ring. Over a rng, one can form matrix rngs.
In mathematics, an algebraic torus, where a one dimensional torus is typically denoted by , , or , is a type of commutative affine algebraic group commonly found in projective algebraic geometry and toric geometry. Higher dimensional algebraic tori can be modelled as a product of algebraic groups . These groups were named by analogy with the theory of tori in Lie group theory. For example, over the complex numbers the algebraic torus is isomorphic to the group scheme , which is the scheme theoretic analogue of the Lie group . In fact, any -action on a complex vector space can be pulled back to a -action from the inclusion as real manifolds.
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid M is a certain abelian group. This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic image of M will also contain a homomorphic image of the Grothendieck group of M. The Grothendieck group construction takes its name from a specific case in category theory, introduced by Alexander Grothendieck in his proof of the Grothendieck–Riemann–Roch theorem, which resulted in the development of K-theory. This specific case is the monoid of isomorphism classes of objects of an abelian category, with the direct sum as its operation.
The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise. For example, the direct sum , where is real coordinate space, is the Cartesian plane, . A similar process can be used to form the direct sum of two vector spaces or two modules.
In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely two rings like R, S are Morita equivalent if their categories of modules are additively equivalent. It is named after Japanese mathematician Kiiti Morita who defined equivalence and a similar notion of duality in 1958.
In mathematics, a refinement monoid is a commutative monoid M such that for any elements a0, a1, b0, b1 of M such that a0+a1=b0+b1, there are elements c00, c01, c10, c11 of M such that a0=c00+c01, a1=c10+c11, b0=c00+c10, and b1=c01+c11.
In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitely generated modules over a principal ideal domain (PID) can be uniquely decomposed in much the same way that integers have a prime factorization. The result provides a simple framework to understand various canonical form results for square matrices over fields.
In mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different. Equivalently, a noncommutative ring is a ring that is not a commutative ring.
