Archimedean Group

In abstract algebra, a branch of mathematics, an Archimedean group is an algebraic structure. It is a set together with a binary operation and binary relation, with both satisfying certain axioms detailed below. We can also say that an Archimedean group is a linearly ordered group for which the Archimedean property holds. For example, the set R of real numbers together with the operation of addition and usual ordering relation (≤) is an Archimedean group.

Definition

In the subsequent, we use the notation na (where n is in the set N of natural numbers) for the sum of a with itself n times. An Archimedean group (G, +, ≤) is a linearly ordered group subject to the following condition: for any a and b in G which are greater than 0, the inequality na ≤ b for any n in 'N' implies a = 0''.

Examples of Archimedean groups

The set of real numbers together with the operation of addition and the usual ordering (≤) is an Archimedean group.

Examples of non-Archimedean groups

An ordered group (G, +, ≤) defined as follows is not Archimedean:
  • G = R × R.
  • Let a = (u, v) and b = (x, y) then a + b = (u + x, v + y)
  • ab iff v < y or (v = y and ux).
Proof: Consider the elements (1, 0) and (0, 1). For all n in N one evidently has n (1, 0) < (0, 1).

Theorems

For each a, b in G there exist m, n in R such that mab and anb.

 

<< PreviousWord BrowserNext >>
colchester
hooper's store
movie encyclopedia
paddy donegan
a special sesame street christmas
marjorie harris
dick spring
shirt
pat rabbitte
mary harney
october 2001
ecodefense
september 2001
august 2001
april 2001
pekeapoo
monkeywrenching
klm uk
billboarding
akc
tree pinning
roman lyashenko
washington and lee university
david kennedy
elisabeth harvor
archimedean property
peter hook
hackers (movie)
bernard sumner
mandola
prison sexuality
huntly, new zealand
treaty of gruber de gasperi
colposcopy
ethan rayne
c.a. pearol
stefan cel mare
superuser
root (mathematics)
root (linguistics)
root (disambiguation)
sheremetyevo international airport
henry jones ford
ionatana ionatana