Semifield

Last updated February 01, 2024

In mathematics, a semifield is an algebraic structure with two binary operations, addition and multiplication, which is similar to a field, but with some axioms relaxed.

Overview

The term semifield has two conflicting meanings, both of which include fields as a special case.

In projective geometry and finite geometry (MSC 51A, 51E, 12K10), a semifield is a nonassociative division ring with multiplicative identity element.^[1] More precisely, it is a nonassociative ring whose nonzero elements form a loop under multiplication. In other words, a semifield is a set S with two operations + (addition) and · (multiplication), such that
- (S,+) is an abelian group,
- multiplication is distributive on both the left and right,
- there exists a multiplicative identity element, and
- division is always possible: for every a and every nonzero b in S, there exist unique x and y in S for which b·x = a and y·b = a.

Note in particular that the multiplication is not assumed to be commutative or associative. A semifield that is associative is a division ring, and one that is both associative and commutative is a field. A semifield by this definition is a special case of a quasifield. If S is finite, the last axiom in the definition above can be replaced with the assumption that there are no zero divisors, so that a·b = 0 implies that a = 0 or b = 0.^[2] Note that due to the lack of associativity, the last axiom is not equivalent to the assumption that every nonzero element has a multiplicative inverse, as is usually found in definitions of fields and division rings.

In ring theory, combinatorics, functional analysis, and theoretical computer science (MSC 16Y60), a semifield is a semiring (S,+,·) in which all nonzero elements have a multiplicative inverse.^[3]^[4] These objects are also called proper semifields. A variation of this definition arises if S contains an absorbing zero that is different from the multiplicative unit e, it is required that the non-zero elements be invertible, and a·0 = 0·a = 0. Since multiplication is associative, the (non-zero) elements of a semifield form a group. However, the pair (S,+) is only a semigroup, i.e. additive inverse need not exist, or, colloquially, 'there is no subtraction'. Sometimes, it is not assumed that the multiplication is associative.

Primitivity of semifields

A semifield D is called right (resp. left) primitive if it has an element w such that the set of nonzero elements of D* is equal to the set of all right (resp. left) principal powers of w.

Examples

We only give examples of semifields in the second sense, i.e. additive semigroups with distributive multiplication. Moreover, addition is commutative and multiplication is associative in our examples.

Positive rational numbers with the usual addition and multiplication form a commutative semifield.
This can be extended by an absorbing 0.
Positive real numbers with the usual addition and multiplication form a commutative semifield.
This can be extended by an absorbing 0, forming the probability semiring, which is isomorphic to the log semiring.
Rational functions of the form f /g, where f and g are polynomials over a subfield of real numbers in one variable with positive coefficients, form a commutative semifield.
This can be extended to include 0.
The real numbers R can be viewed a semifield where the sum of two elements is defined to be their maximum and the product to be their ordinary sum; this semifield is more compactly denoted (R, max, +). Similarly (R, min, +) is a semifield. These are called the tropical semiring.
This can be extended by −∞ (an absorbing 0); this is the limit (tropicalization) of the log semiring as the base goes to infinity.
Generalizing the previous example, if (A,·,≤) is a lattice-ordered group then (A,+,·) is an additively idempotent semifield with the semifield sum defined to be the supremum of two elements. Conversely, any additively idempotent semifield (A,+,·) defines a lattice-ordered group (A,·,≤), where a≤b if and only if a + b = b.
The boolean semifield B = {0, 1} with addition defined by logical or, and multiplication defined by logical and.

Related Research Articles

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined and behave as the corresponding operations on rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics.

In abstract algebra, a branch of mathematics, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being $0$ .

In mathematics, especially in abstract algebra, a quasigroup is an algebraic structure resembling a group in the sense that "division" is always possible. Quasigroups differ from groups mainly in that the associative and identity element properties are optional.

In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.

In mathematics, the concept of an inverse element generalises the concepts of opposite and reciprocal of numbers.

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 algebraic structure consists of a nonempty set A, a collection of operations on A, and a finite set of identities, known as axioms, that these operations must satisfy.

