Talk:Universal algebra

message: (I have asked these same questions over at Talk:Abstract algebra#What questions should this page answer?). Do the meanings of Abstract algebra and Universal algebra truly differ from each other? Isn't Universal algebra in Alfred North Whitehead's A Treatise On Universal Algebra simply another way of saying Abstract algebra?  Alternatively, are there still unresolved problems in the reconciling of Abstract algebra and Universal algebra as there still are in the reconciling of Category theory and Set Theory ? A quote from Pierre Cartier, "Bourbaki got away with talking about categories without really talking about them.  If they were to redo the treatise [Bourbaki's not Whitehead's], they would have to start with category theory.  But there are still unresolved problems about reconciling category theory and set theory." --Firefly322 (talk) 09:55, 11 March 2008 (UTC)
replies: text: I would say that Abstract Algebra concerns itself with specific instances of Universal Algebra (studying groups, studying rings, studying modules, studying fields, etc), whereas Universal Algebra concerns itself with studies that cut across all such subjects (varieties, quasivarieties, congruences, etc). Perhaps an analogy: Abstract Algebra is the study of specific languages, whereas Universal Algebra is the study of the linguistics common to all those languages. They are certainly used differently; while a group theorist might say he is "doing" abstract algebra, he would probably never say he is "doing" universal algebra. Magidin (talk) 13:50, 11 March 2008 (UTC)

text: I agree, I came onto the Universal Algebra Wikipedia page hoping to find something, and I found something else (which very much resembles the description of Abstract Algebra in my books). I propose keeping the Universal Algebra moniker for the specific algebraic structure, and merging all the current content into the Abstract Algebra article. Aqualung (talk) 21:52, 8 November 2012 (UTC)
replies: text: Sorry, but what do you mean "the specific algebraic structure"? The point is that the term "Universal algebra" refers to the study of algebraic structures, not the study of a specific algebraic structure. What "specific algebraic structure" are you refering to? "Abstract algebra" is a generic term for the study of specific algebraic structures (ring theory, module theory, group theory, lie theory, etc). Universal algebra is the study of all the things that all these specific instances have in common. To repeat the analogy I already made: abstract algebra is to universal algebra like a Department of Language Instruction is to a Department of Linguistics. Linguistics is not a part of teaching French, English, Latin, etc; and the study of English, French, Latin, etc. is not linguistics. Magidin (talk) 20:33, 9 November 2012 (UTC)
thread_title: Universal algebra vs. Abstract algebra

message: Hi Arthur Rubin, please explain what you think was incorrect about the definition of "derived operation".  I will be happy to fix it.  If you want a citation, add p281 of Bergman's book  128.32.45.247 (talk) 00:39, 11 February 2011 (UTC)
replies: text: It's not in any of my texts on universal algebra.  If you want to include it as an alternate definition of equations and equality, go ahead, but leave the existing text alone.  Per WP:BRD, please do not continue to add the material without consensus.  — Arthur Rubin  (talk) 01:52, 11 February 2011 (UTC)

text: Part of my Ph.D. thesis was in universal algebra.  I supposed it's possible the "standard" definitions have changed in the intervening 32 years, but it doesn't seem likely.  — Arthur Rubin  (talk) 16:26, 11 February 2011 (UTC)
thread_title: Derived Operations

message: This term redirects to this page but it is not discussed in the article. 70.210.14.17 (talk) 15:19, 16 January 2014 (UTC)
replies: text: In the section Basic idea, the term equational laws is in bold. However, the inclusion of the algebra of logic in UA is discussed in the following section: Varieties. If you have a source on "equational reasoning", please bring it here to support improvements.Rgdboer (talk) 02:27, 17 January 2014 (UTC)
thread_title: Equational Reasoning

message: Substituted at 02:40, 5 May 2016 (UTC)
thread_title: Assessment comment

message: Hello fellow Wikipedians,
I have just modified  on Universal algebra. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive http://web.archive.org/web/20080821161512/http://bigcheese.math.sc.edu/~mcnulty/alglatvar/pigozzinotes.pdf to http://bigcheese.math.sc.edu/~mcnulty/alglatvar/pigozzinotes.pdf
When you have finished reviewing my changes, please set the checked parameter below to true or failed to let others know (documentation at ).
Cheers.—InternetArchiveBot (Report bug) 19:11, 21 July 2016 (UTC)
replies: text: That didn't work, but I think I've fixed it. DavidHobby (talk) 02:45, 22 July 2016 (UTC)
thread_title:  External links modified 

message: The subsection "Other Examples" lists some examples of universal algebras and then says "Examples of relational algebras include semilattices, lattices or Boolean algebras."  This seems problematic because (1) the term "relational algebra" is not defined in this article and (2) It leave unclear whether lattices, for example, are universal algebras of a special kind called "relational algebras" or are not universal algebras but instead something else called "relational algebras"  NathanReading (talk) 16:54, 9 November 2017 (UTC)
thread_title:  Article unclear on the question: Are lattices universal algebras? 

message: ...An n-ary operation on A is a function that takes n elements of A and returns a single element of A. then ¿All universal algebras must be closed on themselves? then integers are not universal under division.
Also a root is not a function as it takes one or more outputs from a two inputs.--167.56.134.58 (talk) 21:54, 8 July 2018 (UTC)
replies: text: That is correct; by definition an operation on a set is closed. The integers with division are not an algebra, because division is a partial operation, not an operation. In fact, fields are not a universal algebra, because the multiplicative inverse is not defined for all elements. The multivalued root function is not an operation, it is a multi-valued function. (There are contexts where one can talk about a unique root; e.g., a torsionfree $n$-divisible group has a well-defined $n$th root operation). P.S. What is an "ellegance"? Magidin (talk) 22:28, 8 July 2018 (UTC)
thread_title: Possibly false ellegance

message: "A collection of algebraic structures defined by identities is called a variety or equational class." However, there is given no precise definition of identity.
This bug is common for Universal_algebra and Variety_(universal_algebra) articles. --VictorPorton (talk) 07:54, 16 January 2020 (UTC)
replies: text: The immediately prior paragraph says "After the operations have been specified, the nature of the algebra is further defined by axioms, which in universal algebra often take the form of identities, or equational laws." and "identities" is hyperlinked to a page that contains a precise definition. Wikipedia frowns on repeated links, so close together, for the same term. The article for Varieties includes a direct link to the same definition in its very first sentence. Magidin (talk) 03:10, 18 January 2020 (UTC)
thread_title:  "Identities" are not defined