翻訳と辞書 Words near each other ・ Idealism ・ Idealism (album) ・ Idealism (Christian eschatology) ・ Idealism (disambiguation) ・ Idealism in international relations ・ Idealist (film) ・ Idealist temperament ・ Idealistic pluralism ・ Idealistic Studies ・ Idealists in Distress From Bristol ・ Ideality (phrenology) ・ Idealization ・ Idealization and devaluation ・ Idealized cognitive model ・ Idealized greenhouse model ・ Idealizer ・ Ideally hard superconductor ・ Ideally polarizable electrode ・ Idealno loša ・ Idealno tvoja ・ Idealo ・ Ideals (sculpture) ・ Ideamen ・ Ideami ・ IdeaPad ・ IdeaPad S Series ・ IdeaPad U Series ・ IdeaPad Y Series ・ IdeaPad Z Series ・ Ideapark Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Idealizer ： ウィキペディア英語版 Idealizer In abstract algebra, the idealizer of a subsemigroup ''T'' of a semigroup ''S'' is the largest subsemigroup of ''S'' in which ''T'' is an ideal. Such an idealizer is given by :$\backslash mathbb\_S(T)=\backslash$ In ring theory, if ''A'' is an additive subgroup of a ring ''R'', then $\backslash mathbb\_R(A)$ (defined in the multiplicative semigroup of ''R'') is the largest subring of ''R'' in which ''A'' is a two-sided ideal. In Lie algebra, if ''L'' is a Lie ring (or Lie algebra) with Lie product (), and ''S'' is an additive subgroup of ''L'', then the set :$\backslash$ is classically called the normalizer of ''S'', however it is apparent that this set is actually the Lie ring equivalent of the idealizer. It is not necessary to mention that ()⊆''S'', because anticommutativity of the Lie product causes () = −()∈''S''. The Lie "normalizer" of ''S'' is the largest subring of ''S'' in which ''S'' is a Lie ideal. ==Comments== Often, when right or left ideals are the additive subgroups of ''R'' of interest, the idealizer is defined more simply by taking advantage of the fact that multiplication by ring elements is already absorbed on one side. Explicitly, :$\backslash mathbb\_R(T)=\backslash$ if ''T'' is a right ideal, or :$\backslash mathbb\_R(L)=\backslash$ if ''L'' is a left ideal. In commutative algebra, the idealizer is related to a more general construction. Given a commutative ring ''R'', and given two subsets ''A'' and ''B'' of an ''R'' module ''M'', the conductor or transporter is given by :$(A:B):=\backslash$. In terms of this conductor notation, an additive subgroup ''B'' of ''R'' has idealizer :$\backslash mathbb\_R(B)=(B:B)$. When ''A'' and ''B'' are ideals of ''R'', the conductor is part of the structure of the residuated lattice of ideals of ''R''. ;Examples The multiplier algebra ''M''(''A'') of a ''C'' *-algebra ''A'' is isomorphic to the idealizer of ''π''(''A'') where ''π'' is any faithful nondegenerate representation of ''A'' on a Hilbert space ''H''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Idealizer」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.