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: a natural_number: $n int: equal: t ∈ T
Definitions occuring in definition :  set: {x:A| B[x]}  p-adics: p-adics(p) not: ¬A equal: t ∈ T int: apply: 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