Endomorphism Monoids of Graphs and Partial Orders
|
|
- Merryl Golden
- 5 years ago
- Views:
Transcription
1 Endomorphism Monoids of Graphs and Partial Orders Nik Ruskuc School of Mathematics and Statistics, University of St Andrews Leeds, 3rd August 2007
2 S.J. Pride:
3 S.J. Pride: Semigroups : Groups = C : R
4 S.J. Pride: Semigroups : Groups C : R
5 S.J. Pride: Semigroups : Groups C : R
6 S.J. Pride: Semigroups : Groups C : R Groups : permutations Semigroups : mappings
7 S.J. Pride: Semigroups : Groups C : R Groups : automorphisms Semigroups : endomorphisms
8 Morphisms Definition Let X = (X ; R i (i I )) be a relational structure. An endomorphism is a mapping θ : X X which respects all the relations R i, i.e. (x 1,..., x k ) R i (x 1 θ,..., x k θ) R i. An automorphism is a bijective endomorphism θ for which θ 1 is also an endomorphism. Remark For posets and graphs the above becomes: x y xθ yθ, x y xθ yθ.
9 Morphisms End(X ) = the endomorphism monoid of X Aut(X ) = the automorphism group of X General Problem For a given X, how are End(X ) and Aut(X ), and their properties, related?
10 Trans(X ) and Sym(X ) Let E = E(X ) be a trivial relational structure on X. Trans(X ) = End(E) the full transformation monoid on X Sym(X ) = Aut(E) the symmetric group on X Facts Trans(n) = n n, Sym(n) = n! (X infinite) Trans(X ) = Sym(X ) = 2 X
11 Finite chains C n : 1 < 2 <... < n Facts Aut(C n ) = {id} End(C n ) = ( ) 2n 1 n 1
12 Rank Definition The rank of a semigroup S is the smallest number of elements needed to generate S; notation: rank(s). Facts rank(sym(n)) = 2 rank(trans(n)) = 3 rank(end(c n )) = n
13 Relative ranks Definition Let S be a semigroup, and let T be a subsemigroup of S. The relative rank of S modulo T (denoted rank(s : T )) is the smallest size of a set A such that S = T A. Example rank(trans(n) : Sym(n)) = 1
14 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2.
15 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Remark Semigroups : Groups = C : R
16 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Remark rank(trans(x ) : Sym(X )) = [C : R]:-)
17 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof.
18 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X δ 1 1
19 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X γ onto
20 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X
21 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X δ
22 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X δ π permutation
23 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) X X X X δ π permutation γ
24 Example: rank(trans(x ) : Sym(X )) Proposition (Higgins, Howie, NR 98) For X infinite, rank(trans(x ) : Sym(X )) = 2. Proof. ( ) Suppose Trans(X ) = Sym(X ), τ. If τ is not injective, then every injection in Sym(X ), τ is a bijection. If τ is not surjective, then every surjection in Sym(X ), τ is a bijection.
25 Some more relative ranks rank(trans(x ) : E(Trans(X )) ) = 2 rank(trans(x ) : Inj(X )) = 1 rank(trans(x ) : Surj(X )) = 1
26 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ).
27 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35]
28 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β
29 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β
30 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β
31 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ
32 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ
33 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ
34 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ like θ 1
35 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ like θ 2
36 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] γ like θ 3
37 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
38 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
39 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
40 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
41 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
42 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
43 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ
44 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Proof. [Banach 35] β γ β β β γ γ = θ 3
45 Sierpinski s Theorem Theorem (Sierpinski 35) Every countable subset of Trans(X ) (X infinite) is contained in a 2-generated subsemigroup of Trans(X ). Corollary The relative rank of any subsemigroup of Trans(X ) is 0, 1, 2 or uncountable. Proof. Suppose rank(trans(x ) : S) = ℵ 0, with Trans(X ) = S, τ 1, τ 2,.... By Sierpinski s Theorem, τ 1, τ 2,... α, β for some α, β. But then Trans(X ) = S, α, β.
46 Sierpinski/Galvin Theorem (Galvin 93) Every countable subset of Sym(X ) (X infinite) is contained in a 2-generator subgroup of Sym(X ). Corollary The relative rank of any subgroup G of Sym(X ) is 0, 1 or uncountable. Remark Where has 2 disappeared to?
47 Partial bijections SymInv(X ) the monoid of all partial bijections of X, i.e. bijections between subsets of X (the symmetric inverse monoid) Theorem (Mitchell 02) Every countable subset of SymInv(X ) (X infinite) is contained in a 2-generated inverse submonoid. Corollary The relative rank of any inverse subsemigroup S of SymInv(X ) is 0, 1, 2 or uncountable. Question Does there exist an inverse subsemigroup of SymInv(X ) with relative rank 2?
48 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1.
49 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1. Proof. Let δ : N N be any onto, infinite-to-one, mapping.
50 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1. Proof. Let δ : N N be any onto, infinite-to-one, mapping. Let γ Trans(N) be arbitrary.
51 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1. Proof. Let δ : N N be any onto, infinite-to-one, mapping. Let γ Trans(N) be arbitrary. Define ɛ End(N) inductively by:
52 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1. Proof. Let δ : N N be any onto, infinite-to-one, mapping. Let γ Trans(N) be arbitrary. Define ɛ End(N) inductively by: kɛ (kγ)δ 1 and kɛ > (k 1)ɛ.
53 Lineraly ordered set N Theorem (Higgins, Howie, Mitchell, NR 03) rank(trans(n) : End(N)) = 1. Proof. Let δ : N N be any onto, infinite-to-one, mapping. Let γ Trans(N) be arbitrary. Define ɛ End(N) inductively by: kɛ (kγ)δ 1 and kɛ > (k 1)ɛ. Then γ = ɛδ End(N), δ.
54 Linearly ordered sets Higgins, Mitchell, NR 03 Theorem If L is a countable linearly ordered set then rank(trans(l) : End(L)) = 1. Theorem If L is a well-ordered set then rank(trans(l) : End(L)) = 1. Example rank(trans(r) : End(R)) is uncountable. Question Does there exist an infinite linearly ordered set L such that rank(trans(l) : End(L)) = 2? Question Classify, in order-theoretic terms, all linearly ordered sets L with finite relative ranks in Trans(L).
55 Partially ordered sets Definition Let P be a partially ordered set. For x P write: x = {p P : x p}, x = {p P : p x}
56 Partially ordered sets Definition Let P be a partially ordered set. For x P write: x = {p P : x p}, x = {p P : p x} Theorem (Higgins, Mitchell, Morayne, NR 06) Let P be a countably infinite poset, and let c be the number of connected components of P.
57 Partially ordered sets Definition Let P be a partially ordered set. For x P write: x = {p P : x p}, x = {p P : p x} Theorem (Higgins, Mitchell, Morayne, NR 06) Let P be a countably infinite poset, and let c be the number of connected components of P. (I) Suppose c is finite. Then rank(trans(p), End(P)) 2 if and only if there exists x P such that at least one of x or x is infinite.
58 Partially ordered sets Definition Let P be a partially ordered set. For x P write: x = {p P : x p}, x = {p P : p x} Theorem (Higgins, Mitchell, Morayne, NR 06) Let P be a countably infinite poset, and let c be the number of connected components of P. (I) Suppose c is finite. Then rank(trans(p), End(P)) 2 if and only if there exists x P such that at least one of x or x is infinite. (II) If c is infinite and P is not an antichain, then rank(trans(p), End(P)) = 1.
59 Partially ordered sets Definition Let P be a partially ordered set. For x P write: x = {p P : x p}, x = {p P : p x} Theorem (Higgins, Mitchell, Morayne, NR 06) Let P be a countably infinite poset, and let c be the number of connected components of P. (I) Suppose c is finite. Then rank(trans(p), End(P)) 2 if and only if there exists x P such that at least one of x or x is infinite. (II) If c is infinite and P is not an antichain, then rank(trans(p), End(P)) = 1. (III) If P is an antichain, then rank(trans(p), End(P)) = 0:-)
60 Partially ordered sets Corollary rank(trans(p), End(P)) 2 provided any of the following hold: P has a smallest element; P has a largest element; P is a lattice.
61 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2.
62 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2. Proof. Suppose Trans(P) = End(P), µ.
63 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2. Proof. Suppose Trans(P) = End(P), µ. Let π Sym(P); write π = γ 1 γ 2... γ n, γ i End(P) {µ}.
64 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2. Proof. Suppose Trans(P) = End(P), µ. Let π Sym(P); write π = γ 1 γ 2... γ n, γ i End(P) {µ}. γ 1 is injective; γ n is surjective.
65 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2. Proof. Suppose Trans(P) = End(P), µ. Let π Sym(P); write π = γ 1 γ 2... γ n, γ i End(P) {µ}. γ 1 is injective; γ n is surjective. Hence γ 1 = γ n = µ Sym(P).
66 A poset with relative rank 2 (I) Higgins, Mitchell, Morayne, NR 06 Lemma If P is a poset with no non-trivial mono- or epi-morphisms then rank(trans(p), End(P)) 2. Proof. Suppose Trans(P) = End(P), µ. Let π Sym(P); write π = γ 1 γ 2... γ n, γ i End(P) {µ}. γ 1 is injective; γ n is surjective. Hence γ 1 = γ n = µ Sym(P). By induction π = µ n, a contradiction.
67 Poset with no monomorphisms c 4 c 0 c 6 c 2 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
68 Poset with no monomorphisms c 0 c 4 c 2 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
69 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
70 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
71 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 3 c c 5 1 c 7 c 9 c 11
72 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
73 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
74 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
75 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
76 Poset with no monomorphisms c 0 c 2 c 4 c 6 c 8 c 10 c 1 c 3 c 5 c 7 c 9 c 11
77 Poset with no epimorphisms
78 Poset with no epimorphisms Let A = {a 1, a 2,...} be a countably infinite set.
79 Poset with no epimorphisms Let A = {a 1, a 2,...} be a countably infinite set. Let E be the set of finite subsets E of A satisfying: a n E 2 E n + 1.
80 Poset with no epimorphisms Let A = {a 1, a 2,...} be a countably infinite set. Let E be the set of finite subsets E of A satisfying: a n E 2 E n + 1. Enumerate E: E 1, E 2,...
81 Poset with no epimorphisms Let A = {a 1, a 2,...} be a countably infinite set. Let E be the set of finite subsets E of A satisfying: a n E 2 E n + 1. Enumerate E: E 1, E 2,... Let B = {b 1, b 2,...}.
82 Poset with no epimorphisms Let A = {a 1, a 2,...} be a countably infinite set. Let E be the set of finite subsets E of A satisfying: a n E 2 E n + 1. Enumerate E: E 1, E 2,... Let B = {b 1, b 2,...}. A partial order on A B: b m > a n a n E m. b m B E m A
83 A poset with relative rank 2 (II) c 0 c 2 c 4 B b m A E m c 1 c 3 c 5 c 2m+1 Proposition (Higgins, Mitchell, Morayne, NR 06) The above poset P satisfies the conditions from the part (I) of the Theorem, but has no non-trivial mono- or epi-morphisms; consequently rank(trans(p) : End(P)) = 2.
84 Random graph R the random graph Theorem (Truss 85) Every countable group embeds into Aut(R).
85 Random graph R the random graph Theorem (Truss 85) Every countable group embeds into Aut(R). Theorem (Bonato, Delic, Dolinka, to appear) Every countable monoid embeds into End(R).
86 Random graph Theorem (Truss 85) Aut(R) is simple.
87 Random graph Theorem (Truss 85) Aut(R) is simple. Theorem (Delic, Dolinka 04) End(R) has uncountably many ideals. Remark To every ideal I of a monoid M there corresponds the Rees congruence Φ I M on M; but, not every congruence is a Rees congruence.
88 Random graph Theorem (Truss 85) Aut(R) is simple. Theorem (Delic, Dolinka 04) End(R) has uncountably many ideals. Remark To every ideal I of a monoid M there corresponds the Rees congruence Φ I M on M; but, not every congruence is a Rees congruence. Question How many non-rees congruences does End(R) have?
89 Random graph Theorem (Truss 85) Aut(R) is simple. Theorem (Delic, Dolinka 04) End(R) has uncountably many ideals. Remark To every ideal I of a monoid M there corresponds the Rees congruence Φ I M on M; but, not every congruence is a Rees congruence. Question How many non-rees congruences does End(R) have? Question How many congruences does Trans(N) have?
90 Random graph Definition The semigroup S is said to have Sierpinski index n if every countable subset of S is contained in an n-generated subsemigroup of S.
91 Random graph Definition The semigroup S is said to have Sierpinski index n if every countable subset of S is contained in an n-generated subsemigroup of S. Question Does Aut(R) have a finite Sierpinski index?
92 Random graph Definition The semigroup S is said to have Sierpinski index n if every countable subset of S is contained in an n-generated subsemigroup of S. Question Does Aut(R) have a finite Sierpinski index? Question Does End(R) have a finite Sierpinski index?
93 Random graph Definition The semigroup S is said to have Sierpinski index n if every countable subset of S is contained in an n-generated subsemigroup of S. Question Does Aut(R) have a finite Sierpinski index? Question Does End(R) have a finite Sierpinski index? Facts rank(sym(r) : Aut(R)) = 1, rank(trans(r) : Aut(R)) = 2, rank(trans(r) : End(R)) = 1. Question rank(end(r) : Aut(R)) =?
94 Homogeneous structures Question Let H be a homogeneous relational structure. Find general/interesting conditions under which: rank(sym(h) : Aut(H)) is finite; rank(trans(h) : End(H)) is finite; rank(end(h) : Aut(H)) is finite; End(H) and/or Aut(H) have finite Sierpinski index.
95 Homomorphism homogeneous structures P.J. Cameron, J. Nesetril, Homomorphism-homogeneous relational structures, preprint P.J. Cameron, D. Lockett, Posets, homomorphisms and homogeneity, preprint Question Investigate algebraic and combinatorial properties of endomorphism monoids of these new types of homogeneous structures, and how they relate to the corresponding automorphism groups.
Ranks of Semigroups. Nik Ruškuc. Lisbon, 24 May School of Mathematics and Statistics, University of St Andrews
Ranks of Semigroups Nik Ruškuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, Lisbon, 24 May 2012 Prologue... the word mathematical stems from the Greek expression ta mathemata, which means
More informationUniversal words and sequences
Universal words and sequences J. Jonušas January 18, 2017 School of Mathematics and Statistics, University of St Andrews 1 Universal words Let S be a semigroup, let A an alphabet, and let w A +. Then w
More informationINSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES. Katětov functors. Wiesław Kubiś Dragan Mašulović
INSTITUTE OF MATHEMATICS THE CZECH ACADEMY OF SCIENCES Katětov functors Wiesław Kubiś Dragan Mašulović Preprint No. 2-2016 PRAHA 2016 Katětov functors Wies law Kubiś Dragan Mašulović Jan Kochanowski University
More informationUniversal sequences for groups and semigroups
Universal sequences for groups and semigroups J. D. Mitchell (joint work with J. Hyde, J. Jonušas, and Y. Péresse) School of Mathematics and Statistics, University of St Andrews 12th September 2017 J.
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
More information1 + 1 = 2: applications to direct products of semigroups
1 + 1 = 2: applications to direct products of semigroups Nik Ruškuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Lisbon, 16 December 2010 Preview: 1 + 1 = 2... for
More informationSome more notions of homomorphism-homogeneity
Some more notions of homomorphism-homogeneity Deborah Lockett 1 and John K Truss 2, University of Leeds 3. Abstract We extend the notion of homomorphism-homogeneity to a wider class of kinds of maps than
More informationFINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1
Novi Sad J. Math. Vol. 40, No. 3, 2010, 83 87 Proc. 3rd Novi Sad Algebraic Conf. (eds. I. Dolinka, P. Marković) FINITE IRREFLEXIVE HOMOMORPHISM-HOMOGENEOUS BINARY RELATIONAL SYSTEMS 1 Dragan Mašulović
More informationHomomorphism-homogeneous relational structures
Homomorphism-homogeneous relational structures Peter J. Cameron School of Mathematical Sciences Queen Mary, University of London Mile End Road, London E1 4NS, UK p.j.cameron@qmul.ac.uk and Jaroslav Nešetřil
More informationEndomorphism rings generated using small numbers of elements arxiv:math/ v2 [math.ra] 10 Jun 2006
Endomorphism rings generated using small numbers of elements arxiv:math/0508637v2 [mathra] 10 Jun 2006 Zachary Mesyan February 2, 2008 Abstract Let R be a ring, M a nonzero left R-module, and Ω an infinite
More informationarxiv: v1 [math.gr] 26 Jul 2013
On hopfian cofinite subsemigroups Victor Maltcev and N. Ruškuc arxiv:1307.6929v1 [math.gr] 26 Jul 2013 October 1, 2018 Abstract If a finitely generated semigroup S has a hopfian (meaning: every surjective
More informationBASIC GROUP THEORY : G G G,
BASIC GROUP THEORY 18.904 1. Definitions Definition 1.1. A group (G, ) is a set G with a binary operation : G G G, and a unit e G, possessing the following properties. (1) Unital: for g G, we have g e
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More informationPosets, homomorphisms and homogeneity
Posets, homomorphisms and homogeneity Peter J. Cameron and D. Lockett School of Mathematical Sciences Queen Mary, University of London Mile End Road London E1 4NS, U.K. Abstract Jarik Nešetřil suggested
More information1.4 Cardinality. Tom Lewis. Fall Term Tom Lewis () 1.4 Cardinality Fall Term / 9
1.4 Cardinality Tom Lewis Fall Term 2006 Tom Lewis () 1.4 Cardinality Fall Term 2006 1 / 9 Outline 1 Functions 2 Cardinality 3 Cantor s theorem Tom Lewis () 1.4 Cardinality Fall Term 2006 2 / 9 Functions
More informationRELATIVE RANKS OF SEMIGROUPS OF MAPPINGS; GENERATING CONTINUOUS MAPS WITH LIPSCHITZ FUNCTIONS
RELATIVE RANKS OF SEMIGROUPS OF MAPPINGS; GENERATING CONTINUOUS MAPS WITH LIPSCHITZ FUNCTIONS MICHA L MORAYNE INSTYTUT MATEMATYKI I INFORMATYKI POLITECHNIKA WROC LAWSKA WYK LADY SSDNM INSTYTUT MATEMATYKI
More informationPseudo-finite monoids and semigroups
University of York NBSAN, 07-08 January 2018 Based on joint work with Victoria Gould and Dandan Yang Contents Definitions: what does it mean for a monoid to be pseudo-finite, or pseudo-generated by a finite
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationON GENERATORS, RELATIONS AND D-SIMPLICITY OF DIRECT PRODUCTS, BYLEEN EXTENSIONS, AND OTHER SEMIGROUP CONSTRUCTIONS. Samuel Baynes
ON GENERATORS, RELATIONS AND D-SIMPLICITY OF DIRECT PRODUCTS, BYLEEN EXTENSIONS, AND OTHER SEMIGROUP CONSTRUCTIONS Samuel Baynes A Thesis Submitted for the Degree of PhD at the University of St Andrews
More informationSemigroup presentations via boundaries in Cayley graphs 1
Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationTransformation Semigroups:
Transformation Semigroups: Congruences, Idempotents, and Groups Donald B. McAlister Department of Mathematical Sciences Northern Illinois University and Centro de Álgebra da Universidade de Lisboa (CAUL)
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationMonoids and Their Cayley Graphs
Monoids and Their Cayley Graphs Nik Ruskuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews NBGGT, Leeds, 30 April, 2008 Instead of an Apology Then, as for the geometrical
More informationarxiv: v2 [math.gr] 22 Aug 2016
THEORY OF DISGUISED-GROUPS EDUARDO BLANCO GÓMEZ arxiv:1607.07345v2 [math.gr] 22 Aug 2016 Abstract. In this paper we define a new algebraic object: the disguised-groups. We show the main properties of the
More informationPosets, homomorphisms, and homogeneity
Posets, homomorphisms, and homogeneity Peter J. Cameron p.j.cameron@qmul.ac.uk Dedicated to Jarik Nešetřil on his sixtieth birthday HAPPY BIRTHDAY JARIK! Summary Jarik Nešetřil has made deep contributions
More informationSEMIGROUP PRESENTATIONS FOR CONGRUENCES ON GROUPS
Bull. Korean Math. Soc. 50 (2013), No. 2, pp. 445 449 http://dx.doi.org/10.4134/bkms.2013.50.2.445 SEMIGROUP PRESENTATIONS FOR CONGRUENCES ON GROUPS Gonca Ayık and Basri Çalışkan Abstract. We consider
More information1. Foundations of Numerics from Advanced Mathematics. Linear Algebra
Foundations of Numerics from Advanced Mathematics Linear Algebra Linear Algebra, October 23, 22 Linear Algebra Mathematical Structures a mathematical structure consists of one or several sets and one or
More informationHomogeneous Structures and Ramsey Classes
Homogeneous Structures and Ramsey Classes Julia Böttcher April 27, 2005 In this project report we discuss the relation between Ramsey classes and homogeneous structures and give various examples for both
More informationOne Relation Semigroups
One Relation Semigroups Nik Ruskuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, NBSAN, York, 28 January 2009 Statement of the Problem Open Problem Is the word problem soluble for every semigroup
More informationWinter School on Galois Theory Luxembourg, February INTRODUCTION TO PROFINITE GROUPS Luis Ribes Carleton University, Ottawa, Canada
Winter School on alois Theory Luxembourg, 15-24 February 2012 INTRODUCTION TO PROFINITE ROUPS Luis Ribes Carleton University, Ottawa, Canada LECTURE 2 2.1 ENERATORS OF A PROFINITE ROUP 2.2 FREE PRO-C ROUPS
More informationConjugacy in epigroups
October 2018 Conjugacy in epigroups António Malheiro (CMA/FCT/NOVA University of Lisbon) @ the York semigroup (joint work with João Araújo, Michael Kinyon, Janusz Konieczny) Acknowledgement: This work
More informationStructural-Morphism System Property: atis Homomorphismness
ATIS Glossary 1 Structural-Morphism System Property: atis Homomorphismness (Structural-morphism system properties are those properties that are part of the theory and define the mapping-relatedness of
More informationPermutations of a semigroup that map to inverses
Permutations of a semigroup that map to inverses Peter M. Higgins Dept of Mathematical Sciences, University of Essex, CO4 3SQ, UK email: peteh@essex.ac.uk Dedicated to the memory of John M. Howie Abstract
More informationA graph theoretic approach to combinatorial problems in semigroup theory
A graph theoretic approach to combinatorial problems in semigroup theory Robert Gray School of Mathematics and Statistics University of St Andrews Thesis submitted for the Degree of Doctor of Philosophy
More informationAUTOMORPHISMS OF A FREE GROUP OF INFINITE RANK C. K. GUPTA AND W. HO LUBOWSKI
Algebra i analiz St. Petersburg Math. J. Tom 19 (2007), 2 Vol. 19 (2008), No. 2, Pages 215 223 S 1061-0022(08)00994-1 Article electronically published on February 1, 2008 AUTOMORPHISMS OF A FREE GROUP
More informationAbstract Algebra II Groups ( )
Abstract Algebra II Groups ( ) Melchior Grützmann / melchiorgfreehostingcom/algebra October 15, 2012 Outline Group homomorphisms Free groups, free products, and presentations Free products ( ) Definition
More informationLie theory for non-lie groups
Journal of Lie Theory Version of May 4, 1995 Volume 4 (1994) 257 284 C 1994 Heldermann Verlag Lie theory for non-lie groups Markus Stroppel Communicated by K. Strambach Introduction The class of locally
More informationendomorphism monoids of free G-acts
and endomorphism monoids of free G-acts University of York Based on joint work with Igor Dolinka and Victoria Gould Let E be a biordered set (equivalently, a set of idempotents E of a semigroup S). The
More informationAlgebra. Travis Dirle. December 4, 2016
Abstract Algebra 2 Algebra Travis Dirle December 4, 2016 2 Contents 1 Groups 1 1.1 Semigroups, Monoids and Groups................ 1 1.2 Homomorphisms and Subgroups................. 2 1.3 Cyclic Groups...........................
More informationISOLATED SUBSEMIGROUPS IN THE VARIANTS OF T n. 1. Introduction and description of the results
ISOLATED SUBSEMIGROUPS IN THE VARIANTS OF T n V. MAZORCHUK and G. TSYAPUTA Abstract. We classify all isolated, completely isolated and convex subsemigroups in the semigroup T n of all transformations of
More informationNotes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.
Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr. Chapter : Logic Topics:. Statements, Negation, and Compound Statements.2 Truth Tables and Logical Equivalences.3
More informationOn divisors of pseudovarieties generated by some classes of full transformation semigroups
On divisors of pseudovarieties generated by some classes of full transformation semigroups Vítor H. Fernandes Departamento de Matemática Faculdade de Ciências e Tecnologia Universidade Nova de Lisboa Monte
More informationLecture 10: Limit groups
Lecture 10: Limit groups Olga Kharlampovich November 4 1 / 16 Groups universally equivalent to F Unification Theorem 1 Let G be a finitely generated group and F G. Then the following conditions are equivalent:
More information1.1 Definition. A monoid is a set M together with a map. 1.3 Definition. A monoid is commutative if x y = y x for all x, y M.
1 Monoids and groups 1.1 Definition. A monoid is a set M together with a map M M M, (x, y) x y such that (i) (x y) z = x (y z) x, y, z M (associativity); (ii) e M such that x e = e x = x for all x M (e
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationMotzkin monoids and partial Brauer monoids
Motzkin monoids and partial Brauer monoids Igor Dolinka, James East, Robert D Gray Abstract We study the partial Brauer monoid and its planar submonoid, the Motzkin monoid We conduct a thorough investigation
More informationOn disjoint unions of finitely many copies of the free monogenic semigroup
On disjoint unions of finitely many copies of the free monogenic semigroup N. Abu-Ghazalh, N. Ruškuc January 4, 2013 Abstract Every semigroup which is a finite disjoint union of copies of the free monogenic
More informationSome algebraic properties of. compact topological groups
Some algebraic properties of compact topological groups 1 Compact topological groups: examples connected: S 1, circle group. SO(3, R), rotation group not connected: Every finite group, with the discrete
More informationThere is 2 c automorphisms of complex numbers
University of Silesia, Institute of Mathematics Wisła, February 7, 2011 Some facts from field theory Every field has its algebraic closure. It is unique up to isomorphism; hence one can denote the algebraic
More informationFunctions. Definition 1 Let A and B be sets. A relation between A and B is any subset of A B.
Chapter 4 Functions Definition 1 Let A and B be sets. A relation between A and B is any subset of A B. Definition 2 Let A and B be sets. A function from A to B is a relation f between A and B such that
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationits image and kernel. A subgroup of a group G is a non-empty subset K of G such that k 1 k 1
10 Chapter 1 Groups 1.1 Isomorphism theorems Throughout the chapter, we ll be studying the category of groups. Let G, H be groups. Recall that a homomorphism f : G H means a function such that f(g 1 g
More informationON THE UNIQUENESS OF POLISH GROUP TOPOLOGIES. by Bojana Pejić MA, University of Pittsburgh, 2006 MMath, University of Oxford, 2002
ON THE UNIQUENESS OF POLISH GROUP TOPOLOGIES by Bojana Pejić MA, University of Pittsburgh, 2006 MMath, University of Oxford, 2002 Submitted to the Graduate Faculty of the Department of Mathematics in partial
More informationThe kernel of a monoid morphism. Part I Kernels and extensions. Outline. Basic definitions. The kernel of a group morphism
Outline The kernel of a monoid morphism Jean-Éric Pin1 (1) Kernels and extensions (2) The synthesis theoem (3) The finite case (4) Group radical and effective characterization (5) The topological approach
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationCongruence Boolean Lifting Property
Congruence Boolean Lifting Property George GEORGESCU and Claudia MUREŞAN University of Bucharest Faculty of Mathematics and Computer Science Academiei 14, RO 010014, Bucharest, Romania Emails: georgescu.capreni@yahoo.com;
More informationBinary Operations. Chapter Groupoids, Semigroups, Monoids
36 Chapter 5 Binary Operations In the last lecture, we introduced the residue classes Z n together with their addition and multiplication. We have also shown some properties that these two operations have.
More informationSUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS
SUBLATTICES OF LATTICES OF ORDER-CONVEX SETS, III. THE CASE OF TOTALLY ORDERED SETS MARINA SEMENOVA AND FRIEDRICH WEHRUNG Abstract. For a partially ordered set P, let Co(P) denote the lattice of all order-convex
More informationMonoids of languages, monoids of reflexive. relations and ordered monoids. Ganna Kudryavtseva. June 22, 2010
June 22, 2010 J -trivial A monoid S is called J -trivial if the Green s relation J on it is the trivial relation, that is aj b implies a = b for any a, b S, or, equivalently all J -classes of S are one-element.
More informationAmin Saied Finitely Presented Metabelian Groups 1
Amin Saied Finitely Presented Metabelian Groups 1 1 Introduction Motivating Question There are uncountably many finitely generated groups, but there are only countably many finitely presented ones. Which
More informationMATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals
MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real
More informationDiscrete Mathematics 2007: Lecture 5 Infinite sets
Discrete Mathematics 2007: Lecture 5 Infinite sets Debrup Chakraborty 1 Countability The natural numbers originally arose from counting elements in sets. There are two very different possible sizes for
More informationEqualizers and kernels in categories of monoids
Equalizers and kernels in categories of monoids Emanuele Rodaro Joint work with A. Facchini Department of Mathematics, Polytechnic University of Milan E. Rodaro ( Department of Mathematics, Polytechnic
More informationTopological transformation monoids
Topological transformation monoids Z. Mesyan, J. D. Mitchell, and Y. Péresse March 11, 2019 Abstract We investigate semigroup topologies on the full transformation monoid Ω Ω of an infinite set Ω. We show
More informationPermutation Groups and Transformation Semigroups Lecture 2: Semigroups
Permutation Groups and Transformation Semigroups Lecture 2: Semigroups Peter J. Cameron Permutation Groups summer school, Marienheide 18 22 September 2017 I am assuming that you know what a group is, but
More informationFiniteness conditions and index in semigroup theory
Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions
More informationMATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 2: Countability and Cantor Sets
MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 2: Countability and Cantor Sets Countable and Uncountable Sets The concept of countability will be important in this course
More informationMath 455 Some notes on Cardinality and Transfinite Induction
Math 455 Some notes on Cardinality and Transfinite Induction (David Ross, UH-Manoa Dept. of Mathematics) 1 Cardinality Recall the following notions: function, relation, one-to-one, onto, on-to-one correspondence,
More information* 8 Groups, with Appendix containing Rings and Fields.
* 8 Groups, with Appendix containing Rings and Fields Binary Operations Definition We say that is a binary operation on a set S if, and only if, a, b, a b S Implicit in this definition is the idea that
More informationγ γ γ γ(α) ). Then γ (a) γ (a ) ( γ 1
The Correspondence Theorem, which we next prove, shows that the congruence lattice of every homomorphic image of a Σ-algebra is isomorphically embeddable as a special kind of sublattice of the congruence
More informationP.S. Gevorgyan and S.D. Iliadis. 1. Introduction
MATEMATIČKI VESNIK MATEMATIQKI VESNIK 70, 2 (208), 0 9 June 208 research paper originalni nauqni rad GROUPS OF GENERALIZED ISOTOPIES AND GENERALIZED G-SPACES P.S. Gevorgyan and S.D. Iliadis Abstract. The
More informationRohit Garg Roll no Dr. Deepak Gumber
FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics
More informationAlgebra I and II. Kai-Uwe Bux
Algebra I and II Kai-Uwe Bux May 11, 2007 2 Contents 1 Groups and Actions 7 1.1 Basic Notions...................... 7 1.1.1 Monoids...................... 7 1.1.2 Group Actions................... 14 1.1.3
More informationIsomorphisms between pattern classes
Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.
More informationOn a theorem of Halin
On a theorem of Halin Dedicated to the memory of Rudolf Halin Wilfried Imrich Department Mathematics and Information Technology, Montanuniversität Leoben, 8700 Leoben, Austria imrich@unileoben.ac.at Simon
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationPre-prints DM-FCT-UNL 2011 Pré-Publicações DM-FCT-UNL 2011
On the ranks of certain monoids of transformations that preserve a uniform partition Vítor H. Fernandes 1 and Teresa M. Quinteiro January 011 Abstract The purpose of this paper is to compute the ranks
More informationPermutation Groups and Transformation Semigroups Lecture 4: Idempotent generation
Permutation Groups and Transformation Semigroups Lecture 4: Idempotent generation Peter J. Cameron University of St Andrews Shanghai Jiao Tong University November 2017 Idempotent generation We are interested
More informationKrull Dimension and Going-Down in Fixed Rings
David Dobbs Jay Shapiro April 19, 2006 Basics R will always be a commutative ring and G a group of (ring) automorphisms of R. We let R G denote the fixed ring, that is, Thus R G is a subring of R R G =
More informationMATH 3300 Test 1. Name: Student Id:
Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationComputing Transformation Semigroups
Article Submitted to Journal of Symbolic Computation Computing Transformation Semigroups S. A. Linton 1, G. Pfeiffer 2, E. F. Robertson 3 and N. Ruškuc 3 1 School of Computer Science, University of St
More informationINTRODUCTION TO THE GROUP THEORY
Lecture Notes on Structure of Algebra INTRODUCTION TO THE GROUP THEORY By : Drs. Antonius Cahya Prihandoko, M.App.Sc e-mail: antoniuscp.fkip@unej.ac.id Mathematics Education Study Program Faculty of Teacher
More informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationChapter 1. Sets and Mappings
Chapter 1. Sets and Mappings 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write
More informationGraph homomorphisms. Peter J. Cameron. Combinatorics Study Group Notes, September 2006
Graph homomorphisms Peter J. Cameron Combinatorics Study Group Notes, September 2006 Abstract This is a brief introduction to graph homomorphisms, hopefully a prelude to a study of the paper [1]. 1 Homomorphisms
More informationLecture 4.1: Homomorphisms and isomorphisms
Lecture 4.: Homomorphisms and isomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4, Modern Algebra M. Macauley (Clemson) Lecture
More informationApproaching cosets using Green s relations and Schützenberger groups
Approaching cosets using Green s relations and Schützenberger groups Robert Gray Mini workshop in Algebra, CAUL April 2008 1 / 14 General question How are the properties of a semigroup related to those
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationON KISELMAN QUOTIENTS OF 0-HECKE MONOIDS. Olexandr Ganyushkin and Volodymyr Mazorchuk
International Electronic Journal of Algebra Volume 10 (2011) 174-191 ON KISELMAN QUOTIENTS OF 0-HECKE MONOIDS Olexandr Ganyushkin and Volodymyr Mazorchuk Received: 5 March 2011; Revised: 27 March 2011
More informationFinitary Permutation Groups
Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita
More informationThe group of reversible Turing machines
The group of reversible Turing machines Sebastián Barbieri, Jarkko Kari and Ville Salo LIP, ENS de Lyon CNRS INRIA UCBL Université de Lyon University of Turku Center for Mathematical Modeling, University
More informationMATH 436 Notes: Homomorphisms.
MATH 436 Notes: Homomorphisms. Jonathan Pakianathan September 23, 2003 1 Homomorphisms Definition 1.1. Given monoids M 1 and M 2, we say that f : M 1 M 2 is a homomorphism if (A) f(ab) = f(a)f(b) for all
More informationTHE AUTOMORPHISM GROUP OF A SHIFT OF LINEAR GROWTH: BEYOND TRANSITIVITY
THE AUTOMORPHISM GROUP OF A SHIFT OF LINEAR GROWTH: BEYOND TRANSITIVITY VAN CYR AND BRYNA KRA Abstract. For a finite alphabet A and shift X A Z whose factor complexity function grows at most linearly,
More informationThe Number of Homomorphic Images of an Abelian Group
International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.
More informationOMEGA-CATEGORIES AND CHAIN COMPLEXES. 1. Introduction. Homology, Homotopy and Applications, vol.6(1), 2004, pp RICHARD STEINER
Homology, Homotopy and Applications, vol.6(1), 2004, pp.175 200 OMEGA-CATEGORIES AND CHAIN COMPLEXES RICHARD STEINER (communicated by Ronald Brown) Abstract There are several ways to construct omega-categories
More information