Nuprl Definition : fg-hom

fg-hom(G;f;w) ==
  accumulate (with value and list item u):
   case of inl(a) => inr(b) => (f b)
  over list:
  with starting value:

Definitions occuring in Statement :  list_accum: list_accum infix_ap: y apply: a decide: case of inl(x) => s[x] inr(y) => t[y] grp_inv: ~ grp_id: e grp_op: *
Definitions occuring in definition :  grp_id: e apply: a grp_inv: ~ decide: case of inl(x) => s[x] inr(y) => t[y] grp_op: * infix_ap: y list_accum: list_accum
FDL editor aliases :  fg-hom

fg-hom(G;f;w)  ==
    accumulate  (with  value  x  and  list  item  u):
      x  *  case  u  of  inl(a)  =>  f  a  |  inr(b)  =>  \msim{}  (f  b)
    over  list:
    with  starting  value:

Date html generated: 2017_01_19-PM-02_51_16
Last ObjectModification: 2017_01_15-PM-06_21_45

Theory : free!groups

Home Index