Talk:Kernel (algebra)

From Wikipedia, the free encyclopedia
Jump to: navigation, search
WikiProject Mathematics (Rated Start-class, Mid-importance)
WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
Start Class
Mid Importance
 Field: Algebra

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)
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)

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

Convolution[edit]

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)

picture[edit]

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)

Group homomorphism.svg

What is a Mal'cev algebra?[edit]

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)

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)
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)
I have changed "group" into "commutative group". I hope that ths solves the problem. D.Lazard (talk) 15:23, 14 February 2013 (UTC)
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)
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(ab) = 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)

Kernel (Ring homomorphisms)[edit]

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)

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)