In mathematics, a Kleene algebra is an idempotent semiring endowed with a closure operator. It generalizes the operations known from regular expressions.

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.

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 algebra, a unit or invertible element of a ring is an invertible element for the multiplication of the ring. That is, an element $u$ of a ring $R$ is a unit if there exists $v$ in $R$ such that

In abstract algebra, a semiring is an algebraic structure. It is a generalization of a ring, dropping the requirement that each element must have an additive inverse. At the same time, it is a generalization of bounded distributive lattices.

In mathematics, a near-ring is an algebraic structure similar to a ring but satisfying fewer axioms. Near-rings arise naturally from functions on groups.

In mathematics, and more specifically in abstract algebra, a rng is an algebraic structure satisfying the same properties as a ring, but without assuming the existence of a multiplicative identity. The term rng is meant to suggest that it is a ring without i, that is, without the requirement for an identity element.

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.

In mathematics, many types of algebraic structures are studied. Abstract algebra is primarily the study of specific algebraic structures and their properties. Algebraic structures may be viewed in different ways, however the common starting point of algebra texts is that an algebraic object incorporates one or more sets with one or more binary operations or unary operations satisfying a collection of axioms.

In mathematics, an absorbing element is a special type of element of a set with respect to a binary operation on that set. The result of combining an absorbing element with any element of the set is the absorbing element itself. In semigroup theory, the absorbing element is called a zero element because there is no risk of confusion with other notions of zero, with the notable exception: under additive notation zero may, quite naturally, denote the neutral element of a monoid. In this article "zero element" and "absorbing element" are synonymous.

In mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism, which—roughly speaking—brings it closer to a group because this involution, considered as unary operator, exhibits certain fundamental properties of the operation of taking the inverse in a group: uniqueness, double application "cancelling itself out", and the same interaction law with the binary operation as in the case of the group inverse. It is thus not a surprise that any group is a semigroup with involution. However, there are significant natural examples of semigroups with involution that are not groups.

In mathematics, specifically ring theory, the notion of quasiregularity provides a computationally convenient way to work with the Jacobson radical of a ring. In this article, we primarily concern ourselves with the notion of quasiregularity for unital rings. However, one section is devoted to the theory of quasiregularity in non-unital rings, which constitutes an important aspect of noncommutative ring theory.

References

↑ Donald Knuth, Finite semifields and projective planes. J. Algebra, 2, 1965, 182--217 MR 0175942.
↑ Landquist, E.J., "On Nonassociative Division Rings and Projective Planes", Copyright 2000.
↑ Golan, Jonathan S., Semirings and their applications. Updated and expanded version of The theory of semirings, with applications to mathematics and theoretical computer science (Longman Sci. Tech., Harlow, 1992, MR 1163371. Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp. ISBN 0-7923-5786-8 MR 1746739.
↑ Hebisch, Udo; Weinert, Hanns Joachim, Semirings and semifields. Handbook of algebra, Vol. 1, 425--462, North-Holland, Amsterdam, 1996. MR 1421808.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Knuth-1] Donald Knuth, Finite semifields and projective planes. J. Algebra, 2, 1965, 182--217 MR 0175942.

[Landquist-2] Landquist, E.J., "On Nonassociative Division Rings and Projective Planes", Copyright 2000.

[Golan-3] Golan, Jonathan S., Semirings and their applications. Updated and expanded version of The theory of semirings, with applications to mathematics and theoretical computer science (Longman Sci. Tech., Harlow, 1992, MR 1163371. Kluwer Academic Publishers, Dordrecht, 1999. xii+381 pp. ISBN 0-7923-5786-8 MR 1746739.

[HW-4] Hebisch, Udo; Weinert, Hanns Joachim, Semirings and semifields. Handbook of algebra, Vol. 1, 425--462, North-Holland, Amsterdam, 1996. MR 1421808.

[1]

[2]

[3]

[4]