Nuprl Definition : p-units
p-units(p) == {a:p-adics(p)| ¬((a 1) = 0 ∈ ℤ)}
Definitions occuring in Statement :
p-adics: p-adics(p)
,
not: ¬A
,
set: {x:A| B[x]}
,
apply: f a
,
natural_number: $n
,
int: ℤ
,
equal: s = t ∈ T
Definitions occuring in definition :
set: {x:A| B[x]}
,
p-adics: p-adics(p)
,
not: ¬A
,
equal: s = t ∈ T
,
int: ℤ
,
apply: f a
,
natural_number: $n
FDL editor aliases :
p-units
Latex:
p-units(p) == \{a:p-adics(p)| \mneg{}((a 1) = 0)\}
Date html generated:
2018_05_21-PM-03_20_15
Last ObjectModification:
2018_02_01-AM-09_54_24
Theory : rings_1
Home
Index