User jose brox - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T12:19:59Z http://mathoverflow.net/feeds/user/1234 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/75499/infinite-dimensional-central-simple-algebras Infinite dimensional central simple algebras Jose Brox 2011-09-15T09:21:28Z 2011-09-16T16:57:50Z <p>When constructing the Brauer group of a field, only the finite-dimensional central simple algebras are considered (because of Artin-Wedderburn's characterization).</p> <p>But what happens to the infinite-dimensional ones? (I.e., to simple algebras which are infinite-dimensional over their centers).</p> <ul> <li><p>Is there an analogue for the Brauer group?</p></li> <li><p>Is there some structure theorem like Artin-Wedderburn's?</p></li> <li><p>What can be said about cross products of these algebras?</p></li> </ul> http://mathoverflow.net/questions/5499/which-mathematicians-have-influenced-you-the-most Which mathematicians have influenced you the most? Jose Brox 2009-11-14T13:28:17Z 2011-09-02T18:01:44Z <p>There are mathematicians whose creativity, insight and taste have the power of driving anyone into a world of beautiful ideas, which can inspire the desire, even the <em>need</em> for doing mathematics, or can make one to confront some kind of problems, dedicate his life to a branch of math, or choose an specific research topic.</p> <p>I think that this kind of force must not be underestimated; on the contrary, we have the duty to take advantage of it in order to improve the mathematical education of those who may come after us, using the work of those gifted mathematicians (and even their own words) to inspire them as they inspired ourselves.</p> <p>So, I'm interested on knowing who (the mathematician), when (in which moment of your career), where (which specific work) and why this person had an impact on your way of looking at math. Like this, we will have an statistic about which mathematicians are more akin to appeal to our students at any moment of their development. Please, keep one mathematician for post, so that votes are really representative.</p> http://mathoverflow.net/questions/35988/why-were-matrix-determinants-once-such-a-big-deal/50246#50246 Answer by Jose Brox for Why were matrix determinants once such a big deal? Jose Brox 2010-12-23T16:46:05Z 2010-12-23T16:46:05Z <p>The simple fact that the invertible square matrices of order $n$ are precisely those which have nonzero determinant has a real bunch of theoretical applications (in ring theory, topology, differential geometry, etc).</p> <p>For example, if you consider the general linear group $GL(n, \mathbb{R})$ as a Lie group, to see that its associated Lie algebra is (isomorphic to) $gl(n, \mathbb{R})$, an essential step is to get the equivalence of tangent planes $T_e(GL(n,\mathbb{R})) \cong T_e(gl(n,\mathbb{R}))$ (where $e$ is the neutral element). But this is trivial if we have in mind that $GL(n,\mathbb{R}) = \{A\in gl(n,\mathbb{R}) : det(A) \neq 0 \}$ and that $det$ is continuous, because then $GL(n,\mathbb{R})$ is automatically an open set of $gl(n,\mathbb{R})$. </p> http://mathoverflow.net/questions/44207/asymptotics-of-product-of-consecutive-primes/44547#44547 Answer by Jose Brox for Asymptotics of Product of consecutive primes Jose Brox 2010-11-02T11:24:53Z 2010-11-02T11:24:53Z <p>You can also prove that $\displaystyle \ \lim_n \ \ \sqrt[p_n]{\prod_1^n p_i} = e$</p> <p>(where $p_i$ is the $i$-eth prime number and $e$ is Euler's exponential number)</p> http://mathoverflow.net/questions/44053/why-are-polynomials-easier-to-handle-with-than-integers/44087#44087 Answer by Jose Brox for Why are polynomials easier to handle with than integers? Jose Brox 2010-10-29T08:33:28Z 2010-10-29T08:42:13Z <p>Following the commentary by Amri, I think that his idea can be explained in terms of graduations: The natural graduation of $F[X]$ over $F$, generated by the degree, allows us to compute simultaneously a lot of $F$-sums without mixing information. Maybe the rest of facts can be also described by graduation properties? (I'm not taking into account trivial graduations for $Z$).</p> http://mathoverflow.net/questions/30646/how-to-locate-the-paper-that-established-robinson-arithmetic How to locate the paper that established Robinson Arithmetic? Jose Brox 2010-07-05T18:10:58Z 2010-09-15T21:05:08Z <p>If I'm not mistaken, it was in his seminal paper “An Essentially Undecidable Axiom System”, published in </p> <p>Proceedings of the International Congress of Mathematics (1950), 729–730,</p> <p>where R.M. Robinson proved that Gödel Incompleteness Theorem still applies to Peano Axioms if we drop the induction schema (hence showing that infinite axiomatization is not necessary for essential undecidability), in what we now call Robinson Arithmetic.</p> <p>I would like to know:</p> <ul> <li>Is actually this paper what I should be looking for?</li> <li>Can it be found anywhere on the net? (I already tried on MathSciNet, SpringerLink, JSTOR and Google Scholar, without success)</li> <li>Can anyone pinpoint to closely related, or at least similar, accessible papers?</li> </ul> <p>(Note: I already have the book "Undecidable theories", which he published in collaboration with Tarski, but I'd prefer to locate papers about 'Robinson theory', specifically).</p> http://mathoverflow.net/questions/35468/widely-accepted-mathematical-results-that-were-later-shown-wrong/35684#35684 Answer by Jose Brox for Widely accepted mathematical results that were later shown wrong? Jose Brox 2010-08-15T20:18:01Z 2010-08-15T20:18:01Z <p>In the 1960s, John Horton Conway verified the 1920s efforts of Alexander and Seifert in <strong>Knot Theory</strong> to tabulate all the knots of at most 10 crossings (1). He found several omissions and one duplication, but somewhat famously failed to discover another one. This error would propagate when Dale Rolfsen added a knot table (as Appendix C) in his influential book <em>Knots and Links</em> in 1976, based on Conway's work. This addition happened in spite that Kenneth Perko had noticed, in 1974, the other pair of entries in classical knot tables that actually represent the same knot (2). In Rolfsen's knot table, this supposed pair of distinct knots is labeled $10_{161}$ and $10_{162}$. Now this pair is called the <strong>Perko pair</strong>, for obvious reasons :)</p> <p>(1) <em>An enumeration of knots and links, and some of their algebraic properties</em>, Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967), Pergamon, pp. 329–358</p> <p>(2) <em>On the classification of knots</em>. Proc. Amer. Math. Soc. 45 (1974), 262--266</p> <p>(The information of this post is quoted from the following Wikipedia articles:</p> <ul> <li><a href="http://en.wikipedia.org/wiki/Knot_theory#Tabulating_knots" rel="nofollow">http://en.wikipedia.org/wiki/Knot_theory#Tabulating_knots</a></li> <li><a href="http://en.wikipedia.org/wiki/Perko_pair" rel="nofollow">http://en.wikipedia.org/wiki/Perko_pair</a></li> </ul> <p>)</p> http://mathoverflow.net/questions/32891/finding-the-largest-integer-describable-with-a-string-of-symbols-of-predefined-le Finding the largest integer describable with a string of symbols of predefined length Jose Brox 2010-07-22T03:55:16Z 2010-07-27T07:17:14Z <p>(This question is motivated by the reading of the article <em>Large numbers and unprovable theorems</em> by Joel Spencer, which can be found at <a href="http://mathdl.maa.org/images/upload_library/22/Ford/Spencer669-675.pdf" rel="nofollow">http://mathdl.maa.org/images/upload_library/22/Ford/Spencer669-675.pdf</a> and that I recommend).</p> <p>We all know of the game where a card of a predefined size, say 3x5 cm, is given to every contender, and whoever writes the biggest (positive) integer on his, wins. Naive answers are easily defeated by iteration of fast-growing functions; those are defeated by induction, and these by transfinite induction. However, if a system of axioms is prefixed, then we cannot pursue this strategy forever: for example, if we are only willing to accept Peano's Axioms (PA), then $f_{\alpha}(n)$ (where $\alpha$ is an ordinal number and $f$ is defined à la Ackermann) is computable (in the sense that the axioms ensure that a program to compute it exists and will terminate in finite time) when $\alpha &lt; \epsilon_0$, but not if $\alpha = \epsilon_0$.</p> <p>This problem suggests two related questions to me:</p> <ul> <li><p>It is known that the Ackermann function is well-defined inside AP, and that other functions which grow much faster, like the one in the strong version of the finite Ramsey Theorem of Paris-Harrington, or Goodstein's function whenever it grows fast (I think), or $f_{\epsilon_0}(9)$, cannot be defined everywhere just by application of AP, because they "grow too fast for AP". Is there a rigorous definition of what it means for a function to grow too fast for AP (or any other arithmetical axiom system)? Can we establish in any sense a "limit" for this process? For example, can we find a "threshold function" F, depending on the axioms, such that if f dominates F then f is not computable and if F dominates f then it will be? (I'm thinking about something among the lines of the convergence of the p-series for p>0 whenever p>1 and its divergence whenever p&lt;=1).</p></li> <li><p>Building in the exposition above Spencer observes that, between experts, this game is not funny and reduces to claims of legitimacy (over the validity of the axioms they are supposed to use), since if we allow just a fixed amount of characters for describing our number, and our axioms system is prefixed also, then THERE in fact IS a largest number computable on that system (and thus competitors would come to a draw). However, what happens if we consider the following metagame? Instead of fixing the axiom system beforehand, we allow every contender to (secretly) choose his own system of axioms for arithmetic, in the hope that his will allow faster-growing computable functions than those of the others. Doing this, the contender takes the risk, while trying to get more and more power from the axioms, of actually getting an inconsistent system! Whoever gets the biggest (computable) number in a consistent axiom system wins. Is this game interesting, or is it "flawed" too? In adittion, inconsistency may be proved within the axiom system, but its consistency would have to be proven in a more powerful framework. Which one would you select and why? What about the metametagame of letting those frameworks to the election of the players? Is that still interesting?</p></li> </ul> http://mathoverflow.net/questions/2437/is-there-an-image-for-you-that-epitomizes-mathematics/30840#30840 Answer by Jose Brox for Is there an image for you that epitomizes mathematics? Jose Brox 2010-07-07T00:43:42Z 2010-07-22T13:06:17Z <p>For category theory, from <em>Abstract and Concrete Categories: The joy of cats</em>, by Adámek, Herrlich and Strecker, page 12:</p> <p>(http://katmat.math.uni-bremen.de/acc/acc.pdf) </p> <p><img src="http://img638.imageshack.us/img638/6223/joyofcats.jpg" height="450"> </p> <blockquote> <p>Categorists have developed a symbolism that allows one quickly to visualize quite complicated facts by means of diagrams.</p> </blockquote> <p>For me, this represents the fact that most, if not all of mathematics, is about structures and relations: even the simplest of them, when combined and interrelated, can give birth to fairly complex behaviour.</p> http://mathoverflow.net/questions/30886/applications-of-classical-field-theory/30918#30918 Answer by Jose Brox for Applications of classical field theory Jose Brox 2010-07-07T16:53:30Z 2010-07-07T16:53:30Z <p>Well, I'm not really sure about whether you wish to refer just to <em>relativistic</em> classical field theories or you are interested on non-relativistic ones as well.</p> <p>Either way, you have:</p> <ul> <li><strong>Classical thermodynamics</strong>, where you study the internal energy, entropy, temperature, pressure and volume fields of a classical sytem. This theory serves to:</li> </ul> <blockquote> <p>Understand and apply at wish the mechanisms of heat conduction (freezers, air-conditioners, determining the hour of death of a corpse...).</p> <p>Make rough cosmological assesments (heat death of the universe and the like).</p> <p>Understand, measure and determine the restrictions on life at a thermodynamical level (need for feeding, maximal safe temperature, maximal attainable speed, construction of thermomethers).</p> <p>Understand how to construct, manage and study combustion-powered engines (Carnot efficiency, automotive industry).</p> </blockquote> <ul> <li><strong>Fluid dynamics</strong>, where you study the velocity, temperature, density and pressure fields of a (liquid or gaseous) fluid. This theory serves to:</li> </ul> <blockquote> <p>Design fluid-efficient machines, whether they are flying machines - planes and spaceships -, running machines - Formula 1 cars - or navigating machines - ships and submarines -.</p> <p>Understand and implement interesting flows through pipes, nozzles and turbines (we need them, for example, to conduct or transport liquids, gasses and colloids and to know how to expel them properly).</p> <p>Get insight on some transport phenomena that occur in Biology (since water is an important component of most living creatures and of their environments).</p> <p>Predict the weather on a given (not too big) zone, in a given time (not too far in the future).</p> <p>Get knowledge on the important ocean currents and on how to predict tsunamis.</p> <p>Have the correct tool for (fluid) acoustical engineering, since sound is no more than disturbances of the average pressure of the fluid.</p> </blockquote> <ul> <li><strong>Magnetohydrodynamics</strong>, which studies the dynamics of electrically conducting fluids (like plasmas, liquid metals or salt water). Its equations are the mixture of Navier-Stokes' and Maxwell's. This theory serves to:</li> </ul> <blockquote> <p>Model the core of the Earth as a liquid-metal dynamo (generation of its global magnetic field, Seismology).</p> <p>Accurately describe the internal dynamics of stars and another space objects made mostly from plasma (predict the number, size and movement of the Sunspots). </p> <p>Know how to cool high temperature systems by means of liquid metals.</p> <p>Research a totally new generation of engines.</p> </blockquote> <ul> <li><strong>Electrohydrodynamics</strong>, which studies the dynamics of ionised particles on the sine of a fluid, subject to electric fields. This theory serves to:</li> </ul> <blockquote> <p>In general, to convert electrical energy into kinetic energy (and vice versa).</p> <p>Know how to cool systems by means of ionized liquids.</p> <p>Construct liquid electrical generators.</p> <p>Build propulsion devices without moving parts (EHD thrusters).</p> <p>Add some more pseudoscience to our already-too-magical world: Designing air ionizers and claiming that they have all kind of health benefits.</p> </blockquote> http://mathoverflow.net/questions/2437/is-there-an-image-for-you-that-epitomizes-mathematics/30839#30839 Answer by Jose Brox for Is there an image for you that epitomizes mathematics? Jose Brox 2010-07-07T00:31:01Z 2010-07-07T00:31:01Z <p><a href="http://www2.memenet.or.jp/~keizo/0005.htm" rel="nofollow">Keizo Ushio's topological "impossible" sculptures on stone</a></p> <p><img src="http://www2.memenet.or.jp/~keizo/060830017s.jpg" height="450"> </p> http://mathoverflow.net/questions/30511/ebook-readers-for-mathematics/30628#30628 Answer by Jose Brox for eBook readers for mathematics Jose Brox 2010-07-05T14:47:43Z 2010-07-05T14:47:43Z <p>Another page for taking a fair look at the eReaders market is</p> <p><a href="http://www.ereaderguide.info/" rel="nofollow">http://www.ereaderguide.info/</a></p> <p>They do extensive reviews of the machines and rate them by several criteria. If you go into the page of a particular eReader, you will see which file formats it supports (e.g., you can see that, in fact, the EPocketBook 301 supports DJVU!) and also a long, detailed analysis about how good it is for reading.</p> <p>(The page looks like a little biased towards Amazon and their Kindles, though).</p> <p>I recommend you navigate this site for a while before making your mind up!</p> http://mathoverflow.net/questions/7155/famous-mathematical-quotes/14347#14347 Answer by Jose Brox for Famous mathematical quotes Jose Brox 2010-02-06T01:53:29Z 2010-02-06T01:53:29Z <p>Not famous yet, maybe from now on!</p> <p><em>At a purely formal level, one could call probability theory the study of measure spaces with total measure one, but that would be like calling number theory the study of strings of digits which terminate</em>.</p> <p>Terence Tao</p> http://mathoverflow.net/questions/8970/number-of-valid-topologies-on-a-finite-set-of-n-elements/8994#8994 Answer by Jose Brox for Number of valid topologies on a finite set of n elements Jose Brox 2009-12-15T15:26:34Z 2009-12-15T15:26:34Z <p>The best result I know is found in the article <a href="http://www.jstor.org/pss/2037205" rel="nofollow">The number of finite topologies</a>, by D. Kleitman and B. Rothschild, where they state that the base-2 logarithm of the number of distinct topologies on a set of $n$ elements is asymptotic to $n^2/4$.</p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8751#8751 Answer by Jose Brox for Justifying a theory by a seemingly unrelated example Jose Brox 2009-12-13T12:14:48Z 2009-12-13T12:14:48Z <p>The Laplace transform to systematically solve homogeneous ODE's with constant coefficients by transforming them in polynomial equations (and then transforming the solution back).</p> <p><a href="http://en.wikipedia.org/wiki/Laplace%5Ftransform#Example%5F.231%3A%5FSolving%5Fa%5Fdifferential%5Fequation" rel="nofollow">Solving a differential equation by the Laplace transform</a></p> http://mathoverflow.net/questions/8741/justifying-a-theory-by-a-seemingly-unrelated-example/8750#8750 Answer by Jose Brox for Justifying a theory by a seemingly unrelated example Jose Brox 2009-12-13T12:09:42Z 2009-12-13T12:09:42Z <p>Root systems and Dynkin diagrams for classification matters (see both <a href="http://en.wikipedia.org/wiki/Root%5Fsystem" rel="nofollow">Root system</a> and <a href="http://en.wikipedia.org/wiki/ADE%5Fclassification" rel="nofollow">ADE classification</a> at Wikipedia).</p> http://mathoverflow.net/questions/8609/favorite-popular-math-book/8629#8629 Answer by Jose Brox for Favorite popular math book Jose Brox 2009-12-12T00:05:07Z 2009-12-12T00:05:07Z <p><strong>Title:</strong> <a href="http://en.wikipedia.org/wiki/Innumeracy%5F%28book%29" rel="nofollow">Innumeracy: Mathematical Illiteracy and its Consequences</a></p> <p><strong>Author:</strong> <a href="http://en.wikipedia.org/wiki/John%5FAllen%5FPaulos" rel="nofollow">John Allen Paulos</a>, mathematician and well-known skeptic (in the good, modern sense of the word).</p> <p><strong>Short description:</strong> Paulos explains for the general public (and he does it fairly well) why it should understand a little more mathematics and know how to do Fermi calculations and educated probabilistic guesses. The dangers coming from pseudosciences are also highlighted, something very needed nowadays in my opinion.</p> <p><strong>Math level:</strong> +. Some chapters are not that easy to read without a mathematical background, more because of the great number of calculations and logic steps involved in the explanations than because of the math level of those <em>per se</em>.</p> <p><strong>Price:</strong> 9.89$at <a href="http://www.amazon.com/Innumeracy-Mathematical-Illiteracy-Its-Consequences/dp/0809058405/ref=sr%5F1%5F1?ie=UTF8&amp;s=books&amp;qid=1260575903&amp;sr=8-1" rel="nofollow">Amazon</a>.</p> http://mathoverflow.net/questions/8097/number-theory-textbook-with-an-algebraic-perspective/8101#8101 Answer by Jose Brox for Number theory textbook with an algebraic perspective Jose Brox 2009-12-07T12:33:00Z 2009-12-07T12:33:00Z <p>If I understand it well now, what you want are books about <strong>basic</strong> number theory with a good algebraic foundation. I can recommend the following:</p> <ul> <li><p><em>Elementary methods in number theory</em> (2000), by <strong>Nathanson</strong>. Graduate Texts in Mathematics. It starts low, but it reaches quite high.</p></li> <li><p><em>Elementary Number Theory with Applications</em> (2007) by <strong>Koshy</strong>. Elsevier. Truly basic. Not very very algebraic, but a really nice textbook.</p></li> <li><p><em>Algebra and number theory</em> by Andrew <strong>Baker</strong>. Online notes. Fairly basic.</p></li> <li><p><em>A computational introduction to number theory and algebra</em> (2005) by <strong>Shoup</strong>. Cambridge University Press / Online Free Version. Despite the title, I think it satisfies the conditions you are looking for.</p></li> </ul> http://mathoverflow.net/questions/8097/number-theory-textbook-with-an-algebraic-perspective/8100#8100 Answer by Jose Brox for Number theory textbook with an algebraic perspective Jose Brox 2009-12-07T10:49:44Z 2009-12-07T10:49:44Z <p>Well, it depends on the actual subject you want to approach and the "decent command of modern algebra" already assumed; without knowing more, I would recommend:</p> <ul> <li><p><em>Number fields</em> (1995) by <strong>Marcus</strong>. Universitext. Just as the title says, a (great!) introduction to number fields. </p></li> <li><p><em>Algebraic Number Theory</em> (1986) by <strong>Cassels</strong> and <strong>Frölich</strong>. Academic Press. It explains the basics (class field theory, zeta functions) to understand the Langlands Program.</p></li> <li><p><em>A course on arithmetic</em> (1996) by <strong>Serre</strong>. Graduate Texts in Mathematics. P-adic fields, quadratic forms, zeta functions and modular forms.</p></li> </ul> http://mathoverflow.net/questions/8095/some-equivalent-statements-about-primitive-algebras/8098#8098 Answer by Jose Brox for Some equivalent statements about primitive algebras Jose Brox 2009-12-07T10:29:27Z 2009-12-07T10:29:27Z <p>Lam (A first course in noncommutative rings, 2ed) does it for (unital) rings$R$in Lemma 11.28 (page 186):</p> <blockquote> <p>If such a$B$exists, we may assume (after an application of Zorn's Lemma) that it is a maximal left ideal. The annihilator of the simple left$R$-module$R/B$is an ideal in$B$, and so it must be zero. This shows that$R$is left primitive. Conversely, if$R$is left primitive, there exists a faithful simple left$R$-module, which we may take to be$R/B$for some (maximal) left ideal$B \subsetneq R$. A nonzero ideal$C$cannot lie in$B$(for otherwise$C$annihilates$R/B$) and so must be comaximal with$B$.</p> </blockquote> <p>Here, the statement equivalent to the Axiom of Choice is <a href="http://en.wikipedia.org/wiki/Zorn%5Flemma/" rel="nofollow">Zorn's Lemma</a>; it says that:</p> <blockquote> <p>Every partially ordered set in which every chain (i.e. totally ordered subset) has an upper bound contains at least one maximal element.</p> </blockquote> <p>In this proof we get to see one of its most common uses: it assures that any <strong>unital</strong> ring has a maximal ideal (see the Wikipedia page for more information).</p> http://mathoverflow.net/questions/7957/books-well-motivated-with-explicit-examples/8008#8008 Answer by Jose Brox for books well-motivated with explicit examples Jose Brox 2009-12-06T16:50:27Z 2009-12-06T16:50:27Z <p><em>Visual Complex Analysis</em>, by Tristan <strong>Needham</strong>.</p> <p>Really nice to get a thorough geometrical understanding of (one) complex variable.</p> http://mathoverflow.net/questions/7283/topological-langlands Topological Langlands? Jose Brox 2009-11-30T15:32:20Z 2009-11-30T20:49:57Z <p>In a workshop about the geometry of$\mathbb{F}_1$I attended recently, it came up a question related to a mysterious but "not-so-secret-anymore" seminar about... an hypothetical Topological Langlands Correspondence!</p> <p>I had never heard about this program; I have found this page via Google:</p> <p><a href="http://www.math.jhu.edu/~asalch/toplang/" rel="nofollow">http://www.math.jhu.edu/~asalch/toplang/</a></p> <p>I only know a bit about the Number-Theoretic Langlands Program, and I still have a hard time trying to understand what is happening in the Geometrical one, so I cannot even start to draw a global picture out of the information dispersed in that site.</p> <p>So, the questions are: What do you know (or what can you infere from the web) about the Topological Langlands Correspondence? Which is the global picture? What are its analogies with the (original) Langlands Program? Is it doable, or just a "little game" for now? What has been proved until now? What implications would it have?</p> <p>(Note: It is somewhat difficult to tag this one, feel free to retag it if you have a better understanding of the subject than I have!)</p> http://mathoverflow.net/questions/6852/best-mathematics-conference/6867#6867 Answer by Jose Brox for Best mathematics conference? Jose Brox 2009-11-26T03:18:58Z 2009-11-26T03:18:58Z <p>The 1900's Paris ICM... just because of Hilbert's talk, in which he modelled the shape of a rather big amount of the mathematics that were to come; and not just by becoming fancy, but by identifying really difficult and interesting problems and, even more importantly, by pointing to logic and rigor so that others could see the necessity for a thorough cleaning of their mathematical building.</p> <p>(Sorry, I could not locate any link to the proceedings ;P)</p> http://mathoverflow.net/questions/5751/can-infinity-shorten-proofs-a-lot/6008#6008 Answer by Jose Brox for Can infinity shorten proofs a lot? Jose Brox 2009-11-18T20:17:15Z 2009-11-18T20:17:15Z <p>While browsing Wikipedia, I came across this statement:</p> <p>"The introduction of projective techniques made many theorems in algebraic geometry simpler and sharper: For example, Bézout's theorem on the number of intersection points between two varieties can be stated in its sharpest form only in projective space".</p> <p>I think this fact can be stated in simple terms without any explicit reference to algebraic geometry and projective space, just talking about intersections of graphics of polynomials, the product of their degrees, and "combing space to get the point of infinity" (or some better and longer explanation).</p> http://mathoverflow.net/questions/5895/what-are-tame-and-wild-hereditary-algebras What are tame and wild hereditary algebras? Jose Brox 2009-11-18T01:43:26Z 2009-11-18T04:38:08Z <ul> <li><p>What are tame and wild hereditary algebras?</p></li> <li><p>Are they related to hereditary rings? (Those are rings for which every left (resp. right) ideal is projective, equivalently, for which every left (resp. right) submodule of a projective module is again projective).</p></li> <li><p>Googling them I can see they seem related to the "tame representation type", but this concept is also new to me.</p></li> <li><p>I would also like to know what is their relation to path algebras, since sometimes they appear mentioned together.</p></li> </ul> <p>Do you know any good (newbie) references for all this? (Or can you elaborate in any of the questions?)</p> http://mathoverflow.net/questions/5889/is-there-an-agreed-name-for-partial-ordering-based-on-pareto-dominance-relation/5898#5898 Answer by Jose Brox for Is there an agreed name for partial ordering based on Pareto Dominance relation? Jose Brox 2009-11-18T02:04:33Z 2009-11-18T02:04:33Z <p>Depending on if you allow "greater" to mean "greater or equal" or to mean "strictly greater" we have two answers coming from Order Theory, respectively: </p> <ul> <li><p>The product order: <a href="http://en.wikipedia.org/wiki/Product_order" rel="nofollow">http://en.wikipedia.org/wiki/Product_order</a></p></li> <li><p>The reflexive closure of the direct product of two strict total orders</p></li> </ul> <p>Those two, along with the lexicographic order (which I searched to find this answer), are the three best-known choices among the possible orders on the Cartesian product of two totally ordered sets, as is stated in </p> <p><a href="http://en.wikipedia.org/wiki/Total_order#Orders_on_the_Cartesian_product_of_totally_ordered_sets" rel="nofollow">http://en.wikipedia.org/wiki/Total_order#Orders_on_the_Cartesian_product_of_totally_ordered_sets</a> </p> http://mathoverflow.net/questions/5751/can-infinity-shorten-proofs-a-lot/5825#5825 Answer by Jose Brox for Can infinity shorten proofs a lot? Jose Brox 2009-11-17T15:09:45Z 2009-11-17T15:09:45Z <p>Maybe you could use some complex transformation related to Möebius functions (of the kind "circles and lines are the same") to prove several 2D-geometric statements at once.</p> http://mathoverflow.net/questions/5545/where-can-i-find-questions-motivating-important-ideas-in-math/5722#5722 Answer by Jose Brox for Where can I find questions motivating important ideas in math? Jose Brox 2009-11-16T17:51:46Z 2009-11-16T17:51:46Z <p>I suggest you take a look at the Tricki:</p> <p><a href="http://www.tricki.org" rel="nofollow">http://www.tricki.org</a></p> http://mathoverflow.net/questions/5547/ubiquity-importance-of-path-algebras/5720#5720 Answer by Jose Brox for ubiquity, importance of path algebras Jose Brox 2009-11-16T17:42:12Z 2009-11-16T17:47:35Z <p>You also have the rather new field of Leavitt Path Algebras (in which I happen to be working right now), where you take a field$K$and a directed graph$E$, generate its extended graph$E'$(add to$E$its own edges reversed, denoted as$e^*$for every edge$e$), and compute the Leavitt path algebra of$E$,$L(E)$, as the path algebra$KE'$modulo some relations called the <em>Cuntz-Krieger relations</em>, inherited from the$C^*$-algebras setting, concretely:</p> <p>(CK1)$e^* f=\delta_{ef}$for any two edges$e,f$of$E'$.</p> <p>(CK2)$\sum_{e\in s^{-1}(v)}ee^* = v$, for$v$a vertex which emits a nonzero finite number of edges, and$s^{-1}(v)$the set of those edges.</p> <p>(One can look at (CK1) and (CK2) as an abstract generalization of the product of matrix units).</p> <p>These associative algebras provide us simultaneously with a purely algebraic analog of$C^*$-algebras of graph and a generalization of the Leavitt algebras (some associative algebras which do not satisfy the IBN property).</p> <p>The full matrix rings over$K$of order$n$then arise as the Leavitt path algebras of the graphs with$n$(consecutive) vertices and$n-1$arrows, one between every pair of consecutive vertices.</p> <p>Another simple example of Leavitt path algebra is the ring of Laurent polynomials over$K$,$K[x,x^{-1}]$, which appears associated to the graph with one vertex and a single loop.</p> <p>The theory of LPAs is useful, and even beautiful, because: </p> <ul> <li><p>They provide simple, visually attractive representations of well-known algebras.</p></li> <li><p>They allow us to look at their algebraic properties by means of the combinatorial properties of their associated graphs. This happens to equip us with some rather powerful tools.</p></li> <li><p>Conversely, they also enable "algebraic engineering", since they give us a straightforward, visual way to construct new algebras, customized with any algebraic or ring-theoretic properties we may desire. For example, we can show an algebra generated by five elements such that it is exchange but not purely innitely simple, by constructing a particular (small) graph with some (easy) graph-theoretic features.</p></li> </ul> <p>Some references:</p> <ul> <li><p><em>G. Abrams, G. Aranda Pino</em>. "The Leavitt path algebra of a graph", J. Algebra 293 (2), 319-334 (2005). (Available at <a href="http://agt.cie.uma.es/~gonzalo/papers/AA1_Web.pdf" rel="nofollow">http://agt.cie.uma.es/~gonzalo/papers/AA1_Web.pdf</a>).</p></li> <li><p><em>P. Ara, M.A. Moreno, E. Pardo</em>. "Nonstable K-Theory for graph algebras", Algebra Repr. Th. DOI 10.1007/s10468-006-9044-z (electronic). (Available at <a href="http://www.springerlink.com/content/pu701474q5300m63/" rel="nofollow">http://www.springerlink.com/content/pu701474q5300m63/</a>).</p></li> <li><p><em>G. Abrams, G. Aranda Pino, F. Perera, M. Siles Molina</em>. "Chain conditions for Leavitt path algebras". (Available at <a href="http://agt.cie.uma.es/~gonzalo/papers/AAPS1_Web.pdf" rel="nofollow">http://agt.cie.uma.es/~gonzalo/papers/AAPS1_Web.pdf</a>).</p></li> <li><p><em>K.R. Goodearl</em>. "Leavitt path algebras and direct limits", Contemp. Math. 480 (2009), 165-187.</p></li> </ul> http://mathoverflow.net/questions/5499/which-mathematicians-have-influenced-you-the-most/5501#5501 Answer by Jose Brox for Which mathematicians have influenced you the most? Jose Brox 2009-11-14T13:46:24Z 2009-11-16T17:05:59Z <p>Who: Leonhard <strong>Euler</strong>.</p> <p>When: As a highschool student.</p> <p>Where: On the book "Euler: the master of us all" by William Dunham.</p> <p>Why: The amount of creativity and genius dispersed among the so-different works of Euler continues to amaze me just now, so it only could have a devastating effect on me 10 years ago. He not only addressed a lot of distinct topics, he layed the foundations of many branches of mathematics and solved with ease many problems that were interesting me at that moment of my life. I learned a lot from him: he really deserves the title of "master of us all".</p> http://mathoverflow.net/questions/5372/dimension-leaps/5508#5508 Comment by Jose Brox Jose Brox 2011-04-22T11:06:10Z 2011-04-22T11:06:10Z Well, the poster said: &quot;Many mathematical areas have a notion of &quot;dimension&quot;, either rigorously or naively, [...]&quot;, and thus I felt the p-notion to fit the question. http://mathoverflow.net/questions/5243/why-is-it-a-good-idea-to-study-a-ring-by-studying-its-modules/59882#59882 Comment by Jose Brox Jose Brox 2011-03-29T03:00:25Z 2011-03-29T03:00:25Z This is what is usually called 'the homological study' of ring theory http://mathoverflow.net/questions/5499/which-mathematicians-have-influenced-you-the-most/53490#53490 Comment by Jose Brox Jose Brox 2011-01-28T10:57:38Z 2011-01-28T10:57:38Z A really nice answer to my question. Thanks! http://mathoverflow.net/questions/5499/which-mathematicians-have-influenced-you-the-most/19364#19364 Comment by Jose Brox Jose Brox 2011-01-17T07:44:37Z 2011-01-17T07:44:37Z Please, one mathematician per post! http://mathoverflow.net/questions/49151/most-intricate-and-most-beautiful-structures-in-mathematics/49334#49334 Comment by Jose Brox Jose Brox 2010-12-14T12:58:17Z 2010-12-14T12:58:17Z It is a set with a geometrical depiction of great beauty and intricacy, but... how is it a structure? http://mathoverflow.net/questions/1083/do-good-math-jokes-exist/9597#9597 Comment by Jose Brox Jose Brox 2010-08-17T02:05:39Z 2010-08-17T02:05:39Z I really loved this one http://mathoverflow.net/questions/35468/widely-accepted-mathematical-results-that-were-later-shown-wrong/35654#35654 Comment by Jose Brox Jose Brox 2010-08-15T19:48:10Z 2010-08-15T19:48:10Z I somewhat disagree with C. Schultz. Are there any other kinds of theorems I am not aware of? http://mathoverflow.net/questions/358/examples-of-great-mathematical-writing/35073#35073 Comment by Jose Brox Jose Brox 2010-08-11T12:02:04Z 2010-08-11T12:02:04Z I totally agree. +1 http://mathoverflow.net/questions/35140/interesting-applications-in-pure-mathematics-of-first-year-calculus/35162#35162 Comment by Jose Brox Jose Brox 2010-08-11T11:50:13Z 2010-08-11T11:50:13Z Can you give some references for derivatives of polynomials over general rings? (The stranger, the better). Thanks! http://mathoverflow.net/questions/32415/maximal-ideal-that-annihilates-entire-ring/34466#34466 Comment by Jose Brox Jose Brox 2010-08-04T02:38:41Z 2010-08-04T02:38:41Z Oops! I slipped deep and hard here! Obviously, the group (R,+) should be the only group with three elements, but it is not; if you fix that, then the multiplication exposed above does not satisfy the distributivity property by the left. Hence I'm deleting my post... http://mathoverflow.net/questions/32891/finding-the-largest-integer-describable-with-a-string-of-symbols-of-predefined-le/33481#33481 Comment by Jose Brox Jose Brox 2010-07-27T10:43:05Z 2010-07-27T10:43:05Z Yes, I have knowledge of it, and I also think it is indeed lovely and a very-well written exposition! Sadly, it does not (if I remember correctly) address directly the issue I was thinking about (but I highly recommend it for introducing students to these &quot;more-complex-than-it-seems-at-first-sight theme!) http://mathoverflow.net/questions/2437/is-there-an-image-for-you-that-epitomizes-mathematics Comment by Jose Brox Jose Brox 2010-07-22T13:03:10Z 2010-07-22T13:03:10Z Moreover, who is really capable of judging if &quot;none of the answers is good&quot; when talking about a soft-question (and be confident that he could convince the rest of the people about him being right)? I learned some things from these answers, and I am pretty sure that there probably is at least one person that found good any particular answer - namely, its poser! http://mathoverflow.net/questions/31007/what-are-the-units-in-the-ring-of-laurent-polynomials/31059#31059 Comment by Jose Brox Jose Brox 2010-07-08T22:48:46Z 2010-07-08T22:48:46Z Thanks for the reference to that article, it may be useful for me! (btw, I think you should accept your own answer!) http://mathoverflow.net/questions/31007/what-are-the-units-in-the-ring-of-laurent-polynomials Comment by Jose Brox Jose Brox 2010-07-08T10:44:20Z 2010-07-08T10:44:20Z How does the standard proof for$R[X]$go? We may be able to extend that proof, since$R[X,X^{-1}]$is a localization of$R[X]\$. http://mathoverflow.net/questions/31007/what-are-the-units-in-the-ring-of-laurent-polynomials/31013#31013 Comment by Jose Brox Jose Brox 2010-07-08T09:58:20Z 2010-07-08T09:58:20Z Sorry, you are right! The sketch I quickly made in my miind was clearly wrong. In consequence, I will delete this answer! (and give it some more thought). Thank you!