
	Where results make sense

Topic: Kernel universal algebra

Related Topics

abstract algebra

algebraic geometry

linear algebra

algebraic topology

Boolean algebra

Lie algebra

algebraic varieties

basis linear algebra

ring algebra

associative algebra

algebraic notation

homological algebra

In the News (Wed 30 Dec 09)

Northern Trust

Marvin Harrison

Peter Chernin

Gary Locke

Match Play

Penelope Cruz

Mickey Rourke

AR Rahman

Danny Boyle

Hugh Jackman

	Kernel (algebra) - Wikipedia, the free encyclopedia
		In the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective.
		The first isomorphism theorem in general universal algebra states that this quotient algebra is naturally isomorphic to the image of f (which is a subalgebra of B).
		Every Mal'cev algebra has a special neutral element (the zero vector in the case of vector spaces, the identity element in the case of groups, and the zero element in the case of rings or modules).
	en.wikipedia.org /wiki/Kernel_(algebra) (1732 words)

	Kernel (category theory) - Wikipedia, the free encyclopedia
		Kernels are familiar in many categories from abstract algebra, such as the category of groups or the category of (left) modules over a fixed ring (including vector spaces over a fixed field).
		That is, the kernel of a morphism is its cokernel in the opposite category, and vice versa.
		Universal algebra defines a notion of kernel for homomorphisms between two algebraic structures of the same kind.
	en.wikipedia.org /wiki/Kernel_(category_theory) (842 words)

	PlanetMath: Lie algebra (Site not responding. Last check: 2007-10-13)
		Lie algebras are so-named in honour of Sophus Lie, a Norwegian mathematician who pioneered the study of these mathematical objects.
		Thus the task of classifying group actions in the plane became the task of classifying all finite-dimensional Lie algebras of planar vector field; a project that Lie brought to a successful conclusion.
		This is version 13 of Lie algebra, born on 2001-12-21, modified 2005-08-21.
	planetmath.org /encyclopedia/Kernel3.html (428 words)

	PREFACE
		The computer algebra system Magma is designed to provide a software environment for computing with the structures which arise in areas such as algebra, number theory, algebraic geometry and (algebraic) combinatorics.
		Algebraic Design Philosophy: The design principles underpinning both the user language and system architecture are based on ideas from universal algebra and category theory.
		Algebraic structures are first classified by variety: a variety being a class of structures having the same set of defining operators and satisfying a common set of axioms.
	www.math.lsu.edu /magma/preface.htm (713 words)

	GNU
		In the GNU Manifesto, Stallman had mentioned that "an initial kernel exists but many more features are needed to emulate Unix." He was referring to TRIX, a remote procedure call kernel developed at MIT, whose authors had decided to distribute for free, and was compatible with UNIX version 7.
		By 1988, the MACH message-passing kernel being developed at CMU was being considered instead, although it was intially delayed while its developers removed code owned by AT&T.
		Initially, the kernel was to be called Alix, but developer Michael Bushnell later preferred the name Hurd, so the Alix name was moved to a subsystem and eventually dropped completely.
	www.ebroadcast.com.au /lookup/encyclopedia/gn/GNU_project.html (834 words)

	[No title]
		Hopf algebra An abstract algebraic object, generalizing a group or a Lie algebra, with enough structure to have a representation theory.
		Given a vector space of functions of a parameter or functions on a manifold, an operator may have a kernel or matrix whose rows and columns are indexed by the parameter or by points on the manifold.
		Lie algebra An algebraic structure on a vector space which describes multiplication of elements of a Lie group which are very close to the identity (infinitesimal transformations).
	www.ornl.gov /sci/ortep/topology/defs.txt (5717 words)

	Search Results for algebra
		The conceptual flavour of homological algebra derives less specifically from topology than from the general "naturalistic" trend of mathematics as a whole to supplement the study of the anatomy of any mathematical entity with an analysis of its behaviour under the maps belonging to the larger mathematical system with which it is associated.
		In particular, homological algebra is concerned not so much with the intrinsic structure of modules but primarily with the pattern of compositions of homomorphisms between modules and their interplay with the various constructions by which new modules may be obtained from given ones.
		Her 1967 paper was entitled Finiteness of semigroups of operators in universal algebra and in it she studied operators on classes of algebraic universal algebras.
	www-groups.dcs.st-and.ac.uk /~history/Search/historysearch.cgi?SUGGESTION=algebra&CONTEXT=1 (16306 words)

	Lon Mitchell: Mathematics
		The Cuntz Algebra $\mathcal{O}_2$ is the universal $C^*$-algebra generated by two isometries with orthogonal ranges whose range projections sum to the identity operator.
		If $a - \lambda$ is in the left kernel of $f$ for some element $a \in A$, then \[ \pi(a)\xi = \lambda \xi \] in the GNS representation $\left(\pi, H, \xi\right)$ corresponding to $f$.
		In a series of papers with Dr. Sivaram Narayan of Central Michigan University, I study the minimum positive semidefinite rank (${\rm msr}$) of a graph $G$, defined to be the minimum rank among the positive semidefinite matrices with graph $G$.
	www.math.ku.edu /~mitchell/math.shtml (1101 words)

	The Magma Philosophy
		Magma is a Computer Algebra system designed to solve problems in algebra, number theory, geometry and combinatorics that may involve sophisticated mathematics and which are computationally hard.
		The kernel of Magma contains implementations of many of the important concrete classes of structure in five fundamental branches of algebra, namely group theory, ring theory, field theory, module theory and the theory of algebras.
		Universality: In-depth coverage of all the major branches of algebra, number theory, algebraic geometry and finite incidence geometry.
	magma.maths.usyd.edu.au /magma/Features/node2.html (357 words)

	ON NONCOMMUTATIVE GEOMETRY, QUANTUM & SUPER THINGIES.
		Robert Geroch suggested the idea of (nonlinear) Einstein Algebras whose elements are solutions of the Einstein equations [Geroch 1972] There, the combining of solutions to produce other solutions would have to be nonlinear operations unlike the usual addition and multiplication of linear operators; therein lieth exactly the difficulty in developing this idea.
		The Hilbert space is not actually the point or quantum theory; rather, the structure of the algebra of quantum mechanical observables derived from the appropriate Heisenberg algebra is the point.
		Algebraic structures that related to Lie algebraic structures are the Superlie algebraic structures classified by Marc Kac, and these are built on the notion of supergeometry that combines a commutative Euclidean geometry with an anticommutative Grassmannian geometry into a space with two sectors of these different types.
	graham.main.nc.us /~bhammel/MATH/ncgeom.html (5046 words)

	SEMPL, Semantic Patterns Language
		The kernel string can be transformed by spreading the element in the first position to the second one.
		The USC algorithm of semantic conversions is based on the axioms of the USC algebra and is formed as an oriented graph.
		The arcs are represented as the USC algebra axioms.
	sempl.net /IM-Article.php (1863 words)

	EXPREAD
		or an algebraic expression with exactly one free variable, that is a variable preceded by the tilde symbol: the expression is evaluated for each element of
		where is the expression to be multiplied, is the control variable (a kernel), and and uplim are the optional lower and upper limits.
		must be a legal variable name or a prefix operator (see kernel).
	www.reduce-algebra.com /docs/help/r38_0150.html (8044 words)

	Springer Online Reference Works
		be an arbitrary category of universal algebras of a given type and all homomorphisms between them that is closed with respect to finite products, and let
		is a kernel pair of the natural homomorphism of
		Kernel of a morphism in a category), the kernel pair of a morphism
	eom.springer.de /k/k055330.htm (132 words)

	CJM - Some norms on universal enveloping algebras
		The universal enveloping algebra, $U(\frak g)$, of a Lie algebra $\frak g$ supports some norms and seminorms that have arisen naturally in the context of heat kernel analysis on Lie groups.
		It is shown that the norms corresponding to heat kernels on the associated Lie groups decompose as product norms under the natural isomorphism $U(\frak g_1 \oplus \frak g_2) \cong U(\frak g_1) \otimes U(\frak g_2)$.
		The seminorms corresponding to Green's functions are examined at a purely Lie algebra level for $\rmsl(2,\Bbb C)$.
	journals.cms.math.ca /cgi-bin/vault/view/gross0699?lang=fr (142 words)

	PlanetMath: kernel
		has a constant symbol 0, then the kernel of
		See Also: kernel, kernel, kernel of a linear transformation
		This is version 8 of kernel, born on 2003-07-20, modified 2004-02-28.
	planetmath.org /encyclopedia/Kernel5.html (83 words)

	Algebraic Structures on Knotted Objects and Universal Finite Type Invariants
		J] and leads to a crossing-centric constructions of a universal finite type invariant (as opposed to the now-standard associativity-centric construction).
		LM] introduce an algebraic context within which the scheme of Section 1.2 is used to construct a universal finite type invariants of links.
		Within the context of planar algebras, knot theory has a very nice (and familiar) decription -- it is the theory generated by crossings modulo the standard Reidemeister moves.
	www.math.toronto.edu /drorbn/papers/AlgebraicStructures/LongAlgebraicStructures.html (2740 words)

	MuPAD Pro: completo sistema di algebra, distribuito da NET Engineering
		MuPAD Pro 3 is a full-fledged computer algebra system with a rich set of features including extensive mathematics capabilities for symbolic and numeric computation and a Virtual Camera (VCam) toolkit for visualization, animation, and interactive manipulation of 2D and 3D plots and other mathematical objects.
		Developed at the University of Paderborn in Germany, MuPAD Pro is intended for an extremely broad range of users.
		MuPAD is the only computer algebra system that has a source code debugger for use with user-defined procedures and domains written in the MuPAD language.
	www.net-eng.it /prodotti/MuPAD/mupad.html (1222 words)

	METU MATHEMATICS DEPARTMENT
		MATH 262 Linear Algebra II (4-0)4 Characteristic and minimal polynomials of an operator, eigenvalues, diagonalizability, canonical forms, Smith normal form, Jordan and rational forms of matrices.
		MATH 263 Honors' Linear Algebra I (4-0)4 Fields, linear equations with coefficients from a field, matrix algebra, vector spaces, linear transformations.
		Universal Algebra: algebraic lattices and subinverse, congurence and quotients algebras, free algebras.
	www.math.metu.edu.tr /courses/undergrad.shtml (3246 words)

	mahdavi (Site not responding. Last check: 2007-10-13)
		My teaching style is a result of many years of pedagogical experience (22) at Binghamton University, Cornell University, Clarkson University, and SUNY Potsdam.
		I also was part of a mathematics education delegation to China (Sept. 22-Oct.7, 2000), where we visited many faculty members and classrooms in many universities, high schools, and elementary schools.
		This includes Representation Theory, Lie Algebra, Category Theory, Number Theory, P-adic Number Theory, Coding Theory, Automatic Group Theory, Differential Geometry, Universal Algebra, Relativity Theory, Operator Theory, Word Problems for Groups, Hyperbolic Geometry, Lambda Calculus, Symplectic Topology and Proof Theory.
	www2.potsdam.edu /mahdavk/Teaching.htm (1086 words)

	A CONCEPT OF QUANTUM GRAVITY
		As Lie group su(2) happens to be the universal covering group of the doubly connected Lie group so(3), every so(n) for n > 2 is doubly connected and has a similar spin(n) group as its universal covering group.
		Lorentz structure, or rather its algebraic abstraction to its Lie algebra of generators turns out to be an almost spanning structure of the very simplest of general quantum structures.
		This has similarity in structure to the propagation Kernel in Feynman's formulation of QM by path integrals, [Feynman 1965] suggesting the truth of Feynman's prediction that the path integral formulation or propagation kernel formulation is conceptually more general than any standard formulation of quantum theory.
	graham.main.nc.us /~bhammel/FCCR/qg.html (9795 words)

	Prolog interpreter in Java: Jinni - User Guide
		Kernel Prolog Solvers (first class LD-resolution interpreters), together with Sources and Sinks provide stateful objects needed to represent the state of the Solvers as well as for interoperation with the embedding Object Oriented environment.
		The core of Kernel Prolog is in the Java classes inside the subdirectory tarau/jinni.
		Kernel Prolog can be seen as a collection of Horn Clause Interpreters running LD-resolution on a default clause database and calling built-in operations.
	www.binnetcorp.com /download/kprolog/KernelPrologUserGuide.html (4718 words)

	Mathematics Archives - Other Software Sites
		Algebra One on One is an educational game for those wanting a fun way to learn and practice Algebra.
		MAS views mathematics in the sense of universal algebra and model theory and is in some parts influenced by category theory.
		Though its scope for symbolic and algebraic computation is very limited at this moment, its performance of doing several major algebraic operations in the polynomial ring is considerably high to cope with practical problems.
	archives.math.utk.edu /cgi-bin/all_software.html (15185 words)

	kernel - OneLook Dictionary Search
		KERNEL : 1911 edition of the Encyclopedia Britannica [home, info]
		Phrases that include kernel: apricot kernel oil, bergman kernel, palm kernel, gaussian kernel, kernel blight, more...
		Words similar to kernel: center, core, essence, gist, heart, inwardness, kerneling, marrow, meat, nitty-gritty, nub, pith, substance, sum, grain, nutmeat, seed, more...
	www.onelook.com /cgi-bin/cgiwrap/bware/dofind.cgi?word=kernel (387 words)

	AMCA: Natural enveloping algebras by Alexander A. Baranov
		The ground field F is an algebraically closed field of zero characteristic.
		Therefore there is a bijective correspondence between the set of simple Lie algebras of type A and simple associative algebras of finite dimension greater than 1.
		A simple locally finite Lie algebra is called strictly diagonal, if it can be represented as a direct limit of strictly diagonal embeddings of perfect Lie algebras of type A.
	at.yorku.ca /c/a/b/w/21.htm (452 words)

	developerWorks : Linux : Downloads and products
		IBM DB2 Universal Database Express Edition V8.1 is the lowest priced full function relational database, featuring self-tuning and self-configuring autonomic capabilities for ease of manageability on Linux or Windows platform choices.
		DB2 Universal Developer's Edition offers a low cost package for a single application developer to design, build, and prototype applications for deployment on any of the DB2 client or server platforms.
		ESSL includes linear algebra routines, some of which are from, or make use of, the Basic Linear Algebra Subroutine package, BLAS (see Appendix A of the IBM ESSL documentation).
	www.ibm.com /developerworks/views/linux/downloads.jsp (4703 words)

	Programmers Web Site Development Software Application, Visual Studio .Net - Programmers.com
		It supports the generation of Universal Binaries to ease the transition between PowerPC* and Intel architecture by combining native code for both architectures in a single compiled package.
		Intel Math Kernel Library (Intel MKL) for Windows* is a set of highly optimized, thread-safe, mathematical functions for engineering, scientific and financial applications requiring high performance on Intel platforms.
		Intel Math Kernel Library (Intel MKL) for Linux* is a set of highly optimized, thread-safe, mathematical functions for engineering, scientific and financial applications requiring high performance on Intel platforms.
	programmersparadise.com /intel/ddj (2159 words)

	Get immediate access to cutting- (Site not responding. Last check: 2007-10-13)
		Once the remote kernels are launched, they are ready to receive commands from the master machine.
		Also, if a series of commands needs to be carried out, rather than wait for one kernel to finish all of them, a set of separate kernels can handle these tasks faster by having each kernel handle one of the commands.
		However, the messaging interface is optimized for communications between Mathematica kernels and other programs that communicate via the MathLink API so as to avoid a requirement for large amounts of extra information with each message and the need for complex encoding or decoding of message headers.
	www.polyhedron.co.uk /math/gridmathematica.htm (2521 words)

	Amazon.com: Clifford Algebras and Dirac Operators in Harmonic Analysis (Cambridge Studies in Advanced Mathematics): ... (Site not responding. Last check: 2007-10-13)
		The material itself is an attractive blend of algebra, analysis, and geometry.
		The aim of this book is to unite the seemingly disparate topics of Clifford algebras, analysis on manifolds, and harmonic analysis.
		Its contents are: Clifford algebras, Dirac operators and Clifford analyticity, representations of Spin(V,Q), constant coefficient operators of Dirac type, Dirac operators and manifolds.
	www.amazon.com /Clifford-Algebras-Operators-Cambridge-Mathematics/dp/0521346541 (1060 words)

	Prolog interpreter in Java: Jinni - User Guide
		Kernel Prolog supports a simplified CUT-less and operatorless subset of ISO Prolog.
		Kernel Prolog can read files or URLs and write files in command line mode.
		Kernel Prolog's parser and tokenizer are very small and based on Java's own built-in parsing/tokenizing libraries (StreamTokenizer).
	www.binnetcorp.com /kprolog/KernelPrologUserGuide.html (4718 words)

Try your search on: Qwika (all wikis)