This lecture is part of an online commutative algebra course and will be about Gorenstein rings, or more precisely it will be about Gorenstein local rings because all rings are going to be local and notarian. So Gorenstein rings are rings with a sort of duality property. So in order to define them let's first do the zero-dimensional case, which is a little bit easier than the than the general case. So if r is zero-dimensional and notarian and local then r is Gorenstein. It turns out to be equivalent to saying that Hom over r from k to r is one-dimensional over the field k as a vector space. So here this dimension is the dimension over the vector space k and here the dimension is the dimension, the ring theoretic definition. k is going to be the field r over m where m is the maximal ideal. And more generally we can define the dual of a module m to be Hom over r from m to r. And if r is Gorenstein this implies that the dual of m behaves well. For instance the dual of m, the dual of the dual of m should be the should be isomorphic to m if m is a finitely generated module over r and so on. For general rings this definition of duality doesn't behave at all well and in fact for general zero-dimensional rings there's an alternative definition of duality where you define that the dual of m to be Hom over r from m to omega. So this is going to be the dual of m where omega is some special module called the dualizing module. So for Gorenstein rings that they're the ones where the dualizing module happens to be isomorphic to the ring you first thought of at least in the nought dimensional case. High dimensions things get get more complicated. So let's see a few examples of zero-dimensional rings that are or aren't Gorenstein. So first of all we could take say a ring of formal power series modulo x to the five and here Hom over r from k to r just as dimension equals one because it's spanned by say it's spanned by x to the four and it's sort of useful to kind of draw a picture of these of zero-dimensional rings. There's a lot of blocks. So for instance this ring can be pictured as a series of five blocks where where this bottom block is generated by x to the four. The two bottom blocks are generated by x cubed by x squared x and one. So each of these blocks sort of represents a sub quotient isomorphic to k. So this this ring has length five as a module over itself and you can picture pictures looking like this and then the reason it's Gorenstein is that there's only one block on the bottom. So Hom from k to r is sort of the blocks on the bottom of this tower and hopefully the pictures of these towers will become a little bit clearer in the next example. So now let's look at r equals k x y and I'm going to quotient out by x squared x y y squared. Now let's draw a picture of this ring as a module over itself and this time it is length three so we get three blocks and we can sort of picture the blocks a bit like this. So this is going to be generated that the whole tower is generated by one and this block might be generated by x and this might be generated by y say. And now you notice that there are two I've drawn two blocks on the bottom. This corresponds to the fact that Hom over r from k to r this time has dimension equal to two because it's a two dimensional space spanned by x and y. So this one is not Gorenstein. We can sort of make it Gorenstein by quotienting out a bit less so now if I take r equals k x y modulo x squared and y squared now this is length four and I can draw a picture of it a bit like this. So on top I have the one and then I have the submodules generated by x and y which are all two dimensional because they both contain x y. And now that you can see that there's only one block on the bottom so this corresponds to the fact that and the dimension from Hom over r from k to r is now equal to one again. So this one is Gorenstein. And another informal way of thinking of a Gorenstein ring that's zero dimensional is it looks the same if you turn it upside down. So if I take five blocks here and flip them upside down I get the same thing and that corresponds to the fact that r is kind of self-dual in some sense. If I take this collection and flip it upside down then it looks like that which is definitely different. Now there's only one thing on the bottom that sort of corresponds to the fact that r is not self-dual. If you dualize r you get a different module and finally this one is the same upside down again so it is indeed self-dual. So for zero dimensions the duality property of r is reasonably easy to understand. In higher dimensions the definition is a little bit more complicated. Growth and Dick defined Gorenstein rings so as usual these are going to be local notarian rings so I suppose r has dimension r. It's called Gorenstein if an x to the i of kr is zero for i not equal to d and has dimension 1 for i equals d. So for i equals zero so for d equals zero which is just the zero dimensional case x zero is just HOM so this is sort of saying HOM from k to r is one dimensional which is what we had before. Now the first thing you notice about this definition is that it's really a bit of a heavyweight definition. It's not immediately obvious what these higher order x's are. You can also wonder why are they called Gorenstein. I can't spell Gorenstein. Why is it called a Gorenstein ring if the definition was invented by growth and dick? Well Gorenstein was best known as the group theorist who was sort of directed the classification of finite simple groups but before he started doing group theory he actually worked an algebraic geometry and he proved a theorem about plane curve singularities and he found a certain property of them which turns out to be equivalent to the Gorenstein property so growth and dick named them after Gorenstein because Gorenstein essentially showed that plane curve singularities are Gorenstein rings. Incidentally mathematical folklore says that Gorenstein himself went around claiming that he didn't actually understand the definition of a Gorenstein ring. I'm not buying this I mean Gorenstein was a smart guy and was perfectly capable of understanding this definition and for heaven's sake if someone names something after you of course you go and read up what the definition is so it's a nice story but you should take it with a grain of salt. I think that the name Gorenstein ring was really popularized by Bass who wrote this famous paper on ubiquity of Gorenstein rings shortly after Gorenstein invented them. Okay so obviously Bass had a word day calendar or something and he came up with this word ubiquity which means everywhere present and it's used a lot by theologians and I discovered this when I was trying to search on Google for the paper ubiquity of Gorenstein rings and when you get as far as ubiquity of G.O. Google suddenly throws up a lot of search suggestions about papers on the ubiquity of God so anyway unfortunately Bass's paper is behind a paywall if you try and search for it but if you have a university account you may be able to get hold of a copy. So anyway let's get back to this problem that this definition is rather rather heavy going fortunately in order to test whether a ring is Gorenstein we can use a much simpler criterion. If R is greater if R has dimension greater than 0 then R is Gorenstein if and only if R has a zero divisor so a non-zero divisor X in M so that R over X is Gorenstein. So you remember exactly the same thing held for Cohn-McCauley rings a ring is Cohn-McCauley if and only if when you question it out by a non-zero divisor the result is is also Cohn-McCauley. So you can sort of reduce your ring to a zero dimensional ring like this and then test the zero dimensional ring to see if it's Gorenstein and if you can't get down to zero dimensions then your ring isn't even Cohn-McCauley and it's not Gorenstein and you may sort of worry a bit that you have to choose this non-zero divisor carefully but in fact it doesn't matter so any non-zero divisor will do provided it's in M. I'm not going to prove this but it's quite easy to prove what you do is if X is a non-zero divisor we look at the exact sequence nought goes to R goes to R goes to R over X and then we've got a short exact sequence so you remember from homological algebra you can get lots and lots of long exact sequences involving the X groups from that and by playing around with those you can show that this condition here is equivalent to this condition about X groups. You may wonder why we don't use this simpler definition. Well the answer is with the simpler definition it's not at all clear that the result is independent of the choice of X which is a bit of a nuisance. This more high-powered definition using X groups it's theoretically a bit easier to use because you don't have to choose an element to check it's independent of the choice of element. So what we're going to do now is just give some examples of higher dimensional rings that are or aren't Goronstein. It turns out that being Goronstein is actually a really subtle property in making a apparently harmless change to the ring changes whether or not it's Goronstein. So the first example is we're going to take the ring of power series in two variables and we're going to let this be acted on by a group of order three a cyclic group of order three and we're going to look at the fixed subring and see whether this is Goronstein. Well there's more than one way this group of order three can act on this it can change for instance it can change X to omega X where omega is a cube root of unity so omega cube equals one we're going to work over a field of characteristic not three so let's just say the characteristic K is not equal to three and we could map Y to omega Y and that would give us one ring. Alternatively we can map X to omega X and we can map Y to omega squared Y and this looks like a completely trivial change there doesn't really seem to be much difference between these two actions but we'll see that one of them is Goronstein and one of them isn't. So in order to see whether they're Goronstein or not we should start by drawing a picture of the ring and we're going to sort of start by drawing well it's not quite a basis but let's pretend it's a basis so we draw one X, X squared, X cubed, Y, Y squared, Y cubed and so on so so we draw a point for each monomial and this isn't quite a basis because it's formal power series so whatever but we won't worry about that too much. Now what we have to do is identify the fixed elements so the elements that are fixed under X goes to omega X and Y goes to omega Y are going to be those such that the total degree is divisible by three so our ring will really be sort of all these orange things here and now this is a two-dimensional ring so what we have to do is quotient out by non-zero divisor so let's pick a non-zero divisor so X cubed is a good non-zero divisor and let's quotient out by X cubed well that means we throw out everything in this region here and this reduces us to a one-dimensional ring and now we can ask is this one-dimensional ring Goronstein well to do that we again have to quotient out by non-zero divisor and a non-zero divisor in this quotient is Y cubed so here's a non-zero divisor and let's quotient out by this non-zero divisor well that means we throw away everything here and what are we left with well now we're left with a zero dimensional ring looking like this and now you see if we draw it's in block form it kind of looks like this it here this element would be XY squared and this element here would be X squared Y so the we see that HOM over R from K to R where R is now this bit here has has it is now two-dimensional so this is not Goronstein now let's do the same with this ring here and I'll do this a bit much more quickly because it's very similar so again we draw out the sort of not quite a basis for it looking like this and this time we mark an orange the fixed point elements and this time it looks a little bit different now looks like this so fixed point elements are going to be lines looking like that and now again we kill off a non-zero divisor like this so we kill off all this stuff and then we take a second non-zero divisor here and kill off all the stuff that's a multiple of it and now we see we're left with something that subtly different if we draw this in block form it now looks like this so this is one XY X squared Y squared so now the dimension of HOM over R from K to R is just one in fact it's spanned by this bit here whereas in the previous example it was spanned by these two bits here so although these two rings look almost identical one of them is Goronstein and one of them isn't this is also illustrates the fact it's actually quite hard to tell whether a ring is Goronstein just by sort of looking at it and you know if a ring is regular or Cohen Macaulay it's usually pretty obvious whether or not it's regular or Cohen Macaulay I mean regular sort of means non singular like a manifold and Cohen Macaulay has something to do with bits of different dimension not meeting but but Goronstein property is much subtler so now I'm going to give another example where it's really quite hard to guess whether a ring is Goronstein or not this time I'm going to look at singularities of curves in four-dimensional affine space and I'm writing down curves by writing down equations and four-dimensional affine space is a bit tedious because you've got to write down lots of equations so what I'm going to do is I'm just going to define the curve by the image under an embedding so what I can do I can map the curve a1 to a4 by mapping the point t to say t to the 4, t to the 5, t to the 6, t to the 7 and then the image of this will have some sort of funny cusp but at the origin or another thing I can do is I can map it to t to the 5, t to the 6, t to the 7, t to the 8 or I could map it to t to the 6, t to the 7, t to the 8, t to the 9 and I think you will have to agree that these three curves all look very similar I mean if I asked you to guess which of them were Goronstein and which were not Goronstein you would probably have rather a hard job trying to see any difference at all between them and if you draw pictures there in four-dimensional space it's very hard to distinguish them and what we're going to do is we're going to show the middle one is Goronstein but the two outer ones are not Goronstein so it's again illustrates that the Goronstein property is very subtle so let's first look at the first one and for this again I'm going to draw a basis of the ring so we're going to draw one t, t squared, t cubed, t to the 4, t to the 5 and so on I forgot to say we're looking at the local ring at the origin of course at all points other than the origin that this is just a regular curve so it's not very interesting and now the local ring at the origin or let's say the completion of the local ring at the origin doesn't actually contain t or t squared or t cubed it just contains 1, t to the 4, t to the 5, t to the 6, t to the 7 then it contains t to the 8 because that's t to the 4 squared and it contains everything beyond that so the local ring well let's take its completion for simplicity then it's going to be sort of spanned by the in some formal sense by by these elements here so now let's work out whether it's Goronstein so we pick a non-zero divisor in the maximal ideal which will be this element here and we then have to kill off all elements in the ideal generated by this we have to multiply this by 1 and then we have to multiply it by t to the 4 and t to the 5 and t to the 6 and so on so if we look at r over t to the 4 we need to check whether this is Goronstein and it just consists of this element and this and this and this and you see the product of any of these two is zero so we see that HOM over whatever it is r over t to the 4 I guess from k to r over t to the 4 has dimension 3 so it's not Goronstein well now let's do this case where we take t to the 5 t to the 6 t to the 7 t to the 8 and see this apparently trivial change from 4 to 5 does actually make a difference so again we draw a picture of a basis for the local ring so we can take 1 2 3 4 5 6 7 8 so it's going to be 5 9 10 12 13 14 and so on so our ring the local ring contains 1 it contains t to the 5 6 7 and 8 it doesn't contain t to the 9 contains t to the 10 t to the 11 t to 12 and so on so it contains everything beyond that I can't quite remember how far I need to go so so we want to test whether this ring this orange ring is Goronstein and to do that we pick a non-zero divisor so here's a non-zero divisor t to the 5 and now we need to work out the ideal generation by t to the 5 so we need t to the 5 and then it contains t to the 10 t to the 11 t to the 12 t to the 13 it doesn't contain t to the 14 though but it does contain t to the 15 and everything beyond that so let's summarise what we've got so this is t to the 14 so so let's look at what r over t to the 5 looks like well it contains t to the 1 it contains t to the 6 t to the 7 t to the 8 and it also contains t to the 14 and now we want to work out what is home over r over t to the 5 from k to r over t to the 5 well we notice that none of these elements are can be in the image of k because t to the 6 times t to the 8 equals t to the 14 which is not zero and t to the 7 times t to the 7 equals t to the 14 which is not zero so this space here is one dimensional spanned by t to the 14 so the dimension of this is equal to 1 so it is Gorenstein and you notice we are getting a sort of duality on this three dimensional space we get a sort of bilinear form mapping this three dimensional space times itself to this one dimensional space and this is this is part of the duality that you always expect when working with Gorenstein rings so the third example now let's look at what happens if you take six seven eight and nine so here we've got one so our ring contains the elements one and then it contains one two three so t to one two three four five and t to six seven eight and nine write these down I'm using tracks six seven eight nine and then it doesn't contain 10 11 but it contains t to the 12 13 14 15 16 17 18 and so I'm actually have to go a bit further and we write 9 10 11 12 13 14 15 16 17 and so on and now as usual we have to question up by a zero device which we choose to be t to the 6 and this kills off t to the 6 and then we kill off that and then we have to kill off t to the 12 t to the 13 14 15 but we keep 16 17 and then we kill off t to the 18 we kill off everything beyond that so if we look at r over t to the 6 we end up with one t to the 7 t to the 8 t to the 9 t to the 16 t to the 17 and the home from K to this is now two dimensional spanned by these two elements here so again this example is not Gorenstein so you see being Gorenstein is a sort of very subtle arithmetic property of exactly which elements we have which of these elements appear in a basis for the ring so I'll just finish by sketching the fact that regular rings in our Gorenstein and for this we use the causal complex so you remember if we've got a if we've got a regular local ring R this time we're going to use growth index rather high powered definition of regular rings of course you could do it just by using the just by quotienting out by a regular sequence and getting down to a one dimensional to a zero dimensional ring that's one dimensional over case that would prove it but I want to do it using the causal complex so we want to show that X to the D over R of K and R has length one and we want to show that all the ones other than this vanish so what we do is we pick X1 up to XD to be a basis for M over M squared which we can do as R is regular and then we look at the causal complex so we get naught goes to R goes to R to the D goes to R to the D choose to and so on so it goes all the way down to R to the D goes to R goes to R over X1 up to X to the D which is in fact isomorphic to K and now we can use this to compute the X groups so we want to compute X to the D over R of K and R and you remember for this we can we've got we see that this X group is given by the homology of the sequence naught goes to R goes to R to the D and so on so we want the homology at this point here and if we remember what the causal complex is this dual map will take a basis a1 up to a D to X1 a1 plus X2 a2 and so on so the homology of this bit here will be R over X1 X2 up to XD which is equal to K so so we can show you some the causal complex that this piece here has dimension one and in fact if this group here has dimension one then it in fact implies all the other X groups have dimension zero so in fact you don't really need to calculate them okay next lecture next two lectures we're going to be studying the other sort of ring which is complete intersection rings and what we're first going to be doing is studying fitting ideals which are a useful technical tool for studying complete intersection rings


