User:Dfeuer/Definition:Normal Submagma of Group
Jump to navigation
Jump to search
Definition 1
Let $\left({G, \circ}\right)$ be a group.
Let $\left({N, \circ}\right)$ be a submagma of $\left({G, \circ}\right)$.
Let $N$ be a normal subset of $\left({G, \circ}\right)$.
Then $\left({N, \circ}\right)$ is a normal submagma of $G$.