In mathematics, a half-integer is a number of the form

$${\displaystyle n+{\tfrac {1}{2}},}$$

where ${\displaystyle n}$ is an integer. For example,

$${\displaystyle 4{\tfrac {1}{2}},\quad 7/2,\quad -{\tfrac {13}{2}},\quad 8.5}$$

are all half-integers. The name "half-integer" is perhaps misleading, as the set may be misunderstood to include numbers such as 1 (being half the integer 2). A name such as "integer-plus-half" may be more accurate, but while not literally true, "half integer" is the conventional term.^{[citation needed]} Half-integers occur frequently enough in mathematics and in quantum mechanics that a distinct term is convenient.

Note that halving an integer does not always produce a half-integer; this is only true for odd integers. For this reason, half-integers are also sometimes called half-odd-integers. Half-integers are a subset of the dyadic rationals (numbers produced by dividing an integer by a power of two).^[1]

The set of all half-integers is often denoted

$${\displaystyle \mathbb {Z} +{\tfrac {1}{2}}\quad =\quad \left({\tfrac {1}{2}}\mathbb {Z} \right)\smallsetminus \mathbb {Z} ~.}$$

The integers and half-integers together form a group under the addition operation, which may be denoted^[2]

$${\displaystyle {\tfrac {1}{2}}\mathbb {Z} ~.}$$

However, these numbers do not form a ring because the product of two half-integers is not a half-integer; e.g. ${\displaystyle ~{\tfrac {1}{2}}\times {\tfrac {1}{2}}~=~{\tfrac {1}{4}}~\notin ~{\tfrac {1}{2}}\mathbb {Z} ~.}$^[3] The smallest ring containing them is ${\displaystyle \mathbb {Z} \left[{\tfrac {1}{2}}\right]}$, the ring of dyadic rationals.

• The sum of ${\displaystyle n}$ half-integers is a half-integer if and only if ${\displaystyle n}$ is odd. This includes ${\displaystyle n=0}$ since the empty sum 0 is not half-integer.
• The negative of a half-integer is a half-integer.
• The cardinality of the set of half-integers is equal to that of the integers. This is due to the existence of a bijection from the integers to the half-integers: ${\displaystyle f:x\to x+0.5}$, where ${\displaystyle x}$ is an integer