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