ideál

• IPA:

ideál

1. (matematika, absztrakt algebra) A gyűrűelméletben nevű ágában ideálnak nevezzük az ${\displaystyle R}$ gyűrű ${\displaystyle I}$ részhalmazát, ha ${\displaystyle I}$ részgyűrűje ${\displaystyle R}$-nek és minden ${\displaystyle r\in R,s\in I}$-re ${\displaystyle rs\in I}$ és ${\displaystyle sr\in I}$. Ezt a kapcsolatot ${\displaystyle R}$ és ${\displaystyle I}$ között az ${\displaystyle I\triangleleft R}$ szimbólummal jelöljük.

• angol: ideal (en)