symmetric monoidal (∞,1)-category of spectra
monoid theory in algebra:
For other kinds of units see also unit of an adjunction and unit of a monad. Different (but related) is physical unit.
Considering a ring , then by the unit element or the multiplicative unit one usually means the neutral element with respect to multiplication. This is the sense of “unit” in terms such as nonunital ring.
But more generally a unit element in a unital (!) ring is any element that has an inverse element under multiplication.
This concept generalizes beyond rings, and this is what is discussed in the following.
Exactly what this means depends on context. A very general definition is this:
Given sets and , and a function , an element of is a unit (relative to the operation ) if, given any element of , there exists a unique element of such that .
That is, every element of is a multiple (in a unique way) of , where ‘multiple’ is defined in terms of the operation .
If is a ring (or rig), then comes equipped with a multiplication map . So can play the role of both and above, although there are two ways to do this: on the left and on the right.
We find that is a left unit if and only if has a left inverse, and is a right unit if and only if has a right inverse. First, an element with an inverse is a unit because, given any element , we have
(on the left) or
(on the right). Conversely, a unit must have an inverse, since there must a solution to
(on the left) or
(on the right).
The collection of all units in a unital ring form a group, the group of units.
In a commutative ring (or rig), a unit is an element of that has an inverse, period. Of course, a commutative ring is a field just when every non-zero element is a unit.
Notice that addition plays no role in the characterisation above of a unit in a ring. Accordingly, a unit in a monoid may be defined in precisely the same way.
A group is precisely a monoid in which every element is a unit.
In a rng (or, ignoring addition, in a semigroup), we cannot speak of inverses of elements. However, we can still talk about units; is a left unit if, for every , there is an such that
and is a right unit if, for every , there is an such that
In a nonassociative ring (or, ignoring addition, in a magma), even if we have an identity element, an invertible element might not be a unit. So we must use the same explicit definition as in a rng (or semigroup) above.
A quasigroup is precisely a magma in which every element is a two-sided unit.
If is a ring (or rig) and an -module, then a unit in is an element such that every other can be written as (or for a right module) for some . This is the same as a generator of as an -module. There is no need to distinguish left and right units unless is a bimodule. Note that a (left or right) unit in qua ring is the same as a unit in qua (left or right) -module.
In physics, the quantities of a given dimension generally form an -line, a -dimensional real vector space. Since is a field, any non-zero element is a unit, called in this context a unit of measurement. This is actually a special case of a unit in a module, where and is the line in question.
Often (but not always) these quantities form an oriented line, so that nonzero quantities are either positive or negative. Then we usually also require a unit of measurement to be positive. In fact, for some dimensions, there is no physical meaning to a negative quantity, in which case the quantities actually form a module over the rig and every nonzero element is “positive.”
For example, the kilogram is a unit of mass, because any mass may be expressed as a real multiple of the kilogram. Further, it is a positive unit; the mass of any physical object is a nonnegative quantity (so that mass quantities actually form an -module) and may be expressed as a nonnegative real multiple of the kilogram.
Often the term ‘unit’ (or ‘unity’) is used as a synonym for ‘identity element’, especially when this identity element is denoted . For example, a ‘ring with unit’ (or ‘ring with unity’) is a ring with an identity (used by authors who say ‘ring’ for a rng). Of course, a rng with identity has a unit, since itself is a unit; conversely, a commutative rng with a unit must have an identity.
I haven't managed to find either a proof or a counterexample to the converse (in the noncommutative case): that a rng with a unit must have an identity.
Response: If is a rng with a unit , then every element uniquely factors through . In particular, itself does. , with unique. So is an identity.
Reply: Why is an identity then? This works if the rng is commutative: given any , write as , and then . But without commutativity (and associativity), this doesn't work.
Response: I believe it also works in the non-commutative case, but with a more complicated proof.
Suppose is a not-necessarily-commutative rng with a unit ;
first, observe that is neither a left nor a right zero divisor, as the equations and both have as a solution, and that must be unique.
Now, for any denote by the unique element s.t. , and denote by the unique element s.t. ;
we want to show that and that is the identity of .
First, notice that
and
for all ;
therefore, we just need to show that .
To accomplish this, first notice that, on the one hand, one has ;
on the other hand, one has , hence , which must imply since is not a zero divisor.
By uniqueness of the solution to , we deduce that .
Addendum: Having uniqueness for the solutions is essential in order for the converse to hold.
This is because, if a rng has an identity, the units are not zero divisors, therefore the equations of the form and all have a unique solution;
therefore, by contrapositive, if some of these equations have multiple solutions, then the rng has no identity.
It is this meaning of ‘unit’ which gives rise to the unit of an adjunction.
See also
Last revised on September 25, 2024 at 10:12:24. See the history of this page for a list of all contributions to it.