Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am reading the follow pdf:

http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.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|improve this question
add comment

1 Answer

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|improve this answer
    
but can I use this definition: proofwiki.org/wiki/Definition:Restriction_of_Mapping#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!! –  Anatoly Ivanovich Maltsev Apr 21 '13 at 16:13
    
what do you think?? –  Anatoly Ivanovich Maltsev Apr 21 '13 at 23:56
add comment

Your Answer

 
discard

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.