Statistics and Excel. Wages, data, box plot or box and whiskers. Get ready, taking a deep breath, holding it in for 10 seconds, looking forward to a smooth, soothing Excel. Here we are in Excel. If you don't have access to this workbook, that's okay because we'll basically build this from a blank worksheet and therefore you can just open up a blank worksheet. If you do have access to this workbook, we have three tabs down below. Example, practice blank. Example, in essence, answer key. Practice tab, having pre-formatted cells within it. So you can focus in on the core component of the practice problem. The blank tab, just having the data set within it so we can practice formatting the cells as we go. Let's take a look at the example tab, the answer key to see where we will be going. We're going to be sorting our data. This data is related to wages so we're imagining we have a set of data possibly for an organization for wages that we would like to glean some insights from. We're going to do so by creating a box and whisker chart on the right hand side. That's really what we're focused in on in this presentation and then in future presentations, we will continue on to analyze the box and whisker chart with our analysis tools over here. We'll also make another box and whiskers just to note that you can put them on a side by side if you had two sets of data and then we'll compare the box and whiskers to a histogram type of format as we lead in to then starting to talk about histograms and the dynamics of them. So if I go to the tab to the right, the practice tab, we have some pre-formatted cells over here so you can more easily simply put in your box and whiskers if you wanted to do that without the formatting. And the blank tab, we just have a list of numbers. Now note that if you don't have access to this workbook, you can look up wages for a particular area if you so choose. We've talked about different methods that you can pull data from if you want to get some practice data to work with. Obviously, you can type in the data if you so choose. If you want your information to tie out exactly to this information, although I know that's a little bit tedious, one of the methods that you can use in Excel to get some data would be to use a random selection of data, so then you would want to adjust it to have some outliers and whatnot so you can kind of get an idea of what's going to happen with your box plot. So to do that you can say equals in a cell and you want to take the random between so that you can choose the bottom and top. And so you have your function here and basically most of our numbers here are between like 65 and 75. So if I took the random of 65 and then I say comma the next argument on the top is like 75 and then close up the brackets. You'll get some random numbers. And if I copy that down, I can then get a set of random numbers. And then you might want to add some outliers to it. Now obviously when you have random numbers, you can get an idea of what the outcomes are going to be because you would think they would be coherent to some randomness. Whereas if you had actual numbers in the real world, you're going to see possibly different trends that are going to be different than simply random. And those are the kind of things you're looking for, the differences between the random and what actually is in the world and what those differences might be telling us. Alright, in any case, this is going to be our set of numbers on the right. I'm going to scroll in a bit. So I'm going to hold control down and scroll in. I'm currently at 205. You can also do it by hitting this plus button over here. And then I'm going to format my entire worksheet. I do this basically every time I'm going to select the triangle button up top. I'm going to put my underlying baseline formatting and then I'll format other cells that may be different or deviant from that baseline formatting. So I like doing this by right clicking, formatting the cells. Here's my formatting box. I'm in the numbers group. I will typically format with the, I like the, actually what I've been currency, and then negative numbers are bracketed, but no dollar signs. And then I don't really need decimals here. So I'm going to remove the decimals because we're working in thousands. And then when I need decimals, I'll add them to those particular cells. I'm going to say, okay, I'll also, I'll also bold them home tab font and bold. And I think that's easier just for the presentation purposes, or you might just like the bold might stand out if you have bad eyes like me or something like that, at least, then you could use that. Let's put a, let's put a header up top. So I want to put something above up top here so I could put a header on it. So the easiest way to do that is to select an entire row, putting my cursor on the one selecting the entire row, and there's nothing on the right hand side. That's why it's the easiest thing to do because I don't need to tell Excel, hey, I would like you to move this group down. I could just say just add an entire row. So it's one less click than moving the entire thing down. I could just say insert, insert. Notice it doesn't say insert cells, insert a column because I have the entire row selected. So it inserts there and then I'm going to put up top. I'll just say wages as a header. And then I'm going to, I like to put this whole thing into a table before we create the box and whiskers. So I'm going to put my cursor anywhere within here. And then I'm going to go into the insert up top tab. So remember, these are the tabs up top, insert tab. And then in the tables group in the insert tab section, we want to insert a table. Now I only have one thing selected. So the dancing ants, I know it looks like they're marching. But if you looked at them close, they would, they'd be really grooving. They'd be grooving like their hips are moving everywhere, man, but you can't tell because we're, but in any case, if you select those, then then you can say, okay, and it'll pick up the entire table, which will result in a new table tab up to the right. So if I'm off the table, no table tab. If I'm on the table, there's a table tab. What we really want to do here is now organize the data top to bottom. That's usually one of the ways we can organize the data. If I look at this data and I just took a random sample, I just looked at people's salaries basically in alphabetical order or something like that. And I picked up their salary numbers, then alphabetical order is not going to tell me much about this, this ray of numbers. The first thing that I would want to do is say, hey, if I put this in order from top to bottom, then I can get a vision. I can at least get a visual look at what is happening. So that's clearly what we will typically do. You don't have to do that, by the way, in order to enter or create a box and whisker. The box and whisker will figure it out, the chart. But the first thing we would do when we're analyzing the data would probably be, I want to see it from Z to A. Z to A. And so now we've got the highest on top. And you're like, all right, now I can get a sense of kind of where this group of people are lying in this number set. Now the next thing we might do is start pulling some break this data down using the average, the mean, using the quartiles and whatnot. But let's first make the box and whisker chart and then we'll kind of analyze some of those other numbers in accordance with the box and whiskers. We'll also get into some more of the math on those kind of analytics later. But for now we just want to get a pictorial representation. So to do that, I can select the entire thing this way. There's some faster ways you can select, like if I click the data like that, I can select the data that way. But I'm going to include the header here too. So I'll select it. I'll just drag it down, select the data. I'm going to scroll back up again. And then I'm going to go into the insert and then we're in, so that's the insert tab. We're in the charts group within the insert tab. And now we want to look at this one here. Now notice it kind of looks like a histogram, not the box and whiskers, because the histogram is really kind of like the go to oftentimes for sorting our data, which we'll talk about later. The box and whiskers, like you can kind of imagine, I imagine it kind of like before we had the Excel and whatnot, it's probably easier to draw by hand like a box and whiskers, right? Whereas it's a little bit more difficult.


