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?

1 Asked on December 8, 2021 by nate-gallup

ac commutative algebra ag algebraic geometry ct category theory

1 Asked on December 8, 2021 by yongpan-huang

1 Asked on December 8, 2021 by solver6

1 Asked on December 8, 2021

block matrices determinants linear algebra matrices reference request

1 Asked on December 8, 2021 by patrick-elliott

ag algebraic geometry gr group theory group cohomology homological algebra

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

banach spaces fa functional analysis topological vector spaces

0 Asked on December 8, 2021

absolute galois group algebraic number theory galois representations galois theory

2 Asked on December 6, 2021 by weiqiang-yang

1 Asked on December 6, 2021

berkovich geometry p adic analysis p adic numbers rigid analytic geometry

1 Asked on December 5, 2021 by sam-hopkins

algebraic combinatorics co combinatorics open problems reference request

0 Asked on December 5, 2021 by jog

1 Asked on December 3, 2021 by denis-serre

2 Asked on December 3, 2021 by gradstudent

mp mathematical physics qa quantum algebra quantum field theory topological quantum field theory

1 Asked on December 3, 2021 by t-amdeberhan

1 Asked on December 3, 2021 by darij-grinberg

0 Asked on December 3, 2021 by alephbeth

1 Asked on December 3, 2021 by norregaard

ds dynamical systems fixed point theorems limit cycles taylor series

0 Asked on December 3, 2021

borel sets gn general topology lebesgue measure measure theory

4 Asked on December 1, 2021 by ilya-nikokoshev

Get help from others!

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

Recent Answers

- Joshua Engel on Why fry rice before boiling?
- Jon Church on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Peter Machado on Why fry rice before boiling?
- haakon.io on Why fry rice before boiling?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir