January 12th, 2007, 7:43 am
QuoteOriginally posted by: exneratunriskQuoteOriginally posted by: MrMartingalewolf,It is true that it is good to know the basic structures in abstract algebra, i.e. know what a group is, a group action, cosets, rings, fields and some examples of these structures. This can be picked up by reading the first few chapters of an introductory book on the subject.Most of what comes after that is mainly mental masturbation. There are some applications (notably in cryptography) but they are few and far between. I say don't waste your time -- unless it really fascinates you.Oh? "abstract data types" are kind of "universal algebras", "free algebras" are kind of "interfaces" (describe structure, without "implementation"). The vision of "generic programming" is a kind of "functor programming" (operations on structure-keeping functions?). mental m.?Derivatives have unnamed structures (you can think of bases, linear combinations,...). Not really elaborated, but a way of thinking?I am not saying, you need a deep knowledge in "near rings", ...Indeed, it is a universal language, I'm just at some "transition point" where the algebra is starting to flow together easily and it scares me really, being able transition between all sorts of spaces and mappings, knowing all the properties of all of these things by the efficient(logically optimal?) use of notation and language...I like almost periodic rings myself. It is only mental masturbation for those who have different measures of the value of abstract algebra. As far as elaboration, that is much harder than the abstract manipulation of symbols (which is easy to do and make mistakes if you arent careful). But doing the transition from abstract to advanced calculus it becomes trivial to get down to actually solving things concretely(i mean it just becomes gruntwork because all of the abstract algebra provides a map to "fill in"), because the "structure" makes the 'code' just sort of automatic and natural. At least, in this "universal algebra" wherever and whenever it exists.
Last edited by
crowlogic on January 11th, 2007, 11:00 pm, edited 1 time in total.