Nuprl Definition : grp_of_module
m↓grp == m↓rg↓+gp
Definitions occuring in Statement :
rng_of_alg: a↓rg,
add_grp_of_rng: r↓+gp
Definitions occuring in definition :
add_grp_of_rng: r↓+gp,
rng_of_alg: a↓rg
Latex:
m\mdownarrow{}grp == m\mdownarrow{}rg\mdownarrow{}+gp
Date html generated:
2016_05_16-AM-07_26_20
Last ObjectModification:
2015_09_23-AM-09_50_59
Theory : algebras_1
Home
Index