## You are here

HomeR-algebroid

## Primary tabs

# R-algebroid

###### Definition 0.1.

If $\mathsf{G}$ is a groupoid (for example, regarded as a category with all morphisms invertible) then we can construct an $R$-algebroid, $R\mathsf{G}$ as follows. Let us consider first a module over a ring $R$, also called a $R$-module, that is, a module $M_{R}$ that takes its coefficients in a ring $R$. Then, the object set of $R\mathsf{G}$ is the same as that of $\mathsf{G}$ and $R\mathsf{G}(b,c)$ is the free $R$-module on the set $\mathsf{G}(b,c)$, with composition given by the usual bilinear rule, extending the composition of $\mathsf{G}$.

###### Definition 0.2.

Alternatively, one can define $\bar{R}\mathsf{G}(b,c)$ to be the set of functions $\mathsf{G}(b,c){\longrightarrow}R$ with finite support, and then one defines the *convolution product* as follows:

$(f*g)(z)=\sum\{(fx)(gy)\mid z=x\circ y\}~{}.$ | (0.1) |

###### Remark 0.1.

As it is very well known, only the second construction is natural for the topological case, when one needs to replace the general concept of ‘function’ by the topological-analytical concept of ‘continuous function with compact support’ (or alternatively, with ‘locally compact support’) for all quantum field theory (QFT) extended symmetry sectors; in this case, one has that $R\cong\mathbb{C}$ . The point made here is that to carry out the usual construction and end up with only an algebra rather than an algebroid, is a procedure analogous to replacing a groupoid $\mathsf{G}$ by a semigroup $G^{{\prime}}=G\cup\{0\}$ in which the compositions not defined in $G$ are defined to be $0$ in $G^{{\prime}}$. We argue that this construction removes the main advantage of groupoids, namely the presence of the spatial component given by the set of objects of the groupoid.

More generally, a R-category is similarly defined as an extension to this R-algebroid concept.

# References

- 1 R. Brown and G. H. Mosa: Double algebroids and crossed modules of algebroids, University of Wales–Bangor, Maths Preprint, 1986.
- 2
G. H. Mosa:
*Higher dimensional algebroids and Crossed complexes*, PhD thesis, University of Wales, Bangor, (1986). (supervised by R. Brown).

## Mathematics Subject Classification

81T10*no label found*81P05

*no label found*81T05

*no label found*81R10

*no label found*81R50

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections