Order (ring theory)

Order (ring theory)

In mathematics, an order in the sense of ring theory is a subring \mathcal{O} of a ring R that satisfies the conditions

  1. R is a ring which is a finite-dimensional algebra over the rational number field \mathbb{Q}
  2. \mathcal{O} spans R over \mathbb{Q}, so that \mathbb{Q} \mathcal{O} = R, and
  3. \mathcal{O} is a lattice in R.

The third condition can be stated more accurately, in terms of the extension of scalars of R to the real numbers, embedding R in a real vector space (equivalently, taking the tensor product over \mathbb{Q}). In less formal terms, additively \mathcal{O} should be a free abelian group generated by a basis for R over \mathbb{Q}.

The leading example is the case where R is a number field K and \mathcal{O} is its ring of integers. In algebraic number theory there are examples for any K other than the rational field of proper subrings of the ring of integers that are also orders. For example in the Gaussian integers we can take the subring of the

a + bi,

for which b is an even number. A basic result on orders states that the ring of integers in K is the unique maximal order: all other orders in K are contained in it.

When R is not a commutative ring, the idea of order is still important, but the phenomena are different. For example, the Hurwitz quaternions are a maximal order in the quaternions with rational co-ordinates; they are not the quaternions with integer coordinates in the most obvious sense. Maximal orders exist in general, but need not be maximum orders: there is in general no largest order, but a number of maximal orders. An important class of examples is that of integral group rings.

Because there is a local-global principle for lattices the maximal order question can be examined at a local field level. This technique is applied in algebraic number theory and modular representation theory.

Definition

An order R in a number field K is a subring of K which as a \mathbb{Z}-module is finitely generated and of maximal rank n = deg(K) (note that we use the "modern" definition of a ring, which includes the existence of the multiplicative identity 1).[1]

References

  1. ^ Henri Cohen, A Course in Computational Algebraic Number Theory 3rd corrected printing, pp. 181, 1996, Springer

See also


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Order (number theory) — In number theory, the order of an element a pmod{n} is the smallest integer k such that a^k equiv 1pmod{n}. Note that the order is only defined when gcd(a,n) = 1, i.e. a and n are coprimes.By Euler s theorem, the order (mod n) must divide phi(n) …   Wikipedia

  • Ideal (ring theory) — In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring. The ideal concept allows the generalization in an appropriate way of some important properties of integers like even number or multiple of 3 . For instance, in… …   Wikipedia

  • Domain (ring theory) — In mathematics, especially in the area of abstract algebra known as ring theory, a domain is a ring such that ab = 0 implies that either a = 0 or b = 0.[1] That is, it is a ring which has no left or right zero divisors. (Sometimes such a ring is… …   Wikipedia

  • O-Ring theory of economic development — The O Ring Theory of Economic Development is a model of economic development put forward by Michael Kremer which proposes that tasks of production must be executed proficiently together in order for any of them to be of high value. The key… …   Wikipedia

  • Order (mathematics) — Contents 1 In algebra 2 In arithmetic 3 In analysis 4 …   Wikipedia

  • Order (algebra) — In algebra, order may refer to* Degree of a polynomial * Order (ring theory) * Order (group theory) See also * Ordered group * Ordered field …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Ring of integers — In mathematics, the ring of integers is the set of integers making an algebraic structure Z with the operations of integer addition, negation, and multiplication. It is a commutative ring, and is the prototypical such by virtue of satisfying only …   Wikipedia

  • Ring of Pietroassa — The Ring of Pietroassa (or Buzău torc) is a gold torc like necklace found in a ring barrow in Pietroassa (now Pietroasele), Buzău County, southern Romania (formerly Wallachia), in 1837. It formed part of a large gold hoard (the Pietroasele… …   Wikipedia

  • Ring v. Arizona — SCOTUSCase Litigants=Ring v. Arizona ArgueDate=April 22 ArgueYear=2002 DecideDate=June 24 DecideYear=2002 FullName=Timothy Stuart Ring v. Arizona USVol=536 USPage=584 Citation=122 S. Ct. 2428; 153 L. Ed. 2d 556; 2002 U.S. LEXIS 4651; 70 U.S.L.W.… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”