请输入您要查询的字词:

 

单词 PresentationsOfAlgebraicObjects
释义

presentations of algebraic objects


Given an algebraic categoryPlanetmathPlanetmathPlanetmathPlanetmath with enough free objects one can use the generaldescription of the free object to provide a precise description of all otherobjects in the categoryMathworldPlanetmath. The process is called a presentationMathworldPlanetmathPlanetmathPlanetmath.

Suppose A is an object generated by a subset X. Then if there existsa free object on X, F, then there exists a unique morphismMathworldPlanetmathf:FA which matches the embeddingPlanetmathPlanetmath of X in F to the embeddingof X in A.

As we are in an algebraic category we have a fundamental homomorphism theoremMathworldPlanetmath (we take this as our definition of an algebraic category in this context).This means there is a notion of kernel K of f and quotientPlanetmathPlanetmath F/K such that F/K is isomorphicPlanetmathPlanetmathPlanetmath to A.

Now F is generted by X so every element of F is expressed as an informal word over X. [By informal word we mean whatever process encodesgeneral elements as generated by X. For example, in groups and semigroupsPlanetmathPlanetmath these are actual formal words, but in algebrasMathworldPlanetmathPlanetmath these can be linear combinationsof words or polynomialsMathworldPlanetmathPlanetmath with indeterminants in X, etc.] Hence a set of generatorsPlanetmathPlanetmathPlanetmath for the kernel K will be expressed as words over X.

Definition 1.

A presentation of an object A is a pair of sets X|R whereX generates A and R is a set of informal words over X such thatthe free object F on X and the normal subobject K of F generated by Rhas the property F/KA.

Once again, normal refers to whatever property is required for subobject to allow quotients, so normal subgroupMathworldPlanetmath or ideals, etc.

Existence of presentations is dependent on the category being considered.The common categories: groups, rings, and modules all have presentations.

It is generally not possible to insist that a presentation is unique. First we have the variableMathworldPlanetmath choice of generators. Secondly, we may choose various relationsMathworldPlanetmathPlanetmath. Indeed, it is possible that the relations will generate different subobjects K such that F/KA. In practice, presentations are a highly compactified description of an object which can hide many essential features of the object. Indeed, in the extreem case are the theoremsMathworldPlanetmath of Boone which show that in the category of groups it is impossible to tell if an arbitrary presentation is a presentation of the trivial group.For a detailed account of these theorems refer to

Joseph Rotman, An Introduction to the Theory of Groups, Springer, New York, Fourth edition, 1995.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 6:04:41