Nuprl Definition : orthogonal-group
O(rv) == mk-s-subgroup(Perm(rv);fg.Orthogonal(fst(fg)))
Definitions occuring in Statement :
rv-permutation-group: Perm(rv),
rv-orthogonal: Orthogonal(f),
mk-s-subgroup: mk-s-subgroup(sg;x.P[x]),
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t),
rv-orthogonal: Orthogonal(f),
rv-permutation-group: Perm(rv),
mk-s-subgroup: mk-s-subgroup(sg;x.P[x])
FDL editor aliases :
orthogonal-group
Latex:
O(rv) == mk-s-subgroup(Perm(rv);fg.Orthogonal(fst(fg)))
Date html generated:
2016_11_08-AM-09_21_15
Last ObjectModification:
2016_11_03-AM-11_46_44
Theory : inner!product!spaces
Home
Index