This dissertation is concerned with the study of how various properties such as malnormality and maximality of surface groups embedded in a 3-manifold group give us information about the topology of a 3-manifold. In this direction we show that the malnormality of certain surface groups is sufficient to detect whether or not there are any Seifert fibered pieces in the JSJ decomposition of a 3-manifold. On the other hand topology itself imposes a strong constraint on what properties a surface group might have. For example, we show that a surface group associated with an essential embedding must be maximal among all surface groups. The first chapter starts with an overview and introduction to the material along with some of the background material needed to understand this dissertation. Here we provide all the appropriate definitions as well as the statements of the theorems and lemmas that are used in this dissertation. All the theorems stated in chapter 1 are standard and well known results in 3-manifold theory and all we have done is provide a brief exposition. We have made an effort to provide appropriate references whenever we could. In the second chapter we study the relationship between malnormal subgroups corresponding to incompressible tori and Klein bottles and the absence of Seifert pieces in the JSJ decomposition. In particular, we show that a rank two free abelian subgroup corresponding to an embedded incompressible torus in an orientable Haken manifold is a malnormal subgroup if and only if the JSJ piece that contains the torus is non-Seifert. We further generalize this result to any embedded Klein bottle and answer the question of when a maximal abelian subgroup in a Haken manifold group is malnormal. We also explore other conditions that guaranty that there are no Seifert pieces in the JSJ decomposition. Some other results regarding the malnormality of peripheral groups corresponding to higher genus surfaces are also found. The third chapter is concerned with the study of properly embedded incompressible surfaces (closed or otherwise) in a Haken manifold. Here we give a sufficient condition for two embedded surfaces to be isotopic. We show that given two embedded 2-sided incompressible surfaces such that the subgroup associated to one is contained in the subgroup associated to the other, then it must be that case that the surfaces are isotopic. This, in particular, shows that it is impossible to embed two surfaces of different genus in an orientable Haken manifold such that one is a subgroup of the other. In the fourth chapter we generalize the results of the third chapter to immersed π1-injective surfaces. We show that any two immersed surfaces satisfying an analogous conditions on their associated subgroups can always be deformed so that one immersed surface is a covering onto the other immersed surface. In particular, this shows that embedded surface groups are maximal among all surface groups.