Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am reading the follow pdf:

in particular at pg 28 of pdf, and I think that, let $(A;f)$ an algebric structure and $B \subseteq A $ and $B \neq \emptyset $,$ B$ is an algebraic substructure of $(A;f)$ if $(B;f_{|B})$ is an algebric structure and $f_{|B}$ is restriction function on $B$. It is correct?

Thanks in advance!!

share|cite|improve this question
up vote 1 down vote accepted

Yes, basically correct.

An algebraic structure may have more operations (e.g. ring).

The main thing for $B$ being subalgebra of $A$ is, that, each operation $f:A^n\to A$ stays within $B$ when applied to elements of $B$ (also said as "$B$ is closed under the operation $f$"), that is: $f|_{B^n}:B^n\to A$ factors through $B$: $f(b_1,..,b_n)\in B$ for all $b_i\in B$.

In notation the restriction to $B^n$ of an $n$-ary operation $f$ is frequently written briefly $f|_B$, i.e. technically $f|_B$ can denote the restriction of $f$ to $B^n\subseteq A^n$.

share|cite|improve this answer
but can I use this definition: In this case I have the restriction of $f$ to $(B \times B) \times B$, or in simbol $f{\restriction_{(B \times B) \times B}}$, with $f(B) \subseteq B$ or in other words $B$ has the property of closure under $f$... Is correct?? Thanks in advance!! – mle Apr 21 '13 at 16:13

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.