# Uniqueness of identity elements for rectangular matrices

1. May 24, 2013

### Bipolarity

Let A be the set of $n \times n$ matrices. Then the identity element of this set under matrix multiplication is the identity matrix and it is unique. The proof follows from the monoidal properties of multiplication of square matrices.

But if the matrix is not square, the left and right identities are not equivalent; they are both identity matrices, but have a different size.

How do you know that the left-identity is unique, and that the right-identity is unique?
So given an $m \times n$ matrix A, how do you know that the only matrix satisfying $AI = A$ for all A is the $n \times n$ identity matrix?

Is this even true? Could I possibly find multiple right-identity elements?

BiP

2. May 24, 2013

### micromass

Let $B$ be an identity element. Let $A$ be the $m\times n$ matrix with a 1 on the $i$th row and the $j$th column and zero everywhere else. You know that $AB = A$. This gives a condition on $B$. Which one? What if you vary $i$ and $j$?
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 2, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9728069305419922, "perplexity": 163.69577559943488}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2018-30/segments/1531676593438.33/warc/CC-MAIN-20180722174538-20180722194538-00366.warc.gz"}