The p-quotient Algorithm
|
|
- Eric Shepherd
- 6 years ago
- Views:
Transcription
1 The p-quotient Algorithm Marvin Krings November 23, 2016 Marvin Krings The p-quotient Algorithm November 23, / 49
2 Algorithms p-quotient Algorithm Given a finitely generated group Compute certain quotients: Finite p-groups Each central extension of the previous one by an elementary abelian p-group Each quotient of order p k is quotient of one of them. p-group Generation Algorithm Given a finite p-group Compute central extensions of this by an elementary abelian p-group So-called descendants Application: isomorphism test for finite p-groups Marvin Krings The p-quotient Algorithm November 23, / 49
3 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
4 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
5 Power-Commutator Presentations G = X S presentation of a group Given x, y (X X 1 ), is x = G y? Difficult in general presentations Solution: normal forms and special relators Marvin Krings The p-quotient Algorithm November 23, / 49
6 Power-Commutator Presentations Definition G group, generating set X = {a 1,..., a n }. Power-commutator presentation of G: presentation G = X S with: 1 power relations: a p i = n k=i+1 aα i,k k for all 1 i n 2 commutator relations: [a j, a i ] = n k=j+1 aα i,j,k k for all 1 i < j n, p prime, α i,k, α i,j,k {0,..., p 1}. Definition Normal forms: words w = a e 1 1 ae aen n with 0 e i p 1. Marvin Krings The p-quotient Algorithm November 23, / 49
7 Collection How to find normal forms? Collection: Replace minimal non-normal subwords n a p i a 1 i k=i+1 aα i,k k a p 1 i i+1 k=n a α i,k k a j a i a i a j n k=j+1 aα i,j,k k Indices larger on right hand side terminates Marvin Krings The p-quotient Algorithm November 23, / 49
8 Consistency Problem: normal form not unique (inconsistencies) G = X S consistent G = p X Reduction: remove generators to gain consistency ua k, v normal forms for the same element u 1 v = G a k Replace a k by u 1 v Remove a k from X Iterate until consistent Marvin Krings The p-quotient Algorithm November 23, / 49
9 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
10 The Lower Exponent-p Central Series Definition G group, p prime. Lower exponent-p central series: G =: P 0 (G) P 1 (G) P 2 (G)... P i+1 (G) := [P i (G), G]P i (G) p usually P i instead of P i (G) Class of G: smallest c with P c (G) = {1} Marvin Krings The p-quotient Algorithm November 23, / 49
11 The Lower Exponent-p Central Series Properties of the P i : central: P i G, P i /P i+1 Z(G/P i+1 ) P i (θ(g)) = θ(p i (G)) for homomorphism θ P i char G P i (G/N) = P i (G)N/N for N G G/N of class c P c N. Marvin Krings The p-quotient Algorithm November 23, / 49
12 p-quotients Properties of the G/P i (assuming G finitely presented): G/P i = (G/Pi+1 )/(P i /P i+1 ) P i /P i+1 : central in G/P i+1, finite elementary abelian p-group G/P i : finite p-group of class i Marvin Krings The p-quotient Algorithm November 23, / 49
13 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
14 The p-covering Group How to compute G/P i+1 from G/P i? Quotient of the p-covering group (G/P i ) Marvin Krings The p-quotient Algorithm November 23, / 49
15 The p-covering Group Definition p prime, G p-group on d generators, F free group on d generators with G = F /R. p-covering group of G: G := F /([R, F ]R p ). Theorem p, G, G as above, H group on d generators with G = H/Z for some elementary abelian p-group Z which is a central subgroup of H. Then H is a homomorphic image of the p-covering group G, i.e., it is isomorphic to a quotient group of G. Class of G : c + 1 or c Marvin Krings The p-quotient Algorithm November 23, / 49
16 Enforcing Relations Which quotient is G/P i+1? The largest one fulfilling the relations in R Theorem p prime, G finitely generated group, G = P 0 P 1... lower exponent-p central series of G. Then G/P i+1 is the largest central extension of G/P i by an elementary abelian p-group such that there is an epimorphism G G/P i+1. Marvin Krings The p-quotient Algorithm November 23, / 49
17 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
18 The p-quotient Algorithm Computes consistent power-commutator presentation of G/P i and epimorphism G G/P i Works iteratively: Finds G/P i+1 as a quotient of (G/P i ) and extends the epimorphism G G/P i. Marvin Krings The p-quotient Algorithm November 23, / 49
19 The p-quotient Algorithm Algorithm (First p-quotient) Let p be a prime and G = X S a group with X = {x 1,..., x k }. 1 Initialize M to be the 0 k matrix over the field F p. 2 For each r S: 1 For each 1 j k, define f j to be the sum of the exponents of x j in r. 2 Add the row (f 1... f k ) to M. 3 Use the Gaussian algorithm and renumbering of the elements of X to compute a basis {b 1,..., b d } of the nullspace of M with the property that (b i ) j = δ ij for all 1 i, j d. 4 Define a set Y := {a 1,..., a d } and a map θ 1 : X (Y ), θ 1 (x j ) := a (b 1) j 1... a (b d ) j d. 5 Define T := {a p i 1 i d} {[a j, a i ] 1 i < j d}. 6 Return Y T and θ i. Marvin Krings The p-quotient Algorithm November 23, / 49
20 The p-quotient Algorithm Example: Q 8 = i, j, k, ē ē 2, ēi 2, ēj 2, ēk 2, ēijk M = = F ker M = 0 1, Q 8 /P 1 = a1, a 2 [a 2, a 1 ] = ɛ, a 2 1 = ɛ, a 2 2 = ɛ θ 1 : i a 1, j a 2, k a 1 a 2, ē ɛ Marvin Krings The p-quotient Algorithm November 23, / 49
21 The p-quotient Algorithm a 1,..., a d generate the G/P i. a d+1,..., a n defined by the relations. Definition G = X S power-commutator presentation, X = {a 1,..., a n }, 1 k n. If there is a relation with right hand side wa k for some w {a 1,..., a k 1 }, we call an arbitrary, but fixed one of them the definition of a k. Marvin Krings The p-quotient Algorithm November 23, / 49
22 The p-quotient Algorithm Algorithm (Tails) Let p be a prime, G a group on d generators and G/P i the i-th p-quotient of G. Furthermore, let X S with X = {a 1,..., a n } be a consistent power-commutator presentation of G/P i. 1 Start with a set X := X of generators and an empty set S of relations. 2 Add all the definitions from S to S. 3 For every other relation (u = v) S: 1 Add a new generator (tail) a k to X. 2 Add a new relation u = va k to S. 3 Add the relation a p k = ɛ to S. 4 Add the relations [a k, a i ] = ɛ, 1 i k 1 to S. 4 Return X S. Marvin Krings The p-quotient Algorithm November 23, / 49
23 The p-quotient Algorithm Algorithm (Tails) Add all the definitions from S to S. 3 For every other relation (u = v) S: 1 Add a new generator (tail) a k to X. 2 Add a new relation u = va k to S. 3 Add the relation a p k = ɛ to S. 4 Add the relations [a k, a i ] = ɛ, 1 i k 1 to S Factoring out new generators old presentation New generators are central and of order p. New generators = old non-definition relations = R/R X S = G. Marvin Krings The p-quotient Algorithm November 23, / 49
24 The p-quotient Algorithm Example: Q 8 /P 1 = a1, a 2 [a 2, a 1 ] = ɛ, a1 2 = ɛ, a2 2 = ɛ (Q 8 /P 1 ) = a1,..., a 5 [a 2, a 1 ] = a 3, a1 2 = a 4, a2 2 = a 5 Presentation is consistent. Marvin Krings The p-quotient Algorithm November 23, / 49
25 The p-quotient Algorithm Algorithm (Relation Enforcement) Let p be a prime, G a finitely generated group and G = P 0 P 1... the lower exponent-p central series of G. Furthermore, let X S with X = {x 1,..., x k } be a presentation of G, Y T with Y = {a 1,..., a n } be a consistent power-commutator presentation of G/P i for some i, such that {a 1,..., a d } is a minimal generating set for some d, Y T with Y = {a 1,..., a m } be the consistent power-commutator presentation of (G/P i ) that is obtained by applying the tails algorithm and the consistency algorithm to Y T and θ i : X (Y ) be a map with the property θ(x j ) = a j for all 1 j d that induces an epimorphism G G/P i. Marvin Krings The p-quotient Algorithm November 23, / 49
26 Algorithm (Relation Enforcement) 1 Initialize M to be the 0 (k d + m n) matrix over the field F p and initialize θ i+1 : X (Y ) with θ i+1 (x) := θ i (x) for all x X. 2 For each r S: 1 Compute θ i (r) and collect it with respect to Y T, yielding a en+1 m. n+1... aem 2 For each 1 j k, define f j to be the sum of the exponents of x j in r. 3 Add the row (f d+1... f k e n+1... e m ) to M. 3 Replace M by its row-reduced echelon form. 4 For each row ( ẽ n+1... ẽ m ) of M: Do a reduction of Y T with the words ɛ and aẽn+1 n+1... aẽm m. Change the right hand side of the matrix accordingly. 5 For each remaining row ( ẽ n+1... ẽ m ) with 1 j k being the number of the first non-zero entry: Redefine θ i+1 (x j ) := θ i (x j )aẽn+1 n+1... aẽm m. 6 Return Y T and θ i+1. Marvin Krings The p-quotient Algorithm November 23, / 49
27 The p-quotient Algorithm New generators form a vector space aẽn+1 n+1... aẽm m from step 4 in image of no extension of θ i S ker θ i+1 relations fulfilled Reduction maintains consistency. Marvin Krings The p-quotient Algorithm November 23, / 49
28 The p-quotient Algorithm Example: (Q 8 /P 1 ) = a1,..., a 5 [a 2, a 1 ] = a 3, a 2 1 = a 4, a 2 2 = a 5 M = θ 1 : i a 1, j a 2, k a 1 a 2, ē ɛ θ 1 (ē 2 ) = ɛ 2 = ɛ θ 1 (ēi 2 ) = ɛa 2 1 = a 4 θ 1 (ēj 2 ) = ɛa 2 2 = a 5 θ 1 (ēk 2 ) = ɛa 1 a 2 a 1 a 2 = a 3 a 4 a 5 θ 1 (ēijk) = ɛa 1 a 2 a 1 a 2 = a 3 a 4 a = F5 5 2 Marvin Krings The p-quotient Algorithm November 23, / 49
29 The p-quotient Algorithm Example: factor out a 3 a 5 : factor out a 3 a 4 : (Q 8 /P 1 ) = a1,..., a 5 [a 2, a 1 ] = a 3, a 2 1 = a 4, a 2 2 = a 5 θ 1 : i a 1, j a 2, k a 1 a 2, ē ɛ a 1, a 2, a 3, a 4 [a 2, a 1 ] = a 3, a 2 1 = a 4, a 2 2 = a 3 a 4 a 5 a 3 a 4 Q 8 /P 2 = a1, a 2, a 3 [a 2, a 1 ] = a 3, a 2 1 = a 3, a 2 2 = a 3 Marvin Krings The p-quotient Algorithm November 23, / 49
30 The p-quotient Algorithm Example: (Q 8 /P 1 ) = a1,..., a 5 [a 2, a 1 ] = a 3, a 2 1 = a 4, a 2 2 = a 5 θ 1 : i a 1, j a 2, k a 1 a 2, ē ɛ Q 8 /P 2 = a1, a 2, a 3 [a 2, a 1 ] = a 3, a 2 1 = a 3, a 2 2 = a 3 ( ) θ 2 : {i, j, k, ē} {a 1, a 2, a 3 }, i a 1, j a 2, k a 1 a 2, ē a 3 Presentation consistent Q 8 /P 2 = 2 3 = 8 = Q 8 Q 8 /P 2 = Q8 P 2 = {1}, Q 8 has class 2. Marvin Krings The p-quotient Algorithm November 23, / 49
31 The p-quotient Algorithm Algorithm (p-quotient) Let p be a prime, G = X S with X = {x 1,..., x k } and G = P 0 P 1... the lower exponent-p central series of G. 1 Compute a presentation Y 1 T 1 of the first p-quotient G/P 1 and an epimorphism θ 1 : G G/P 1. 2 For i N: 1 Compute a power-commutator presentation Yi p-covering group (G/P i ) using the tails algorithm. 2 Make Y T i for the i Ti consistent. 3 Enforce the relations in S to compute a consistent power-commutator presentation Y i+1 T i+1 of the p-quotient G/P i+1 epimorphism θ i+1 : G G/P i+1. 4 If Y i+1 = Y i, stop. and an Marvin Krings The p-quotient Algorithm November 23, / 49
32 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
33 Immediate Descendants Given a finite p-group G, look for extensions Central extensions by elementary-abelian p-groups Use G again Marvin Krings The p-quotient Algorithm November 23, / 49
34 Immediate Descendants Definition p prime, G finite p-group on d generators with class c, F free group on d generators with G = F /R. G := F /R with R := [R, F ]R p : p-covering group of G. 1 p-multiplicator: R/R 2 nucleus: P c (G ) 3 descendant: group H on d generators with G = H/P c (H) 4 immediate descendant: descendant with class c allowable subgroup: M/R R/R with H = (F /R )/(M/R ) for an immediate descendant H Marvin Krings The p-quotient Algorithm November 23, / 49
35 Immediate Descendants Theorem A proper subgroup M/R R/R of the p-multiplicator is allowable if and only if P c (G )(M/R ) = R/R. Marvin Krings The p-quotient Algorithm November 23, / 49
36 Immediate Descendants Determine all allowable subgroups all immediate descendants Possibly redundant list: isomorphic immediate descendants Isomorphism can be extended to automorphism of G. Induces permutation of the allowable subgroups Orbit of permutations isomorphism type Marvin Krings The p-quotient Algorithm November 23, / 49
37 Immediate Descendants Theorem Let M 1 /R and M 2 /R be allowable subgroups and ϕ: F /M 1 F /M 2 be an isomorphism. Then there exists an automorphism α : F /R F /R such that α (M 1 /R ) = M 2 /R, α (R/R ) = R/R, α induces ϕ on F /M 1 = (F /R )/(M 1 /R ), The restriction of α to R/R is uniquely determined by ϕ. Marvin Krings The p-quotient Algorithm November 23, / 49
38 Immediate Descendants Corollary Let α: F /R F /R be an automorphism. Then there exists an automorphism α : F /R F /R such that α (R/R ) = R/R, α induces α on F /R = (F /R )/(R/R ), The restriction of α to R/R is uniquely determined by α. Marvin Krings The p-quotient Algorithm November 23, / 49
39 Immediate Descendants Lemma Let α : F /R F /R be an automorphism as obtained by the theorem or the corollary above. Then α induces a permutation α of the allowable subgroups. Theorem {α α Aut(G)} is a group. Let M 1 /R and M 2 /R be two allowable subgroups. F /M 1 is isomorphic to F /M 2 if and only if M 1 /R and M 2 /R lie in the same orbit of the permutation group. Marvin Krings The p-quotient Algorithm November 23, / 49
40 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
41 The p-group Generation Algorithm Input: finite p-group G Compute immediate descendants How to extend the automorphisms of G? Marvin Krings The p-quotient Algorithm November 23, / 49
42 The p-group Generation Algorithm Algorithm (Extend Automorphism) p prime, G = X S consistent power-commutator presentation, X S result of the tails and consistency algorithms, α: X (X ) map that induces automorphism on G. For each a i X \ X : 1 Define w := uv 1, where u = va i is the definition of a i. 2 Apply the map α to w. 3 Collect the result with respect to X S, yielding a word w. 4 Define α (a i ) := w. Marvin Krings The p-quotient Algorithm November 23, / 49
43 The p-group Generation Algorithm Algorithm (p-group Generation) p prime, G = X S with X = {a 1,..., a n } consistent power-commutator presentation, Aut(G) = α 1,..., α m. 1 Compute p-covering group G = X S using the tails and consistency algorithms. 2 Compute p-multiplicator X \ X S G and nucleus P c (G ) = X N S G, where c is the class of G. 3 Compute allowable subgroups M 1 = Y1 S,..., M l = Yl S. 4 For each 1 i m: 1 Compute α i. 2 Compute the permutation α i of the allowable subgroups induced by α i. 5 Compute the orbits of α 1,..., α m on the allowable subgroups. 6 For each orbit: 1 Choose a representative M = Y S of the orbit. 2 Construct the immediate descendant H = G /M. Marvin Krings The p-quotient Algorithm November 23, / 49
44 The p-group Generation Algorithm Example: D 8 = a1, a 2, a 3 [a 2, a 1 ] = a 3, a 2 1 = a 3 (D 8 ) = a1,..., a 6 [a 2, a 1 ] = a 3, [a 3, a 2 ] = a 4, a 2 1 = a 3 a 5, a 2 2 = a 6, a 2 3 = a 4 R/R = a 4, a 5, a 6, P 2 (D8) = a 4 Allowable subgroups have dimension 2. Possible: a 4, a 5, a 4, a 6, a 5, a 6, a 4, a 5 a 6, a 5, a 4 a 6, a 6, a 4 a 5, a 4 a 5, a 5 a 6 Actually allowable: a 5, a 6, a 5, a 4 a 6, a 6, a 4 a 5, a 4 a 5, a 5 a 6 Marvin Krings The p-quotient Algorithm November 23, / 49
45 The p-group Generation Algorithm (D 8 ) = a1,..., a 6 [a 2, a 1 ] = a 3, [a 3, a 2 ] = a 4, a 2 1 = a 3 a 5, a 2 2 = a 6, a 2 3 = a 4 Aut(D 8 ) = α 1, α 2, α 1 : a 1 a 1, a 2 a 1 a 2, a 3 a 3 α 2 : a 1 a 1 a 3, a 2 a 2, a 3 a 3 α 1(a 4 ) := α 1 (a 3 ) 2 = a 2 3 = a 4 α 1(a 5 ) := α 1 (a 1 ) 2 α 1 (a 3 ) 1 = a 2 1a 1 3 = a 5 α 1(a 6 ) := α 1 (a 2 ) 2 = (a 1 a 2 ) 2 = a 5 a 6 α 2(a 4 ) := α 2 (a 3 ) 2 = a 2 3 = a 4 α 2(a 5 ) := α 2 (a 1 ) 2 α 2 (a 3 ) 1 = (a 1 a 3 ) 2 a 1 3 = a 4 a 5 α 2(a 6 ) := α 2 (a 2 ) 2 = a 2 2 = a 6 Marvin Krings The p-quotient Algorithm November 23, / 49
46 The p-group Generation Algorithm (D 8 ) = a1,..., a 6 [a 2, a 1 ] = a 3, [a 3, a 2 ] = a 4, a 2 1 = a 3 a 5, a 2 2 = a 6, a 2 3 = a 4 allowable: a 5, a 6, a 5, a 4 a 6, a 6, a 4 a 5, a 4 a 5, a 5 a 6 α 1 : a 4 a 4, a 5 a 5, a 6 a 5 a 6 α 2 : a 4 a 4, a 5 a 4 a 5, a 6 a 6 α2( a 5, a 6 ) = a 6, a 4 a 5 α1( a 6, a 4 a 5 ) = a 4 a 5, a 5 a 6 α2( a 4 a 5, a 5 a 6 ) = a 5, a 4 a 6 all allowable subgroups in the same orbit. Factor out a 5, a 6 : a 1, a 2, a 3, a 4 [a 2, a 1 ] = a 3, [a 3, a 2 ] = a 4, a1 2 = a 3, a3 2 = a 4 is the only immediate descendant (up to isomorphism). Marvin Krings The p-quotient Algorithm November 23, / 49
47 Contents 1 Power-Commutator Presentations 2 The Lower Exponent-p Central Series 3 The p-covering Group 4 The p-quotient Algorithm 5 Immediate Descendants 6 The p-group Generation Algorithm 7 Testing p-groups for Isomorphism Marvin Krings The p-quotient Algorithm November 23, / 49
48 Testing p-groups for Isomorphism Combination of p-quotient and p-group generation Compute standard presentation of a finite p-group Isomorphic Groups equal standard presentations Marvin Krings The p-quotient Algorithm November 23, / 49
49 Algorithm (Standard Presentation) p prime, G finite p-group of class c. 1 Compute a consistent power-commutator presentation Y 1 T 1 of G/P 1 and an epimorphism θ i : G Y 1 T 1. 2 For each 0 i < c: 1 Compute a consistent power-commutator presentation Y i T i of (G/P i ) and a consistent power-commutator presentation for each allowable subgroup of G/P i. 2 Compute a consistent power-commutator presentation Y i+1 T i+1 of G/P i+1 as well as an epimorphism θ i+1 : G Y i+1 T i+1. Let w 1,..., w n Ti with w 1,..., w n words in Yi \ Y i be the subgroup factored out in step 4 of the relation enforcement algorithm. 3 Check which of the allowable subgroups is equal to w 1,..., w n Ti. 4 Define Y i+1 T i+1 as the consistent power-commutator presentation returned by the p-group generation algorithm for the corresponding immediate descendant. Let α be the automorphism of Yi maps Y i+1 T i+1 to Y i+1 T i+1. 5 Define θ i+1 := α θ i+1. T i that Marvin Krings The p-quotient Algorithm November 23, / 49
50 George Havas and M. F. Newman, Application of computers to questions like those of Burnside, Burnside Groups, (Bielefeld, 1977). Lecture Notes in Math., 806, Springer-Verlag, Berlin, Heidelberg, New York, Derek F. Holt, Bettina Eick and Eamonn A. O Brien, Handbook of computational group theory. Chapman & Hall/CRC, Boca Raton, London, New York, Washington, D.C., M. F. Newman, Werner Nickel and Alice C. Niemeyer, Descriptions of groups of prime-power order, J. Symbolic Comput., 25, , M. F. Newman and E. A. O Brien, Application of computers to questions like those of Burnside, II, Internat. J. Algebra Comput., 6, , E. A. O Brien, Isomorphism testing for p-groups, J. Symbolic Comput., 17, , Michael Vaughan-Lee, An Aspect of the Nilpotent Quotient Algorithm, Computational Group Theory, (Durham, 1982), Academic Press, London, New York, Marvin Krings The p-quotient Algorithm November 23, / 49
Application of computers to questions like those of Burnside, II
Application of computers to questions like those of Burnside, II M.F. Newman E.A. O Brien Abstract We show how automorphisms can be used to reduce significantly the resources needed to enforce laws in
More informationp-quotient Algorithm p-class Algorithm Covering Group Example Burnside Problem p-quotient algorithm Go to Presentations Go to p-group Generation
p-quotient algorithm Go to Presentations Go to p-group Generation Conclusion Lecture 1 Things we have discussed in the first lecture: polycyclic groups, sequences, and series polycyclic generating sets
More informationComputational aspects of finite p-groups
Computational aspects of finite p-groups Heiko Dietrich School of Mathematical Sciences Monash University Clayton VIC 3800, Australia 5th 14th November 2016 International Centre for Theoretical Sciences
More informationAlgorithms for Polycyclic Groups
Algorithms for Polycyclic Groups Habilitationsschrift Eingereicht beim Fachbereich für Mathematik und Informatik Universität Gesamthochschule Kassel von Bettina Eick aus Bremervörde Kassel, im November
More informationIsomorphism Testing Standard Presentations Example. Isomorphism testing. Go to Classifications. Go to Automorphisms
Isomorphism Testing Standard Presentations Example Isomorphism testing Go to Classifications Go to Automorphisms Isomorphism Testing Standard Presentations Example Conclusion Lecture 3 Things we have discussed
More informationActa Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) THE LIE AUGMENTATION TERMINALS OF GROUPS. Bertalan Király (Eger, Hungary)
Acta Acad. Paed. Agriensis, Sectio Mathematicae 28 (2001) 93 97 THE LIE AUGMENTATION TERMINALS OF GROUPS Bertalan Király (Eger, Hungary) Abstract. In this paper we give necessary and sufficient conditions
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 informationInternational Journal of Pure and Applied Mathematics Volume 13 No , M-GROUP AND SEMI-DIRECT PRODUCT
International Journal of Pure and Applied Mathematics Volume 13 No. 3 2004, 381-389 M-GROUP AND SEMI-DIRECT PRODUCT Liguo He Department of Mathematics Shenyang University of Technology Shenyang, 110023,
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS
ABELIAN HOPF GALOIS STRUCTURES ON PRIME-POWER GALOIS FIELD EXTENSIONS S. C. FEATHERSTONHAUGH, A. CARANTI, AND L. N. CHILDS Abstract. The main theorem of this paper is that if (N, +) is a finite abelian
More informationUnderstanding hard cases in the general class group algorithm
Understanding hard cases in the general class group algorithm Makoto Suwama Supervisor: Dr. Steve Donnelly The University of Sydney February 2014 1 Introduction This report has studied the general class
More informationKevin James. p-groups, Nilpotent groups and Solvable groups
p-groups, Nilpotent groups and Solvable groups Definition A maximal subgroup of a group G is a proper subgroup M G such that there are no subgroups H with M < H < G. Definition A maximal subgroup of a
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationThe Influence of Minimal Subgroups on the Structure of Finite Groups 1
Int. J. Contemp. Math. Sciences, Vol. 5, 2010, no. 14, 675-683 The Influence of Minimal Subgroups on the Structure of Finite Groups 1 Honggao Zhang 1, Jianhong Huang 1,2 and Yufeng Liu 3 1. Department
More informationConstructing All Composition Series of a Finite Group
Constructing All Composition Series of a Finite Group Alexander Hulpke Department of Mathematics Colorado State University 1874 Campus Delivery Fort Collins, CO, 80523-1874, USA hulpke@math.colostate.edu
More informationTheorems and Definitions in Group Theory
Theorems and Definitions in Group Theory Shunan Zhao Contents 1 Basics of a group 3 1.1 Basic Properties of Groups.......................... 3 1.2 Properties of Inverses............................. 3
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationSELF-EQUIVALENCES OF DIHEDRAL SPHERES
SELF-EQUIVALENCES OF DIHEDRAL SPHERES DAVIDE L. FERRARIO Abstract. Let G be a finite group. The group of homotopy self-equivalences E G (X) of an orthogonal G-sphere X is related to the Burnside ring A(G)
More informationResidual finiteness of infinite amalgamated products of cyclic groups
Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: 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 informationLinear Algebra I Lecture 10
Linear Algebra I Lecture 10 Xi Chen 1 1 University of Alberta January 30, 2019 Outline 1 Gauss-Jordan Algorithm ] Let A = [a ij m n be an m n matrix. To reduce A to a reduced row echelon form using elementary
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationOn the linearity of HNN-extensions with abelian base groups
On the linearity of HNN-extensions with abelian base groups Dimitrios Varsos Joint work with V. Metaftsis and E. Raptis with base group K a polycyclic-by-finite group and associated subgroups A and B of
More informationCOMBINATORIAL GROUP THEORY NOTES
COMBINATORIAL GROUP THEORY NOTES These are being written as a companion to Chapter 1 of Hatcher. The aim is to give a description of some of the group theory required to work with the fundamental groups
More informationOn Conditions for an Endomorphism to be an Automorphism
Algebra Colloquium 12 : 4 (2005 709 714 Algebra Colloquium c 2005 AMSS CAS & SUZHOU UNIV On Conditions for an Endomorphism to be an Automorphism Alireza Abdollahi Department of Mathematics, University
More informationB Sc MATHEMATICS ABSTRACT ALGEBRA
UNIVERSITY OF CALICUT SCHOOL OF DISTANCE EDUCATION B Sc MATHEMATICS (0 Admission Onwards) V Semester Core Course ABSTRACT ALGEBRA QUESTION BANK () Which of the following defines a binary operation on Z
More informationHIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS
HIGHER CLASS GROUPS OF GENERALIZED EICHLER ORDERS XUEJUN GUO 1 ADEREMI KUKU 2 1 Department of Mathematics, Nanjing University Nanjing, Jiangsu 210093, The People s Republic of China guoxj@nju.edu.cn The
More informationON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT
ON VARIETIES IN WHICH SOLUBLE GROUPS ARE TORSION-BY-NILPOTENT GÉRARD ENDIMIONI C.M.I., Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr
More informationR. Kwashira 1, 2 Work with J.C. Mba 3 ( 1 Birmingham, (CoE-MaSS), South Africa, 3 University of Johannesburg, South Africa
Groups, St Andrews 2017 Non-cancellation group of a direct product R. Kwashira 1, 2 Work with J.C. Mba 3 1 University of the Witwatersrand, South Africa, 2 DST-NRF Centre of Excellence in Mathematical
More informationHOMEWORK Graduate Abstract Algebra I May 2, 2004
Math 5331 Sec 121 Spring 2004, UT Arlington HOMEWORK Graduate Abstract Algebra I May 2, 2004 The required text is Algebra, by Thomas W. Hungerford, Graduate Texts in Mathematics, Vol 73, Springer. (it
More informationarxiv: v1 [math.gr] 3 Jan 2019
WORD MAPS IN FINITE SIMPLE GROUPS arxiv:1901.00836v1 [math.gr] 3 Jan 2019 WILLIAM COCKE AND MENG-CHE TURBO HO Abstract. Elements of the free group define interesting maps, known as word maps, on groups.
More informationLandau s Theorem for π-blocks of π-separable groups
Landau s Theorem for π-blocks of π-separable groups Benjamin Sambale October 13, 2018 Abstract Slattery has generalized Brauer s theory of p-blocks of finite groups to π-blocks of π-separable groups where
More informationTwo generator 4-Engel groups
Two generator 4-Engel groups Gunnar Traustason Centre for Mathematical Sciences Lund University Box 118, SE-221 00 Lund Sweden email: gt@maths.lth.se Using known results on 4-Engel groups one can see that
More informationThe upper triangular algebra loop of degree 4
The upper triangular algebra loop of degree 4 Michael Munywoki Joint With K.W. Johnson and J.D.H. Smith Iowa State University Department of Mathematics Third Mile High Conference on Nonassociative Mathematics
More informationOn strongly flat p-groups. Min Lin May 2012 Advisor: Professor R. Keith Dennis
On strongly flat p-groups Min Lin May 2012 Advisor: Professor R. Keith Dennis Abstract In this paper, we provide a survey (both theoretical and computational) of the conditions for determining which finite
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationOn partially τ-quasinormal subgroups of finite groups
Hacettepe Journal of Mathematics and Statistics Volume 43 (6) (2014), 953 961 On partially τ-quasinormal subgroups of finite groups Changwen Li, Xuemei Zhang and Xiaolan Yi Abstract Let H be a subgroup
More informationGroebner Bases and related methods in Group Theory
Groebner Bases and related methods in Group Theory Alexander Hulpke Department of Mathematics Colorado State University Fort Collins, CO, 80523-1874 Workshop D1, Linz, 5/4/06 JAH, Workshop D1, Linz, 5/4/06
More informationA finite basis theorem for product varieties of groups
BULL. AUSTRAL. MATH. SOC. MOS 2008 VOL. 2 (1970), 39-44. A finite basis theorem for product varieties of groups M. S. Brooks, L G. Kovacs and M. F. Newman It is shown that, if IJ is a subvariety of the
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 informationOn Torsion-by-Nilpotent Groups
Journal of Algebra 241, 669676 2001 doi:10.1006jabr.2001.8772, available online at http:www.idealibrary.com on On Torsion-by-Nilpotent Groups Gerard Endimioni and Gunnar Traustason 1 C.M.I., Uniersite
More informationSupplementary Notes: Simple Groups and Composition Series
18.704 Supplementary Notes: Simple Groups and Composition Series Genevieve Hanlon and Rachel Lee February 23-25, 2005 Simple Groups Definition: A simple group is a group with no proper normal subgroup.
More informationHomework Problems, Math 200, Fall 2011 (Robert Boltje)
Homework Problems, Math 200, Fall 2011 (Robert Boltje) Due Friday, September 30: ( ) 0 a 1. Let S be the set of all matrices with entries a, b Z. Show 0 b that S is a semigroup under matrix multiplication
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationNormal Automorphisms of Free Burnside Groups of Period 3
Armenian Journal of Mathematics Volume 9, Number, 017, 60 67 Normal Automorphisms of Free Burnside Groups of Period 3 V. S. Atabekyan, H. T. Aslanyan and A. E. Grigoryan Abstract. If any normal subgroup
More informationA biased overview of computational algebra
A biased overview of computational algebra Peter Brooksbank Bucknell University Linear Algebra and Matrix Theory: connections, applications and computations NUI Galway (December 3, 2012) Lecture Outline
More informationCHAPTER III NORMAL SERIES
CHAPTER III NORMAL SERIES 1. Normal Series A group is called simple if it has no nontrivial, proper, normal subgroups. The only abelian simple groups are cyclic groups of prime order, but some authors
More informationThe last of the Fibonacci. George Havas Department of Mathematics, Institute of Advanced Studies, Australian National University, Canberra
ProceedinRS of the Royal Society of Edinburgh, 83A, 199-203, 1979 The last of the Fibonacci groups George Havas Department of Mathematics, Institute of Advanced Studies, Australian National University,
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 informationA REPRESENTATION THEORETIC APPROACH TO SYNCHRONIZING AUTOMATA
A REPRESENTATION THEORETIC APPROACH TO SYNCHRONIZING AUTOMATA FREDRICK ARNOLD AND BENJAMIN STEINBERG Abstract. This paper is a first attempt to apply the techniques of representation theory to synchronizing
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 informationAUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV
1 AUTOMORPHISMS OF FINITE ORDER OF NILPOTENT GROUPS IV B.A.F.Wehrfritz School of Mathematical Sciences Queen Mary University of London London E1 4NS England ABSTRACT. Let φ be an automorphism of finite
More informationPROFINITE GROUPS WITH RESTRICTED CENTRALIZERS
proceedings of the american mathematical society Volume 122, Number 4, December 1994 PROFINITE GROUPS WITH RESTRICTED CENTRALIZERS ANER SHALEV (Communicated by Ronald M. Solomon) Abstract. Let G be a profinite
More informationProblem 1.1. Classify all groups of order 385 up to isomorphism.
Math 504: Modern Algebra, Fall Quarter 2017 Jarod Alper Midterm Solutions Problem 1.1. Classify all groups of order 385 up to isomorphism. Solution: Let G be a group of order 385. Factor 385 as 385 = 5
More informationOn the classication of algebras
Technische Universität Carolo-Wilhelmina Braunschweig Institut Computational Mathematics On the classication of algebras Morten Wesche September 19, 2016 Introduction Higman (1950) published the papers
More informationPossible orders of nonassociative Moufang loops by
Possible orders of nonassociative Moufang loops by Orin Chein Department of Mathematics Temple University 1805 North Broad Street Philadelphia, PA 19122 and Andrew Rajah School of Mathematical Sciences
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 informationOn p-groups having the minimal number of conjugacy classes of maximal size
On p-groups having the minimal number of conjugacy classes of maximal size A. Jaikin-Zapirain, M.F. Newman and E.A. O Brien Abstract A long-standing question is the following: do there exist p-groups of
More informationIntegrals of groups. Peter J. Cameron University of St Andrews. Group actions and transitive graphs Shenzhen, October 2018
Integrals of groups Peter J. Cameron University of St Andrews Group actions and transitive graphs Shenzhen, October 2018 Happy Birthday, Cheryl! Cheryl Praeger and I were both born in Toowoomba, an inland
More informationA Simple Classification of Finite Groups of Order p 2 q 2
Mathematics Interdisciplinary Research (017, xx yy A Simple Classification of Finite Groups of Order p Aziz Seyyed Hadi, Modjtaba Ghorbani and Farzaneh Nowroozi Larki Abstract Suppose G is a group of order
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationTHE FINITE BASIS QUESTION FOR VARIETIES OF GROUPS SOME RECENT RESULTS
Illinois Journal of Mathematics Volume 47, Number 1/2, Spring/Summer 2003, Pages 273 283 S 0019-2082 THE FINITE BASIS QUESTION FOR VARIETIES OF GROUPS SOME RECENT RESULTS C. K. GUPTA AND ALEXEI KRASILNIKOV
More informationOn Torsion-by-Nilpotent Groups
On Torsion-by-Nilpotent roups. Endimioni C.M.I. - Université de Provence, UMR-CNRS 6632, 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr and. Traustason Department
More informationinv lve a journal of mathematics 2009 Vol. 2, No. 1 Atoms of the relative block monoid mathematical sciences publishers
inv lve a journal of mathematics Atoms of the relative block monoid Nicholas Baeth and Justin Hoffmeier mathematical sciences publishers 2009 Vol. 2, No. INVOLVE 2:(2009 Atoms of the relative block monoid
More informationDefinition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson
Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson On almost every Friday of the semester, we will have a brief quiz to make sure you have memorized the definitions encountered in our studies.
More informationSchool of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information
MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon
More informationCLASSIFICATION OF NOVIKOV ALGEBRAS
CLASSIFICATION OF NOVIKOV ALGEBRAS DIETRICH BURDE AND WILLEM DE GRAAF Abstract. We describe a method for classifying the Novikov algebras with a given associated Lie algebra. Subsequently we give the classification
More informationMA441: Algebraic Structures I. Lecture 26
MA441: Algebraic Structures I Lecture 26 10 December 2003 1 (page 179) Example 13: A 4 has no subgroup of order 6. BWOC, suppose H < A 4 has order 6. Then H A 4, since it has index 2. Thus A 4 /H has order
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationOn the probability of satisfying a word in a group
arxiv:math/0504312v2 [math.gr] 3 May 2005 On the probability of satisfying a word in a group Miklós Abért February 1, 2008 Abstract We show that for any finite group G and for any d there exists a word
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 informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationSection II.8. Normal and Subnormal Series
II.8. Normal and Subnormal Series 1 Section II.8. Normal and Subnormal Series Note. In this section, two more series of a group are introduced. These will be useful in the Insolvability of the Quintic.
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 informationERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)
ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed
More informationSolutions to Assignment 4
1. Let G be a finite, abelian group written additively. Let x = g G g, and let G 2 be the subgroup of G defined by G 2 = {g G 2g = 0}. (a) Show that x = g G 2 g. (b) Show that x = 0 if G 2 = 2. If G 2
More informationx y B =. v u Note that the determinant of B is xu + yv = 1. Thus B is invertible, with inverse u y v x On the other hand, d BA = va + ub 2
5. Finitely Generated Modules over a PID We want to give a complete classification of finitely generated modules over a PID. ecall that a finitely generated module is a quotient of n, a free module. Let
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 informationOn the size of autotopism groups of Latin squares.
On the size of autotopism groups of Latin squares. Douglas Stones and Ian M. Wanless School of Mathematical Sciences Monash University VIC 3800 Australia {douglas.stones, ian.wanless}@sci.monash.edu.au
More informationSelected exercises from Abstract Algebra by Dummit and Foote (3rd edition).
Selected exercises from Abstract Algebra by Dummit Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 4.1 Exercise 1. Let G act on the set A. Prove that if a, b A b = ga for some g G, then G b = gg
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 informationFINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 47, Number 1, January 1975 FINITE GROUPS WHOSE SUBNORMAL SUBGROUPS PERMUTE WITH ALL SYLOW SUBGROUPS RAM K. AGRAWAL1 ABSTRACT. As a generalization
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 informationAlgebra-I, Fall Solutions to Midterm #1
Algebra-I, Fall 2018. Solutions to Midterm #1 1. Let G be a group, H, K subgroups of G and a, b G. (a) (6 pts) Suppose that ah = bk. Prove that H = K. Solution: (a) Multiplying both sides by b 1 on the
More informationA hybrid quotient algorithm
A hybrid quotient algorithm Alexander Hulpke and Alice C. Niemeyer Draft of November 2, 2005 Abstract We describe an algorithm which takes as input a finitely presented group F, a finite confluent rewriting
More informationMATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes.
MATH 433 Applied Algebra Lecture 19: Subgroups (continued). Error-detecting and error-correcting codes. Subgroups Definition. A group H is a called a subgroup of a group G if H is a subset of G and the
More informationELEMENTARY GROUPS BY HOMER BECHTELL
ELEMENTARY GROUPS BY HOMER BECHTELL 1. Introduction. The purpose of this paper is to investigate two classes of finite groups, elementary groups and E-groups. The elementary groups have the property that
More informationA DESCRIPTION OF INCIDENCE RINGS OF GROUP AUTOMATA
Contemporary Mathematics A DESCRIPTION OF INCIDENCE RINGS OF GROUP AUTOMATA A. V. KELAREV and D. S. PASSMAN Abstract. Group automata occur in the Krohn-Rhodes Decomposition Theorem and have been extensively
More informationLECTURES MATH370-08C
LECTURES MATH370-08C A.A.KIRILLOV 1. Groups 1.1. Abstract groups versus transformation groups. An abstract group is a collection G of elements with a multiplication rule for them, i.e. a map: G G G : (g
More informationLecture Notes 1: Matrix Algebra Part C: Pivoting and Matrix Decomposition
University of Warwick, EC9A0 Maths for Economists Peter J. Hammond 1 of 46 Lecture Notes 1: Matrix Algebra Part C: Pivoting and Matrix Decomposition Peter J. Hammond Autumn 2012, revised Autumn 2014 University
More informationModern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati
Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati Shyamashree Upadhyay Contents 1 Lecture 1 4 1.1 Properties of Integers....................... 4 1.2 Sets, relations and
More informationAlgebra Exercises in group theory
Algebra 3 2010 Exercises in group theory February 2010 Exercise 1*: Discuss the Exercises in the sections 1.1-1.3 in Chapter I of the notes. Exercise 2: Show that an infinite group G has to contain a non-trivial
More informationON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS
1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group
More informationSUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III Week 1 Lecture 1 Tuesday 3 March.
SUMMARY OF GROUPS AND RINGS GROUPS AND RINGS III 2009 Week 1 Lecture 1 Tuesday 3 March. 1. Introduction (Background from Algebra II) 1.1. Groups and Subgroups. Definition 1.1. A binary operation on a set
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
More informationIntroduction to Groups
Introduction to Groups Hong-Jian Lai August 2000 1. Basic Concepts and Facts (1.1) A semigroup is an ordered pair (G, ) where G is a nonempty set and is a binary operation on G satisfying: (G1) a (b c)
More informationMath 120: Homework 6 Solutions
Math 120: Homewor 6 Solutions November 18, 2018 Problem 4.4 # 2. Prove that if G is an abelian group of order pq, where p and q are distinct primes then G is cyclic. Solution. By Cauchy s theorem, G has
More informationGroups that are pairwise nilpotent
Groups that are pairwise nilpotent Gérard Endimioni C.M.I, Université de Provence, UMR-CNRS 6632 39, rue F. Joliot-Curie, 13453 Marseille Cedex 13, France E-mail: endimion@gyptis.univ-mrs.fr Gunnar Traustason
More informationA Note on Groups with Just-Infinite Automorphism Groups
Note di Matematica ISSN 1123-2536, e-issn 1590-0932 Note Mat. 32 (2012) no. 2, 135 140. doi:10.1285/i15900932v32n2p135 A Note on Groups with Just-Infinite Automorphism Groups Francesco de Giovanni Dipartimento
More information