Do properties of algebraic structures sometimes not carry over when their direct products are taken? I recently had a homework problem asking to prove that the direct product of rings (or rings with identity) are still rings (with identity), and it seemed really silly to go through all the steps in order to conclude what was extremely trivial. 
My question is, are there instances when this is not the case? Are there certain properties, or certain algebraic structures whereupon taking their direct products doesn't maintain the original algebraic structure/properties?
 A: The question requires care when interpreting what "taking direct products mean". One way to interpret this is: given two algebraic structures $A,B$ of the same kind, where $A,B$ are sets with extra structure, when will the same structure not be defined naturally on the product $A\times B$ as sets". This interpretation is open to some debate due to the use of the word 'naturally'. 
Another interpretation uses the categorical framework and leads to two possible precise interpretations. Once you fix your favourite algebraic structure you can consider the category of all those algebraic structures together with their structure preserving functions (almost always will this indeed yield a category). Call this category $C$. Assuming that a typical algebraic structure of interest consist of a single set together with extra structure, there is a forgetful functor $U:C\to Set$. The question now becomes: if $C$ admits binary categorical products does the forgetful functor commute with binary products. I think this is a precise way to interpret what you had in mind. One instance where the answer is yes is when this forgetful functor has a left adjoint. That means that whenever free structures exist the answer to your question is: products are always constructed naturally on the cartesian product of the underlying sets. 
This happens, for instance, for groups (since free groups exist), for abelian groups (since free abelian groups exists) etc. but not for fields (free fields do not exist). Non-algebraic cases fit into this setting as well, including examples from topology and analysis. 
Another possible interpretation is to wonder whether the category $C$ at all admits products. For instance, the category of all cyclic groups doesn't have all binary products. 
A: A direct product of integral domains is never an integral domain since $(1,0)\cdot(0,1)=0$. You can also consider PIDs; $\Bbb Z$ is a PID while $\Bbb Z\times\Bbb Z$ is no. The direct product of fields is not a field, say $\Bbb Q$ and $\Bbb Q\times\Bbb Q$. 
There is also a problem of checking that if you don't use a canonical operation, checking that it still makes sense as an operation. For example, we can identify $\Bbb C$ with $\Bbb R^2$ by defining an operation $$(a,b)\cdot(c,d)=(ac-bd,ad+bc).$$ It is not immediately obvious that this is a well-defined operation that satisfies the axioms for a ring.
A: Such properties are sometimes called "  productive".  For example, a product of compact topological spaces is compact (Tychonov).  Not all properties meet this [stringent] criterion.
A: Some properties by definition do not necessarily "maintain the original algebraic structure" for the direct product, such as, say, being "irreducible". 
Perhaps the question gets more focus if we stay with groups (or rings, modules and algebras). 
The direct product of simple groups need not be simple, the direct product of groups of a square-free order is not of square-free order, the direct product of cyclic groups need not be cyclic, and the direct product of complete groups need not be complete.
