Collective name for algebraic structures I am doing a thesis about various algebraic structures, primarely about groups, rings and modules (with maybe hint of algebras). However always having type out ALL of them constantly gets very tedious very quickly and it's also annoying reading. So my question is, is there any collective name for all 3 (or 4)?
And with that also is there any collective name for normal subgroup, ideal and submodule? That is the structure that makes quotient structures possible.
If so are there any references for it?
 A: In algebraic geometry, there is a notion of a presheaf of abelian groups on a topological space $X$.  To every open set $U$ of $X$, there is associated an abelian group $\mathcal F(U)$ such that a bunch of properties hold.
But of course one is interested also in sheaves of rings, and sheaves of algebras over a ring.  Since so many of the results can be stated in generality, many authors just refer to a sheaf of "sets with structure."  So maybe those are the words you're looking for?
I am not sure "sets with structure" has a very precise definition though.  It is usually understood as "groups, topological spaces, rings, algebras etc."  Maybe one could consider a category $\mathscr C$ together with a functor $F$ into $\textrm{Set}$, and define a set with structure to be a pair $(A, F(A))$ where $A$ is an object of $\mathscr C$?  
A: Unfortunately there are no collective name for this three structures (stylistic you could refer to them as 'this structures' or 'this three structures') and neither for the similar ideas of normal subgroups, ideals and submodules.
What they have in common is that they are magmas or combination of magmas, certain axioms applied to sets, but that won't help you.
The similarities of the subgroups-ideals-submodules are somewhat illusive. Ideals and submodules are normal subgroups because of the commutativity, but the closeness of the action of the ring have no counterpart in the case of normal groups.
If you include all mathematical structures applied to sets (e.g. even topological spaces) you could call the structures 'constructs' or 'concrete categories', but then you might have linguistic confusion while communicating with category theorists.
