MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 6 added 1 characters in body

Let $M$ be a finite monoid (e.g. a finite group, etc.) and $k$ a field. A function $f$ in the algebra $k[M]$ of $M$ is said of rank $m$ if the dimension of its orbits by shifts (i.e. for $y\in M$; $y^{-1}f,fy^{-1}$ are the "shifted" function defined by $y^{-1}f(x):=f(yx)$, $fy^{-1}(x)=f(xy)$) is of rank $m$. The fact the the "right rank" equals the "left rank" is an incarnation of the equality of the (row-column) ranks by means of the Hankel matrix indexed by $M\times M$ and defined by $$ (x,y)\to f(xy) $$
This holds even for infinite monoids when one considers the functions that have finite dimensional orbits by shifts [1] (for example, with $M=(\mathbb{R},+,0)$, the functions $\sin$ and $\cos$ are of rank 2, $\exp$ has rank 1). The interest of this notion is when the monoid is NOT commutative and then, the Hankel matrix may not be symmetric.

[1] For people who are familiar with these matters, the this is the Sweedler's dual of $k[M]$ for the comultiplication of the monoid.

show/hide this revision's text 5 fix TeX

Let $M$ be a finite monoid (e.g. a finite group, etc.) and $k$ a field. A function $f$ in the algebra $k[M]$ of $M$ is said of rank $m$ if the dimension of its orbits by shifts (i.e. for $y\in M$; $y^{-1}f,fy^{-1}$ are the "shifted" function defined by $y^{-1}f(x):=f(yx)$, $fy^{-1}(x)=f(xy)$) is of rank $m$. The fact the the "right rank" equals the "left rank" is an incarnation of the equality of the (row-column) ranks by means of the Hankel matrix indexed by $M\times M$ and defined by $$ (x,y)->f(xy) x,y)\to f(xy) $$
This holds even for infinite monoids when one considers the functions that have finite dimensional orbits by shifts [1] (for example, with $M=(\mathbb{R},+,0)$, the functions $\sin$ and $\cos$ are of rank 2, $\exp$ has rank 1). The interest of this notion is when the monoid is NOT commutative and then, the Hankel matrix may not be symmetric.

[1] For people who are familiar with these matters, the is the Sweedler's dual of $k[M]$ for the comultiplication of the monoid.

show/hide this revision's text 4 added 133 characters in body; added 8 characters in body; deleted 6 characters in body

Let $M$ be a finite monoid (e.g. a finite group, etc.) and $k$ a field. A function $f$ in the algebra $k[M]$ of $M$ is said of rank $m$ if the dimension of its orbits by shifts (i.e. for $y\in M$; $y^{-1}f,fy^{-1}$ are the "shifted" function defined by $y^{-1}f(x):=f(yx)$, $fy^{-1}(x)=f(xy)$) is of rank $m$. The fact the the "right rank" equals the "left rank" is an incarnation of the equality of the (row-column) ranks by means of the Hankel matrix indexed by $M\times M$ and defined by $$ (x,y)->f(xy) $$
This holds even for infinite monoids when one considers the functions that have finite dimensional orbits by shifts [1] (for example, with $M=(\mathbb{R},+,0)$, the functions $\sin$ and $\cos$ which are of rank 2, $\exp$ has rank 1). The interest of this notion is when the monoid is NOT commutative and then, the Hankel matrix may not be symmetric.

[1] For people who are familiar with these matters, the is the Sweedler's dual of $k[M]$ for the comultiplication of the monoid.

show/hide this revision's text 3 added 1 characters in body
show/hide this revision's text 2 added 12 characters in body; added 19 characters in body
show/hide this revision's text 1 [made Community Wiki]