# 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

### Real part of a holomorphic section of a vector bundle

0  Asked on January 8, 2021 by user158773

### Gaussian expectation of outer product divided by norm (check)

1  Asked on January 7, 2021 by b-merlot

### If $W$ is a Markov chain and $N$ is a Poisson process, then $left(W_{N_t}right)_{tge0}$ is Markov

0  Asked on January 7, 2021

### Open problems in matroid theory

2  Asked on January 6, 2021 by logictheorist

### Automorphism group of Hermitian symmetric spaces

1  Asked on January 5, 2021 by thiku

### Existence of Gaussian random field with prescribed covariance

1  Asked on January 5, 2021 by cabbage

### What, precisely, do we mean when we say that a f.d. vector space is canonically isomorphic to its double dual?

0  Asked on January 4, 2021 by qiaochu-yuan

### Does the lemma remain valid in b-metric space?

0  Asked on January 4, 2021 by seddik-merdaci

### A determinant identity

1  Asked on January 4, 2021 by vassilis-papanicolaou

### Extending continuous functions from dense subsets to quasicompacts

1  Asked on January 3, 2021 by user97621

### Top and bottom composition factors of $M$ are isomorphic

1  Asked on January 2, 2021 by user666

### Widely accepted mathematical results that were later shown to be wrong?

47  Asked on January 2, 2021 by roman-starkov

### Anti-concentration of Gaussian quadratic form

3  Asked on January 1, 2021 by mitch

### Convergence of solving an OP $minlimits_{x, alpha} sum_i alpha_i f_i(x) + g(alpha)$

0  Asked on January 1, 2021 by user263322

### Quadrature for numerical integration over infinite intervals

1  Asked on December 31, 2020 by bernied

### When is ${b^2 – {b-1}_2}_2=1$ with odd $b$? (The bracket-notation explained below)

4  Asked on December 30, 2020 by gottfried-helms

### How to recognize a vector bundle?

2  Asked on December 30, 2020 by user163840