Nuprl Definition : iabgrp
IAbGrp{i} == {g:IGroup| Comm(|g|;*)}
Definitions occuring in Statement :
igrp: IGroup,
grp_op: *,
grp_car: |g|,
comm: Comm(T;op),
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
igrp: IGroup,
comm: Comm(T;op),
grp_car: |g|,
grp_op: *
Latex:
IAbGrp\{i\} == \{g:IGroup| Comm(|g|;*)\}
Date html generated:
2016_05_15-PM-00_09_09
Last ObjectModification:
2015_09_23-AM-06_24_26
Theory : groups_1
Home
Index