Editing Sub-APS
From Apstheory
Warning: You are not logged in.
Your IP address will be recorded in this page's edit history.
The edit can be undone.
Please check the comparison below to verify that this is what you want to do, and then save the changes below to finish undoing the edit.
Current revision | Your text | ||
Line 1: | Line 1: | ||
{{basicapsdef}} | {{basicapsdef}} | ||
- | + | Let <math>(G,\\Phi)</math> be an [[APS]] over a monoidal concrete category. Then a sub-APS of <math>(G,\\Phi)</math> associates to each <math>n</math> a subobject <math>H_n</math> of <math>G_n</math> such that the restriction of <math>\\Phi_{m,n}</math> to <math>H_m</math> × <math>H_n</math> takes it inside <math>H_{m+n}</math>. | |
+ | |||
+ | Thus we can view <math>(H,\\Phi)</math> as an APS in its own right (note that since the associativity condition is satisfied for the block concatenation on <math>G</math>, it is also satisfied for the block concatenation on <math>H</math>. | ||
+ | |||
+ | Since the <math>\\Phi</math> is understood for the sub-APS, we may omit it and simply say that <math>H</math> is a sub-APS of <math>G</math>. | ||
+ | |||
+ | ==Other notions== | ||
+ | |||
+ | ===Smallest sub-APS containing a given collection of subobjects=== | ||
+ | |||
+ | If we are given a subobject of <math>G_n</math> for every <math>n</math>, we can talk of the sub-APS generated by these subobjects. This associates to every <math>n</math>, the set of elements in <math>G_n</math> that arise via a block concatenation of elements upto <math>n</math>. | ||
+ | |||
+ | ===Intersection of sub-APSes=== | ||
+ | |||
+ | Given two sub-APSes <math>H</math> and <math>K</math> of an APS <math>G</math>, the intersection of <math>H</math> and <math>K</math> associates to each <math>n</math> the subset <math>L_n = H_n</math> ∩ <math>K_n</math> of <math>G_n</math>. If the intersection of two subobjects is a subobject (which, for instance, is the case in algebraic structures) then <math>L</math> is also a sub-APS of <math>G</math>. | ||
+ | |||
+ | Similarly, if an arbitrary intersection of subobjects is a subobject, then an arbitrary intersection of sub-APSes is a sub-APS. |