endomorphism monoids of free G-acts
|
|
- Sybil Taylor
- 5 years ago
- Views:
Transcription
1 and endomorphism monoids of free G-acts University of York Based on joint work with Igor Dolinka and Victoria Gould
2 Let E be a biordered set (equivalently, a set of idempotents E of a semigroup S). The free idempotent generated semigroup IG(E) is a free object in the category of semigroups that are generated by E, defined by IG(E) = E : ē f = ef, e, f E, {e, f } {ef, fe}. where E = {ē : e E}. Note It is more usual to identify elements of E with those of E, but it helps the clarity of our later arguments to make this distinction.
3 Facts 1 IG(E) = E. 2 The natural map φ : IG(E) S, given by ēφ = e, is a morphism onto S = E(S). 3 The restriction of φ to the set of idempotents of IG(E) is a bijection. 4 The morphism φ induces a bijection between the set of all R-classes (resp. L-classes) in the D-class of ē in IG(E) and the corresponding set in S = E(S). 5 The morphism φ is an onto morphism from H e to H e.
4 Maximal subgroups of IG(E) Work of Pastijn (1977, 1980), Nambooripad and Pastijn (1980), McElwee (2002) led to a conjecture that all these groups must be free groups. Brittenham, Margolis and Meakin (2009) Z Z can be a maximal subgroup of IG(E), for some E. Gray and Ruskuc (2012) Any group occurs as a maximal subgroup of some IG(E), a general presentation and a special choice of E are needed. Gould and Yang (2012) Any group occurs as a maximal subgroup of a natural IG(E), a simple approach suffices. Dolinka and Ruskuc (2013) Any group occurs as IG(E) for some band.
5 Maximal subgroups of IG(E) Given a special biordered set E, which kind of groups can be the maximal subgroups of IG(E)? Let S be a semigroup with E = E(S). Let e E. Our aim is to find the relationship between the maximal subgroup H e of IG(E) with identity e and the maximal subgroup H e of S with identity e. There is an onto morphism from H e to H e. Is H e = He, for some E and some e E?
6 Full transformation monoids and full linear monoids T n (PT n ) - full (partial) transformation monoid, E - its biordered set. Gray and Ruskuc (2012); Dolinka (2013) rank e = r < n 1, H e = He = Sr. Brittenham, Margolis and Meakin (2010) M n (D) - full linear monoid, E - its biordered set. rank e = 1 and n 3, H e = He = D. Dolinka and Gray (2012) rank e = r < n/3 and n 4, H e = He = GLr (D). Note rank e = n 1, H e is free; rank e = n, H e is trivial.
7 Independence algebras Sets and vector spaces over division rings are examples of independence algebras. Fountain and Lewin (1992) Let A be an independence algebra of rank n, where n N is finite. Let End A be the endomorpshim monoid of A. Then Gould (1995) S(End A) = {α End A : rank α < n} = E \ {I }. For any α, β End A, we have the following: (i) im α = im β if and only if α L β; (ii) ker α = ker β if and only if α R β; (iii) rank α = rank β if and only if α D β if and only if α J β.
8 Independence algebras The results on the biordered set of idempotents of T n and M n (D) suggest that it would be worth looking into the maximal subgroups of IG(E), where E = E(End A). The diverse method needed in the biordered sets of T n and M n (D) indicate that it would be very hard to find a unified approach to End A. It was pointed out by Gould that free G-acts provide us with another kind of independence algebras.
9 Free G-acts Let G be a group, n N, n 3. Let F n (G) be a rank n free left G-act. Recall that, as a set, F n (G) = {gx i : g G, i [1, n]}; identify x i with 1x i, where 1 is the identity of G; gx i = hx j if and only if g = h and i = j; the action of G is given by g(hx i ) = (gh)x i.
10 Endomorphism monoids of free left G-acts Let End F n (G) be the endomorphism monoid of F n (G) with E = E(End F n (G)). The rank of an element of End F n (G) is the minimal number of (free) generators in its image. An element α End F n (G) depends only on its action on the free generators {x i : i [1, n]}. For convenience we denote α by ( ) x1 x α = 2... x n w1 αx 1α w2 αx 2α... wn α, x nα where α T n, w α 1,, w α n G. Note End F n (G) = G S n and S(End F n (G)) = E \ {I }.
11 Endomorphism monoids of free left G-acts For any rank r idempotent ε E, where 1 r n, we have H ε = G Sr. How about the maximal subgroup H ε of IG(E)?
12 A presentation for H ε To specialise Gray and Ruškuc s presentation of maximal subgroups of IG(E) to our particular circumstance. Step 1 To obtain an explicit description of a Rees matrix semigroup isomorphic to the semigroup D 0 r = D r {0}, where D r = {α End F n (G) rank α = r}. Let I and Λ denote the set of R-classes and the set of L-classes of D r, respectively. Here we may take I as the set of kernels of elements in D r, and Λ = {(u 1, u 2,..., u r ) : 1 u 1 < u 2 <... < u r n} [1, n] r. Let H iλ = R i L λ.
13 A presentation for H ε Assume 1 I Λ with 1 = (x 1, x i ) : r + 1 i n I, 1 = (1,, r) Λ. So H = H 11 is a group with identity ε = ε 11. A typical element of H looks like ( ) x1 x α = 2... x r x r+1... x n w1 αx 1α w2 αx 2α... wr α x rα w1 αx 1α... w1 αx 1α where α T n, w α 1,, w α r G. Abbreviate α as ( ) x1 x α = 2... x r w1 αx 1α w2 αx 2α... wr α. x rα In particular, ( ) x1 x ε = ε 11 = 2... x r. x 1 x 2... x r
14 A presentation for H ε For any α D r, ker α induces a partition {B1 α,, Br α } on [1, n] with a set of minimum elements l1 α,, lr α such that l1 α < < lr α. Put Θ = {α D r : x l α j α = x j, j [1, r]}. Then it is a transversal of the H-classes of L 1. For each i I, define r i as the unique element in Θ H i1. We say that r i lies in district (l r i 1, l r i 2,, l r i r ) (of course, 1 = l r i 1 ). For each λ = (u 1, u 2,..., u r ) Λ, define ( x1 x q λ = q (u1,,u r ) = 2 x r x r+1 x n x u1 x u2 x ur x u1 x u1 ).
15 A presentation for H ε We have that D 0 r = D r {0} is completely 0-simple, and hence D 0 r = M 0 (H; I, Λ; P), where P = (p λi ) and p λi = (q λ r i ) if rank q λ r i = r and is 0 else. Note [ ] εiλ ε iµ ε kλ ε kµ is a singular square p 1 λi p λk = p 1 µi p µk.
16 A presentation for H ε Step 2 Define a schreier system of words {h λ : λ Λ} inductively, using the restriction of the lexicographic order on [1, n] r to Λ. Put h (1,2,,r) = 1; For any (u 1, u 2,..., u r ) > (1, 2,, r), take u 0 = 0 and i the largest such that u i u i 1 > 1. Then Define (u 1,..., u i 1, u i 1, u i+1,..., u r ) < (u 1, u 2,..., u r ). h (u1,,u r ) = h (u1,,u i 1,u i 1,u i+1,,u r )α (u1,,u r ), where ( ) x α (u1,,u r ) = 1 x u1 x u1 +1 x u2 x ur 1 +1 x ur x ur +1 x n x u1 x u1 x u2 x u2 x ur x ur x ur x ur
17 A presentation for H ε Facts 1 εh (u1,...,u r ) = q (u1,...,u r ). 2 h (u1,,u r ) induces a bijection from L (1,,r) onto L (u1,,u r ) in both End F n (G) and IG(E). Hence {h λ : λ Λ} forms the required schreier system for the presentation for H = H ε. Step 3 Define a function Note p ω(i),i = ε. ω : I Λ, i ω(i) = (l r i 1, l r i 2,..., l r i r ). Put K = {(i, λ) I Λ : H iλ is a group}.
18 A presentation for H ε Proposition Let E = E(End F n (G)). Then the maximal subgroup H of ε in IG(E) is defined by the presentation with generators: and defining relations Σ: (R1) f i,λ = f i,µ (h λ ε iµ = h µ ); (R2) f i,ω(i) = 1 (i I ); (R3) f 1 i,λ f i,µ = f 1 k,λ f k,µ p 1 µi p µk ). P = F : Σ F = {f i,λ : (i, λ) K} ( [ ] εiλ ε iµ ε kλ ε kµ is singular i.e. p 1 λi p λk =
19 A presentation for H ε Note If rank ε = n 1, then H ε is free, as no non-trivial singular squares exist; if rank ε = n, then H ε is trivial. How about H ε, where 1 rank ε n 2?
20 A presentation for H ε Given a pair (i, λ) K, we have a generator f i,λ and an element 0 p λi P. To find the relationship between these generators f i,λ and non-zero elements p λi P.
21 Identity generators Lemma If (i, λ) K and p λi = ε, then f i,λ = 1 H. Idea. The proof follows by induction on λ Λ, ordered lexicographically. Here we make use of our particular choice of schreier system and function ω.
22 Generators corresponding to the same columns or rows Lemma If p λi = p µi, then f i,λ = f i,µ. The proof is straightforward. Lemma If p λi = p λj, then f i,λ = f j,λ. Idea. For any i, j I, suppose that r i and r j lie in districts (1, k 2,, k r ) and (1, l 2,, l r ), respectively. We call u [1, n] a mutually bad element of r i with respect to r j, if there exist m, s [1, r] such that u = k m = l s, but m s; all other elements are said to be mutually good with respect to r i and r j. We proceed by induction on the number of bad elements.
23 Connectivity of elements in the sandwich matrix Definition Let i, j I and λ, µ Λ such that p λi = p µj. We say that (i, λ), (j, µ) are connected if there exist i = i 0, i 1,..., i m = j I and λ = λ 0, λ 1,..., λ m = µ Λ such that for 0 k < m we have p λk i k = p λk,i k+1 = p λk+1 i k+1.
24 Connectivity of elements in the sandwich matrix The following picture illustrates that (i, λ) = (i 0, λ 0 ) is connected to (j, µ) = (i m, λ m ): p λ0 i 0 p λi1 p λ1 i 1 p λ1 i 2 p λm 1 i m 1 p λm 1 i m p λmi m Lemma Let i, j I and λ, µ Λ be such that p λi = p µj where (i, λ), (j, µ) are connected. Then f i,λ = f j,µ.
25 The result for n 2r + 1 Lemma Let n 2r + 1. Let λ = (u 1,, u r ) Λ, and i I with p λi H. Then (i, λ) is connected to (j, µ) for some j I and µ = (n r + 1,, n). Consequently, if p λi = p νk for any i, k I and λ, ν Λ, then f i,λ = f k,ν. We may define f φ = f i,λ, if p λi = φ H. Lemma Let r n/3. Then for any φ, θ H, f φθ = f θ f φ and f φ 1 = f 1 φ Note Every element of H appears in P. Theorem Let r n/3. Then H = H, f φ φ 1.
26 The result for r n 2 For larger r this strategy will fail... :-( Two main problems: for r n/2, not every element of H lies in P; we lose connectivity of elements in P, even if r = n/2. However, for r n 2 all elements with simple form ( ) x φ = 1 x 2 x k 1 x k x k+1 x k+m 1 x k+m x k+m+1... x r, x 1 x 2 x k 1 x k+1 x k+2 x k+m ax k x k+m+1... x r where k 1, m 0, a G, lie in P.
27 The result for r n 2 Lemma Let ε φ = p λi where λ = (u 1,, u r ) and i I. Then (i, λ) is connected to (j, µ) where µ = (1,, k 1, k + 1,, r + 1) and j I. Lemma Let p λi = p νk have simple form. Then f i,λ = f k,ν. Our aim here is to prove that for any α H, if i, j I and λ, µ Λ with p λi = p µj = α H, then f i,λ = f j,µ. This property of α is called consistency. Note All elements with simple form are consistent.
28 The result for r n 2 How to split an arbitrary element α in H into a product of elements with simple form? Moreover, how this splitting match the products of generators f i,λ in H.
29 The result for r n 2 Definition Let α H. We say that α has rising point r + 1 if x m α = ax r for some m [1, r] and a 1 G ; otherwise, the rising point is k r if there exists a sequence with 1 i < j 1 < j 2 < < j r k r x i α = x k, x j1 α = x k+1, x j2 α = x k+2,, x jr k α = x r and such that if l [1, r] with x l α = ax k 1, then if l < i we must have a 1 G.
30 The result for r n 2 Fact The only element with rising point 1 is the identity of H, and elements with rising point 2 have either of the following two forms: ( ) x1 x (i) α = 2 x r, where a 1 G ; ax 1 x 2 x r ( x1 x (ii) α = 2 x k 1 x k x k+1 x r x 2 x 3 x k ax 1 x k+1 x r k 2. ), where Note Both of the above two forms are the so called simple forms; however, elements with simple form can certainly have rising point greater than 2, indeed, it can be r + 1. Lemma Let α H have rising point 1 or 2. Then α is consistent.
31 The result for r n 2 Lemma Every α P is consistent. Further, if α = p λj then where p λt,i t f j,λ = f i1,λ 1 f ik,λ k, is an element with simple form, t [1, k]. Idea. We proceed by induction on rising points. For any α H with rising point k 3, we have α = βγ for some β H with rising point no more than k 1 and some γ H with simple form. Further, this splitting matches the products of corresponding generators in H. We may denote all generators f i,λ with p λi = α by f α, where (i, λ) K.
32 The result for r n 2 Our eventual aim is to show H = H = G S r. Definition We say that for φ, ϕ, ψ, σ P the quadruple (φ, ϕ, ψ, σ) is singular if φ 1 ψ = ϕ 1 σ and we can find i, j I, λ, µ Λ with φ = p λi, ϕ = p µi, ψ = p λj and σ = p µj.
33 The result for r n 2 Proposition Let H be the group given by the presentation Q = S : Γ with generators: S = {f φ : φ P} and with the defining relations Γ : (P1) f 1 φ f ϕ = f 1 ψ f σ where (φ, ϕ, ψ, σ) is singular; (P2) f ɛ = 1. Then H is isomorphic to H.
34 The result for r n 2 Put ( x1 x ι a,i = i 1 x i x i+1 x r x 1 x i 1 ax i x i+1 x r for 1 k r 1. Put ( ) x (k k +1 k +m) = 1 x k 1 x k x k+m 1 x k+m x k+m+1 x r x 1 x k 1 x k+1 x k+m x k x k+m+1 x r ) ; and we denote (k k + 1) by τ k.
35 The result for r n 2 The group H = G S r has a presentation U = Y : Υ, with generators Y = {τ i, ι a,j : 1 i r 1, 1 j r, a G} and defining relations Υ: (W 1) τ i τ i = 1, 1 i r 1; (W 2) τ i τ j = τ j τ i, j ± 1 i j; (W 3) τ i τ i+1 τ i = τ i+1 τ i τ i+1, 1 i r 2; (W 4) ι a,i ι b,j = ι b,j ι a,i, a, b G and 1 i j r; (W 5) ι a,i ι b,i = ι ab,i, 1 i r and a, b G; (W 6) ι a,i τ j = τ j ι a,i, 1 i j, j + 1 r; (W 7) ι a,i τ i = τ i ι a,i+1, 1 i r 1 and a G.
36 The result for r n 2 Recall that and further decomposition gives H = f φ : φ P, H = f τi, f ιa,j : 1 i r 1, 1 j r, a G.
37 The result for r n 2 Find a series of relations (T 1) (T 6) satisfied by these generators: (T 1) f τi f τi = 1, 1 i r 1. (T 2) f τi f τj = f τj f τi, j ± 1 i j. (T 3) f τi f τi+1 f τi = f τi+1 f τi f τi+1, 1 i r 2. (T 4) f ιa,i f ιb,j = f ιb,j f ιa,i, a, b G and 1 i j r. (T 5) f ιb,i f ιa,i = f ιab,i, 1 i r and a, b G. (T 6) f ιa,i f τj = f τj f ιa,i, 1 i j, j + 1 r. (T 7) f ιa,i f τi = f τi f ιa,i+1, 1 i r 1 and a G. Note A twist between (W5) and (T5). Lemma The group H with a presentation Q = S : Γ is isomorphic to the presentation U = Y : Υ of H, so that H = H.
38 The result for r n 2 Theorem Let End F n (G) be the endomorphism monoid of a free G-act F n (G) on n generators, where n N and n 3, let E be the biordered set of idempotents of End F n (G), and let IG(E) be the free idempotent generated semigroup over E. For any idempotent ε E with rank r, where 1 r n 2, the maximal subgroup H of IG(E) containing ε is isomorphic to the maximal subgroup H of End F n (G) containing ε and hence to G S r. Note If r = n, then H is trivial; if r = n 1, then H is free. If r = 1, then H = G and so that: Corollary Every group can be a maximal subgroup of a naturally occurring IG(E).
39 The result for r n 2 If G is trivial, then End F n (G) is essentially T n, so we deduce the following result: Corollary Let n N with n 3 and let IG(E) be the free idempotent generated semigroup over the biordered set E of idempotents of T n. For any idempotent ε E with rank r, where 1 r n 2, the maximal subgroup H of IG(E) containing ε is isomorphic to the maximal subgroup H of T n containing ε, and hence to S r.
FREE IDEMPOTENT GENERATED SEMIGROUPS: SUBSEMIGROUPS, RETRACTS AND MAXIMAL SUBGROUPS
FREE IDEMPOTENT GENERATED SEMIGROUPS: SUBSEMIGROUPS, RETRACTS AND MAXIMAL SUBGROUPS YANG DANDAN, VICTORIA GOULD, AND THOMAS QUINN-GREGSON Abstract. Let S be a subsemigroup of a semigroup T and let IG(E)
More informationThis is a repository copy of Free idempotent generated semigroups and endomorphism monoids of independence algebras.
This is a repository copy of Free idempotent generated semigroups and endomorphism monoids of independence algebras. White Rose Research Online URL for this paper: http://eprints.whiterose.ac.uk/107693/
More informationEVERY GROUP IS A MAXIMAL SUBGROUP OF A NATURALLY OCCURRING FREE IDEMPOTENT GENERATED SEMIGROUP
EVERY GROUP IS A MAXIMAL SUBGROUP OF A NATURALLY OCCURRING FREE IDEMPOTENT GENERATED SEMIGROUP VICTORIA GOULD AND DANDAN YANG Abstract. The study of three idempotent generated semigroup IG(E) over a biordered
More informationarxiv: v2 [math.gr] 25 Mar 2013
MAXIMAL SUBGROUPS OF FREE IDEMPOTENT GENERATED SEMIGROUPS OVER THE FULL LINEAR MONOID arxiv:1112.0893v2 [math.gr] 25 Mar 2013 IGOR DOLINKA AND ROBERT D. GRAY Abstract. We show that the rank r component
More informationarxiv: v1 [math.gr] 10 Jan 2011
Maximal subgroups of free idempotent generated semigroups over the full transformation monoid arxiv:1101.1833v1 [math.gr] 10 Jan 2011 R. Gray, N. Ruškuc August 5, 2017 Abstract Let T n be the full transformation
More informationON LATTICE-ORDERED REES MATRIX Γ-SEMIGROUPS
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I. CUZA DIN IAŞI (S.N.) MATEMATICĂ, Tomul LIX, 2013, f.1 ON LATTICE-ORDERED REES MATRIX Γ-SEMIGROUPS BY KOSTAQ HILA and EDMOND PISHA Abstract. The purpose of this
More informationNOTES ON SPLITTING FIELDS
NOTES ON SPLITTING FIELDS CİHAN BAHRAN I will try to define the notion of a splitting field of an algebra over a field using my words, to understand it better. The sources I use are Peter Webb s and T.Y
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 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 informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
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 informationNew simple Lie algebras over fields of characteristic 2
New simple Lie algebras over fields of characteristic 2 Alexandre N. Grishkov and Marinês Guerreiro 30 de junho de 2004 1 Introduction Lie algebras over fields of characteristic 0 or p > 3 were recently
More informationAdequate and Ehresmann semigroups
Adequate and Ehresmann semigroups NSAC2013: June 8th, 2013, Novi Sad Victoria Gould University of York What is this talk about? Classes of semigroups with semilattices of idempotents inverse ample adequate
More informationEndomorphism Monoids of Graphs and Partial Orders
Endomorphism Monoids of Graphs and Partial Orders Nik Ruskuc nik@mcs.st-and.ac.uk School of Mathematics and Statistics, University of St Andrews Leeds, 3rd August 2007 S.J. Pride: S.J. Pride: Semigroups
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 informationA Krull-Schmidt Theorem for Noetherian Modules *
A Krull-Schmidt Theorem for Noetherian Modules * Gary Brookfield Department of Mathematics, University of California, Riverside CA 92521-0135 E-mail: brookfield@math.ucr.edu We prove a version of the Krull-Schmidt
More informationCongruences on Inverse Semigroups using Kernel Normal System
(GLM) 1 (1) (2016) 11-22 (GLM) Website: http:///general-letters-in-mathematics/ Science Reflection Congruences on Inverse Semigroups using Kernel Normal System Laila M.Tunsi University of Tripoli, Department
More informationExtensions and I-semidirect products. inverse semigroups
of inverse semigroups Bolyai Institute University of Szeged NBSAN 2018 York, 7 8 January, 2018 Introduction: groups and semigroups extension of groups semidirect / standard wreath product of groups Theorem
More information7 Orders in Dedekind domains, primes in Galois extensions
18.785 Number theory I Lecture #7 Fall 2015 10/01/2015 7 Orders in Dedekind domains, primes in Galois extensions 7.1 Orders in Dedekind domains Let S/R be an extension of rings. The conductor c of R (in
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 informationJournal Algebra Discrete Math.
Algebra and Discrete Mathematics Number 1. (2007). pp. 62 67 c Journal Algebra and Discrete Mathematics RESEARCH ARTICLE The structure of automorphism groups of semigroup inflations Ganna Kudryavtseva
More informationProjective modules: Wedderburn rings
Projective modules: Wedderburn rings April 10, 2008 8 Wedderburn rings A Wedderburn ring is an artinian ring which has no nonzero nilpotent left ideals. Note that if R has no left ideals I such that I
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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationCritical Groups of Graphs with Dihedral Symmetry
Critical Groups of Graphs with Dihedral Symmetry Will Dana, David Jekel August 13, 2017 1 Introduction We will consider the critical group of a graph Γ with an action by the dihedral group D n. After defining
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 informationENLARGEMENTS, SEMIABUNDANCY AND UNIPOTENT MONOIDS 1. John Fountain, Gracinda Gomes and Victoria Gould
ENLARGEMENTS, SEMIABUNDANCY AND UNIPOTENT MONOIDS 1 John Fountain, Gracinda Gomes and Victoria Gould Department of Mathematics Centro do Álgebra da Universidade de Lisboa University of York Avenida Prof
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationarxiv: v1 [math.gr] 19 Feb 2016
CONGRUENCES ON DIRECT PRODUCTS OF TRANSFORMATION AND MATRIX MONOIDS JOÃO ARAÚJO, WOLFRAM BENTZ, AND GRACINDA M.S. GOMES arxiv:1602.06339v1 [math.gr] 19 Feb 2016 Abstract. Malcev described the congruences
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 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 informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationLinear Algebra using Dirac Notation: Pt. 2
Linear Algebra using Dirac Notation: Pt. 2 PHYS 476Q - Southern Illinois University February 6, 2018 PHYS 476Q - Southern Illinois University Linear Algebra using Dirac Notation: Pt. 2 February 6, 2018
More information1.5 The Nil and Jacobson Radicals
1.5 The Nil and Jacobson Radicals The idea of a radical of a ring A is an ideal I comprising some nasty piece of A such that A/I is well-behaved or tractable. Two types considered here are the nil and
More informationALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS
ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample
More informationStructure of rings. Chapter Algebras
Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More information55 Separable Extensions
55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple
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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationOn elliptic curves in characteristic 2 with wild additive reduction
ACTA ARITHMETICA XCI.2 (1999) On elliptic curves in characteristic 2 with wild additive reduction by Andreas Schweizer (Montreal) Introduction. In [Ge1] Gekeler classified all elliptic curves over F 2
More information0 A. ... A j GL nj (F q ), 1 j r
CHAPTER 4 Representations of finite groups of Lie type Let F q be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the F q -rational points of a connected
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 informationMath 203A - Solution Set 4
Math 203A - Solution Set 4 Problem 1. Let X and Y be prevarieties with affine open covers {U i } and {V j }, respectively. (i) Construct the product prevariety X Y by glueing the affine varieties U i V
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationComputing with Semigroup Congruences. Michael Torpey
Computing with Semigroup Congruences Michael Torpey 5th September 2014 Abstract In any branch of algebra, congruences are an important topic. An algebraic object s congruences describe its homomorphic
More informationCompletely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts
Completely regular semigroups and (Completely) (E, H E )-abundant semigroups (a.k.a. U-superabundant semigroups): Similarities and Contrasts Xavier MARY Université Paris-Ouest Nanterre-La Défense, Laboratoire
More informationTHE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A. Andrew Francis
THE BRAUER HOMOMORPHISM AND THE MINIMAL BASIS FOR CENTRES OF IWAHORI-HECKE ALGEBRAS OF TYPE A Andrew Francis University of Western Sydney - Hawkesbury, Locked Bag No. 1, Richmond NSW 2753, Australia a.francis@uws.edu.au
More informationOn p-monomial Modules over Local Domains
On p-monomial Modules over Local Domains Robert Boltje and Adam Glesser Department of Mathematics University of California Santa Cruz, CA 95064 U.S.A. boltje@math.ucsc.edu and aglesser@math.ucsc.edu December
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
More informationAvailable online at J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY
Available online at http://scik.org J. Semigroup Theory and Appl. 2013, 2013:10 ISSN: 2051-2937 COMPLETELY SIMPLE SEMIGROUP WITH BASIS PROPERTY ALJOUIEE A., AL KHALAF A. Department of Mathematics, Faculty
More informationLECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O
LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O CHRISTOPHER RYBA Abstract. These are notes for a seminar talk given at the MIT-Northeastern Category O and Soergel Bimodule seminar (Autumn
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationEXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS
EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationPartial Transformations: Semigroups, Categories and Equations. Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010
1 Partial Transformations: Semigroups, Categories and Equations Ernie Manes, UMass, Amherst Semigroups/Categories workshop U Ottawa, May 2010 2 What is a zero? 0 S, 0x =0=x0 0 XY : X Y, W f X 0 XY Y g
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationGENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID
GENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID L. Descalço and P.M. Higgins Department of Mathematical Sciences, University of Essex, Wivenhoe Park, Colchester CO4 3SQ, United
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 information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationMATH 326: RINGS AND MODULES STEFAN GILLE
MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
More informationCantor-Bendixson, socle, and atomicity H. Simmons
Cantor-Bendixson, socle, and atomicity H. Simmons The University, Manchester, England Harold.Simmons @ manchester.ac.uk This document is the second in the series [1] [7], concerned with the use of lattices
More informationMODEL ANSWERS TO THE FOURTH HOMEWORK
MODEL ANSWES TO THE OUTH HOMEWOK 1. (i) We first try to define a map left to right. Since finite direct sums are the same as direct products, we just have to define a map to each factor. By the universal
More informationLECTURE NOTES AMRITANSHU PRASAD
LECTURE NOTES AMRITANSHU PRASAD Let K be a field. 1. Basic definitions Definition 1.1. A K-algebra is a K-vector space together with an associative product A A A which is K-linear, with respect to which
More informationLinear sandwich semigroups
University of Western Sydney Permutation groups and transformation semigroups Durham University, 21 July, 215 Don t mention the cri%$et 1 Joint work with Igor Dolinka 2 Sandwiches? (Lyapin, 196; cf Brown
More informationLINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS
LINEAR ALGEBRA BOOT CAMP WEEK 1: THE BASICS Unless otherwise stated, all vector spaces in this worksheet are finite dimensional and the scalar field F has characteristic zero. The following are facts (in
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 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 informationUpper triangular matrices and Billiard Arrays
Linear Algebra and its Applications 493 (2016) 508 536 Contents lists available at ScienceDirect Linear Algebra and its Applications www.elsevier.com/locate/laa Upper triangular matrices and Billiard Arrays
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 informationUPPER TOPOLOGICAL GENERALIZED GROUPS. F.H. Ghane Z. Hamed. 1. Introduction
italian journal of pure and applied mathematics n. 27 2010 (321 332) 321 UPPER TOPOLOGICAL GENERALIZED GROUPS F.H. Ghane Z. Hamed Department of Mathematics Ferdowsi University of Mashhad P.O. Box 1159-91775,
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
More informationFormal groups. Peter Bruin 2 March 2006
Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field
More informationarxiv: v1 [math.rt] 11 Sep 2009
FACTORING TILTING MODULES FOR ALGEBRAIC GROUPS arxiv:0909.2239v1 [math.rt] 11 Sep 2009 S.R. DOTY Abstract. Let G be a semisimple, simply-connected algebraic group over an algebraically closed field of
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationTopics in linear algebra
Chapter 6 Topics in linear algebra 6.1 Change of basis I want to remind you of one of the basic ideas in linear algebra: change of basis. Let F be a field, V and W be finite dimensional vector spaces over
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationA COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)
A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object
More informationNew York Journal of Mathematics. Cohomology of Modules in the Principal Block of a Finite Group
New York Journal of Mathematics New York J. Math. 1 (1995) 196 205. Cohomology of Modules in the Principal Block of a Finite Group D. J. Benson Abstract. In this paper, we prove the conjectures made in
More informationReal representations
Real representations 1 Definition of a real representation Definition 1.1. Let V R be a finite dimensional real vector space. A real representation of a group G is a homomorphism ρ VR : G Aut V R, where
More informationTHE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I
J Korean Math Soc 46 (009), No, pp 95 311 THE GROUP OF UNITS OF SOME FINITE LOCAL RINGS I Sung Sik Woo Abstract The purpose of this paper is to identify the group of units of finite local rings of the
More informationThe most important result in this section is undoubtedly the following theorem.
28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
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 informationLECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II
LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II IVAN LOSEV 1. Introduction 1.1. Recap. In the previous lecture we have considered the category C F := n 0 FS n -mod. We have equipped it with two
More informationInfinite-Dimensional Triangularization
Infinite-Dimensional Triangularization Zachary Mesyan March 11, 2018 Abstract The goal of this paper is to generalize the theory of triangularizing matrices to linear transformations of an arbitrary vector
More informationElementary linear algebra
Chapter 1 Elementary linear algebra 1.1 Vector spaces Vector spaces owe their importance to the fact that so many models arising in the solutions of specific problems turn out to be vector spaces. The
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 information