The study investigates the use of thiaflavin T that to detect amyloid fibrils in Alzheimer's disease and prion diseases and examines the relationship between that concentration and amyloid formation as well as the effect of that on aggregation kinetics. The results show that that fluorescence correlates linearly with amyloid concentration over a range of that concentrations and that the maximal fluorescence signal is observed at that concentrations of 20-50 backslash U2005M for the three proteins investigated. The study also finds that that has little effect on aggregation at concentrations of 20 backslash U2005M or lower, but may affect the shape of aggregation curves at higher concentrations. This article was authored by Christine Shueh, Tiffany Yu and Lin, Dennis Chong, and others.


Who says you can't have it all? Not Appalachian Wireless, we know what you want. Appalachian Wireless offers the hottest smartphones and unlimited data plans, all on the region's number one network. Last August, 40-year-old Shannon Foltz allegedly led Jenkins police on a high-speed pursuit on Kentucky 805 in Letcher County. Soon he'll stand trial on charges related to that incident. Foltz appeared in Letcher Circuit Court Wednesday for a pre-trial hearing in the case. Circuit Judge Jimmy Kraft set the case to go to trial September 24. In an interview last August, Jenkins police said Foltz led an officer on the chase along Highway 805 at high speeds, passing several vehicles. Foltz allegedly crashed his vehicle into a Jenkins police cruiser during the alleged pursuit. Foltz is facing felony charges of assaulting a police officer, 13 felony counts of wanton endangerment and fleeing and evading police. He's also charged with being a persistent felony offender. Shannon Foltz is currently free on bond. Reporting, I'm Chris Anderson, EKB News.