Branches History Index

◀ ▲ ▶Branches / Algebra / Definition: Substructure

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".$

Table of Contents

  1. Proposition: Subset of Powers is a Submonoid

Mentioned in:

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