# Fundamental ring of a circle

MathOverflow Asked by Tegiri Nenashi on January 1, 2022

Starting with fundamental group, say of a circle, let’s reflect back to path groupoid a little. The path concatenation operation is partial, but this can be remedied by focusing on the sets of paths, rather than individual paths. Then, if the two sets of paths of the multiplier have no end points coinciding with start points of the multiplicand, then the result is the empty set, which is the additive identity of the ring. Therefore, Boolean algebra of sets provides the additive structure of the ring.

The ring multiplication is inherited from groupoid, that is path concatenation, and it is non commutative. There is a multiplicative identity, which is the set of trivial loops around all points in the space.

To prove the distributivity property, let $$P$$,$$Q$$,$$R$$ be sets of paths. Then

$$P (Q cup R) = {p cdot x | p in P wedge x in Q cup R } =$$

$$= {p cdot x | (p in P wedge x in Q) vee (p in P wedge x in R) } =$$

$$= {p cdot x | (p in P wedge x in Q) } cup {p cdot x | (p in P wedge x in R) }$$

At this point, it is not immediately obvious if any congruence is needed to be introduced. Yet, I’m puzzled why there appears nothing on the web matching the "fundamental ring" search term. Or there is? And what is the ring of path sets of the circle, is it a familiar mathematical object?

## Related Questions

### Closure of the product of subfunctors

1  Asked on December 8, 2021 by nate-gallup

### Small-$r$ asymptotics of an integral of $1/log ^alpha r$

1  Asked on December 8, 2021 by yongpan-huang

### Does $mathcal{A}otimesmathbb{C}(t)congmathcal{D}otimesmathbb{C}(t)$ imply an isomorphism of Lie algebras?

1  Asked on December 8, 2021 by solver6

### When does $det begin{pmatrix} A & X \ X^T & A end{pmatrix} = (det A)^2 + (det X)^2$?

1  Asked on December 8, 2021

### When does cohomology of a pro-algebraic group commute with filtered colimits of coefficients?

1  Asked on December 8, 2021 by patrick-elliott

### Bounded weak and weak-$star$ topologies and metrics

0  Asked on December 8, 2021 by jorge-e-cardona

### Is semi-simplicity of Galois representations local?

0  Asked on December 8, 2021

### Maximum eigenvalue of a covariance matrix of Brownian motion

2  Asked on December 6, 2021 by weiqiang-yang

### Identity theorem in $p$-adic geometry/analysis

1  Asked on December 6, 2021

### Updates to Stanley’s 1999 survey of positivity problems in algebraic combinatorics?

1  Asked on December 5, 2021 by sam-hopkins

### Construction of $K(Gal(bar{k}/k), 1)$

0  Asked on December 5, 2021 by jog

### Forcing as a tool to prove theorems

9  Asked on December 3, 2021

### The determinant of the sum of normal matrices

1  Asked on December 3, 2021 by denis-serre

### Block matrices and their determinants

1  Asked on December 3, 2021 by t-amdeberhan

### Extending submodular functions from a sublattice

1  Asked on December 3, 2021 by darij-grinberg

### Regularity properties of Minakshisundaram–Pleijel zeta function

0  Asked on December 3, 2021 by alephbeth

### On proving the absence of limit cycles in a dynamical system

1  Asked on December 3, 2021 by norregaard

### Computing the infinite dimensional Lebesgue measure of “cubes”

0  Asked on December 3, 2021

### Why do Todd classes appear in Grothendieck-Riemann-Roch formula?

4  Asked on December 1, 2021 by ilya-nikokoshev