4 (four) is a
number
A number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers c ...
,
numeral and
digit. It is the
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called ''Cardinal n ...
following
3 and preceding
5. It is the smallest
semiprime
In mathematics, a semiprime is a natural number that is the product of exactly two prime numbers. The two primes in the product may equal each other, so the semiprimes include the squares of prime numbers.
Because there are infinitely many prime nu ...
and
composite number
A composite number is a positive integer that can be formed by multiplying two smaller positive integers. Equivalently, it is a positive integer that has at least one divisor other than 1 and itself. Every positive integer is composite, prime, ...
, and is
considered unlucky in many East Asian cultures.
In mathematics
Four is the smallest
composite number
A composite number is a positive integer that can be formed by multiplying two smaller positive integers. Equivalently, it is a positive integer that has at least one divisor other than 1 and itself. Every positive integer is composite, prime, ...
, its proper
divisor
In mathematics, a divisor of an integer n, also called a factor of n, is an integer m that may be multiplied by some integer to produce n. In this case, one also says that n is a multiple of m. An integer n is divisible or evenly divisible by ...
s being and . Four is the sum and product of
two
2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and only even prime number. Because it forms the basis of a duality, it has religious and spiritual significance in many cultur ...
with itself:
+
=
=
x
, the only number
such that
+
=
=
x
, which also makes four the smallest squared
prime number
A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
. In
Knuth's up-arrow notation
In mathematics, Knuth's up-arrow notation is a method of notation for very large integers, introduced by Donald Knuth in 1976.
In his 1947 paper, R. L. Goodstein introduced the specific sequence of operations that are now called ''hyperoperati ...
, , and so forth, for any number of up arrows. By consequence, four is the only square one more than a prime number, specifically
three
3 is a number, numeral, and glyph.
3, three, or III may also refer to:
* AD 3, the third year of the AD era
* 3 BC, the third year before the AD era
* March, the third month
Books
* '' Three of Them'' (Russian: ', literally, "three"), a 1901 ...
. The sum of the first four prime numbers
two
2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and only even prime number. Because it forms the basis of a duality, it has religious and spiritual significance in many cultur ...
+
three
3 is a number, numeral, and glyph.
3, three, or III may also refer to:
* AD 3, the third year of the AD era
* 3 BC, the third year before the AD era
* March, the third month
Books
* '' Three of Them'' (Russian: ', literally, "three"), a 1901 ...
+
five
5 is a number, numeral, and glyph.
5, five or number 5 may also refer to:
* AD 5, the fifth year of the AD era
* 5 BC, the fifth year before the AD era
Literature
* ''5'' (visual novel), a 2008 visual novel by Ram
* ''5'' (comics), an awa ...
+
seven
7 is a number, numeral, and glyph.
7 or seven may also refer to:
* AD 7, the seventh year of the AD era
* 7 BC, the seventh year before the AD era
* The month of
July
Music Artists
* Seven (Swiss singer) (born 1978), a Swiss recording artist ...
is the only sum of four consecutive prime numbers that yields an
odd
Odd means unpaired, occasional, strange or unusual, or a person who is viewed as eccentric.
Odd may also refer to:
Acronym
* ODD (Text Encoding Initiative) ("One Document Does it all"), an abstracted literate-programming format for describing X ...
prime number,
seventeen
Seventeen or 17 may refer to:
*17 (number), the natural number following 16 and preceding 18
* one of the years 17 BC, AD 17, 1917, 2017
Literature
Magazines
* ''Seventeen'' (American magazine), an American magazine
* ''Seventeen'' (Japanese m ...
, which is the fourth
super-prime
Super-prime numbers, also known as higher-order primes or prime-indexed primes (PIPs), are the subsequence of prime numbers that occupy prime-numbered positions within the sequence of all prime numbers.
The subsequence begins
:3, 5, 11, 17, 31, ...
. Four lies between the first proper pair of
twin primes
A twin prime is a prime number that is either 2 less or 2 more than another prime number—for example, either member of the twin prime pair (41, 43). In other words, a twin prime is a prime that has a prime gap of two. Sometimes the term ''twin pr ...
,
three
3 is a number, numeral, and glyph.
3, three, or III may also refer to:
* AD 3, the third year of the AD era
* 3 BC, the third year before the AD era
* March, the third month
Books
* '' Three of Them'' (Russian: ', literally, "three"), a 1901 ...
and
five
5 is a number, numeral, and glyph.
5, five or number 5 may also refer to:
* AD 5, the fifth year of the AD era
* 5 BC, the fifth year before the AD era
Literature
* ''5'' (visual novel), a 2008 visual novel by Ram
* ''5'' (comics), an awa ...
, which are the first two
Fermat prime
In mathematics, a Fermat number, named after Pierre de Fermat, who first studied them, is a positive integer of the form
:F_ = 2^ + 1,
where ''n'' is a non-negative integer. The first few Fermat numbers are:
: 3, 5, 17, 257, 65537, 4294967 ...
s, like
seventeen
Seventeen or 17 may refer to:
*17 (number), the natural number following 16 and preceding 18
* one of the years 17 BC, AD 17, 1917, 2017
Literature
Magazines
* ''Seventeen'' (American magazine), an American magazine
* ''Seventeen'' (Japanese m ...
, which is the third. On the other hand, the
square
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length adj ...
of four 4
2, equivalently the
fourth power
In arithmetic and algebra, the fourth power of a number ''n'' is the result of multiplying four instances of ''n'' together. So:
:''n''4 = ''n'' × ''n'' × ''n'' × ''n''
Fourth powers are also formed by multiplying a number by its cube. Further ...
of two 2
4, is
sixteen; the only number that has
=
as a form of
factorization
In mathematics, factorization (or factorisation, see American and British English spelling differences#-ise, -ize (-isation, -ization), English spelling differences) or factoring consists of writing a number or another mathematical object as a p ...
. Holistically, there are four elementary arithmetic
operations in mathematics:
addition
Addition (usually signified by the Plus and minus signs#Plus sign, plus symbol ) is one of the four basic Operation (mathematics), operations of arithmetic, the other three being subtraction, multiplication and Division (mathematics), division. ...
(+),
subtraction
Subtraction is an arithmetic operation that represents the operation of removing objects from a collection. Subtraction is signified by the minus sign, . For example, in the adjacent picture, there are peaches—meaning 5 peaches with 2 taken ...
(−),
multiplication
Multiplication (often denoted by the cross symbol , by the mid-line dot operator , by juxtaposition, or, on computers, by an asterisk ) is one of the four elementary mathematical operations of arithmetic, with the other ones being additi ...
(×), and
division
Division or divider may refer to:
Mathematics
*Division (mathematics), the inverse of multiplication
*Division algorithm, a method for computing the result of mathematical division
Military
*Division (military), a formation typically consisting ...
(÷); and four basic
number system
A number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers can ...
s, the
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s
,
rational number
In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ration ...
s
,
integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s
, and
natural number
In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country").
Numbers used for counting are called ''Cardinal n ...
s
.
Each natural number divisible by 4 is a difference of squares of two natural numbers, i.e.
=
−
. A number is a multiple of 4 if its last two digits are a multiple of 4. For example, 1092 is a multiple of 4 because .
Lagrange's four-square theorem
Lagrange's four-square theorem, also known as Bachet's conjecture, states that every natural number can be represented as the sum of four integer squares. That is, the squares form an additive basis of order four.
p = a_0^2 + a_1^2 + a_2^2 + a_ ...
states that every positive integer can be written as the sum of at most four
square number
In mathematics, a square number or perfect square is an integer that is the square (algebra), square of an integer; in other words, it is the multiplication, product of some integer with itself. For example, 9 is a square number, since it equals ...
s. Three are not always sufficient; for instance cannot be written as the sum of three squares.
There are four
all-Harshad number
In mathematics, a harshad number (or Niven number) in a given number base is an integer that is divisible by the sum of its digits when written in that base.
Harshad numbers in base are also known as -harshad (or -Niven) numbers.
Harshad number ...
s:
1,
2, ''4'', and
6.
12, which is divisible by four thrice over, is a Harshad number in all bases except
octal
The octal numeral system, or oct for short, is the radix, base-8 number system, and uses the Numerical digit, digits 0 to 7. This is to say that 10octal represents eight and 100octal represents sixty-four. However, English, like most languages, ...
.
A four-sided plane figure is a
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
or quadrangle, sometimes also called a ''tetragon''. It can be further classified as a
rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containi ...
or ''oblong'',
kite
A kite is a tethered heavier than air flight, heavier-than-air or lighter-than-air craft with wing surfaces that react against the air to create Lift (force), lift and Drag (physics), drag forces. A kite consists of wings, tethers and anchors. ...
,
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
, and
square
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length adj ...
.
Four is the highest degree general
polynomial equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation' ...
for which there is a
solution in radicals
A solution in radicals or algebraic solution is a closed-form expression, and more specifically a closed-form algebraic expression, that is the solution of a polynomial equation, and relies only on addition, subtraction, multiplication, divi ...
.
The
four-color theorem
In mathematics, the four color theorem, or the four color map theorem, states that no more than four colors are required to color the regions of any map so that no two adjacent regions have the same color. ''Adjacent'' means that two regions sha ...
states that a
planar graph
In graph theory, a planar graph is a graph that can be embedded in the plane, i.e., it can be drawn on the plane in such a way that its edges intersect only at their endpoints. In other words, it can be drawn in such a way that no edges cross ...
(or, equivalently, a flat
map
A map is a symbolic depiction emphasizing relationships between elements of some space, such as objects, regions, or themes.
Many maps are static, fixed to paper or some other durable medium, while others are dynamic or interactive. Although ...
of two-dimensional regions such as countries) can be colored using four colors, so that adjacent vertices (or regions) are always different colors. Three colors are not, in general, sufficient to guarantee this. The largest planar
complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices is c ...
has four vertices.
A solid figure with four faces as well as four vertices is a
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
, which is the smallest possible number of faces and vertices a
polyhedron
In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.
A convex polyhedron is the convex hull of finitely many points, not all on th ...
can have. The regular tetrahedron, also called a 3-
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
, is the simplest
Platonic solid
In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edges c ...
. It has four
regular triangle
In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each ...
s as faces that are themselves at
dual positions with the vertices of another tetrahedron. Tetrahedra can be inscribed inside all other four Platonic solids, and
tessellate space alongside the
regular octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
in the
alternated cubic honeycomb
The tetrahedral-octahedral honeycomb, alternated cubic honeycomb is a quasiregular space-filling tessellation (or honeycomb) in Euclidean 3-space. It is composed of alternating regular octahedra and tetrahedra in a ratio of 1:2.
Other names incl ...
.
Four-dimensional space
A four-dimensional space (4D) is a mathematical extension of the concept of three-dimensional or 3D space. Three-dimensional space is the simplest possible abstraction of the observation that one only needs three numbers, called ''dimensions'', ...
is the highest-dimensional space featuring more than three
regular convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytope ...
figures:
*Two-dimensional: infinitely many
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either convex p ...
s.
*Three-dimensional: five
regular polyhedra
A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equival ...
; the five
Platonic solid
In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edges c ...
s which are the
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
,
cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the only r ...
,
octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
,
dodecahedron
In geometry, a dodecahedron (Greek , from ''dōdeka'' "twelve" + ''hédra'' "base", "seat" or "face") or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagon ...
, and
icosahedron
In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons".
There are infinitely many non- similar shapes of icosahedra, some of them being more symmetrica ...
.
*Four-dimensional: six
regular polychora
In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions.
There are six convex and ten star regu ...
; the
5-cell
In geometry, the 5-cell is the convex 4-polytope with Schläfli symbol . It is a 5-vertex four-dimensional object bounded by five tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid, or tetrahedral pyramid. It i ...
, 8-cell or
tesseract
In geometry, a tesseract is the four-dimensional analogue of the cube; the tesseract is to the cube as the cube is to the square. Just as the surface of the cube consists of six square faces, the hypersurface of the tesseract consists of eig ...
,
16-cell
In geometry, the 16-cell is the regular convex 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mi ...
,
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
,
120-cell
In geometry, the 120-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called a C120, dodecaplex (short for "dodecahedral complex"), hyperdodecahedron, polydodecahedron, heca ...
, and
600-cell
In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also known as the C600, hexacosichoron and hexacosihedroid. It is also called a tetraplex (abbreviated from " ...
. The
24-cell
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octahedral complex"), icosatetrahedroid, oct ...
, made of regular
octahedra
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet a ...
, has no analogue in any other dimension; it is
self-dual
In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a Injective function, one-to-one fashion, often (but not always) by means of an Involution (mathematics), involutio ...
, with its
24-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular polytope, regular space-filling tessellation (or honeycomb (geometry), honeycomb) of 4-dimensional Euclidean space by ...
dual to the
16-cell honeycomb
In Four-dimensional space, four-dimensional Euclidean geometry, the 16-cell honeycomb is one of the three regular space-filling tessellations (or honeycomb (geometry), honeycombs), represented by Schläfli symbol , and constructed by a 4-dimensiona ...
.
*Five-dimensional and every higher dimension: three regular convex
-
polytope
In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -d ...
s, all within the infinite family of regular
-
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
es,
-
hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
s, and
-
orthoplexes.
The fourth dimension is also the highest dimension where regular
self-intersecting figures exist:
*Two-dimensional: infinitaly many regular
star polygon
In geometry, a star polygon is a type of non-convex polygon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, certain notable ones can arise through truncation operations ...
s.
*Three-dimensional: ''four'' regular
star polyhedra
In geometry, a star polyhedron is a polyhedron which has some repetitive quality of nonconvexity giving it a star-like visual quality.
There are two general kinds of star polyhedron:
*Polyhedra which self-intersect in a repetitive way.
*Concave p ...
, the
regular Kepler-Poinsot star polyhedra.
*Four-dimensional: ten regular
star polychora, the
Schläfli–Hess star polychora. They contain
cells of Kepler-Poinsot polyhedra alongside regular tetrahedra,
icosahedra
In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons".
There are infinitely many non- similar shapes of icosahedra, some of them being more symmetrica ...
and
dodecahedra
In geometry, a dodecahedron (Greek , from ''dōdeka'' "twelve" + ''hédra'' "base", "seat" or "face") or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagon ...
.
*Five-dimensional and every higher dimension: zero regular
star-polytopes;
uniform
A uniform is a variety of clothing worn by members of an organization while participating in that organization's activity. Modern uniforms are most often worn by armed forces and paramilitary organizations such as police, emergency services, se ...
star polytopes in dimensions
>
are the most symmetric, which mainly originate from
stellation
In geometry, stellation is the process of extending a polygon in two dimensions, polyhedron in three dimensions, or, in general, a polytope in ''n'' dimensions to form a new figure. Starting with an original figure, the process extends specific el ...
s of regular
-polytopes.
Altogether,
sixteen (or 16 = 4
2) regular convex and star polychora are generated from symmetries of ''four'' (4)
Coxeter
Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century.
Biography
Coxeter was born in Kensington to ...
Weyl group
In mathematics, in particular the theory of Lie algebras, the Weyl group (named after Hermann Weyl) of a root system Φ is a subgroup of the isometry group of that root system. Specifically, it is the subgroup which is generated by reflections th ...
s and
point groups
In geometry, a point group is a mathematical group of symmetry operations ( isometries in a Euclidean space) that have a fixed point in common. The coordinate origin of the Euclidean space is conventionally taken to be a fixed point, and every ...
in the fourth dimension: the
simplex,
hypercube,
icositetrachoric, and
hexacosichoric groups; with the
demihypercube
In geometry, demihypercubes (also called ''n-demicubes'', ''n-hemicubes'', and ''half measure polytopes'') are a class of ''n''- polytopes constructed from alternation of an ''n''- hypercube, labeled as ''hγn'' for being ''half'' of the hy ...
group generating two alternative constructions.
There are also
sixty-four (or 64 = 4
3) four-dimensional
Bravais lattice
In geometry and crystallography, a Bravais lattice, named after , is an infinite array of discrete points generated by a set of discrete translation operations described in three dimensional space by
: \mathbf = n_1 \mathbf_1 + n_2 \mathbf_2 + n_ ...
s, ''and'' sixty-four
uniform polychora in the fourth dimension based on the same
,
,
and
Coxeter groups
In mathematics, a Coxeter group, named after Harold Scott MacDonald Coxeter, H. S. M. Coxeter, is an group (mathematics), abstract group that admits a group presentation, formal description in terms of Reflection (mathematics), reflections (or Kal ...
, and extending to
prismatic groups of
uniform polyhedra
In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive (i.e., there is an isometry mapping any vertex onto any other). It follows that all vertices are congruent.
Uniform polyhedra may be regular (if also fa ...
, including one special
non-Wythoffian form, the
grand antiprism
In geometry, the grand antiprism or pentagonal double antiprismoid is a uniform 4-polytope (4-dimensional uniform polytope) bounded by 320 cells: 20 pentagonal antiprisms, and 300 tetrahedra. It is an anomalous, non-Wythoffian uniform 4-polytope ...
. There are also two infinite families of
duoprism
In geometry of 4 dimensions or higher, a double prism or duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an -polytope and an -polytope is an -polytope, wher ...
s and
antiprismatic prisms in the fourth dimension.
Four-dimensional
differential manifold
In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ma ...
s have some unique properties. There is only one
differential structure In mathematics, an ''n''-dimensional differential structure (or differentiable structure) on a set ''M'' makes ''M'' into an ''n''-dimensional differential manifold, which is a topological manifold with some additional structure that allows for diff ...
on
except when
=
, in which case there are uncountably many.
The smallest non-
cyclic group
In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C''n'', that is generated by a single element. That is, it is a set of invertible elements with a single associative bina ...
has four elements; it is the
Klein four-group
In mathematics, the Klein four-group is a Group (mathematics), group with four elements, in which each element is Involution (mathematics), self-inverse (composing it with itself produces the identity)
and in which composing any two of the three ...
. ''A''
alternating group
In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of elements is called the alternating group of degree , or the alternating group on letters and denoted by or
Basic prop ...
s are not
simple
Simple or SIMPLE may refer to:
*Simplicity, the state or quality of being simple
Arts and entertainment
* ''Simple'' (album), by Andy Yorke, 2008, and its title track
* "Simple" (Florida Georgia Line song), 2018
* "Simple", a song by Johnn ...
for values
≤
.
Further extensions of the real numbers under
Hurwitz's theorem states that there are four
normed division algebras: the real numbers
, the
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
, the
quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quatern ...
s
, and the
octonion
In mathematics, the octonions are a normed division algebra over the real numbers, a kind of hypercomplex number system. The octonions are usually represented by the capital letter O, using boldface or blackboard bold \mathbb O. Octonions have e ...
s
. Under
Cayley–Dickson construction
In mathematics, the Cayley–Dickson construction, named after Arthur Cayley and Leonard Eugene Dickson, produces a sequence of algebras over the field of real numbers, each with twice the dimension of the previous one. The algebras produced b ...
s, the
sedenion
In abstract algebra, the sedenions form a 16-dimensional noncommutative and nonassociative algebra over the real numbers; they are obtained by applying the Cayley–Dickson construction to the octonions, and as such the octonions are isomorphic to ...
s
constitute a further fourth extension over
. The real numbers are
ordered,
commutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Most familiar as the name o ...
and
associative
In mathematics, the associative property is a property of some binary operations, which means that rearranging the parentheses in an expression will not change the result. In propositional logic, associativity is a valid rule of replacement f ...
algebras
In mathematics, an algebra over a field (often simply called an algebra) is a vector space equipped with a bilinear product. Thus, an algebra is an algebraic structure consisting of a set together with operations of multiplication and addition ...
, as well as
alternative algebra In abstract algebra, an alternative algebra is an algebra in which multiplication need not be associative, only alternative. That is, one must have
*x(xy) = (xx)y
*(yx)x = y(xx)
for all ''x'' and ''y'' in the algebra.
Every associative algebra is ...
s with
power-associativity In mathematics, specifically in abstract algebra, power associativity is a property of a binary operation that is a weak form of associativity.
Definition
An algebra over a field, algebra (or more generally a magma (algebra), magma) is said to be ...
. The complex numbers
share all four multiplicative algebraic properties of the reals
, without being ordered. The quaternions loose a further commutative algebraic property, while holding associative, alternative, and power-associative properties. The octonions are alternative and power-associative, while the sedenions are only power-associative. The sedenions and all further ''extensions'' of these four normed division algebras are solely power-associative with non-trivial
zero divisor
In abstract algebra, an element of a ring is called a left zero divisor if there exists a nonzero in such that , or equivalently if the map from to that sends to is not injective. Similarly, an element of a ring is called a right zero ...
s, which makes them
non-division algebras.
has a
vector space
In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
of
dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
1, while
,
,
and
work in
algebraic number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a f ...
s of dimensions 2, 4, 8, and 16, respectively.
List of basic calculations
Evolution of the Hindu-Arabic digit
Brahmic numerals
The Brahmi numerals are a numeral system attested from the 3rd century BCE (somewhat later in the case of most of the tens). They are a non positional decimal system. They are the direct graphic ancestors of the modern Hindu–Arabic numeral s ...
represented 1, 2, and 3 with as many lines. 4 was simplified by joining its four lines into a cross that looks like the modern plus sign. The
Shunga
is a type of Japanese erotic art typically executed as a kind of ukiyo-e, often in woodblock print format. While rare, there are also extant erotic painted handscrolls which predate ukiyo-e. Translated literally, the Japanese word ''shunga' ...
would add a horizontal line on top of the digit, and the Kshatrapa and Pallava evolved the digit to a point where the speed of writing was a secondary concern. The
Arab
The Arabs (singular: Arab; singular ar, عَرَبِيٌّ, DIN 31635: , , plural ar, عَرَب, DIN 31635: , Arabic pronunciation: ), also known as the Arab people, are an ethnic group mainly inhabiting the Arab world in Western Asia, ...
s' 4 still had the early concept of the cross, but for the sake of efficiency, was made in one stroke by connecting the "western" end to the "northern" end; the "eastern" end was finished off with a curve. The Europeans dropped the finishing curve and gradually made the digit less cursive, ending up with a digit very close to the original Brahmin cross.
While the shape of the character for the digit 4 has an
ascender in most modern
typeface
A typeface (or font family) is the design of lettering that can include variations in size, weight (e.g. bold), slope (e.g. italic), width (e.g. condensed), and so on. Each of these variations of the typeface is a font.
There are list of type ...
s, in typefaces with
text figures
Text figures (also known as non-lining, lowercase, old style, ranging, hanging, medieval, billing, or antique figures or numerals) are numerals designed with varying heights in a fashion that resembles a typical line of running text, hence the ...
the glyph usually has a
descender
In typography and handwriting, a descender is the portion of a letter that extends below the baseline of a font.
For example, in the letter ''y'', the descender is the "tail", or that portion of the diagonal line which lies below the ''v'' c ...
, as, for example, in
.
On the
seven-segment display
A seven-segment display is a form of electronic display device for displaying decimal numerals that is an alternative to the more complex dot matrix displays.
Seven-segment displays are widely used in digital clocks, electronic meters, basic ...
s of pocket calculators and digital watches, as well as certain
optical character recognition
Optical character recognition or optical character reader (OCR) is the electronic or mechanical conversion of images of typed, handwritten or printed text into machine-encoded text, whether from a scanned document, a photo of a document, a scen ...
fonts, 4 is seen with an open top.
Television station
A television station is a set of equipment managed by a business, organisation or other entity, such as an amateur television (ATV) operator, that transmits video content and audio content via radio waves directly from a transmitter on the earth ...
s that operate on
channel 4
Channel 4 is a British free-to-air public broadcast television network operated by the state-owned enterprise, state-owned Channel Four Television Corporation. It began its transmission on 2 November 1982 and was established to provide a four ...
have occasionally made use of another variation of the "open 4", with the open portion being on the side, rather than the top. This version resembles the
Canadian Aboriginal syllabics
Canadian syllabic writing, or simply syllabics, is a family of writing systems used in a number of Indigenous Canadian languages of the Algonquian, Inuit, and (formerly) Athabaskan language families. These languages had no formal writing s ...
letter ᔦ. The
magnetic ink character recognition
Magnetic ink character recognition code, known in short as MICR code, is a character recognition technology used mainly by the banking industry to streamline the processing and clearance of cheques and other documents. MICR encoding, called the ' ...
"CMC-7" font also uses this variety of "4".
In religion
Buddhism
*
Four Noble Truths
In Buddhism, the Four Noble Truths (Sanskrit: ; pi, cattāri ariyasaccāni; "The four Arya satyas") are "the truths of the Noble Ones", the truths or realities for the "spiritually worthy ones". _–_Dukkha">Four_Noble_Truths:_BUDDHIST_PHILOSOPHY_Encycl_...
_–_Dukkha">Four_Noble_Truths:_BUDDHIST_PHILOSOPHY_Encycl_...