Talk:Main Page

Archive
I have moved everything up till now into Archive $17$.

Keep on truckin'. --prime mover (talk) 10:32, 12 February 2023 (UTC)

Looking for Algebra
I cannot find a variant of algebra defined in my source. Namely, it states that "An algebra is a vector space V in which an associative and distributive multiplication is defined". Do we have such a thing? Also, from Definition:Bilinear Mapping I can recover distribution, but not associativty ($(x \oplus y) \oplus z = x \oplus (y \oplus z)$). A disambiguation will be needed. --Julius (talk) 23:25, 13 February 2023 (UTC)


 * Have you seen this page? Definition:Algebra (Abstract Algebra) It looks like what you're talking about is an Definition:Associative Algebra. Is this right?


 * We use disambiguation if the same word is used for two completely different things. If what you're talking about *is* the same as an Definition:Associative Algebra, just that your work assumes associativity by default, then what you're looking to do is set up an "also known as" section, which we are now implementing as transclusions. --prime mover (talk) 06:23, 14 February 2023 (UTC)


 * Thanks. I will map the details accordingly without introducing a new definition. Although, technically, the given definition involves only one operation. Shouldn't we say "associative wrt $\oplus$" if there are multiple (not necessarily associative) operations involved?


 * Another addition that is really needed is a simple proof that a vector space with a bilinear product is an algebra over field. A lot of books only bother with vector spaces, but we don't, so we should establish this link and save ourselves from reinventing the wheel.--Julius (talk) 11:28, 14 February 2023 (UTC)