This looks so simple but .. I can't prove or disprove this.

[Definition (irreducible element of ring)] ☞ Let $R$ is commutative ring with unity $1$. $u$ is irreducible elements in $R$ iff $u$ is non-zero, non-unit, and $u = ab$ imply $a$ is unit or $b$ is unit of $R$

please help me.

I already know $u$ is irreducible elements in $Z_n$ ring iff $u$ associate $p$( that is, $u=pc$ , $c$ is unit in $Z_n$) , where $p$ is prime and $ p^2 $divide $ n$.

but I can't prove this or take counterexample .


closed as off-topic by Siong Thye Goh, Servaes, stressed out, amWhy, Parcly Taxel Aug 16 '18 at 4:33

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Siong Thye Goh, Servaes, stressed out, amWhy, Parcly Taxel
If this question can be reworded to fit the rules in the help center, please edit the question.

  • $\begingroup$ What are your thoughts on the problem? For instance, what do you know about irreducibility? And take a look at the contrapositive statement too, because that might be easier to prove. $\endgroup$ – Arthur Aug 10 '18 at 6:25
  • 1
    $\begingroup$ If you could "prove and disprove" it you would have proven all of mathematics inconsistent. Assuming you meant "or", please tell us something about your thoughts/work on the problem so we can offer help where the problem is and not just serve the complete solution. $\endgroup$ – Henrik Aug 10 '18 at 6:30
  • $\begingroup$ Thank you for advise! $\endgroup$ – hew Aug 10 '18 at 6:45
  • 3
    $\begingroup$ The term "irreducible" is normally reserved for elements of integral domains. The only $\mathbb{Z}_n$ which are integral domains are $\mathbb{Z}_p$ for $p$ a prime, and in this case the ring is a field and the result is vacuously true ($\mathbb{Z}_p$ has no irreducible elements!). What is your definition of "irreducible" in a ring which isn't an integral domain? $\endgroup$ – lokodiz Aug 10 '18 at 14:16
  • $\begingroup$ definition is here! : $u$ is irreducible element of ring $R$ iff $u=ab$ imply $a$ or $b$ is unit element of R $\endgroup$ – hew Aug 10 '18 at 16:44