OKlibrary  0.2.1.6
Homomorphisms.hpp File Reference

Plans on groupoid homomorphisms. More...

Go to the source code of this file.


Detailed Description

Plans on groupoid homomorphisms.

Todo:
Organisation
  • Perhaps we should subdivide the topic into four sub-topics: (Ordinary) homomorphisms, isomorphisms, homotopisms, isotopisms.
Todo:
Naming conventions
Todo:
Isomorphisms
  • In is_isomorphic_bydef_grd we constructed the bijections directly; we should gather all similar constructions in ComputerAlgebra, and we should provide general facilities for that (see also all_isomorphisms_classes_actively_grd).
  • Reducing groupoid-isomorphism to graph isomorphism works via the Cayley graphs?
  • Again we need backtracking algorithms, which should fit into a general framework.
Todo:
Transport via homotopies
  • Given a groupoid [V,compo] and three bijections f,g,h: V -> V', we obtain a composition on V' we transporting compo(x,y) = z to compo(f(x),g(y)) = h(z).
  • Once we have that, we can also compute all isotopism classes ("actively").
Todo:
Homotopisms
  • The main notion of a homomorphism f: (G,*) -> (G',*') is the standard one: f: G -> G', f(x * y) = f(x) *' f(y).
  • Considering a groupoid [G,compo] as a valued matrix [G,G,compo,G], we have the homomorphims of valued matrices, which in this context are apparently called "homotopy": H: (G,*) -> (G',*'), which are triples H = (f,g,h) where f,g,h: G -> G' such that f(x * y) = g(x) *' h(y).
  • See "Valued matrices and their homo- and isomorphisms" in ComputerAlgebra/CombinatorialMatrices/Lisp/plans/Isomorphisms.hpp.
  • The isomorphic homotopies are apparently called "isotopies".
  • The notion of (ordinary) matrix homomorphism yield "principal homotopies" (resp. "principal isotopies"), which now assume that G = G', where then f = id_G is chosen, and the definiting equation is x * y = g(x) *' h(y).
  • It seems that a homotopy can always be represented as the composition of a principal homotopy and a homomorphism.
  • Additionally we can also consider G as a square matrix, which would lead to "square homotopies" H: (G,*) -> (G',*') as pairs H = (f,g) with f,g : G -> G' s.t. f(x * y) = g(x) *' g(y)", and square principal homotopies given by x * y = g(x) *' g(y).
Todo:
Induced congruence relation
  • Compare "Congruence relations" in ComputerAlgebra/Algebra/Lisp/Groupoids/plans/general.hpp.
  • What induced_congruence_grd computes, is just the equivalence relation induced by a map.
  • We should develop more general notions, likely at the level of (pure) sets.
  • Perhaps this should all be located in "Quotients.mac".

Definition in file Homomorphisms.hpp.