Is multiplication as an operation available in groups, rings and fields over Z_p*? I've seen groups, rings, and fields described with a multiplication operation as well as a group defined as only having addition and subtraction (via inverse) operations. Is the reason the answer varies with respect to a group having or not having a multiplication operation dependent upon the type of numbers represented (e.g. integers, reals, etc) as well as the elements included (e.g. 0 is not in Z_p* because it doesn't have an inverse? Or do groups never have a multiplication operation?
 A: By definition of group there is only one binary operation required to have certain properties (associativity, existence of an identity element, inverses).
However there is a convention to write the group operation as addition (+) if the operation is commutative (we say the group is Abelian), and more generally when the group is not commutative (or we don't know) to write the group operation as multiplication.
This is only a convention.  The group axioms for the binary operation will work with any symbol for it, so if it helps to think of it as multiplication, you are not wrong.  In one important family of examples the group elements are symmetries or (stated another way) mappings that preserve a set of things (e.g. permutations), and in those cases the "multiplication" is actually composition of functions, symbolized by $\circ$.

There are many algebraic structures which have a group operation connected to them.  Vector spaces, for example, have a commutative group operation called vector addition. A division ring $\langle D,+,* \rangle$ has a commutative addition and a (possibly) noncommutative multiplication such that the nonzero elements have inverses and thus form a (possibly) noncommutative group (so the case of a division ring with commutative multiplication is a field). 
But we should also note that many times we use "multiplication" to mean a binary operation that does not have all the nice properties of a group operation.  If we drop the requirement of an identity and inverses, and keep only the associative property and "closure" (that the result of the binary operation is defined), that sort of algebraic structure is called a semigroup.  The multiplication of an arbitrary ring forms a semigroup.  By dropping associativity (leaving only the closure property), one defines a magma.
These may seem awfully abstract ideas, but "strange" binary operations often arise from the study of more familiar ones.  For instance, when the entries of a square $n\times n$ matrix are taken from a ring, we can define matrix multiplication.  But even when the ring is a field, the matrix multiplication so defined will in general only give us a semigroup (or, if the ring is assumed to have a multiplicative unit, the matrices form a monoid, i.e. a semigroup with an identity element).  So one is led to these generalizations (and specializations) by natural applications.
A: Assuming $\mathbb Z_p=\mathbb Z/p\mathbb Z$ (not the $p$-adic integers), and $\mathbb Z_p^*$ is the group of units in $\mathbb Z_p$, then multiplication exists as a valid operation and $(\mathbb Z_p^*,\times)$ is a group. Recall that the definition of a group is a set $G$ together with an operation $\oplus$ such that $(G,\oplus)$ satisfies the group axioms. We in particular need associativity and inverses. We have associativity, because the usual $\times$ over $\mathbb Z$ is associative, and the map taking an integer $x$ to the residue class $[x]$ preserves this algebraic property. The similar argument works for inverses. We conclude that $(\mathbb Z_p^*,\times)$ is a group.
