Definition: Substructure

A substructure $(S,\ast)$ is a proper subset of a given algebraic structure $(X,\ast)$ which is closed under the binary operation $"\ast".$

  1. Proposition: Subset of Powers is a Submonoid

Definitions: 1 2
Proofs: 3
Propositions: 4


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@Brenner


References

Bibliography

  1. Lang, Serge: "Algebra - Graduate Texts in Mathematics", Springer, 2002, 3rd Edition

Adapted from CC BY-SA 3.0 Sources:

  1. Brenner, Prof. Dr. rer. nat., Holger: Various courses at the University of Osnabrück