This site is supported by donations to The OEIS Foundation.

Units

From OeisWiki
(Redirected from Unit)
Jump to: navigation, search


This article page is a stub, please help by expanding it.


An element of a set is a unit if its multiplicative inverse belongs to that set. (The set of units form a multiplicative group.) Algebraic integer units have complex norm 1 and are thus complex roots of unity.

Units in quadratic integer rings

Imaginary quadratic integer rings have only a few units (see Theorem I1). The primitive root of unity of degree 3

is used in the following table.

Units of imaginary quadratic integer rings
d
Units
  ≤    − 5
{( − 1) 0, ( − 1) 1} = {1,  − 1}
 − 3
{ω 0, ω 1, ω 2, ω 3, ω 4, ω 5} = {1, ω, ω 2,  − 1,  − ω,  − ω 2}
 − 2
{( − 1) 0, ( − 1) 1} = {1,  − 1}
 − 1
{i 0, i 1, i 2, i 3} = {1, i,  − 1,  −  i}

Real quadratic integer rings have infinitely many units (see Theorem R1), which are all powers of each other, some multiplied by 1. For that reason, the table below can’t be complete like the table above.

An inefficient way to find a unit of a real quadratic integer ring
ℤ [
2  d
 ]
other than 1 or 1 is to try each positive value of
b
starting with 1 and going up until
2  1 + db 2
is an integer.

Units of real quadratic integer rings
d
Units
2
3
4 N/A
5  (golden ratio)
6
7
8 N/A, but note that
9 N/A
10
11
12 N/A, but
13
14
15
16 N/A
17
18 N/A, but
19
20 N/A, but
21
22
23
24 N/A, but
25 N/A
26
27 N/A, but
28 N/A, but
29
30
31
32 N/A, but
33

Examples

  • The units of
    are
    {( − 1) 0, ( − 1) 1} = {1,  − 1}
    , where
     − 1   ≡   ei  π
    . (See rational integers.)
  • The units of
    ℤ [ω]
    are
    {ω 0, ω 1, ω 2} = {1, ω, ω 2}
    , where
    ω   ≡   ei  
    2 π
    3
    . (See Eisenstein integers.)
  • The units of
    ℤ [i]
    are
    {i 0, i 1, i 2, i 3} = {1, i,  − 1,  −  i}
    , where
    i   ≡   ei  
    π
    2
    . (See Gaussian integers.)
  • The units of
    are
    ℚ ∖{0}
    .
  • The units of
    are
    ℝ ∖{0}
    .
  • The units of
    are
    ℂ ∖{0}
    .

See also