Incubator escapee wiki:WikiProject Mathematics/PlanetMath Exchange/08-XX General algebraic systems

Template:Planetmath instructions

08-00 General reference works (handbooks, dictionaries, bibliographies, etc.)Edit

08A02 Relational systems, laws of compositionEdit

08A05 Structure theoryEdit

08A30 Subalgebras, congruence relationsEdit

08A40 Operations, polynomials, primal algebrasEdit

-- Paul August 21:33, Feb 2, 2005 (UTC)

08A50 Word problemsEdit

08A55 Partial algebrasEdit

08A62 Finitary algebrasEdit

08A99 MiscellaneousEdit

-- Paul August 22:44, Feb 2, 2005 (UTC)
It certainly comes up in my work fairly often, so I think it should be covered. It could also be merged with the graded algebra article Jtwdog 17:36, 3 October 2005 (UTC)
Ok, I copied it and made some minor revisions. Jtwdog 16:51, 20 October 2005 (UTC)
Actually, it is covered. Jtwdog 17:36, 3 October 2005 (UTC)
This is just a trivial fact that has no real significance. It appears to be an easy exercise from an algebra text. --Dan131m (talk) 04:04, 4 October 2009 (UTC)
This is an article defining "division" in a group by <math>x : y = xy^{-1}</math>. There is also an elementary technical argument about groupoids. None of this has encyclopedic noteworthiness.--Dan131m (talk) 04:04, 4 October 2009 (UTC)
This is an "index of notations" like you might find in the front of a book. I don't know if there's a need for this or not. What do others think?--Dan131m (talk) 04:04, 4 October 2009 (UTC)
  • PM: biops, id=6385new! -- WP guess: biops -- Status:
This terminology doesn't appear to be in widespread use, as this page is the only mention of it that comes up on Google. (Could be a transliteration from some other language where the English word is different, though.) --Dan131m (talk) 04:04, 4 October 2009 (UTC)
This is just a proof that <math>(a^{-1})^{-1} = a</math> in a group. Adequately covered in group. --Dan131m (talk) 04:04, 4 October 2009 (UTC)
Dan131m (talk) 04:04, 4 October 2009 (UTC)
This article covers the categorical dual of a group, which is already defined and covered in Natural transformation. However it doesn't seem reasonable to force a beginning algebra student to learn category theory in order to learn what an opposite group is. For that matter, we need an opposite functor article as well, and several of the examples on functor could stand to have their own pages. Then it all needs linking together! I'll try to work on this a little. --Dan131m (talk) 04:04, 4 October 2009 (UTC)
Dan131m (talk) 04:04, 4 October 2009 (UTC)
Dan131m (talk) 04:04, 4 October 2009 (UTC)

08Axx Algebraic structuresEdit

08B20 Free algebrasEdit

08B25 Products, amalgamated products, and other kinds of limits and colimitsEdit

08B26 Subdirect products and subdirect irreducibilityEdit

08B30 Injectives, projectivesEdit

This article is extremely misclassified, but I suppose that's not very important to us. Jtwdog 17:38, 3 October 2005 (UTC)

08B99 MiscellaneousEdit

08Bxx VarietiesEdit

08C99 MiscellaneousEdit

-- Oddly named PM article, seems to really be about porportionality. Paul August 04:45, Feb 3, 2005 (UTC)

08Cxx Other classes of algebrasEdit