seminars:alge:alge-spring2017
Differences
This shows you the differences between two versions of the page.
| seminars:alge:alge-spring2017 [2017/08/23 15:31] – created fer | seminars:alge:alge-spring2017 [2018/01/11 00:32] (current) – mazur | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| + | ~~META: | ||
| + | <WRAP center box 68%> | ||
| + | [[http:// | ||
| + | \\ \\ | ||
| + | < | ||
| + | **#####The Algebra Seminar##### | ||
| + | </ | ||
| + | |||
| + | Unless stated otherwise, the seminar meets Tuesdays in room WH-100E at 2:50 p.m. There will be refreshments served at 4:00 in room WH-102. | ||
| + | |||
| + | Organizers: [[: | ||
| + | |||
| + | To receive announcements of seminar talks by email, please join the seminar' | ||
| + | |||
| + | |||
| + | ---- | ||
| + | |||
| + | =====Spring 2017===== | ||
| + | |||
| + | * **January 24**\\ | ||
| + | * The Frattini subgroup is called by the name of its originator in 1885. It is analogous to the Jacobson radical in ring theory and it can be generalized to various posets. | ||
| + | * I will present some examples and basic results about the Frattini subgroup. It has many different uses in Group theory. I will choose a few and give some examples, but then tackle the question of which groups G can be Fr H for some H. | ||
| + | * Speaking now about finite groups, it turns out the Frattini subgroup is nilpotent, every finite abelian group is isomorphic to the Frattini subgroup of an abelian group, but no non-abelian group of order p^3 is isomorphic to the Frattini subgroup of any group. | ||
| + | * I am unaware of the classification of groups G such that G is isomorphic to Fr H for some H. | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **January 31**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **February 07**\\ | ||
| + | |||
| + | BCK-algebras were introduced in the 1960's as models for set difference and implicational | ||
| + | calculus. In this talk I will define BCK-algebras and provide some examples before I restrict to | ||
| + | the variety of bounded commutative BCK-algebras. Then I will classify all finite bounded | ||
| + | commutative BCK-algebras (up to isomorphism). | ||
| + | |||
| + | </ | ||
| + | |||
| + | |||
| + | * **February 14**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **February 21**\\ | ||
| + | |||
| + | //** \\ \\ <WRAP center box 90%> **// | ||
| + | A polynomial over a finite field may be compared to a random map from | ||
| + | the finite field to itself. | ||
| + | valid comes up in the analysis of some primality testing algorithms. | ||
| + | Martins and Panario have results on the validity of the comparison for | ||
| + | generic polynomials, | ||
| + | results, including specifically their result on the coalesence, to | ||
| + | non-generic polynomials. | ||
| + | |||
| + | |||
| + | This is joint work with Per Kurlberg.// | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **February 28**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **March 07**\\ | ||
| + | |||
| + | |||
| + | * **March 14**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **March 21**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **March 28**\\ | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **April 04**\\ | ||
| + | nilpotence that happen to coincide for groups. I will describe the | ||
| + | relation between the nilpotence class of an algebra and the maximum | ||
| + | supernilpotence class of the algebra' | ||
| + | </ | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | * **April 11**\\ | ||
| + | |||
| + | |||
| + | * **April 18**\\ | ||
| + | //** : In the study of totally disconnected locally compact (tdlc) groups, groups "built by hand" from compact groups and discrete groups frequently arise. In particular, such groups arise as obstructions to general theorems. To isolate these groups, we consider the class of elementary groups: The smallest class of tdlc groups | ||
| + | </ | ||
| + | |||
| + | |||
| + | * **April 28**\\ | ||
| + | //** \\ \\ <WRAP center box 90%> **// | ||
| + | This is a continuation of the talk earlier this semester with the same title. | ||
| + | |||
| + | A polynomial over a finite field may be compared to a random map from | ||
| + | the finite field to itself. | ||
| + | valid comes up in the analysis of some primality testing algorithms. | ||
| + | Martins and Panario have results on the validity of the comparison for | ||
| + | generic polynomials, | ||
| + | results, including specifically their result on the coalesence, to | ||
| + | non-generic polynomials. We will discuss the proof of the coalescence | ||
| + | formula stated in the previous talk. | ||
| + | |||
| + | This is joint work with Per Kurlberg. | ||
| + | |||
| + | </ | ||
| + | |||
| + | * **May 2**\\ < | ||
| + | //** \\ \\ <WRAP center box 90%> **// | ||
| + | |||
| + | In 1932 Magnus proved the word problem was decidable for one-relator groups. | ||
| + | |||
| + | In the nineties, Kobayashi asked whether one-relator monoids admit a finite complete rewriting system. | ||
| + | |||
| + | With this in mind, Kobayashi asked whether all one-relator monoids are of type $FP_{\infty}$. | ||
| + | |||
| + | The first class of one-relator monoids for which Adian solved the word problem is that of special one-relator monoids (those with a one-relator presentation of the form $w=1$); special monoids in general (ones with a finite presentation in which all relations are of the form $w_i=1$) were studied in the sixties by Adian and Makanin. | ||
| + | |||
| + | Our main result is that special one-relator monoids are of type $FP_{\infty}$ and, more generally, that the homological finiteness properties of a special monoid are determined by those of its group of units. | ||
| + | |||
| + | This is joint work with Robert Gray (University of East Anglia). | ||
| + | </ | ||
| + | |||
| + | * **May 9**\\ < | ||
| + | integral factorial ratio sequences, and some step functions.// | ||
| + | hypergeometric series, factorial ratio sequences, and non-negative bounded | ||
| + | integer-valued step functions. | ||
| + | for hypergeometric groups by Beukers and Heckman, then show how this leads | ||
| + | to the classification by Bober of integral balanced factorial ratio | ||
| + | sequences of height one, and thus a proof that a conjectured | ||
| + | classification of a certain class of step functions by Vasyunin is | ||
| + | complete. | ||
| + | |||
| + | </ | ||
| + | |||
| + | |||
| + | ---- | ||
| + | ---- | ||
| + | * [[http:// | ||
| + | * [[seminars: | ||
| + | * [[seminars: | ||
| + | * [[seminars: | ||
| + | * [[seminars: | ||
| + | * [[seminars: | ||
