0
$\begingroup$

I came across the following notation in this document

$_{GL(k)}\backslash \text{Mat}^*(k,n)$

What does $_A\backslash B$ mean, where $A$ and $B$ are suitable mathematical objects?

$\endgroup$
3
  • $\begingroup$ What's the context? It looks like this could be a strange way to denote a quotient. That would make sense based on what you've given, if that has no other accepted meaning. $\endgroup$
    – florence
    Jul 6, 2016 at 18:59
  • $\begingroup$ @florence- The context is given on Pg. 3 $\endgroup$
    – user67803
    Jul 6, 2016 at 19:02
  • $\begingroup$ @florence It's pretty much the first line or two after the table of contents, when they define grassmanians. It looks like they're quotienting matrices by row operations $\endgroup$
    – snulty
    Jul 6, 2016 at 19:02

1 Answer 1

3
$\begingroup$

When a group $G$ has a right-action on a set $E$, $G\backslash E$ denotes the set of orbits of this action.

$\endgroup$
1
  • 1
    $\begingroup$ The point of this notation is that sometimes you want to quotient by both some group acting on the left, and some other group acting on the right. These get you double cosets: en.wikipedia.org/wiki/Double_coset $\endgroup$ Jul 6, 2016 at 19:21

You must log in to answer this question.