资源描述:
《Abstract algebra(Wilkins)》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、CourseMA2C01,MichaelmasTerm2009Section3:AbstractAlgebraDavidR.WilkinsCopyrightcDavidR.Wilkins2000{2009Contents3AbstractAlgebra323.1BinaryOperationsonSets....................323.2CommutativeBinaryOperations................323.3AssociativeBinaryOperations..................323.4Semigroups.....
2、.......................333.5TheGeneralAssociativeLaw..................343.6Identityelements.........................353.7Monoids..............................353.8Inverses..............................363.9Groups...............................393.10HomomorphismsandIsomorphisms..............
3、.41i3AbstractAlgebra3.1BinaryOperationsonSetsDenitionAbinaryoperationonasetAisanoperationwhich,whenappliedtoanyelementsxandyofthesetA,yieldsanelementxyofA.ExampleThearithmeticoperationsofaddition,subtractionandmultipli-cationarebinaryoperationsonthesetRofrealnumberswhich,whenap-pliedtore
4、alnumbersxandy,yieldtherealnumbersx+y,x yandxyrespectively.Howeverdivisionisnotabinaryoperationonthesetofrealnumbers,sincethequotientx=yisnotdenedwheny=0.(Underabinaryoperationonasetmustdetermineanelementxyofthesetforeverypairofelementsxandyofthatset.)3.2CommutativeBinaryOperationsDenit
5、ionAbinaryoperationonasetAissaidtobecommutativeifxy=yxforallelementsxandyofA.ExampleTheoperationsofadditionandmultiplicationonthesetRofrealnumbersarecommutative,sincex+y=y+xandxy=yxforallrealnumbersxandy.Howevertheoperationofsubtractionisnotcommutative,sincex y6=y xingeneral.(Indeedthe
6、identityx y=y xholdsonlywhenx=y.)3.3AssociativeBinaryOperationsLetbeabinaryoperationonasetA.Givenanythreeelementsx,yandzofasetA,thebinaryoperation,appliedtotheelementsxyandzofA,yieldsanelement(xy)zofA,and,appliedtotheelementsxandyzofA,yieldsanelementx(yz)ofA.DenitionAbinaryoperation
7、onasetAissaidtobeassociativeif(xy)z=x(yz)forallelementsx,yandzofA.ExampleTheoperationsofadditionandmultiplicationonthesetRofrealnumbersareassociative,since(x+y)+z=x+(y+z)and(xy)z=x(yz)forallrealnumbersx,yandz.Howevertheoperationofsubtractionisno