A Survey of Quandles with some recent developments
|
|
- Dulcie Pitts
- 5 years ago
- Views:
Transcription
1 A Survey of Quandles with some recent developments University of South Florida QQQ 2016
2 Knots and their diagrams Overview of knot diagrams and Quandles A knot is the image of a smooth embeding S 1 R 3 or S 3. Two knots K and K are called isotopic if K is obtained from K by continuous deformation with no self-intersection at any time. Technically speaking, if there exists a smooth family of homeomorphisms h t : R 3 R 3 for t [0, 1] such that h 0 = Id and h 1 (K) = K. One approach to study knot theory is combinatorial: using what s called diagrams (projection to the plane showing overand under-crossings).
3 Knots and their diagrams Overview of knot diagrams and Quandles For a well-known set S we call the map I : {knots} S an isotopy invariant of knots, if I (K) = I (K ) for any two isotopic knots K and K. Knot diagram = Image of a knot by a projection R 3 R 2 (finitely many transversal double points (crossings: over- and under-). Reidemeister s theorem: {Knots}/ isotopy of R 3 = {Knot Diagrams} / RI, RII, RIII and isotopy of R 2.
4 History of Quandles 1982 Sergei Matveev Distributive groupoids in knot theory (in Russian) David Joyce A classifying invariant of knots, the knot quandle Egbert V. Brieskorn Automorphic sets and singularities. Around 1990 Dehornoy left Distributive sets.
5 Definition of a Quandle A quandle is a set X with a binary operation (a, b) a b such that: For any a X, a a = a (idempotency) For any a, b X, there exists a unique c X such that c a = b For all a, b, c X (a b) c = (a c) (b c) (Self-distributivity).
6 Examples of Quandles Any set with a b = a (trivial quandle). The set of integers mod n, Z n with a b = 2b a (dihedral quandle). The typical example is a group G with conjugation a b = b 1 ab.
7 Examples of Quandle Any Z[t, t 1 ]-module M is a quandle with a b = ta + (1 t)b. This is called Alexander quandle.
8 Knot Quandle The knot quandle (C est la raison d être) Consider a knot K and label the arcs a 1, a 2,... At each crossing, the relation is given by x y = z. The quandle generated by the labeling of arcs with relations at each crossing is called the knot quandle and denoted Q(K).
9 The fundamental quandle is a complete invariant Theorem ( Matveev and Joyce, independently 1982) Two knots K and L are equivalent if and only if Q(K) and Q(L) are isomorphic as quandles. In other words the knot quandle is a complete invariant.
10 Quandle homomorphisms A map f : (X, ) (Y, ) is a quandle homomorphism if f (x y) = f (x) f (y) for all x, y X. The second condition in the definition of quandle: a, b X, there exists a unique c X such that c a = b can be restated as the Right Multiplication map R a : X X, R a (x) = x a is a bijection.
11 Quandle homomorphisms The third condition in the definition of quandle: (a b) c = (a c) (b c) means that R c (a b) = R c (a) R c (b) Thus x X, R x is an automorphism called symmetry at x. Also R c R b = R b c R c R c R b R c 1 = R b c
12 Automomorphism groups of quandles The set of all automorphisms of X is denoted Aut(X ). The subgroup generated by all symmetries of X is called the Inner automorphism group of X, denoted Inn(X ). The equation R c R b R c 1 = R b c implies that the map X Inn(X ), x R x is a quandle homorphism.
13 Colorings of knot diagrams In general it is difficult to distinguish the isomorphism types of two given presentations of quandles. A convenient method is to use a representation to a finite quandle X : a quandle homomorphism ρ : Q(K) X. We call it a coloring of K by X. The generators of the fundamental quandle Q(K) correspond to the arcs in a diagram. Fenn and Rourke proved that the cardinality #Col X (K) of colorings is a knot invariant.
14 A group from quandle: The Associated Quandle Interpret the operation of a quandle X as a conjugation to get the Associated group G X := F (X )/N where N is the normal subgroup generated by (x y)yx 1 y 1. Universal property: f : X G conj,!f # : G X G s.t. the diagram commutes ι X G X f f # G conj id G. Hom Grp (G X, G) = Hom Qdle (X, G conj )
15 Low-dimensional cocycles Low Dimentional Cocycles: 2-cocycles Let A be an abelian group. A 2-cocycle is a function Φ : X X A such that Φ(x, y) + Φ(x y, z) = Φ(x, z) + Φ(x z, y z).
16 Low-dimensional cocycles Low Dimentional Cocycles: 3-cocycles 3-cocycle: A function Ψ : X X A such that Ψ(x, y, z) + Ψ(x, z, w) + Ψ(x z, y z, w) = Ψ(x y, z, w) + Ψ(x w, y w, z w) + Ψ(x, y, w).
17 Low-dimensional cocycles Quandle homology: The chain complex Let C R n (X ) = free abelian group generated by n-tuples (x 1,..., x n ) X n. Define n : C R n (X ) C R n 1 (X ) by n = 0 for n 1 and for n 2, n (x 1, x 2,..., x n ) = n i=2 ( 1)i [(x 1, x 2,..., x i 1, x i+1,..., x n ) (x 1 x i, x 2 x i,..., x i 1 x i, x i+1,..., x n )] This defines a chain complex {C R n (X ), n } ( n n+1 = 0) which gives rack homology theory ( Fenn-Rourke-Sanderson).
18 The chain complex Low-dimensional cocycles Let C D n (X ) subset of C R n (X ) generated by n-tuples (x 1,..., x n ) with x i = x i+1 for some i {1,..., n 1} when n 2. For X quandle, n (Cn D (X )) Cn 1 D (X ) and define C Q n (X ) = C R n (X )/C D n (X ). For an abelian group A, define the chain and co-chain complexes C Q (X, A) = C Q (X ) A and C Q (X, A) = Hom(C Q (X ), A) H Q n (X, A) := H n (C Q (X, A)) and H n Q (X, A) := Hn (C Q (X, A))
19 Examples Low-dimensional cocycles Some Computations for Dihedral quandles H 2 Q (R 3, A) = 0, for any A and H 3 Q (R 3, Z 3 ) = Z 3 H 3 Q (R 3, A) = 0 for any A without order 3 elements H 2 Q (R 4, Z 2 ) = (Z 2 ) 4 H 2 Q (R 4, A) = A A for any A without order 2 elements H 2 Q (R 5, A) = 0, for any A and H 3 Q (R 5, Z 5 ) = Z 5 H 3 Q (R 5, A) = 0 for any A without order 5 elements
20 H 3 of Dihedral quandles Low-dimensional cocycles In fact Mochizuki, in 2003, proved that for p prime H 3 Q (R p, Z p ) = Z p and gave an explicit expression of generating 3-cocycle θ p (x, y, z) = 4(x y)(y z)z p 1 + (x y) 2 [(2z y) p 1 y p 1 ] +(x y) (2z y)p +y p 2z p p Note that the coefficients of (2z y) p + y p 2z p are divisible by p.
21 H 4 of Dihedral quandles Low-dimensional cocycles Maciej Niebrzydowski and Josef Przytycki proposed, in 2008: For p odd prime H Q 4 (R p) contains Z p. Conjecture: H Q n (R p ) = Z fn p Where f n are Delayed Fibbonacci numbers: f n = f n 1 + f n 3, and f 1 = f 2 = 0, f 3 = 1. This conjecture was solved by Frans Clauwens in
22 Low-dimensional cocycles A relation to group cohomology [ Etingof and Graña, 2003] Let G X =< x X y 1 xy = x y >=Associated group of X and M = G X -module, then H 1 (X, M) = H 1 (G X, M). Let Fun(X, A) = set of functions. If A is trivial G X -module then H 2 (X ; A) = H 1 (G X ; Fun(X, A)).
23 Let X be a finite quandle, A be an abelian group and ψ be a 2-cocycle ψ : X X A. Definition The State Sum invariant of a knot K is Φ(K) = ψ(x, y) ɛ(τ) C τ Where the product is taken over all crossings of the given diagram, the sum is over all possible colorings and ɛ(τ) is the sign of the crossing τ. Φ(K) is a knot invariant.
24 Explicit calculations The torus link T(4,2): Let X = R 4 = {0, 1, 2, 3} where i j = 2j i (mod 4) A = group of integers Z =< t > (multiplicative notation). with the 2-cocycle ψ(x, y) = t if x + y odd and ψ(x, y) = 1 if x + y even. Any pair (a, b) in R 4 R 4 colors K. The 8 pairs (a, b) with a + b being odd, each contributes t. All other pairs each contributes 1, thus Φ(K) = 8 + 8t.
25 Explicit calculations Let X = Z 2 [T, T 1 ]/(T 2 + T + 1), A = Z 2 =< u, u 2 = 1 >, and cocycle Φ(a, b) = u if a, b {0, 1, T + 1} and a b. For knots K (up to nine crossings) the Invariants Φ(K) are: 4(1 + 3u) for 3 1, 4 1, 7 2, 7 3, 8 1, 8 4, 8 11, 8 13, 9 1, 9 6, 9 12, 9 13, 9 14, 9 21, 9 23, 9 35, 9 37, 16(1 + 3u) for 8 18, and for 8 5, 8 10, 8 15, , 9 16, 9 22, 9 24, 9 25, , 9 36, 9 38, 9 39, , otherwise.
26 Andruskiewitsch and Grana s homology, 2003 They developed the theory of quandle cohomology further by defining a general quandle cohomology theory that encompasses all the above: Quandle Module: Let X be a quandle and A an abelian group. Consider a pair of families (η x,y ) x,y X Aut(A) and (τ x,y ) x,y X End(A) such that: η x y,z η x,y = η x y,x z η x,z η x y,z τ x,y = τ x y,x z η y,z τ x y,z = η x y,x z τ x,z + τ x y,x z τ y,z η x,x + τ x,x = 1
27 Andruskiewitsch and Grana s homology The free Z-algebra generated by η x,y, τ x,y modulo these relations is called the quandle algebra over X and denoted Z(X ). Example Let Λ = Z[t, t 1 ], Any Λ-module M is X -module by η x,y (a) = ta and τ x,y (b) = (1 t)b, for a, b M, x, y X.
28 Andruskiewitsch and Grana s homology Let C n (X ) = Z(X )X n = the free left Z(X )-module generated by n-tuples (x 1,..., x n ) X n. Define n : C n (X ) C n 1 (X ) by n (x 1, x 2,..., x n+1 ) = ( 1) n+1 n+1 i=2 ( 1)i η [x1,... ˆx i,...x n+1 ],[x i,...,x n+1 ](x 1, x 2,..., x i 1, x i+1,..., x n ) ( 1) n+1 n+1 i=2 (x 1 x i, x 2 x i,..., x i 1 x i, x i+1,..., x n ) +( 1) n+1 τ [x1,x 3,...x n+1 ],[x 2,x 3,...,x n+1 ] where [x 1, x 2,...x n ] = ((...(x 1 x 2 ) x 3 )...) x n. This gives a generalized quandle homology theory.
29 Twisted Quandles Definition A twisted-quandle is a triple (X,, f ) in which X is a set, is a binary operation on X, and f : X X is a map such that, for any x, y, z X, the identity (x y) f (z) = (x z) (y z), (1) and, for any x, y X, there exists a unique z X such that and for each x X, the identity z y = f (x). (2) x x = f (x). (3)
30 Twisted Quandles Example 1 Given any set X and map f : X X, then the operation x y = f (x) for any x, y X gives a twisted-quandle. 2 For any group G and any group endomorphism f of G, take the operation x y = y 1 xf (y). 3 Consider the Dihedral quandle R n, where n 2, and let f be given by f (x) = ax + b, a Z n, b Z n. The binary operation x y = f (2y x) = 2ay ax + b (mod n) gives a twisted-quandle structure.
31 The Associated Group of Twisted Quandles Definition Let (X,, f ) be a twisted-rack. Then there is a natural map ι mapping X to group, called the enveloping group of twisted-rack of X, and defined as G X = F (X )/ < x y = f (y)xy 1, x, y X >, where F (X ) denotes the free group generated by X.
32 Introduction Functoriality of the Associated group of Twisted Quandles Proposition Let (X,, f ) be a twisted-rack and G be a group. Given any twisted-rack homomorphism ϕ : X G conj, where G conj is a group together with a twisted-rack structure along a homomorphism group g, that is the multiplication is defined as a G b = g(b)ab 1. Then, there exists a unique group homomorphism ϕ : G X G which makes the following diagram commutative (X,, f ) ϕ (G conj, G, g) ι id G X G ϕ
33 Modules over twisted-quandles and Cohomology Definition Let (X,, f ) be a twisted-rack, A be an abelian group and g : X X be a homomorphism. A structure of X -module on A consists of a family of automorphisms (η ij ) i,j X and a family of endmorphisms (τ ij ) i,j X of A satisfying the following conditions: η x y,f (z) η x,y = η x z,y z η x,z (4) η x y,f (z) τ x,y = τ x z,y z η y,z (5) τ x y,f (z) g = η x z,y z τ x,z + τ x z,y z τ y,z (6)
34 Modules over twisted-quandles and Cohomology Remark If X is a twisted-quandle, a twisted-quandle structure of X -module on A is a structure of an X -module further satisfies τ f (x),f (x) g = (η f (x),f (x) + τ f (x),f (x) )τ x,x. Furthermore, if f, g = id maps, then it satisfies η x,x + τ x,x = id.
35 Example Let A be a non-empty set and (X, f ) be a twisted-quandle, and κ be a generalized 2-cocycle. For a, b A, let α x,y (a, b) = η x,y (a) + τ x,y (b) + κ x,y. Then, it can be verified directly that α is a dynamical cocycle and the following relations hold: η x y,f (z) η x,y = η x z,y z η x,z η x y,f (z) τ x,y = τ x z,y z η y,z τ x y,f (z) g = η x z,y z τ x,z + τ x z,y z τ y,z η x y,f (z) κ x,y + κ x y,f (z) = η x z,y z κ x,z + τ x z,y z κ y,z + κ x z,y z.
36 Cohomology of twisted-quandles Let (X,, f ) be a twisted-rack where f : X X is a twisted-rack morphism. We will define the most generalized cohomology theories of twisted-racks as follows: For a sequence of elements (x 1, x 2, x 3, x 4,..., x n ) X n define [x 1, x 2, x 3, x 4,..., x n ] = ((... (x 1 x 2 ) f (x 3 )) f 2 (x 4 ))... ) f n 2 (x n ). Notice that for i < n we have [x 1, x 2, x 3, x 4,..., x n ] = [x 1,..., ˆx i,..., x n ] f i 2 [x i,..., x n ]
37 Cohomology of twisted-quandles Theorem Consider the free left Z(X )-module C n (X ) = Z(X )X n with basis X n. = n : C n+1 (X ) C n (X ), where φ(x 1,..., x n+1 ) n+1 = ( 1) i φη [x1,...,ˆx i,...,x n+1 ],f {i 2} [x i,...,x n+1 ] (x 1,..., ˆx i,..., x n+1 ) i=2 n+1 i=2 ( 1) i φ(x 1 x i, x 2 x i,..., x i 1 x i, f (x i+1 ),..., f (x n+1 )) +( 1) n+1 φτ [x1,x 3,...,x n+1 ],[x 2,...,x n+1 ](x 2,..., x n+1 ).
38 Low dimensional Cocycles Example Let η be the multiplication by T and τ be the multiplication by S as in item 4 of Example 4. The 1-cocycle condition is written for a function φ : X A as T φ(y) + T φ(x) + φ(y) φ(x y) = 0. Note that this means that φ : X A is a quandle homomorphism. For ψ : X X A, the 2-cocycle condition can be written as T ψ(x 1, x 2 ) + ψ(x 1 x 2, f (x 3 )) = T ψ(x 1, x 3 ) + Sψ(x 2, x 3 ) + ψ(x 1 x 3, x 2 x 3 ).
39 Topological Quandles Definition A topological rack is a rack X which is a topological space such that the map X X (x, y) x y X is a continuous. In a topological rack, the right multiplication R x : X y y x X is a homeomorphism, for all x X.
40 Topological Quandles Example (The conjugation quandle) Let G be a topological group. The operation x y = yxy 1 makes G into a topological quandle which is denoted by Conj(G) and is called the conjugation quandle of G. In fact, any conjugacy class of G is a topological quandle with this operation.
41 Topological Quandles Example (The core quandle) Let G be a topological group. The operation x y = yx 1 y defines a topological quandle structure on G. This quandle will be denoted by Core(G) and we call it the core of G. Observe that this operation satisfies (x y) y = x. Any quandle in which this equation is satisfied is called an involutive quandle.
42 Topological Quandles Example (Symmetric manifold) First recall that a symmetric manifold M is a Riemannian manifold such that each point x M is an isolated fixed point of an involtutive isometry i x : M M. Given such manifold, every x M endows M with the structure of topological quandle by setting x y = i y (x).
43 Topological Quandles Example Let S n be the unit sphere of R n+1. Then, with respect to the operation x y = 2(x y)y x, x, y S n, where x y is the usual scalar product in R n+1, and the topology inherited from R n+1, S n is a topological quandle.
44 Topological Quandles Example Following the previous example, let λ and µ be real numbers, and let x, y S n. Then In particular, the operation λx µy = λ[2µ 2 (x y)y x]. ±x ±y = ±(x y) provides a structure of topological quandle on the projective space RP n.
45 Topological Quandles Example Let G be a topological group and σ be a homeomorphism of G. Let H be a closed subgroup of G such that σ(h) = h, for all h H. Then G/H is a quandle with operation [x] [y] := [σ(xy 1 )y], where for x G, [x] denotes the class of x in G/H. For example, one can consider the group G to be the group of rotations G = SO(2n + 1), H = SO(2n) and G/H = S 2n+1.
46 The Space of Colorings of a Knot by a Topological Quandle Topological quandles were considered in 2007 by Rubinsztein. He denoted the space of colorings J X (L) of the knot L by X. The invariant space of the figure eight knot 4 1 is J S 2(4 1 ) = S 2 RP 3 RP 3 while the collapsed (the singly graded homology obtained by collapsing along m = i j ) Khovanov homology for 4 1 is given by, Kh m (4 1 ) = H m (S 2 ){ 1} H m (RP 3 ){ 3} H m (RP 3 ){0}. There are similarities between the space of colorings of knots and Khovanov homology for all prime knots with up to seven crossings and for at least some eight-crossing knots.
47 S. Carter, M. Elhamdadi, and M. Saito. Twisted quandle homology theory and cocycle knot invariants. Algebr. Geom. Topol. 2 (2002), R. Churchill, M. Elhamdadi, M. Green and M. Makhlouf. Twisted-Racks, Twisted-Quandles, their Extensions and Cohomology, arxiv: (2016). Elhamdadi, M. and Nelson, S., Quandles an introduction to the algebra of knots, 74,2015, American Mathematical Society, Providence, RI, P. Etingof and M. Graña. On rack cohomology. J. Pure Appl. Algebra 177 (2003), no. 1, R. Fenn and C. Rourke. Racks and links in codimension two. J. Knot Theory Ramifications 1 (1992) T. Mochizuki. Mohamed Some Elhamdadi calculations A Survey of cohomology of Quandles with some groups recent developments of
FOUNDATIONS OF TOPOLOGICAL RACKS AND QUANDLES
FOUNDATIONS OF TOPOLOGICAL RACKS AND QUANDLES MOHAMED ELHAMDADI AND EL-KAÏOUM M. MOUTUOU Dedicated to Professor Józef H. Przytycki for his 60th birthday ABSTRACT. We give a foundational account on topological
More informationCocycle Invariants of Knots, Graphs and Surfaces
Cocycle Invariants of Knots, Graphs and Surfaces Kheira Ameur J. Scott Carter Mohamed Elhamdadi Masahico Saito Shin Satoh Introduction Dedicated to Professor Yukio Matsumoto for his 6th birthday Quandle
More informationDISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY
DISTRIBUTIVE PRODUCTS AND THEIR HOMOLOGY Abstract. We develop a theory of sets with distributive products (called shelves and multi-shelves) and of their homology. We relate the shelf homology to the rack
More informationTWIST-SPUN KNOTS. 1. Knots and links. 2. Racks and quandles. 3. Classifying spaces and cohomology. 4. Twist-spun knots in R 4
TWIST-SPUN KNOTS 1. Knots and links 2. Racks and quandles 3. Classifying spaces and cohomology 4. Twist-spun knots in R 4 1 A (REALLY) QUICK TRIP THROUGH KNOT THEORY A knot: an embedding S 1 S 3. A link:
More informationarxiv: v1 [math.gr] 23 Dec 2010
Automorphism groups of Quandles arxiv:1012.5291v1 [math.gr] 23 Dec 2010 Mohamed Elhamdadi University of South Florida Ricardo Restrepo Georgia Institute of Technology Abstract Jennifer MacQuarrie University
More informationAn obstruction to tangles embedding
March 4, 2017 Overview 1 Introduction 2 2-cocycles 3 Quandle coloring of knots 4 Quandle coloring of tangles The 2-cocycle invariant for tangles 5 6 An n-tangle consists of n disjoint arcs in the 3-ball.
More informationarxiv: v2 [math.gt] 13 Jul 2010
The column group and its link invariants Johanna Hennig Sam Nelson arxiv:0902.0028v2 [math.gt] 13 Jul 2010 Abstract The column group is a subgroup of the symmetric group on the elements of a finite blackboard
More informationarxiv: v2 [math.gt] 16 Jul 2017
QUASI-TRIVIAL QUANDLES AND BIQUANDLES, COCYCLE ENHANCEMENTS AND LINK-HOMOTOPY OF PRETZEL LINKS MOHAMED ELHAMDADI, MINGHUI LIU, AND SAM NELSON ariv:1704.01224v2 [math.gt] 16 Jul 2017 ABSTRACT. We investigate
More informationKnot invariants derived from quandles and racks
ISSN 1464-8997 (on line) 1464-8989 (printed) 103 Geometry & Topology Monographs Volume 4: Invariants of knots and 3-manifolds (Kyoto 2001) Pages 103 117 Knot invariants derived from quandles and racks
More informationThe quandle map E passes to a bijection form (Aut(X),H, z) to X. This completes the proof.
Quandles and Groups This example is due to Joyce [?] and Matveev[?]. Let G be a group, H a subgroup, s : G G an automorphism such that for each h H s(h) =h. Define a binary operation s = on G by, a b =
More informationAN ESTIMATE OF THE TRIPLE POINT NUMBERS OF SURFACE-KNOTS BY QUANDLE COCYCLE INVARIANTS
AN ESTIMATE OF THE TRIPLE POINT NUMBERS OF SURFACE-KNOTS BY QUANDLE COCYCLE INVARIANTS ERI HATAKENAKA Abstract. The triple point number of a surface-knot is defined to be the minimal number of triple points
More informationarxiv:math.gt/ v1 20 Mar 2007
Virtual Knot Invariants from Group Biquandles and Their Cocycles arxiv:math.gt/0703594v1 0 Mar 007 J. Scott Carter University of South Alabama Masahico Saito University of South Florida Susan G. Williams
More informationarxiv: v1 [math.gt] 11 Aug 2008
Link invariants from finite Coxeter racks Sam Nelson Ryan Wieghard arxiv:0808.1584v1 [math.gt] 11 Aug 2008 Abstract We study Coxeter racks over Z n and the knot and link invariants they define. We exploit
More informationThe Knot Quandle. Steven Read
The Knot Quandle Steven Read Abstract A quandle is a set with two operations that satisfy three conditions. For example, there is a quandle naturally associated to any group. It turns out that one can
More informationContributions to Quandle Theory: A Study of f- Quandles, Extensions, and Cohomology
University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School May 2017 Contributions to Quandle Theory: A Study of f- Quandles, Extensions, and Cohomology Indu Rasika U.
More informationarxiv: v2 [math.rt] 23 Jun 2017
FINITELY STABLE RACKS AND RACK REPRESENTATIONS MOHAMED ELHAMDADI AND EL-KAÏOUM M. MOUTUOU arxiv:1611.04453v2 [math.rt] 23 Jun 2017 Abstract. We define a new class of racks, called finitely stable racks,
More informationSelf-distributive quasigroups and quandles II
Self-distributive quasigroups and quandles II David Stanovský Charles University, Prague, Czech Republic Kazakh-British Technical University, Almaty, Kazakhstan stanovsk@karlin.mff.cuni.cz June 2015 David
More informationAn introduction to calculus of functors
An introduction to calculus of functors Ismar Volić Wellesley College International University of Sarajevo May 28, 2012 Plan of talk Main point: One can use calculus of functors to answer questions about
More informationOn surface-knots with triple point number at most three
On surface-knots with triple point number at most three A. Al Kharusi and T. Yashiro Abstract arxiv:1711.04838v1 [math.at] 13 Nov 2017 In this paper, we show that if a diagram of a surface-knot F has at
More informationQuandles and universal algebra
Quandles and universal algebra Quandles and knots, and groups, and universal algebra David Stanovský Charles University, Prague, Czech Republic Novi Sad, June 2017 David Stanovský (Prague) Quandles, knots,
More informationOn set-theoretic solutions to the Yang-Baxter equation. Victoria LEBED (Nantes) with Leandro VENDRAMIN (Buenos Aires)
On set-theoretic solutions to the Yang-Baxter equation Victoria LEBED (Nantes) with Leandro VENDRAMIN (Buenos Aires) Turin, January 2016 1 Yang-Baxter equation X: vector space, ff : X 2 X 2. Yang-Baxter
More informationCocycle Invariants of Knots. Linked from
Cocycle Invariants of Knots Linked from http://shell.cas.usf.edu/quandle Contents Chapter 1. Introduction 1 1. What are these web pages about 1 2. Target readers 1 3. Other sources of data used in our
More informationMathematics Faculty Works. Crans, A. and Nelson, S. Hom Quandles. Journal of Knot Theory and its Ramifications. Vol. 23 (2014), No. 2.
Digital Commons@ Loyola Marymount University and Loyola Law School Mathematics Faculty Works Mathematics 1-1-2014 Hom Quandles Alissa S. Crans Loyola Marymount University, acrans@lmu.edu Sam Nelson Claremont
More informationGroup Theory
Group Theory 2014 2015 Solutions to the exam of 4 November 2014 13 November 2014 Question 1 (a) For every number n in the set {1, 2,..., 2013} there is exactly one transposition (n n + 1) in σ, so σ is
More information7.3 Singular Homology Groups
184 CHAPTER 7. HOMOLOGY THEORY 7.3 Singular Homology Groups 7.3.1 Cycles, Boundaries and Homology Groups We can define the singular p-chains with coefficients in a field K. Furthermore, we can define the
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationarxiv:math/ v1 [math.ct] 2 Nov 2004
arxiv:math/04055v [math.ct] 2 Nov 2004 Rack and quandle homology Nicholas Jackson Mathematics Institute, University of Warwick, Coventry CV4 7AL, United Kingdom Abstract Email: nicholas@maths.warwick.ac.uk
More informationA Theorem of Sanderson on Link Bordisms in Dimension 4
ISSN 1472-2739 (on-line) 1472-2747 (printed) 299 Algebraic & Geometric Topology Volume 1 (2001) 299 310 Published: 23 May 2001 ATG A Theorem of Sanderson on Link Bordisms in Dimension 4 Abstract J. Scott
More informationSelf-distributive quasigroups and quandles
Self-distributive quasigroups and quandles David Stanovský Charles University, Prague, Czech Republic Kazakh-British Technical University, Almaty, Kazakhstan stanovsk@karlin.mff.cuni.cz June 2015 David
More informationRadical Rings, Quantum Groups, and Theory of the Unknot
Radical Rings, Quantum Groups, and Theory of the Unknot Wolfgang Rump In this talk, I will throw a bridge from radical rings to a variety of quantum-like mathematical structures related to Sklyanin algebras,
More informationMaster Algèbre géométrie et théorie des nombres Final exam of differential geometry Lecture notes allowed
Université de Bordeaux U.F. Mathématiques et Interactions Master Algèbre géométrie et théorie des nombres Final exam of differential geometry 2018-2019 Lecture notes allowed Exercise 1 We call H (like
More informationQuandles and the Towers of Hanoi
The the Bob Laboratory for Algebraic and Symbolic Computation Reem-Kayden Center for Science and Computation Bard College Annandale-on-Hudson, NY 12504 August 8, 2011 The 1 2 3 4 The The Figure Eight (4
More informationTeddy Einstein Math 4320
Teddy Einstein Math 4320 HW4 Solutions Problem 1: 2.92 An automorphism of a group G is an isomorphism G G. i. Prove that Aut G is a group under composition. Proof. Let f, g Aut G. Then f g is a bijective
More informationGeneralizations of Quandles and their cohomologies
University of South Florida Scholar Commons Graduate Theses and Dissertations Graduate School July 2018 Generalizations of Quandles and their cohomologies Matthew J. Green University of South Florida,
More informationCalculation of quandle cocycle invariants via marked graph diagrams
Calculation of quandle cocycle invariants via marked graph diagrams Jieon Kim (Jointly with S. Kamada and S. Y. Lee) Pusan National University, Busan, Korea August 25, 204 Knots and Low Dimensional Manifolds
More informationExotic spheres. Overview and lecture-by-lecture summary. Martin Palmer / 22 July 2017
Exotic spheres Overview and lecture-by-lecture summary Martin Palmer / 22 July 2017 Abstract This is a brief overview and a slightly less brief lecture-by-lecture summary of the topics covered in the course
More informationIIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1
IIT Mumbai 2015 MA 419, Basic Algebra Tutorial Sheet-1 Let Σ be the set of all symmetries of the plane Π. 1. Give examples of s, t Σ such that st ts. 2. If s, t Σ agree on three non-collinear points, then
More informationA Survey of Quantum Enhancements
A Survey of Quantum Enhancements Sam Nelson ariv:1805.12230v1 [math.gt] 30 May 2018 Abstract In this short survey article we collect the current state of the art in the nascent field of quantum enhancements,
More informationVirtual Tribrackets. Sam Nelson Shane Pico
Virtual Tribrackets Sam Nelson Shane Pico arxiv:1803.03210v2 [math.gt] 6 Dec 2018 Abstract We introduce virtual tribrackets, an algebraic structure for coloring regions in the planar complement of an oriented
More informationHyperelliptic Lefschetz fibrations and the Dirac braid
Hyperelliptic Lefschetz fibrations and the Dirac braid joint work with Seiichi Kamada Hisaaki Endo (Tokyo Institute of Technology) Differential Topology 206 March 20, 206, University of Tsukuba March 20,
More informationLinks with finite n-quandles
Digital Commons@ Loyola Marymount University and Loyola Law School Mathematics Faculty Works Mathematics 1-1-2016 Links with finite n-quandles Jim Hoste Pitzer College Patrick D. Shanahan Loyola Marymount
More informationManifolds and Poincaré duality
226 CHAPTER 11 Manifolds and Poincaré duality 1. Manifolds The homology H (M) of a manifold M often exhibits an interesting symmetry. Here are some examples. M = S 1 S 1 S 1 : M = S 2 S 3 : H 0 = Z, H
More informationarxiv:math/ v1 [math.gt] 16 Aug 2000
arxiv:math/0008118v1 [math.gt] 16 Aug 2000 Stable Equivalence of Knots on Surfaces and Virtual Knot Cobordisms J. Scott Carter University of South Alabama Mobile, AL 36688 cartermathstat.usouthal.edu Masahico
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationFor Ramin. From Jonathan December 9, 2014
For Ramin From Jonathan December 9, 2014 1 Foundations. 1.0 Overview. Traditionally, knot diagrams are employed as a device which converts a topological object into a combinatorial one. One begins with
More informationLIE CENTRAL TRIPLE RACKS. Guy Roger Biyogmam
International Electronic Journal of Algebra Volume 17 (2015) 58-65 LIE CENTRAL TRIPLE RACKS Guy Roger Biyogmam Received: 18 February 2014; Revised 2 September 2014 Communicated by A. Çiğdem Özcan Abstract.
More informationC n.,..., z i 1., z i+1., w i+1,..., wn. =,..., w i 1. : : w i+1. :... : w j 1 1.,..., w j 1. z 0 0} = {[1 : w] w C} S 1 { },
Complex projective space The complex projective space CP n is the most important compact complex manifold. By definition, CP n is the set of lines in C n+1 or, equivalently, CP n := (C n+1 \{0})/C, where
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationarxiv: v1 [math.gt] 1 Jul 2014
VIRTUAL, WELDED, AND RIBBON LINKS IN ARBITRARY DIMENSIONS BLAKE K. WINTER arxiv:1407.0421v1 [math.gt] 1 Jul 2014 Abstract. We define a generalization of virtual links to arbitrary dimensions by extending
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS Some topological aspects of 4-fold symmetric quandle invariants of 3-manifolds.
RIMS-1707 Some topological aspects of 4-fold symmetric quandle invariants of 3-manifolds By Eri HATAKENAKA and Takefumi NOSAKA October 2010 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY,
More informationHyperbolic Knots and the Volume Conjecture II: Khov. II: Khovanov Homology
Hyperbolic Knots and the Volume Conjecture II: Khovanov Homology Mathematics REU at Rutgers University 2013 July 19 Advisor: Professor Feng Luo, Department of Mathematics, Rutgers University Overview 1
More informationMATH 436 Notes: Cyclic groups and Invariant Subgroups.
MATH 436 Notes: Cyclic groups and Invariant Subgroups. Jonathan Pakianathan September 30, 2003 1 Cyclic Groups Now that we have enough basic tools, let us go back and study the structure of cyclic groups.
More informationVariations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists
Variations on a Theme: Fields of Definition, Fields of Moduli, Automorphisms, and Twists Michelle Manes (mmanes@math.hawaii.edu) ICERM Workshop Moduli Spaces Associated to Dynamical Systems 17 April, 2012
More informationON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES
ON POSITIVITY OF KAUFFMAN BRACKET SKEIN ALGEBRAS OF SURFACES THANG T. Q. LÊ Abstract. We show that the Chebyshev polynomials form a basic block of any positive basis of the Kauffman bracket skein algebras
More informationSIMPLY CONNECTED LATIN QUANDLES
SIMPLY CONNECTED LATIN QUANDLES MARCO BONATTO AND PETR VOJTĚCHOVSKÝ Abstract. A (left) quandle is connected if its left translations generate a group that acts transitively on the underlying set. In 2014,
More informationarxiv:math/ v1 [math.gt] 13 Jun 2005
arxiv:math/0506229v1 [math.gt] 13 Jun 2005 LINK HOMOLOGY AND UNORIENTED TOPOLOGICAL QUANTUM FIELD THEORY VLADIMIR TURAEV AND PAUL TURNER ABSTRACT. We investigate Khovanov homology of stable equivalence
More informationµ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequ
µ INVARIANT OF NANOPHRASES YUKA KOTORII TOKYO INSTITUTE OF TECHNOLOGY GRADUATE SCHOOL OF SCIENCE AND ENGINEERING 1. Introduction A word will be a sequence of symbols, called letters, belonging to a given
More informationINTERPRETATION OF RACK COLORING KNO. Low-dimensional Topology) Author(s) TANAKA, KOKORO; TANIGUCHI, YUMA. Citation 数理解析研究所講究録 (2012), 1812:
INTERPRETATION OF RACK COLORING KNO TitleINVARIANTS IN TERMS OF QUANDLES (In Low-dimensional Topology) Author(s) TANAKA, KOKORO; TANIGUCHI, YUMA Citation 数理解析研究所講究録 (2012), 1812 111-118 Issue Date 2012-10
More informationarxiv: v3 [math.gt] 7 Aug 2008
arxiv:0711.1638v3 [math.gt] 7 Aug 2008 The Classification of Spun Torus Knots Blake Winter State University of New York, Buffalo Email: bkwinter@buffalo.edu ABSTRACT S. Satoh has defined a construction
More informationFree medial quandles
Free medial quandles 1 / 12 Free medial quandles Přemysl Jedlička with Agata Pilitowska, David Stanovský, Anna Zamojska-Dzienio Department of Mathematics Faculty of Engineering (former Technical Faculty)
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationSchool of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions)
CMRD 2010 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet V: Direct and semidirect products (Solutions) 1. Give an example of two groups G and H and a subgroup of the direct
More informationChapter 9 Miscellany; Some applications to low-dimensional topology
Chapter 9 Miscellany; Some applications to low-dimensional topology Abstract In this chapter, we introduce some applications to low-dimensional topology. To be precise, in 9.1, we see the Blanchfield pairing
More informationarxiv: v1 [math.gt] 5 Aug 2015
HEEGAARD FLOER CORRECTION TERMS OF (+1)-SURGERIES ALONG (2, q)-cablings arxiv:1508.01138v1 [math.gt] 5 Aug 2015 KOUKI SATO Abstract. The Heegaard Floer correction term (d-invariant) is an invariant of
More informationThe shadow nature of positive and twisted quandle cocycle invariants of knots
The shadow nature of positive and twisted quandle cocycle invariants of knots Seiichi Kamada skamada@sci.osaka-cu.ac.jp Osaka City University Victoria Lebed lebed.victoria@gmail.com OCAMI, Osaka City University
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationDERIVATIONS. Introduction to non-associative algebra. Playing havoc with the product rule? BERNARD RUSSO University of California, Irvine
DERIVATIONS Introduction to non-associative algebra OR Playing havoc with the product rule? PART VI COHOMOLOGY OF LIE ALGEBRAS BERNARD RUSSO University of California, Irvine FULLERTON COLLEGE DEPARTMENT
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationSUBDIRECTLY IRREDUCIBLE NON-IDEMPOTENT LEFT SYMMETRIC LEFT DISTRIBUTIVE GROUPOIDS
SUBDIRECTLY IRREDUCIBLE NON-IDEMPOTENT LEFT SYMMETRIC LEFT DISTRIBUTIVE GROUPOIDS EMIL JEŘÁBEK, TOMÁŠ KEPKA, DAVID STANOVSKÝ Abstract. We study groupoids satisfying the identities x xy = y and x yz = xy
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationIntroduction to Q-curves
Introduction to Q-curves Imin Chen Simon Fraser University ichen@math.sfu.ca November 24, 2008 Introduction Some Galois cohomology Abelian varieties of GL 2 -type Explicit splitting maps for example References
More informationCourse 421: Algebraic Topology Section 8: Modules
Course 421: Algebraic Topology Section 8: Modules David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces............... 1 1.2 Topological
More informationUnexpected facets of the Yang-Baxter equation
Unexpected facets of the Yang-Baxter equation Victoria LEBED University of Nantes Utrecht, September 29, 2015 1 Yang-Baxter equation Avectorspace V(oranobjectinany monoidal category) σ: V 2 V 2 Yang-Baxter
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationTwisted Alexander Polynomials Detect the Unknot
ISSN numbers are printed here 1 Algebraic & Geometric Topology Volume X (20XX) 1 XXX Published: XX Xxxember 20XX [Logo here] Twisted Alexander Polynomials Detect the Unknot Daniel S. Silver Susan G. Williams
More informationarxiv: v5 [math.gt] 31 Jan 2014
Homotopical interpretation of link invariants from finite quandles Takefumi Nosaka Abstract arxiv:1210.6528v5 [math.gt] 31 Jan 2014 This paper demonstrates a topological meaning of quandle cocycle invariants
More informationDu Val Singularities
Du Val Singularities Igor Burban Introduction We consider quotient singularities C 2 /G, where G SL 2 (C) is a finite subgroup. Since we have a finite ring extension C[[x, y]] G C[[x, y]], the Krull dimension
More informationarxiv: v3 [math.gt] 16 Jun 2018
Multivariate Alexander colorings arxiv:1805.02189v3 [math.gt] 16 Jun 2018 Lorenzo Traldi Lafayette College Easton Pennsylvania 18042, United States Abstract We extend the notion of link colorings with
More informationCohomology of the tetrahedral complex and quasi-invariants of 2-knots
Cohomology of the tetrahedral complex and quasi-invariants of 2-knots I.G. Korepanov 1, G.I. Sharygin 2, D.V. Talalaev 3 ITEP-TH-23/15 arxiv:1510.03015v1 [math-ph] 11 Oct 2015 Abstract This paper explores
More informationSUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT
SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT Contents 1. Group Theory 1 1.1. Basic Notions 1 1.2. Isomorphism Theorems 2 1.3. Jordan- Holder Theorem 2 1.4. Symmetric Group 3 1.5. Group action on Sets 3 1.6.
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationExercises for Algebraic Topology
Sheet 1, September 13, 2017 Definition. Let A be an abelian group and let M be a set. The A-linearization of M is the set A[M] = {f : M A f 1 (A \ {0}) is finite}. We view A[M] as an abelian group via
More informationφ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),
16. Ring Homomorphisms and Ideals efinition 16.1. Let φ: R S be a function between two rings. We say that φ is a ring homomorphism if for every a and b R, and in addition φ(1) = 1. φ(a + b) = φ(a) + φ(b)
More informationCLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT
CLASSIFICATION OF TORIC MANIFOLDS OVER AN n-cube WITH ONE VERTEX CUT SHO HASUI, HIDEYA KUWATA, MIKIYA MASUDA, AND SEONJEONG PARK Abstract We say that a complete nonsingular toric variety (called a toric
More informationThe Homotopic Uniqueness of BS 3
The Homotopic Uniqueness of BS 3 William G. Dwyer Haynes R. Miller Clarence W. Wilkerson 1 Introduction Let p be a fixed prime number, F p the field with p elements, and S 3 the unit sphere in R 4 considered
More informationMultidimensional Persistent Topology as a Metric Approach to Shape Comparison
Multidimensional Persistent Topology as a Metric Approach to Shape Comparison Patrizio Frosini 1,2 1 Department of Mathematics, University of Bologna, Italy 2 ARCES - Vision Mathematics Group, University
More informationGroups of Prime Power Order with Derived Subgroup of Prime Order
Journal of Algebra 219, 625 657 (1999) Article ID jabr.1998.7909, available online at http://www.idealibrary.com on Groups of Prime Power Order with Derived Subgroup of Prime Order Simon R. Blackburn*
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 informationEXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY
EXAMPLES AND EXERCISES IN BASIC CATEGORY THEORY 1. Categories 1.1. Generalities. I ve tried to be as consistent as possible. In particular, throughout the text below, categories will be denoted by capital
More information1. Group Theory Permutations.
1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7
More informationLoop Groups and Lie 2-Algebras
Loop Groups and Lie 2-Algebras Alissa S. Crans Joint work with: John Baez Urs Schreiber & Danny Stevenson in honor of Ross Street s 60th birthday July 15, 2005 Lie 2-Algebras A 2-vector space L is a category
More informationINVERSE SEMIQUANDLES. Michael Kinyon. 4th Mile High, 2 August University of Lisbon. Department of Mathematics 1 / 21
INVERSE SEMIQUANDLES Michael Kinyon Department of Mathematics University of Lisbon 4th Mile High, 2 August 2017 1 / 21 João This is joint work with João Araújo (Universidade Aberta). 2 / 21 Conjugation
More informationFinite Subgroups of Gl 2 (C) and Universal Deformation Rings
Finite Subgroups of Gl 2 (C) and Universal Deformation Rings University of Missouri Conference on Geometric Methods in Representation Theory November 21, 2016 Goal Goal : Find connections between fusion
More informationSupplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.
Glossary 1 Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.23 Abelian Group. A group G, (or just G for short) is
More informationHigher Algebra Lecture Notes
Higher Algebra Lecture Notes October 2010 Gerald Höhn Department of Mathematics Kansas State University 138 Cardwell Hall Manhattan, KS 66506-2602 USA gerald@math.ksu.edu This are the notes for my lecture
More information