Near-field (mathematics)

Near-field (mathematics)

In mathematics, a near-field is an algebraic structure similar to a division ring, except that it has only one of the two distributive laws. Alternatively, a near-field is a near-ring in which there is a multiplicative identity, and every non-zero element has a multiplicative inverse.

Contents

Definition

A near-field is a set Q, together with two binary operations, ' + ' (addition) and ' • ' (multiplication), satisfying the following axioms:

A1: (Q, + ) is an Abelian group
A2: (ab)c = a(bc) for all elements a, b, c of Q (The associative law for multiplication)
A3: (a + b)c = ac + bc for all elements a, b, c of Q (The right distributive law)
A4: Q contains an element 1 such that 1a = a1 = a for every element a of Q (Multiplicative identity)
A5: For every non-zero element a of Q there exists an element a −1 such that aa −1 = 1 = a −1a (Multiplicative inverse)

Notes on the definition

  1. The above is strictly a definition of a right near-field. By replacing A3 by the left distributive law c(a + b) = ca + cb we get a left near-field instead. Most commonly, "near-field" is taken as meaning "right near-field", but this is not a universal convention.
  2. A near-field can be equivalently defined as a right quasifield with associative multiplication.
  3. It is not necessary to specify that the additive group is Abelian, as this follows from the other axioms, as proved by B.H. Neumann and J.L. Zemmer.[1][2][3] However, the proof is quite difficult, and it is more convenient to include this in the axioms so that progress with establishing the properties of near-fields can start more rapidly.
  4. Sometimes a list of axioms is given in which A4 and A5 are replaced by the following single statement:
    A4*: The non-zero elements form a group under multiplication.
    However, this alternative definition includes one exceptional structure of order 2 which fails to satisfy various basic theorems (such as x • 0 = 0 for all x). Thus it is much more convenient to use the axioms in the form given above. The difference is that A4 requires 1 to be an identity for all elements, A4* only for non-zero elements.
    The exceptional structure can be defined by taking an additive group of order 2, and defining multiplication by xy = x for all x and y

Examples

  1. Any division ring (including any field) is a near-field.
  2. The following defines a near-field of order 9. It is the smallest near-field which is not a field.
    Let K be the Galois field of order 9. Denote multiplication in K by ' * '. Define a new binary operation ' · ' by:
    If b is any element of K which is a square and a is any element of K then a · b = a * b
    If b is any element of K which is not a square and a is any element of K then a · b = a3 * b.
    Then K is a near-field with this new multiplication and the same addition as before.[4]

History and Applications

The concept of a near-field was first introduced by L.E. Dickson in 1905. He took division rings and modified their multiplication, while leaving addition as it was, and thus produced the first known examples of near-fields that were not division rings. The near-fields produced by this method are known as Dickson near-fields; the near-field of order 9 given above is a Dickson near-field. Zassenhaus proved that all but 7 finite near-fields are either division rings or Dickson near-fields.[2]

The earliest application of the concept of near-field was in the study of geometries, such as projective geometries.[5][6] Many projective geometries can be defined in terms of a coordinate system over a division ring, but others can't. It was found that by allowing coordinates from any near-ring the range of geometries which could be coordinatized was extended. For example, the Dickson near-field of order 9 given above allows the construction of a projective plane known as the Hall plane after Marshall Hall.

There are numerous other applications, mostly to geometry.[7] A more recent application of near-fields is in the construction of ciphers for data-encryption, such as Hill ciphers.[8]

See also

References

  1. ^ J.L. Zemmer, "The additive group of an infinite near-field is abelian" in J. London Math. Soc. 44 (1969), 65-67
  2. ^ a b H Zassenhaus, Abh. Math. Sem. Hans. Univ. 11, pp 187-220
  3. ^ B.H. Neumann, "On the commutativity of addition" in J. London Math. Soc. 15 (1940), 203-208
  4. ^ G. Pilz, Near-Rings, page 257
  5. ^ O. Veblen and J. H. Wedderburn "Non-desarguesian and non-pascalian geometrie" in Trans. Amer. Math. Soc. 8 (1907), 379-388
  6. ^ P. Dembrowski "Finite geometries" Springer, Berlin, (1968)
  7. ^ H. Wahling "Theorie der Fastkörper", Thaïes Verlag, Essen, (1987)
  8. ^ M. Farag, "Hill Ciphers over Near-Fields" in Mathematics and Computer Education v41 n1 (2007) 46-54

External links

Nearfields by Hauke Klein.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • Near field — may refer to: Near field (mathematics), an algebraic structure Near and far field, parts of an electromagnetic field Near field communication, a set of short range wireless technologies, typically requiring a distance of 4 cm or less Near field… …   Wikipedia

  • Near and far field — This article is about the electromagnetic concept. For the mathematical, see Near field (mathematics). Antenna field regions for antennas that are shorter than the wavelength of the radiation they emit, such as the whip antenna of a citizen s… …   Wikipedia

  • Near — or Near may refer to: Contents 1 Science, mathematics, technology, biology, and medicine 2 Geography 3 Lingu …   Wikipedia

  • List of mathematics articles (N) — NOTOC N N body problem N category N category number N connected space N dimensional sequential move puzzles N dimensional space N huge cardinal N jet N Mahlo cardinal N monoid N player game N set N skeleton N sphere N! conjecture Nabla symbol… …   Wikipedia

  • Mathematics and art — have a long historical relationship. The ancient Egyptians and ancient Greeks knew about the golden ratio, regarded as an aesthetically pleasing ratio, and incorporated it into the design of monuments including the Great Pyramid,[1] the Parthenon …   Wikipedia

  • Mathematics and Physical Sciences — ▪ 2003 Introduction Mathematics       Mathematics in 2002 was marked by two discoveries in number theory. The first may have practical implications; the second satisfied a 150 year old curiosity.       Computer scientist Manindra Agrawal of the… …   Universalium

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • mathematics, philosophy of — Branch of philosophy concerned with the epistemology and ontology of mathematics. Early in the 20th century, three main schools of thought called logicism, formalism, and intuitionism arose to account for and resolve the crisis in the foundations …   Universalium

  • mathematics, South Asian — Introduction       the discipline of mathematics as it developed in the Indian (India) subcontinent.       The mathematics of classical Indian civilization is an intriguing blend of the familiar and the strange. For the modern individual, Indian… …   Universalium

  • Light field — The light field is a function that describes the amount of light traveling in every direction through every point in space. Michael Faraday was the first to propose (in an 1846 lecture entitled Thoughts on Ray Vibrations ) that light should be… …   Wikipedia

Share the article and excerpts

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