Talk:Kernel (algebra)

This is the talk page for discussing improvements to the Kernel (algebra) article.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Untitled

Considering they are directly related, no reason not to have them merged.

Null space and kernel are taught as different concepts in different contexts. --Bkwillwm 21:45, 5 December 2005 (UTC)[reply]

I would probably support a merger of all three of kernel (algebra), kernel (mathematics, and null space. -lethe ^{talk +} 09:47, 14 March 2006 (UTC)[reply]

I suggest the merge discussion be centralized in kernel (mathematics). — Arthur Rubin | (talk) 02:57, 17 March 2006 (UTC)[reply]

Convolution

Could someone explain how this is or is not the same as the kernel of a convolution? It seems to be different in that a convolution is linear yet in general only the zero vector maps to zero (I think). —Ben FrantzDale 15:47, 20 December 2006 (UTC)[reply]

picture

can the editor of this article give me suggestions on how to make this picture consistent with the terminology of this article, thanks--Cronholm144 09:27, 31 May 2007 (UTC)[reply]

What is a Mal'cev algebra?

The article speaks of groups as being Mal'cev algebras, but the linked article Malcev algebra describes something that groups definitely are not, so what is a Mal'cev algebra in the context of this article here? 95.88.237.20 (talk) 19:13, 13 February 2013 (UTC)[reply]

Surely additive groups are Mal'cev algebras when equipped withe the zero product. But Mal'cev algebra is too much a stub to decide what the editor did mean. I have tagged Mal'cev algebra as stub? D.Lazard (talk) 21:22, 13 February 2013 (UTC)[reply]

Aren't Mal'cev algebras supposed to be non-associative algebras, which in turn are supposed to be modules? If a module needs to be an abelian group, how can a non-abelian group be a Mal'cev algebra? 95.88.237.20 (talk) 12:26, 14 February 2013 (UTC)[reply]

I have changed "group" into "commutative group". I hope that ths solves the problem. D.Lazard (talk) 15:23, 14 February 2013 (UTC)[reply]

I think this was intended to refer to Mal'cev algebras in the sense of general algebra, which are indeed structures for which knowing the kernel in the simpler sense suffices to construct the whole kernel: specifically, all reflexive relations closed under the operations are automatically equivalence relations. But I don't know what the original editor meant about a neutral element. — Preceding unsigned comment added by 2605:E000:844F:6600:35E1:AACB:A137:99D5 (talk) 01:36, 8 December 2016 (UTC)[reply]

Apparently, Mal'cev algebra refers to a generalization of groups that has neutral element

e

, and some kind of subtraction such that, if

f

is a homomorphism, then

f (a) = f (b)

is equivalent with

f (a - b) = e

. I do not know which axioms this operation should have for having this property. I have tagged the section as "confusing", as it cannot be understood without a correct definition. D.Lazard (talk) 09:09, 8 December 2016 (UTC)[reply]

Kernel (Ring homomorphisms)

This section incorrectly states "It turns out that, although ker f is generally not a subring of R," but this is false (http://www.proofwiki.org/wiki/Kernel_is_Subring). I'll review the symbology carefully and update if it turns out that the article is in fact erroneous. 129.21.72.58 (talk) 01:10, 28 April 2013 (UTC)[reply]

You are wrong, the article correctly asserts that the kernel is a non-unital ring but is not a unital ring, unless if the target of the homomorphism is the zero ring. D.Lazard (talk) 08:37, 28 April 2013 (UTC)[reply]

More accessible initial explanation

Knucklehead here. I was reading about kernel methods and I wondered what a kernel was mathematically. So I came here, and the intro is incomprehensible to me. I'm wondering if those fond of this page might consider using plainer, less technical language to describe what it is initially. Examples of clearer explanations from the web are https://mathworld.wolfram.com/Kernel.html and https://www.quora.com/What-is-a-kernel-in-mathematics-Is-it-like-a-function . I disagree with the respondent on Quora, who said "To understand what "kernel" means in math, you need some background. It makes no sense to try and learn these things from Wikipedia. This is like trying to learn a language using only a dictionary." Nonsense: it makes sense to try to learn what the concept is on Wikipedia, and Wikipedia has far more utility than a dictionary. Ironically, he then proceeds to explain it fairly well like someone might do on Wikipedia, and better than this page currently does for me. Crucially, more accessible explanations will not use such technical terms as "homomorphism" or "injective". I comment here in hopes that more knuckleheads can appreciate mathematical concepts that are actually pretty accessible. 174.52.240.90 (talk) 23:00, 15 April 2020 (UTC)[reply]

I have rewritten the lead for making it less technical (and also less vague). In particular, I have added a definition for the unavoidable technical terms. D.Lazard (talk) 08:45, 16 April 2020 (UTC)[reply]