Nearring

Nearring

In mathematics, a near-ring (also near ring or nearring) is an algebraic structure similar to a ring, but that satisfies fewer axioms. Near-rings arise naturally from functions on groups.

Contents

Definition

A set N together with two binary operations + (called addition) and ⋅ (called multiplication) is called a (right) near-ring if:

A1: N is a group (not necessarily abelian) under addition;
A2: multiplication is associative (so N is a semigroup under multiplication); and
A3: multiplication distributes over addition on the right: for any x, y, z in N, it holds that (x + y) ⋅ z = (xz) + (yz).[1]

Similarly, it is possible to define a left near-ring by replacing the right distributive law A3 by the corresponding left distributive law. However, near-rings are almost always written as right near-rings.

An immediate consequence of this one-sided distributive law is that it is true that 0 ⋅ x = 0 but it is not necessarily true that x ⋅ 0 = 0 for any x in N. Another immediate consequence is that (- x) ⋅ y = - (xy) for any x, y in N, but it is not necessary that x ⋅ (- y) = - (xy). A near-ring is a ring (not necessarily with unity) if and only if addition is commutative and multiplication is distributive over addition on the left.

Mappings from a group to itself

Let G be a group, written additively but not necessarily abelian, and let M(G) be the set {f | f : GG} of all functions from G to G. An addition operation can be defined on M(G): given f, g in M(G), then the mapping f + g from G to G is given by (f + g)(x) = f(x) + g(x) for all x in G. Then (M(G), +) is also a group, which is abelian if and only if G is abelian. Taking the composition of mappings as the product ⋅, M(G) becomes a near-ring.

The 0 element of the near-ring M(G) is the zero map, i.e., the mapping that takes every element of G to the identity element of G. The additive inverse −f of f in M(G) coincides with the natural pointwise definition, that is, (−f)(x) = −(f(x)) for all x in G.

If G has at least 2 elements, M(G) is not a ring, even if G is abelian. (Consider the constant mapping g from G to a fixed element g≠0 of G; g·0 = g ≠ 0.) However, there is a subset E(G) of M(G) consisting of all group endomorphisms of G, that is, all maps f : GG such that f(x + y) = f(x) + f(y) for all x, y in G. If (G, +) is abelian, both near-ring operations on M(G) are closed on E(G), and (E(G), +, ⋅) is a ring. If (G, +) is nonabelian, E(G) is generally not closed under the near-ring operations; but any subset of M(G) that contains E(G) and is closed under the near-ring operations is also a near-ring.

Many subsets of M(G) form interesting and useful near-rings. For example:[1]

The mappings for which f(0) = 0
The constant mappings, i.e., those that map every element of the group to one fixed element
The set of maps generated by addition and negation from the endomorphisms of the group (the "additive closure" of the set of endomorphisms).

Further examples occur if the group has further structure, for example:

The continuous mappings in a topological group
The polynomial functions on a ring with identity under addition and polynomial composition
The affine maps in a vector space.

Every nearring is isomorphic to a sub-nearring of M(G) for some G.

Applications

Many applications involve the subclass of nearrings known as near fields; for these see the article on near fields.

There are various applications for proper near-rings, i.e., those that are neither rings nor near-fields.

The best known is to balanced incomplete block designs[2] using planar nearrings. These are a way to obtain Difference Families using the orbits of a fixed point free automorphism group of a group. Clay and others have extended these ideas to more general geometrical constructions[3]

See also

References

  1. ^ a b G. Pilz, (1982), "Near-Rings: What They Are and What They Are Good For" in Contemp. Math., 9, pp. 97--119. Amer. Math. Soc., Providence, R.I., 1981.
  2. ^ G. Pilz " Near-rings", North-Holland, Amsterdam, second edition, (1983).
  3. ^ J. Clay "Nearrings: Geneses and applications", Oxford, (1992).

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Endomorphism — In mathematics, an endomorphism is a morphism (or homomorphism) from a mathematical object to itself. For example, an endomorphism of a vector space V is a linear map ƒ: V → V and an endomorphism of a group G is a group homomorphism ƒ: G → G ,… …   Wikipedia

  • Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… …   Wikipedia

  • List of abstract algebra topics — Abstract algebra is the subject area of mathematics that studies algebraic structures, such as groups, rings, fields, modules, vector spaces, and algebras. The phrase abstract algebra was coined at the turn of the 20th century to distinguish this …   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

  • aeronautical engineering — /ɛərəˌnɔtɪkəl ɛndʒəˈnɪərɪŋ/ (say airruh.nawtikuhl enjuh nearring) noun the action, work, or profession of an aeronautical engineer …  

  • badge engineering — /bædʒ ɛndʒəˈnɪərɪŋ/ (say baj enjuh nearring) noun the merchandising practice of the marketing of one basic model of motor vehicle through more than one dealer network system. Also, badge engineering …  

  • bioengineering — /ˌbaɪoʊɛndʒəˈnɪərɪŋ/ (say .buyohenjuh nearring) noun the application of engineering principles to the design and manufacture of such medical aids as artificial limbs. Also, bio engineering. –bioengineer, noun –bioengineered, adjective …  

  • chemical engineering — /kɛmɪkəl ˌɛndʒəˈnɪərɪŋ/ (say kemikuhl .enjuh nearring) noun the science or profession concerned with the design, manufacture, and operation of plant or machinery used in industrial chemical processes …  

  • civil engineering — /sɪvəl ɛndʒəˈnɪərɪŋ/ (say sivuhl enjuh nearring) noun the action, work, or profession of a civil engineer …  

  • computer-aided engineering — /kəmˌpjutər eɪdəd ɛndʒəˈnɪərɪŋ/ (say kuhm.pyoohtuhr ayduhd enjuh nearring) noun engineering which uses computers to assist especially in the collection and analysis of data but also in the production of graphics as in computer aided design. Also …  

Share the article and excerpts

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