A Galois theory of monoids Tim Van der Linden with Andrea Montoli - PowerPoint PPT Presentation

A Galois theory of monoids Tim Van der Linden with Andrea Montoli and Diana Rodelo Fonds de la Recherche Scientifique–FNRS Université catholique de Louvain Categorical Methods in Algebra and Topology Coimbra — 25th of January 2014

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

Introduction categorical Galois theory ? categorical approach to monoids Ð Ñ central extensions Is there a concept of centrality for monoid extensions? § Already the concept of extension is non-trivial and interesting! § In fact, special Schreier surjections (the extensions) have properties that central extensions typically have: they are pullback-stable, 1 reflected by pullbacks along regular epimorphisms, 2 generally not closed under composition. 3 Are the special Schreier surjections central in some Galois theory? § Almost!

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2

� � The Grothendieck group adjunction gp Mon Gp K mon § Gp is not a subvariety of Mon § M commutative monoid (perhaps better known: Z from N !) gp ( M ) = ( M ˆ M )/ „ where ( m , n ) „ ( p , q ) iff D k : m + q + k = p + n + k § general case: gp ( M ) = F ( M ) N ( M ) F ( M ) free group on M , and N ( M ) � F ( M ) generated by words [ m 1 ][ m 2 ][ m 1 m 2 ] ´ 1 § elements of gp ( M ) look like [ m 1 ][ m 2 ] ´ 1 [ m 3 ][ m 4 ] ´ 1 ¨ ¨ ¨ [ m n ] ι ( n ) § unit of the adjunction: η M : M Ñ gp ( M ): m ÞÑ [ m ] § η M need not be an injection or a surjection [Mal’tsev, 1937] 1 η N : N Ñ Z is an injection, but there exist non-trivial M for which gp ( M ) = 0 2