请输入您要查询的字词:

 

单词 DirectProductOfAlgebras
释义

direct product of algebras


In this entry, let O be a fixed operator set. All algebraic systems have the same type (they are all O-algebrasMathworldPlanetmathPlanetmath).

Let {AiiI} be a set of algebraic systems of the same type (O) indexed by I. Let us form the Cartesian productMathworldPlanetmath of the underlying sets and call it A:

A:=iIAi.

Recall that element a of A is a function from I to Ai such that for each iI, a(i)Ai.

For each ωO with arity n, let ωAi be the corresponding n-ary operator on Ai. Define ωA:AnA by

ωA(a1,,an)(i)=ωAi(a1(i),,an(i)) for all iI.

One readily checks that ωA is a well-defined n-ary operator on A. A equipped with all ωA on A is an O-algebra, and is called the direct productMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath of Ai. Each Ai is called a direct factor of A.

If each Ai=B, where B is an O-algebra, then we call A the direct power of B and we write A as BI (keep in mind the isomorphicPlanetmathPlanetmathPlanetmath identifications).

If A is the direct product of Ai, then for each iI we can associate a homomorphismMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath πi:AAi called a projection given by πi(a)=a(i). It is a homomorphism because πi(ωA(a1,,an))=ωA(a1,,an)(i)=ωAi(a1(i),,an(i))=ωAi(πi(a1),,πi(an)).

Remark. The direct product of a single algebraic system is the algebraic system itself. An empty direct product is defined to be a trivial algebraic system (one-element algebra).

Titledirect product of algebras
Canonical nameDirectProductOfAlgebras
Date of creation2013-03-22 16:44:35
Last modified on2013-03-22 16:44:35
OwnerCWoo (3771)
Last modified byCWoo (3771)
Numerical id9
AuthorCWoo (3771)
Entry typeDefinition
Classificationmsc 08A05
Classificationmsc 08A62
Definesdirect product
Definesdirect factor
Definesdirect power
Definesprojection
Definesempty direct product

随便看

 

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

 

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